有时可以获取重载函数模板的地址

Question

在gcc 4.9.0:

#include <iostream>
#include <map>

struct A
{
    typedef int type;
};

template<typename T> void foo(T*) { std::cout << "a" << std::endl; }
template<typename T> void foo(typename T::type*) { std::cout << "b" << std::endl; }

template<typename T>
struct identity
{
    typedef T type;
};

template<typename T> void bar(T*) { std::cout << "a" << std::endl; }
template<typename T> void bar(typename identity<T>::type*) { std::cout << "b" << std::endl; }

int main()
{
    //auto f = foo<A>; // ambiguous
    foo<A>(0); // prints "b", as the second overload is more specific

    auto b = bar<A>; // fine
    bar<A>(0); // prints "b", as the second overload is more specific (?)
    b(0); // prints "b"

    return 0;
}

关于为什么在第二种情况下可以获取地址的任何线索？

Answer 1

auto的扣法与模板扣法相同。来自 [dcl.spec.auto]：

当使用占位符类型声明的变量被初始化时，[...]，推导的返回类型或变量类型是 由其初始化程序的类型确定。如果占位符是自动类型说明符， 推导的类型是使用模板参数推导的规则确定的。如果占位符是autotype-specifier， 推导的类型是使用模板参数推导规则确定的。

所以当我们有任何一个时：

auto f = foo<A>;
auto b = bar<A>;

我们正在执行类型推断，就好像我们调用了（借用 T.C. 的单词选择）：

template <typename M> void meow(M );
meow(foo<A> );
meow(bar<A> );

并使用推导的类型M分别作为f和b的类型。

但是，根据[temp.deduct.type]，强调我的：

如果模板参数仅用于非推导 上下文并且没有明确指定，模板参数推导失败。

未推断的上下文是：
— [...]
— 一个函数形参，因为关联的函数而无法进行实参推导 参数是一个函数，或一组重载函数 (13.4)，并且适用以下一项或多项：
— 多个函数匹配函数参数类型（导致二义推导）， 或
— 没有函数与函数参数类型匹配，或者
— 作为参数提供的一组函数包含一个或多个函数模板。
— [...]

在这两种情况下，参数都是一组包含一个或多个函数模板的重载函数 - 这使其成为非推导上下文，因此模板参数推导失败。因此，clang 拒绝这两种初始化是正确的。