如何解决CTAD无法在局部专业化中用SFINAE推导模板参数
我尝试在部分专业领域中将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 };
}
解决方法
隐式生成的推导指南仅反映主模板的构造函数,而不是专业化模板。
如果您摆脱了一种专业化,然后将代码从其中转移到主模板中,它将起作用:
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"; }
};
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。