sizeof 运算符在 C 或 C++ 中是否可能返回 0（零）？如果可能，从标准的角度来看是否正确？
【问题讨论】：
0（不可能声明它们的实例，这样反对就不会适用）
std::is_empty_v<T> ? 0 : sizeof(T); 打败 sizeof 的谎言。
在 C++ 中，空类或结构的 sizeof 定义至少为 1。来自 C++ 标准，9/3“类”：“类类型的完整对象和成员子对象应具有非零大小。”
在 C 中不允许使用空结构，除非通过扩展（或编译器中的缺陷）。
这是语法的结果（要求大括号内有东西）以及 6.7.2.1/7 “结构和联合说明符”中的这句话：“如果 struct-declaration-list 不包含命名成员，行为未定义”。
如果允许使用大小为零的结构，那么它就是语言扩展（或编译器中的缺陷）。例如，在 GCC 中，扩展名记录在 "Structures with No Members" 中，上面写着：
GCC 允许 C 结构没有成员：
struct empty { };结构的大小为零。在 C++ 中，空结构是语言的一部分。 G++ 将空结构视为具有
char类型的单个成员。
【讨论】：
struct { int : 1 }（即一个未命名的位域）以正式满足语法要求。为了取缔这样的事情，那里有额外的评论。
int:1 方式，GCC 和 G++ 确实将其设为 1。对此感到抱歉。
sizeof 在 C 和 C++ 中从不返回 0。每次您看到 sizeof 评估为 0 时，它都是与语言无关的特定编译器的错误/故障/扩展。
【讨论】：
sizeof 应用于不完整类型这一事实也起到了一定的作用。以此类推。
sizeof 返回零，那么它就被彻底破坏和无用了。
C 中的每个对象都必须有一个唯一的地址。换一种说法，一个地址必须不超过一个给定类型的对象（为了使指针解除引用工作）。话虽如此，考虑一个“空”结构：
struct emptyStruct {};
更具体地说，是它们的数组：
struct emptyStruct array[10];
struct emptyStruct* ptr = &array[0];
如果对象确实是空的（即如果sizeof(struct emptyStruct) == 0），那么ptr++ ==> (void*)ptr + sizeof(struct emptyStruct) ==> ptr，这没有意义。然后*ptr 将引用哪个对象，ptr[0] 或ptr[1]？
即使结构没有内容，编译器也应该将其视为长度为一个字节，以保持“一个地址，一个对象”的原则。
C 语言规范（A7.4.8 节）将此要求表述为
当应用于结构或联合时， 结果（
sizeof运算符） 是对象中的字节数， 包括制作所需的任何填充物 对象平铺数组
由于必须将填充字节添加到“空”对象才能使其在数组中工作，因此sizeof() 必须为任何有效输入返回至少 1 的值。
编辑：
C 规范的 A8.3 节将没有成员列表的结构称为不完整类型，sizeof 的定义特别指出（强调添加）：
运算符（sizeof）可能不是 应用于函数的操作数 类型，或类型不完整，或 位域。
这意味着在空结构上使用sizeof 与在尚未定义的数据类型上使用它一样无效。如果您的编译器允许使用空结构，请注意，根据 C 规范，不允许在它们上使用 sizeof。如果您的编译器无论如何都允许您这样做，请了解这是非标准行为，不适用于所有编译器；不要依赖这种行为。
编辑：另请参阅 Bjarne Stroustrup 的常见问题解答中的 this entry。
【讨论】：
sizeof 的定义仍然会返回非零值。
空结构，如isbadawimentions。 gcc 也允许arrays of 0 size:
int a[0];
sizeof(a);
编辑：看到 MSDN 链接后，我尝试了 VS2005 中的空结构，但 sizeof 确实返回了 1。我不确定这是否是 VS 错误，或者规范是否对这类事情具有某种灵活性
【讨论】：
在我看来，对于大小为 0 的结构，sizeof 最好返回 0（本着 c 的精神）。 但是程序员在获取空结构的大小时必须小心。
但它可能会导致问题。 当定义了此类结构的数组时，则
&arr[1] == &arr[2] == &arr[0]
这使他们失去了身份。
我想这并不能直接回答您的问题，无论是否可能。 好吧，这可能取决于编译器。 （如上面迈克尔的回答中所说）。
【讨论】：
sizeof为零的标准所说的。
sizeof() 一个空的struct 不为零的原因是，标准可以保证没有两个不同的空struct 实例化（或两个不同的空structs）共享相同的内存地址。特别是，这保证了对 operator new() 的调用将返回一个有效的、唯一的内存地址（否则完全失败）。
typedef struct {
int : 0;
} x;
x x1;
x x2;
在 MSVC 2010 (/Za /Wall) 下：
sizeof(x) == 4
&x1 != &x2
在 GCC 下（-ansi -pedantic -Wall）：
sizeof(x) == 0
&x1 != &x2
即即使在 GCC 下它的大小为零，结构的实例也有不同的地址。
ANSI C（C89 和 C99 - 我没有看过 C++）说“应该可以唯一地表达对象的每个单独字节的地址。”这在大小为零的对象的情况下似乎不明确，因为它可能没有字节。
编辑：“没有声明符但只有冒号和宽度的位域声明表示未命名的位域。作为这种情况的特殊情况，宽度为 0 的位域表示没有进一步位域将被打包到放置前一个位域（如果有的话）的单元中。"
【讨论】：
我认为它永远不会在 c 中返回 0，不允许空结构
【讨论】：
这是一个测试，其中 sizeof 产生 0
#include <stdio.h>
void func(int i)
{
int vla[i];
printf ("%u\n",(unsigned)sizeof vla);
}
int main(void)
{
func(0);
return 0;
}
【讨论】：
如果你有这个：
struct Foo {};
struct Bar { Foo v[]; }
g++ -ansi 返回 sizeof(Bar) == 0。clang & intel 编译器也是如此。
但是，这不能用 gcc 编译。我推断它是一个 C++ 扩展。
【讨论】：
struct Empty {
} em;
struct Zero {
Empty a[0];
} zr;
printf("em=%d\n", sizeof(em));
printf("zr=%d\n", sizeof(zr));
结果：
em=1
zr=0
【讨论】：
em=1 和zr=1。