C++怪异构造

Question

可能重复：
Why is it an error to use an empty set of brackets to call a constructor with no arguments?

让我们有这样的代码

class Foo { 
    Foo(int) { } 
}; 

那么我们有没有结果：

int main() { 
    Foo f1 = Foo(5); // 1: OK, explicit call 
    Foo f2(5); // 2: OK, implicit call 
    Foo f3(); // 3: no error, "f3 is a non-class type Foo()", how so? 
    Foo f4(f1); // 4: OK, implicit call to default copy constructor 
    Foo f5; // 5: expected error: empty constructor missing 
} 

您能否解释一下发生了什么情况？

Answer 1

Foo f3();声明称为f3的函数，返回类型为Foo。

Answer 2

第三行被解析为声明一个不带参数并返回Foo的函数。

Answer 3

您已经定义了一个名为f3的函数，它在3的情况下返回一个foo。在情况5中，您没有定义默认的构造函数，因此会出现错误。

Answer 4

C++有一条规则，如果一条语句可以被解释为一个函数声明，它就是这样解释的。

因此，语法Foo f3();实际上声明了一个不带参数并返回Foo的函数。通过编写Foo f3;来解决这个问题，它也会调用默认的构造函数（当然，如果有的话）。

Answer 5

• f1调用拷贝构造函数的显式调用后，你错了这一个
• f2是一个明确的构造函数调用//你错了这里也
• f3声明的函数
• f4是再次复制构造函数，如f1 //你就在这里
• f5会调用默认的构造函数//你再次在这里

Answer 6

这是不是你想的是：

Foo f3(); 

你可能会认为这是默认的构造函数的显式调用，但事实并非如此。它实际上是一个名为f3的函数的声明，它不带参数并按值返回Foo。

这被解析为函数声明而不是构造函数调用被称为Most Vexing Parse。