boost::is_convertible はどうやってるか - IT戦記

概ね以下のような感じ template <typename From, typename To> struct is_convertible_basic_impl { // 2 つの同名関数を作って static no_type _m_check(...); static yes_type _m_check(To); // 関数の戻り値の型を見る（どっちの関数が使われるかを見る） static bool value = sizeof( _m_check(From) ) == sizeof(yes_type); }; これで From 型のオブジェクトが To 型に代入できるかが、コンパイル時に分かるのな sizeof の以外な使い道。