带空括号的默认构造函数

Question

有没有什么好的理由在C++中调用默认构造函数时,一组空的圆括号(括号)无效？

MyObject  object;  // ok - default ctor
MyObject  object(blah); // ok

MyObject  object();  // error

我似乎每次都自动输入"()".是不是有一个很好的理由不允许这样做？

Answer 1

最烦恼的解析

这与所谓的"C++最令人烦恼的解析"有关.基本上,任何可以被编译器解释为函数声明的东西都将被解释为函数声明.

同一问题的另一个例子:

std::ifstream ifs("file.txt");
std::vector<T> v(std::istream_iterator<T>(ifs), std::istream_iterator<T>());

v 被解释为具有2个参数的函数声明.

解决方法是添加另一对括号:

std::vector<T> v((std::istream_iterator<T>(ifs)), std::istream_iterator<T>());

或者,如果您有C++ 11和列表初始化(也称为统一初始化)可用:

std::vector<T> v{std::istream_iterator<T>{ifs}, std::istream_iterator<T>{}};

有了这个,就无法将其解释为函数声明.

Answer 2

因为它被视为函数的声明:

int MyFunction(); // clearly a function
MyObject object(); // also a function declaration

Answer 3

相同的语法用于函数声明 - 例如函数object,不带参数和返回MyObject

Answer 4

因为编译器认为它是函数的声明,不接受任何参数并返回MyObject实例.

Answer 5

您还可以使用更详细的构造方式:

MyObject object1 = MyObject();
MyObject object2 = MyObject(object1);

在C++ 0x中,这也允许auto:

auto object1 = MyObject();
auto object2 = MyObject(object1);

Answer 6

我猜,编译器不会知道这个语句是否:

MyObject对象();

是构造函数调用或函数原型,声明一个名为object的函数,返回类型为MyObject且没有参数.

Answer 7

如前所述,这是一个宣言.这是向后兼容的方式.C++的许多领域之一,由于其遗留问题而愚蠢/不一致/痛苦/虚假.

Answer 8

来自n4296 [dcl.init]：

[注意：
由于initializer()的语法不允许， 因此不是类X 的对象的声明，而是不带参数并返回X的函数的声明。在某些其他初始化上下文中，形式（）是允许的（ 5.3.4、5.2.3、12.6.2）。 —尾注]X a();

C ++ 11链接
C ++ 14链接