再次关于 enable_if_t 中的 C++ SFINAE

Question

我试图弄清楚为什么 SFINAE 不能使用直接模板参数初始化？

它以这种形式工作，当我在这里声明另一个模板参数时：

#include <iostream>

template <bool B, class T = void>
class enable_if {};

template <class T>
struct enable_if<true, T> {    typedef T type; };

template <bool B, class T>
using enable_if_t = typename enable_if<B,T>::type;

template< typename T >
struct Y {

public:
    template< typename U = T >
    enable_if_t<true, U>
    foo() {
        return 111;
    }

    template< typename U = T >
    enable_if_t<false, U>
    foo() {
        return 222;
    }
};

int main() {
    Y< double > y;
    std::cout << y.foo() << std::endl;
}

（打印出 111）

但是如果我重构这个语法，编译器会报错：

#include <iostream>

template <bool B, class T = void>
class enable_if {};

template <class T>
struct enable_if<true, T> {
    typedef T type;
};

template <bool B, class T>
using enable_if_t = typename enable_if<B,T>::type;

template< typename T >
struct Y {    
    template< typename U = enable_if_t<true, T> >
    U
    foo() {
        return 11;
    }

    template< typename U = enable_if_t<false, T> >
    U
    foo() {
        return 12;
    }
};

int main() {
    Y< double > y;
    std::cout << y.foo() << std::endl;
}

“不能重新声明类成员”我假设第二个实例无效，应该被 SFINAE 排除？

为什么我不能像这样声明 foo()：

enable_if_t<true, T> foo() { return 11; } 
enable_if_t<false, T> foo() { return 12; } 

仅基于类模板的 T 参数？ 第二个 enable_if_t 应该无效，应该丢弃 foo() 的实例，对吧？

Answer 1

在第二种情况下，你声明了两个类方法：

template<typename U> U foo();

你不能有两个具有相同签名和名称的模板类方法，就像你不能声明两个具有相同签名和名称的非模板类方法一样：

int bar();

和

int bar();

您的两个模板类方法具有不同的模板参数默认值，但这无关紧要。模板参数默认值不被视为签名的一部分。 SFINAE 在这里没有发挥作用。 SFINAE 是在模板 substitution 发生时发生的事情，即“S”部分，而不是声明。