c++ - sizeof能否返回0(零)

Question

sizeof 运算符在 C 或 C++ 中是否有可能返回 0(零)？如果可能，从标准的角度来看是否正确？

Answer 1

在 C++ 中，根据定义，空类或结构的 sizeof 至少为 1。来自 C++ 标准，9/3“类”:“类类型的完整对象和成员子对象应具有非零大小。”

在 C 中不允许使用空结构，除非通过扩展(或编译器中的缺陷)。

这是语法的结果(要求大括号内有东西)以及 6.7.2.1/7 “结构和 union 说明符”中的这句话:“如果 struct-declaration-list 不包含命名成员，行为未定义”。

如果允许使用大小为零的结构，那么它就是语言扩展(或编译器中的缺陷)。例如，在 GCC 中，扩展记录在 "Structures with No Members" 中。 ，上面写着:

GCC permits a C structure to have no members:

 struct empty {
 };

The structure will have size zero. In C++, empty structures are part of the language. G++ treats empty structures as if they had a single member of type char.