[C++] Most Vexing Parse

来源:互联网 发布:企业画像 大数据 编辑:程序博客网 时间:2024/06/12 18:44
这个东西可能会常见,所以还是单独写出来比较好。

所谓的Most Vexing Parse是个什么东西呢。它是C++中的一个特性,这个特性表述起来其实是这样子的:

凡是长得像是函数声明的,就是函数声明。

是不是听的有点糊涂了?好那么我们举个几个例子好啦。

我们都知道像是string这种东西,一般声明的时候,不用赋值就会调用缺省的构造函数了,对吧。所以一般我们这么些就可以了:
string my_str;vector<int> my_ivec;
那要是我们这么写呢?

string my_str();vector<int> my_ivec();
你也许和我一样,也很可能认为这种写法和上面的一样。不过不幸的是,编译器却认为,my_str和my_ivec是两个函数声明。


这时候是不是会恍然大悟,貌似解释成函数声明也没啥问题吧。对这条规则是不是有点感性认识了?

我们都知道可以使用Type var(value)来初始化某个类变量,而且这看起来是很合理很符合逻辑的。然后根据我们的代换法则,这个value至少可以是个返回值。那么这样的代码是什么意思呢:
int a = int(); // a被赋值为0,这种写法是符合语法的,虽然不提倡int b(int());

b是什么呢,其实又是一个函数声明,参数是一个函数指针类型, int(*) ()。
0 0