为什么不能声明void类型的变量？

Question

我正在标准中寻找对这一事实的正式解释。我找到了3.9.1/9所说的，并试图用该部分给出解释。

第3.9.1/9节，N3797：

void类型有一组空值。void类型是不完整的类型，无法完成。它用作不返回值的函数的返回类型。任何表达式都可以显式转换为cv void类型（5.4）。void类型的表达式只能用作表达式语句（6.2）、逗号表达式的操作数（5.18）以及？的第二个或第三个操作数：（5.16），作为typeid、noexcept或decltype的操作数，作为返回类型为void的函数的返回语句（6.6.3）中的表达式，或作为显式转换为cv void类型的操作数。

我不明白它是如何从空类型有一组空值这一事实中暗示的？

假设类型T有一组空值。为什么编译器在遇到以下行时会抛出错误：

extern T v; 

我们可以通过以下方式删除不完整类型的变量：

#include <iostream>
#include <cstring>

using namespace std;

struct Foo;

extern Foo f; //OK!

int main()
{
}

而且效果很好

演示

它不能在空类型上完成

#include <iostream>
#include <cstring>

using namespace std;

extern void f; //compile-time error

int main()
{
}

演示

Answer 1

[编辑]下面的答案提出了有效的意见，但它们相互矛盾。由于这些可能很有价值，我不会删除它们，但请参阅Ben Voight的回答和那里的评论以获得更直接的html" target="_blank">方法。

7.1.1/8特别允许您对extern声明进行观察：

已声明但未定义的类的名称可以在外部声明中使用。这样的声明只能以不需要完整类类型的方式使用。

void不是“已声明但未定义的类”，7.1.1中没有适用的其他例外情况。

此外，3.9/5相当明确地表示，事实上允许：

已声明但未定义的类、某些上下文中的枚举类型（7.2）或大小未知或元素类型不完整的数组是不完全定义的对象类型。[45]不完全定义的对象类型和无效类型是不完整的类型（3.9.1）。对象不应定义为具有不完整的类型。

我的。标准的这一部分非常具体地说明了定义和声明之间的差异，因此通过省略，它规定了允许声明。

Answer 2

“void类型是不完整的类型”

不能创建任何不完整类型的变量

“…无法完成”

虽然您的extern不完整结构示例可以在稍后完成，但编译器知道任何val类型的声明都永远无法完成。

Answer 3

您不能声明val类型的变量，因为变量必须具有对象类型或是引用，extern uluf；不声明引用，并且val不是对象类型：

第3节[basic]说

变量由非静态数据成员或对象以外的引用的声明引入。

第3.9节[basic.types]说

对象类型是一种（可能是cv限定的）类型，它不是函数类型，不是引用类型，也不是void类型。