C 标准为什么以及在哪里允许编译此代码？它在哪里有用？
struct foo {
int : 12;
};
【问题讨论】：
这将在 §6.7.2.1 结构和联合说明符中
12) 没有声明符但只有冒号和宽度的位域声明表示 未命名的位域。126
脚注解释了为什么存在这样的事情：
126 未命名的位域结构成员可用于填充以符合外部强加的布局。
话虽如此，标准的同一部分（第 8 段）还规定：
如果 struct-declaration-list 不包含任何命名成员，无论是直接还是通过匿名结构或匿名联合，则行为未定义。
但一些编译器（至少是 GCC 和 clang）允许这样做，作为扩展。
如果这是结构中唯一的位域，则使用会受到一些限制，但并非不可能像ouah 说明的那样使用。
标准继续着另一个“奇怪”：
作为一种特殊情况，宽度为 0 的位域结构成员表示不再将位域打包到放置前一个位域（如果有）的单元中。
【讨论】：
此程序调用未定义的行为。
C 说：
(C99, 6.7.2.1p7) "[...] 如果 struct-declaration-list 不包含命名成员，则行为未定义。"
现在一些编译器接受它作为扩展。这有什么用？
例如对于Linux内核著名的BUILD_BUG_ON_ZERO宏：
#define BUILD_BUG_ON_ZERO(e) (sizeof(struct { int:-!!(e); }))
要看这个宏是做什么的，可以看here。
【讨论】：
BUILD_BUG_ON_ZERO 宏使用了一个不包含名称的结构类型，但它看起来并不依赖于它（除了不使用名称比使用更卫生）名称）。他们的关键是一个失败的表达式会为位域大小产生一个负值，这是被诊断出来的。
gcc 使用宽度为 0 的命名位域停止翻译。
e 不为零，则BUILD_BUG_ON_ZERO 必须错误，如果e 是0，则必须产生0。例如，请参见 Linux ARRAY_SIZE 宏实现，它假定这一点并在 e 为 0 时使用 BUILD_BUG_ON_ZERO 作为标识元素。通过添加一个虚拟命名成员（不能像我们上面看到的那样具有0 宽度），当e 是0 时，您不能再填充具有BUILD_BUG_ON_ZERO 产生0 的约束。
#define BUILD_BUG_ON_ZERO(e) (<standard-conforming hack here>, 0) 或 #define BUILD_BUG_ON_ZERO(e) ((<standard-conforming-hack>) * 0) 等。黑客返回什么并不重要；我们只关心它是否在编译时爆炸。
好吧，根据语言规范，如果您的程序包含没有命名成员的结构类型，则行为是未定义的。 （对于为什么它没有被官方认定为违反约束的问题，我没有立即回答。）它在 6.7.2.1/7 中有说明
struct-declaration-list 是一个声明序列 结构或工会的成员。如果结构声明列表 不包含命名成员，行为未定义。
除此之外，这样的声明并不是真正“有用”，因为它产生的唯一东西是未定义的行为。
【讨论】：