我尝试在部分特化中使用 CTAD 和 SFINAE,但除非我添加看似无用的推导指南,否则它不会编译。背后的原因/限制是什么?
template<typename T, typename Enable = void>
struct A;
template<typename T>
struct A< T, std::enable_if_t<std::is_arithmetic_v<T>>>
{
A(T) { std::cout << "Numerical"; }
};
template<typename T>
struct A<T, std::enable_if_t<!std::is_arithmetic_v<T>>>
{
A(T) { std::cout << "Other"; }
};
template<typename T>
A(T)->A<T>; //Need to have this, otherwise doesn't compile
int main()
{
A a{ 1 };
}
最佳答案
隐式生成的推导指南仅反射(reflect)主模板的构造函数,而不是特化的构造函数。
如果您摆脱其中一种特化,并将代码从其中移至主模板,它将起作用:
template<typename T, typename Enable = void>
struct A
{
A(T) { std::cout << "Other\n"; }
};
template<typename T>
struct A< T, std::enable_if_t<std::is_arithmetic_v<T>>>
{
A(T) { std::cout << "Numerical\n"; }
};
关于c++ - CTAD 无法在部分特化中使用 SFINAE 推导出模板参数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/64184732/