置換失敗はエラーではない

struct Test { using Foo = int ; };// 定義 #1 template < typename T > void f ( typename T :: Foo ) { // ... }// 定義 #2テンプレート< typename T > void f ( T ) { // ... }int main () { f <Test> ( 10 ); //呼び出し#1。f <int> ( 10 ); // 呼び出し #2。 SFINAE のため、エラーは発生しません (int::Fooが存在しないにもかかわらず)。return 0 ; }

import std ;template < typename T > struct HasTypedefFoobar { // 型 "Yes" と "No" は異なるサイズを持つことが保証されています。// 具体的には sizeof(Yes) == 1 および sizeof(No) == 2 です。using Yes = char [ 1 ]; using No = char [ 2 ];template < typename C > static Yes & test ( typename C :: Foobar * );テンプレート< typename > static No & test (...);// test<T>(nullptr) の呼び出し結果の "sizeof" が sizeof(Yes) と等しい場合、最初のオーバーロードが機能し、T にはFoobar という名前のネストされた型があります。static constexpr bool value = ( sizeof ( test < T > ( nullptr )) == sizeof ( Yes )); };struct Foo { using Foobar = float ; };int main () { std :: println ( " { }" , HasTypedefFoobar <int> :: value ); std :: println ( "{}" , HasTypedefFoobar <Foo> :: value ) ; return 0 ; }

import std ;template < typename T , typename = void > struct HasTypedefFoobar : std :: false_type {};template < typename T > struct HasTypedefFoobar < T , std :: void_t < typename T :: Foobar >> : std :: true_type {};struct Foo { using Foobar = float ; };int main () { std :: println ( " { }" , HasTypedefFoobar <int> :: value ); std :: println ( "{}" , HasTypedefFoobar <Foo> :: value ) ; return 0 ; }

import std ;template < typename T > using HasTypedefFoobarUnderlying = typename T :: Foobar ;struct Foo { using Foobar = float ; };int main () { std :: println ( "{}" , std :: is_detected < HasTypedefFoobarUnderlying , int >:: value ); std :: println ( "{}" , std :: is_detected < HasTypedefFoobarUnderlying , Foo >:: value ); return 0 ; }