【发布时间】:2017-08-09 13:48:30
【问题描述】:
我遇到了查找和重载解析行为不同的情况:
- 对于用户自定义类vs内置类型vsstd::string
- 用于直接调用vs函数指针调用
我无法弄清楚标准的哪些确切部分证明了这些差异。
考虑以下 C++11 代码:
#include <iostream>
#include <string>
using namespace std;
struct Test1 {};
struct Test2 {};
template<typename T>
int f(T t) { return 0; }
int f(Test1 t) { return 10; }
int f(int y) { return 20; }
template<typename T>
int use1() { return f(T()); }
template<typename T>
int use2() { auto fp = static_cast<int(*)(T)>(&f); return (*fp)(T()); }
int f(Test2 t) { return 30; }
int f(string s) { return 40; }
int f(double y) { return 50; }
int main() {
cout << "use1<float>: " << use1<float>() << endl;
cout << "use1<Test1>: " << use1<Test1>() << endl;
cout << "use1<int>: " << use1<int>() << endl;
cout << "use1<Test2>: " << use1<Test2>() << endl;
cout << "use1<string>: " << use1<string>() << endl;
cout << "use1<double>: " << use1<double>() << endl;
cout << endl;
cout << "use2<float>: " << use2<float>() << endl;
cout << "use2<Test1>: " << use2<Test1>() << endl;
cout << "use2<int>: " << use2<int>() << endl;
cout << "use2<Test2>: " << use2<Test2>() << endl;
cout << "use2<string>: " << use2<string>() << endl;
cout << "use2<double>: " << use2<double>() << endl;
return 0;
}
输出为(与 g++ 6.3 和 clang++5.0.0 主干相同):
use1<float>: 0
use1<Test1>: 10
use1<int>: 20
use1<Test2>: 30
use1<string>: 0
use1<double>: 0
use2<float>: 0
use2<Test1>: 10
use2<int>: 20
use2<Test2>: 0
use2<string>: 0
use2<double>: 0
问题:
- 为什么
use1<string>与use1<Test2>不同?两种类型都声明在“顶部”,两个 f() 重载都声明在底部。 - 为什么
use1<Test2>与use1<double>不同?对应的 f() 重载在相邻行,对内置类型的处理有什么特别的吗? - 为什么
use1<Test2>与use2<Test2>不同? use2 中函数指针的类型似乎与 use1 中的调用上下文相匹配。
【问题讨论】:
标签: c++ c++11 function-pointers overload-resolution argument-dependent-lookup