標準ライブラリのtype_traitsにあるis_sameを自分で実装してみましょう。 恐らく最も簡単なメタ関数の1つです。 integral_constant、true_type、false_typeも標準ライブラリ通りに準備します。 is_sameでは与えられた2つの型が同じであった場合の特殊化を行…

勉強会のスライドなんかでこの名前で見かけます。 非常によく知られたidiomですが、メモ程度に簡単にまとめ直します。 index_tuple idiomはindex_tuple<0,1,2,3,4>のように連番の整数値を型リストとして持つオブジェクト(index_tuple)を生成する為のidiomで…