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"; }
};

相关问答

依赖报错 idea导入项目后依赖报错,解决方案:https://blog....
错误1:代码生成器依赖和mybatis依赖冲突 启动项目时报错如下...
错误1:gradle项目控制台输出为乱码 # 解决方案:https://bl...
错误还原:在查询的过程中,传入的workType为0时,该条件不起...
报错如下,gcc版本太低 ^ server.c:5346:31: 错误:‘struct...