我想让模板参数接受具有数字模板参数的模板.
这个例子可能过于简单了,但我喜欢这样的东西：
template <int X>
struct XX
{
static const int x = X;
};
template<typename TT,TT V,template<V> TX>
void fnx(TX<V> x)
{
static_assert(V == TX::x,"IMPOSSIBLE!");
}
void fny()
{
fnx(XX<1>())
}
我不能理解这个的语法,因为它必须是可能的.我怎么做到这一点？
解决方法@H_404_10@
只是稍微修改一下你的语法 – 因为模板模板参数设置不正确,我们最终会得到这样的结果：
template <typename T,template <T > class Z,T Value>
// ^^^^^^^^^^^^^^^^^^^^^
void foo(Z<Value> x) { }
但是,编译器不能在这里推断出T – 它是一个非推导的上下文.你必须明确提供它：
foo<int>(XX<1>{});
这很烦人.我甚至不能写出类型特征,使得non_type_t< XX< 1>>是int(其中该类型trait对类型进行实际内省,而不是简单地返回int的东西).
template <typename T,template <T > class Z,T Value>
// ^^^^^^^^^^^^^^^^^^^^^
void foo(Z<Value> x) { }
但是,编译器不能在这里推断出T – 它是一个非推导的上下文.你必须明确提供它：
foo<int>(XX<1>{});
这很烦人.我甚至不能写出类型特征,使得non_type_t< XX< 1>>是int(其中该类型trait对类型进行实际内省,而不是简单地返回int的东西).
