在C ++ 14中使用auto实现非类型模板参数

Question

有没有办法可以模仿C ++ 14 中非类型模板参数的自动推导 ？ 类似于如何使用模板化函子模拟C ++ 11中C ++ 14 lambda中的无约束参数？

Answer 1

有点。 您当然可以具有非类型模板参数，但是您需要指定类型。 常见的成语是：

template <class T, T Value>
struct X;

但是您不能使用它实例化诸如X<3>的东西。 您能做的最好的事情就是引入一个宏来为您提取类型：

#define DECL(expr) decltype(expr), (expr)
X<DECL(3)> x;

对于3来说，这显然是愚蠢的，但是当您想要提供诸如函数指针之类的非类型模板参数时，它确实有所帮助。