这怎么可能在 C++ 中使用？

Question

1. 令我惊讶的是，我发现 c++ 对象的名称可以与类名相同。有人可以向我解释原因吗？
2. 当我将a 类的对象声明为a a1() 时，它不会引发错误，但不会调用构造函数。为什么会这样？

我的代码：

#include<iostream>
using namespace std;

class a 
{
    public:
    a() 
    {
        cout << "in a\n";
    }
};

int main()
{
    a a1();
    a a;
}

Answer 1

这是我尝试使用clang 编译它时从你的代码中得到的，我认为它说明了一切。

test.cpp:15:9: warning: empty parentheses interpreted as a function declaration
      [-Wvexing-parse]
    a a1();
        ^~
test.cpp:15:9: note: remove parentheses to declare a variable
    a a1();
        ^~
1 warning generated.

Answer 2

如果您查看C++draft standard section 3.3.10 名称隐藏 段落，实际上用变量隐藏类的名称是有效的2 说（强调我的）：

类名 (9.1) 或枚举名 (7.2) 可以被同一作用域中声明的变量、数据成员、函数或枚举器的名称隐藏。如果一个类或枚举名称和一个变量、数据成员、函数或枚举器在同一范围内（以任何顺序）以相同名称声明，则无论变量、数据成员、函数或枚举器名称是 可见。

我认为这不是一个好的做法，而且会导致代码难以维护。这行代码其实是在声明一个函数：

a a1();

您也可以使用这个 pre-C++11：

a a1 ;

或在C++11中引入的uniform initialization：

a a1{} ;

回到名称隐藏，我惊喜地发现clang 会使用此代码警告您，无论设置的警告级别如何：

int main()
{
   a a;
   a a2 ;
}

我收到这条消息：

main.cpp:12:10: note: class 'a' is hidden by a non-type declaration of 'a' here
   a a;
     ^

虽然我看不到来自gcc 的类似警告。

更新

想到我之前在warts of uniform initialization 上制作的这个cmets，我意识到如果您怀疑a1 不是正确的类型，您可以使用typeid 来调试正在发生的事情。例如这段代码：

std::cout << typeid(a).name() << std::endl ;
std::cout << typeid(a1).name() << std::endl ;

在Coliru live example 上产生此输出：

1a
F1avE

并将其传递给c++filt，您会收到以下输出：

a ()     // A function that returns type a
a        // type a

Answer 3

当您编写a a1(); 时，它实际上被解析为函数声明，而不是对默认构造函数的调用。

a a1;

会正确调用默认构造函数

当您编写a a; 时，它会起作用，因为在所谓的名称隐藏中，变量名优先于类名，但即使它起作用，它也只会导致混乱，我会避免这样做。

对于所有喜欢标准引用的人来说，你去吧

类名 (9.1) 或枚举名 (7.2) 可以被同一作用域中声明的变量、数据成员、函数或枚举器的名称隐藏。如果一个类或枚举名称和一个变量、数据成员、函数或枚举器在同一范围内（以任何顺序）以相同名称声明，则无论变量、数据成员、函数或枚举器名称可见。

Answer 4

a a1(); 是函数声明返回类型为a，与调用构造函数无关

a a ; 是简单的语句工作正常会调用构造函数

Answer 5

a a1(); 是一个函数声明。

这是在 C++11 中创建统一初始化的一个重要原因。要使用 C++11 中的构造函数初始化对象，请使用 a a1{};