模板函数重载与相同的签名，为什么这项工作？

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 

为什么这不会导致编译错误？生成模板代码时，函数intfoo（typename t:：type search）和intfoo（S）会不会

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

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

编译器错误（叮当声）：

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::类型是什么意思的人。

从…起http://en.cppreference.com/w/cpp/types/enable_if:

样板

如果B为true，则std:：enable_如果有公共成员typedef type，则等于T；否则，就没有成员typedef。

如果是结构，则启用_。基本上，如果enable_if的第一个模板参数中计算的表达式为true（在我上面的例子中为true），那么将有一个公共成员type，其类型与第二个模板参数相同。

在的情况下，如果




Answer 1

这是对这一现象的进一步简化：

#include <stdio.h>

template<typename T>
void foo(int arg) {
    printf("a\n");
}

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

int main(int argc, char* argv[]) {
    foo<int>(3);   // prints "a"
    foo(3);        // prints "b"

    return 0;
}

模板参数可以通过尖括号显式传递，也可以通过演绎法解析。如果未明确指定参数，则必须使用函数的参数来推断该参数。

因此，在foo（3）的情况下，模板“a”将不起作用，因为参数t没有明确指定，也无法推导。在foo的情况下

http://publib.boulder.ibm.com/infocenter/lnxpcomp/v8v101/index.jsp?topic=/com.ibm.xlcpp8l.doc/language/ref/partial_ordering_funct_templ.htm

我现在看到其他人已经回答了（我不擅长快速回答问题），所以我现在就总结一下，说模板“a”更专业，就像沃恩说的那样。

Answer 2

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

功能

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无法推导。

该逻辑在第14.5.5.2节的C 03标准和第14.5.6.2节的C 11标准中进行了布局。

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