The Most Vexing Parse In C++

看下面一段代码，有没有语法错误呢？

struct A{
    void doSomething(){}
};

int main(){
    A a();
    A b{};
    A c;
    A* d = new A();
    a.doSomething();
    b.doSomething();
    c.doSomething();
    d->doSomething();
    delete d;
}

如果你看到上面的代码能够很清楚的看出代码的问题在哪里，那这篇文章对你意义不大。如果你觉得有少许疑惑，当你把代码黏贴到IDE编译时，你会发现以下错误：

error: request for member 'doSomething' in 'a', which is of non-class type 'A()'

答案是：b c d都没有问题，而a报错，为什么呢？下面我们一点点揭晓答案。

函数声明

声明接受一个int类型的入参，返回值是double类型的函数

double func(int x)；
double func(int (x))；
double func(int)；

注意：函数声明只会解析入参类型，可以不写形参

函数指针定义

double (*pfunc1)(int, int);
double*  (*pfunc2)(int, int)；

两者的区别非常简单，pfunc1、pfunc2都是函数指针，区别在于pfun1指向的函数的入参是(int,int)，而返回值是double类型。pfun2指向的函数的入参是(int,int)，而返回值是double*类型。

函数指针作为函数入参的函数声明

void func1(double (*pfunc)(int, int));
void func2(double pfunc(int, int));
void func3(double (*)(int, int));
void func4(double (int, int));
void func5(double* (int, int));

func1-func5的含义是什么？他们是否都一样呢？其实在上面的定义中，func1、func2、func3、func4都是一样的，他们的首先都是一个函数，这个函数有一个函数指针作为入参；该函数指针是指向一个返回值为double类型，入参为(int,int)的函数。为什么可以有这么多不同写法呢，其实原因就是函数声明只会解析入参类型，可以不写形参，只是func1-func4的特殊点是形参是函数指针。上面清晰之后，自然func5的含义也就清楚了，func5也是一个函数，它的入参也是一个函数指针，只是这个函数指针指向的函数是一个返回double*类型、且入参为(int,int)的函数。它与前四个的区别的入参的函数指针的返回值类型。

Vexing Parse

struct B{
    B(){}
};
struct A{
    void doSomething(){}
    A(B const&b){}
};
int main(){
    A a(B());
    a.doSomething();
}

编译这段代码，会出现如下错误：

request for member 'doSomething' in 'a', which is of non-class type 'A(B (*)())'

看到这个编译错误，你就理解为什么前面要阐述函数指针了，是的，我们对比A a(B())与上一小节的void func4(double (int, int))就会发现，他们的语法完全一致，其实我们的初衷是要写一个A的对象，其中用一个临时的B对象作为入参。但是由于其语法与函数声明一致，所以对于这种语句被解析被函数声明，故A a(B())被解析为名字是a的函数，它的返回值为A类型，它的入参为一个函数指针，该函数指针指向一个返回值为B类型并且入参为空的函数。
在文章最开头的例子中A a()被解析为一个函数声明，该函数返回值为A，入参为空。

解决之道-C++11

C++11中引入了初始化列表的特性，该特性可以使用{}代替()对构造函数进行调用。故在文章开头的A b{}是借用了该特性，自然对上面的例子值需要将A a(B())修改为A a{B()}即可。

解决之道-Before C++11

C++11之前，由于还没有引入初始化列表的特性，可以采用多加个括号的方式来显式的告诉编译器我们是要声明一个对象，而非一个函数声明，对于上个例子，A a(B())只需要修改为A a((B()))即可，而对文中的第一个例子A a()需要写为A a而不可以写为A a(())；A a(())会报expected primary-expression before ')' token编译错误，由于我们不太会写这种代码，所以也不再深究。
最后给出几个正确的示例代码：

struct B{
    B(){}
    void sayHi(){}
};
struct A{
    void doSomething(){}
    A(B const&b){}
};
int main(){
    A a1 = A(B());
    A a2{B()};
    B b1{};
    B b2;
    A a3(b1);
    A a4((B()));
    a1.doSomething();
    a2.doSomething();
    a3.doSomething();
    a4.doSomething();
    b1.sayHi();
    b2.sayHi();
}

WalkeR_ZG