CTAD не может вывести аргумент шаблона с помощью SFINAE в частичной специализации

Question

Я пробовал использовать 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 };
}

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