C++之Most Vexing Parse

前言

之前遇到过这种情况，当时不明所以，问过别人，也没问出过所以。后来偶然看到了一篇文章，恍然大悟，赶紧记录下来。

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

总结

这是一个经典的二义性问题，针对这种问题，我们应该避免写出这种代码，如果写出来了，可以采用文中两种方案来进行解决，从而避免歧义。

C++之Most Vexing Parse