n3405 で面白い提案がされていたので覚書。 次のように非型テンプレートパラメータを受け取る場合、型を指定する必要がありました。 template<typename T, T t> struct X{}; X<int, 10>::value // == 10 X<bool, false>::value // == false これを n3405 の提案では // 受け取り側はこんな感じで書く</bool,></int,></typename>…