在this question据说不可能直接为类构造函数使用模板参数,因为如果你写类似的东西
struct S{
template<typename T>
S() { ... }
}
那么你就没有办法调用这个构造函数了。但是,有一些解决方法可以使这项工作起作用,例如,通过模板参数推导。
但我所知道的所有这些解决方法都仅适用于类型参数。所以,问题是
是否有任何变通方法可以使此方法适用于非类型模板参数?
struct S{
template<int x>
S() { ... }
}
我对应该在现代 C++(C++17 标准,包括所有 TS)中工作的解决方案很感兴趣,因为这是一个理论问题而不是实际问题。
最佳答案
But all of these workarounds I know are for type arguments only
所有解决方法都不是特定于类型的——重点是在构造函数中添加一些可以推导出来的东西。所以如果我们想要一个类型,我们会做类似的事情:
template <class T> struct tag { };
struct S {
template <class T>
S(tag<T>);
};
如果我们想要一个int
,我们做同样的事情:
template <int I> struct val { };
struct S {
template <int I>
S(val<I>);
};
对于值,您甚至不需要想出自己的标记类型 - 您可以在 std::integral_constant
之上进行 piggy-pack。
关于c++ - 具有非类型模板参数的构造函数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/43211721/