c++ - 具有相同签名的模板函数重载，为什么会这样？

Question

最小程序:

#include <stdio.h>

#include <type_traits>

template<typename S, typename T>
int foo(typename T::type s) {
    return 1;
}

template<typename S, typename T>
int foo(S s) {
    return 2;
}

int main(int argc, char* argv[]) {
    int x = 3;
    printf("%d\n", foo<int, std::enable_if<true, int>>(x));

    return 0;
}

输出:

    1 

为什么这不会产生编译错误？生成模板代码时，函数 int foo(typename T::type search)和 int foo(S& search)有相同的签名吗？

如果您稍微更改模板函数签名，它仍然可以工作(正如我在上面的示例中所期望的那样):

template<typename S, typename T>
void foo(typename T::type s) {
    printf("a\n");
}

template<typename S, typename T>
void foo(S s) {
    printf("b\n");
}

但这不是，唯一的区别是一个具有 int 签名，另一个由第一个模板参数定义。

template<typename S, typename T>
void foo(typename T::type s) {
    printf("a\n");
}

template<typename S, typename T>
void foo(int s) {
    printf("b\n");
}

编译器错误(Clang):

test.cpp:26:2: error: call to 'foo' is ambiguous
foo<std::enable_if<true, int>>(3);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
test.cpp:16:6: note: candidate function [with T = std::__1::enable_if<true, int>]
void foo(typename T::type s) {
        ^
test.cpp:21:6: note: candidate function [with T = std::__1::enable_if<true, int>]
void foo(int s) {
        ^
1 error generated.

我正在为我正在处理的项目使用与此类似的代码，我担心我不理解的语言有一个微妙的地方，在某些情况下会导致一些未定义的行为。我还应该提到它确实可以在 Clang 和 VS11 上编译，所以我不认为这只是一个编译器错误。

---

编辑:更正了第二种情况(错字)；添加了来自 Clang 的错误消息。

编辑 #2:对于那些询问 T::type 是什么意思的人。

来自 http://en.cppreference.com/w/cpp/types/enable_if :

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

If B is true, std::enable_if has a public member typedef type, equal to T; otherwise, there is no member typedef.

enable_if 是一个结构。基本上，如果在 enable_if 的第一个模板参数中评估的表达式为真(在我上面的示例中，它是)，那么将有一个公共(public)成员 type与第二个模板参数的类型相同。

在 enable_if<true, int> 的情况下, enable_if::type 的类型是 int。

Answer 1

第一个函数被认为比第一个函数更专业。

功能

int foo(typename T::type)

可以匹配

template <typename S,typename T> int foo(S s)

使用 T::type 作为参数 S 的值，但是

int foo(S s)

不匹配

template <typename S,typename T> int foo(typename T::type)

因为 T 不能推导出来。

C++03 标准的第 14.5.5.2 节和 C++11 标准的第 14.5.6.2 节对逻辑进行了布局。

这里的想法是:要查看一个函数是否比另一个函数更专业，您为第一个函数的每个模板参数创造值，然后查看第二个函数是否可以匹配结果签名。您还为第二个函数的模板参数发明值，并查看第一个函数是否与生成的签名匹配。如果第二个函数可以匹配第一个函数，那么第二个函数不能比第一个函数更专业。如果除此之外，第一个函数不能匹配第二个，那么第一个必须比第二个更专业。你的情况就是这样。