前言
之前遇到过这种情况,当时不明所以,问过别人,也没问出过所以。后来偶然看到了一篇文章,恍然大悟,赶紧记录下来。
Most Vexing Parse
Most Vexing Parse 翻译为最烦人的解析,在使用 C++11 中 std::thread 创建对象的时候会遇到这种问题,除此之外,也会遇到。
假设自己写了这么一个类,我们想调用 copy 构造:
class String {
public:
String() {
cout << "String()" << endl;
}
String(const std::string &name) {
cout << name << endl;
}
};
调用实现:
int main() {
char *t = "helloworld";
String s(std::string(t)); // no result
return 0;
}
理想情况下,我们会认为它会调用所拷贝构造,可事实呢,没有任何结果输出,因为这行被编译器认为是函数声明!
上述传递的是一个匿名对象,被解析成了函数名为 s,带了一个参数(函数指针指向参数 t 并返回 string 对象的函数),返回一个 String 对象的函数声明。
像这种问题被称为:“Most Vexing Parse”。
解决方案
Scott Meyers 在 Effective C++中提到有如下解决方案:
String s((std::string(t))); // ok
在外部再次添加一个括号!
另外在 C++11 中也可以使用 Uniform initialization(统一初始化)来处理这种歧义:
String ss{std::string(t)}; // ok
总结
这是一个经典的二义性问题,针对这种问题,我们应该避免写出这种代码,如果写出来了,可以采用文中两种方案来进行解决,从而避免歧义。