结构声明中是否允许使用额外的分号？

Question

这个问题只是出于好奇。 不是关于空结构的。

我只是偶然发现了一个有趣的错字

struct {
     int member1; /*comment*/ ; /* <-- note the ';' */
     int member2;
} variable[] = { /* initializers */ };

编译器（xc32，源自 gcc）没有任何接受 投诉。当然，我纠正了这个，但软件正在运行 前后顺利修正和附加;貌似 不会引起任何问题。然后我在结构定义中尝试了各种长度的;;;，它们似乎对功能都没有影响 也不是sizeof。因此，在struct 中，;;;; 的任何序列似乎都是 相当于单个;。

我找不到任何关于结构/联合的“空成员”的信息 在规范中，它们既不被允许也不被允许 不允许。在我看来，语法似乎拒绝了它们。这对比 在编译单元的顶层“空声明”; 标准明确禁止并且函数中的“null”声明; 明确允许的语言功能。

有人知道这种行为吗？它是编译器特定的还是 C规范以某种方式容忍这种空结构成员？

Answer 1

语法在 C11 6.7.2.1 中指定

结构声明：
说明符-限定符-列表 struct-declarator-listopt ;
静态断言声明

末尾有 1 个分号，因此这是唯一允许的语法。您不能跳过分号，也不能添加额外的分号。就是这样。

（但是，您可以在结构声明中使用静态断言，来自 C11。）

Answer 2

标准没有提到这一点，它只是一个gcc 容差。见6.7.2.1：

struct-or-union-specifier:
              struct-or-union identifieropt { struct-declaration-list }
              struct-or-union identifier
struct-or-union:
             struct
             union
struct-declaration-list:
             struct-declaration
             struct-declaration-list struct-declaration
struct-declaration:
             specifier-qualifier-list struct-declarator-listopt ;
             static_assert-declaration
specifier-qualifier-list:
            type-specifier specifier-qualifier-listopt
            type-qualifier specifier-qualifier-listopt

（type-specifier和type-qualifier不能为空，详见标准相关章节）

---

一些编译器，比如 gcc，允许额外的分号，但是-Wpedantic 选项表明它只是一个容忍：

struct foo {
    int a;
    ;;;
};

int main() {
    ;;;
}

使用 -pedantic 选项 gcc 抱怨，不是在主要的空语句上，而是在结构声明的额外分号上。

<source>:3:5: warning: extra semicolon in struct or union specified [-Wpedantic]
     ;;;
     ^
<source>:3:6: warning: extra semicolon in struct or union specified [-Wpedantic]
     ;;;
      ^
<source>:3:7: warning: extra semicolon in struct or union specified [-Wpedantic]
     ;;;

其他编译器可能不是那么友好，所以必须修正错字，因为它没有带来任何有用的东西。