CTAD 无法在部分专业化中使用 SFINAE 推断模板参数

Question

我尝试在部分专业化中将 CTAD 与 SFINAE 结合使用，但除非我添加看似无用的推导指南，否则它无法编译。后面的reason/limitation是什么？

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

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

CTAD 无法在部分专业化中使用 SFINAE 推断模板参数

CTAD fail to deduce template argument with SFINAE in partial specialization

c++

templates

c++17

ctad