如果我认为我对C一无所知那么你就不能通过返回类型来重载函数.
那么有人能解释一下这里发生了什么吗？
class A { public: typedef int _foo; };
class B {};
template<class T>
typename T::_foo Foo(int)
{
cout << "Foo(int)\n"; return typename T::_foo();
}
template<class T>
typename T Foo(char)
{
cout << "Foo(char)\n"; return typename T();
}
int main()
{
Foo<A>(0); // Writes "Foo(int)",as expected.
Foo<B>(0); // Writes "Foo(char),expected error unable to compile template.
return 0;
}
有两个类A和B. A定义typedef _foo,B不定义.函数模板Foo,Foo(int)和Foo(char)有两个重载. Foo(int)返回T :: _ foo,Foo(char)返回T.
然后调用Foo(0)两次.这与Foo(int)完全匹配,所以我希望Foo< A>(0)编译好,而Foo< B>(0)编译失败,因为B没有定义模板中使用的类型_foo.
实际发生的是Foo< B>(0)完全忽略Foo(int)并实例化Foo(char).但是通过正常的重载决策规则,Foo(0)显然是Foo(int)的精确匹配,并且使Foo(char)成为更可行的匹配的唯一因素是不应该考虑的返回类型.
要验证它是影响重载决策的返回值,只需添加：
template<class T>
void Bar(int) { typename T::_foo a; cout << "Bar(int)\n"; }
template<class T>
void Bar(char) { cout << "Bar(char)\n"; }
Bar<A>(0); // Writes "Bar(int),as expected.
//Bar<B>(0); // Error C2039: '_foo' : is not a member of 'B',as expected.
这清楚地表明,在没有返回值的情况下,Foo(int)确实是正确的重载,并且如果模板无法解析从其模板参数中使用的类型,则编译失败是正常结果.
解决方法
你没有在返回类型上重载,你是专门的函数模板,当Foo< B>(int)特化形成无效类型B :: _ foo时,从SFINAE设置的重载中删除特化,留下Foo< B>(char)作为唯一可行的功能. 更详细地,对Foo< A>(0)的调用首先执行名称查找以查找范围中的所有Foo名称,然后实例化任何函数模板以找到重载候选者,然后重载决策选择最佳匹配.
int Foo<A>(int); A Foo<A>(char);
过载分辨率选择第一个作为最佳匹配.
但是,当调用Foo< B>(0)时,实例化会产生这些声明：
<invalid type> Foo<B>(int); B Foo<B>(char);
第一个声明无效,因此只有一个候选者可以进行重载解析,因此这是一个被调用的声明.
在Bar示例中,在实例化期间形成的无效类型不在函数声明的“直接上下文”中(它在函数定义中,即正文中),因此SFINAE不适用.
