为什么要在类对象的声明中写一个“类”？

Question

我通常不这样写，但我见过一个几乎无处不在的代码库，例如：

class prettyClass
{
    // just class stuff
};

int main()
{
    class prettyClass obj; // class?
    return 0;
}

Answer 1

在 C 中，结构的标签与其他标识符位于不同的命名空间中。因此，除非引入别名，否则他们必须为类型名称写 struct T。在 C++ 中（class 和 struct 具有相同的基本概念），它是为了自动将标签作为常规标识符引入。

但是，必须考虑 C 中的一种行为。你可以有这样的东西：

struct prettyThing
{
  // data
};

void prettyThing();

由于命名空间不同，因此没有歧义。所以 C++ 保留了这种行为。也可以有：

class prettyThing
{
   // members
};

void prettyThing();

没有歧义，类名被另一个标识符隐藏。它只能通过详细的类型说明符访问，即class prettyThing。这就是为什么人们可以编写如您所见的声明的一个实际原因。而且这不是学术性的，请考虑使用 POSIX stat and struct stat pair。

但是...除非您正在与最初以 C 概念编写的 C 代码交互，否则没有理由以这种方式编写新的 C++ 代码。

人们可能想知道为什么它对于使用struct 声明的类型不保持相同，而对于使用class 声明的类型则根本不允许。要理解这一点，最好重申并记住 classes 和 structures 在 C++ 中实际上是相同的东西（默认访问说明符除外）。以下是所有有效的 C++：

struct thing1; // forward declare

class thing1 {
  // define
};

struct thing2 {
   // define
};

class thing2 object;

任一关键字都可以用于详细类型说明符，它们在标准 C++ 中完全可以互换¹。

---

¹ - Microsoft ABI behaves as a bit of an oddball here, though.