非类型模板参数显然不是类型,例如：
template<int x>
void foo() { cout << x; }
在这种情况下,还有其他的选项比int,我想参考this great answer.
现在,有一件事我错了：structs.考虑：
struct Triple { int x,y,z; };
Triple t { 1,2,3 };
template<Triple const& t>
class Foo { };
现在,使用正常的非类型引用语义,我们可以写：
Foo<t> f;
值得注意的是,t不能是constexpr或const,因为这意味着内部链接,这基本上意味着该行将不会编译.我们可以通过将t声明为const extern来绕过它.这本身可能有点奇怪,但真正让我想知道的是为什么这是不可能的：
Foo<Triple { 1,3 }> f;
我们从编译器得到一个非常好的错误：
error:
Triple{1,3}is not a valid template argument for typeconst Triple&because it is not an lvalue.
我们无法通过值指定Triple在模板中,因为这是不允许的.但是,我不明白这一小代码的真正问题.什么是不允许使用结构体作为价值参数的原因.如果我可以使用三个int,为什么不是三个int的结构体？如果它只有微不足道的特殊成员,处理不应该只是三个变量.
解决方法
我认为“因为mikta是一个痛苦的指明正确和实施”是我们没有这个的主要原因.当然,这样做很容易,但是人们会抱怨如何使用struct template参数在所有相同的情况下都不起作用,其他模板参数会做(考虑部分专业化,或者操作符== ).
在我看来,弄得整个蛋糕太乱了,只有一个小小的片段不够满意,可能更令人沮丧.做这个微小的工作不会给我更多的权力,而不是像下面这样的东西,这具有与开箱即用的各种东西(包括部分专业化)的额外优势.
template <int X,int Y,int Z> struct Meta_triple { // static value getters static constexpr auto x = X; static constexpr auto y = Y; static constexpr auto z = Z; // implicit conversion to Triple constexpr operator Triple() const { return { X,Y,Z }; } // function call operator so one can force the conversion to Triple with // Meta_triple<1,3>()() constexpr Triple operator()() const { return *this; } };
