成员函数模板选择与SFINAE

Question

我一直试图理解C++选择模板的方式。即，考虑以下代码示例：

template <typename R>
class Curious
{
public:
    template <typename T, typename std::enable_if<std::is_const<T>::value, int>::type = 33>
    void test1() {}

    template <typename T, typename std::enable_if<!std::is_const<T>::value, int>::type = 33>
    void test1() {}

    template <typename T, typename = typename std::enable_if<std::is_const<T>::value>::type>
    void test2() {}

    template <typename T, typename = typename std::enable_if<!std::is_const<T>::value>::type>
    void test2() {}

    template <typename std::enable_if<std::is_const<R>::value>::type * = nullptr>
    void test3() {}

    template <typename std::enable_if<!std::is_const<R>::value>::type * = nullptr>
    void test3() {}

    // works
    template <typename T = void>
    typename std::enable_if<std::is_const<R>::value, T>::type test4() {}

    template <typename T = void>
    typename std::enable_if<!std::is_const<R>::value, T>::type test4() {}

    // also works
    template <typename T = void, typename std::enable_if<std::is_const<R>::value, T>::type * = nullptr>
    void test5() {}

    template <typename T = void, typename std::enable_if<!std::is_const<R>::value, T>::type * = nullptr>
    void test5() {}
}; // Curious

前两个函数(test1)工作正常（为什么？）：

Curious<int> curious;
curious.test1<int>();
curious.test1<const int>();

error C2535: 'void Curious::test2(void)': member function already defined or declared

一个常见的错误是声明两个仅在默认模板参数上不同的函数模板。这是非法的，因为默认模板参数不是函数模板签名的一部分，并且用相同的签名声明两个不同的函数模板是非法的。

所以看起来是这样的。但是，我看不出与前两个函数有太大的不同，前两个函数也有默认的模板参数。因此，我们对默认值(test1-works)有一个默认类型(test2-不工作）。对此有什么规定吗？

在Test3的情况下：

error C2039: 'type': is not a member of 'std::enable_if'

我对C++如何处理这些模板很困惑。有人能这么好心把这些事情弄清楚吗？

Answer 1

>

删除默认值后，对于test1，您有：

template <typename T, typename std::enable_if<std::is_const<T>::value, int>::type>
void test1();

template <typename T, typename std::enable_if<!std::is_const<T>::value, int>::type>
void test1();

有明显不同的签名。

对于测试2：

template <typename T, typename> void test2();

template <typename T, typename> void test2();

int foo();
char foo(); // Illegal.

template <typename T> int foo();
template <typename T> char foo(); // legal, even it is not trivial to call

对于test5，第二个模板参数依赖于第一个模板参数t，所以也可以。