c++ - 为什么不能在 C++ 中创建 void 类型的对象？

Question

C++ 不允许创建 void 类型的对象。这是为什么呢？

Answer 1

考虑下面的代码。

class Foo
{
    // etc ...
};

int main()
{
    // Declaring an object...
    Foo foo;
    // foo has been created.

    // etc ...

    return 0; // When function returns, foo will be destroyed.
}

为了知道如何实际创建对象，编译器必须知道类型。非正式地，您可以将 void 视为表示没有类型的“类型”。因此，编译器不可能知道如何创建 void 对象。你不能创建一个你不知道如何创建的对象。

int main()
{
    void v; // "I don't know how to create this!"
}

话虽如此，在其他情况下 void 是有意义的。例如，void 函数没有返回值。您不能为不存在的事物(如返回值)分配类型。

您还可以有一个指向 void 或 void* 的指针。与普通的 void 不同，void* 是有效的，并且仅表示“指向某个未知类型对象的指针”。显然，在将 void* 转换为实际的已知类型(当然，假设转换是安全的)之前，您无法对 void* 做很多事情。