c - 如何确保结构在 GCC 中完全初始化(按名称)？

Question

在使用指定初始化程序时，如何确保在 GCC 中初始化我的结构的每个字段？ (我对函数指针特别感兴趣。)(我使用的是 C 而不是 C++。)

这是一个例子:

typedef struct {
    int a;
    int b;
} foo_t;

typedef struct {
    void (*Start)(void);
    void (*Stop)(void);
} bar_t;

foo_t fooo = { 
        5 
    };

foo_t food = { 
        .b=4 
    };

bar_t baro = {
        NULL
    };

bar_t bard = { 
        .Start = NULL
    };

-Wmissing-field-initializers 根本没有帮助。它仅在 GCC(mingw 4.7.3、4.8.1)中对 fooo 有效，而 clang 只稍微好一点(没有食物和吟游诗人的警告)。

我确信不为指定初始化程序生成警告是有原因的(即使我明确要求它们)但我想要/需要它们。我不想根据顺序/位置初始化结构，因为这更容易出错(例如交换 Start 和 Stop 甚至不会发出任何警告)。 gcc 和 clang 都不会发出任何警告，表明我未能显式初始化字段(按名称初始化时)。出于多种原因，我也不想在我的代码中乱扔 if(x.y==NULL) 行，其中之一是我想要编译时警告而不是运行时错误。

至少 splint 会在所有 4 种情况下给我警告，但不幸的是我不能一直使用 splint(它会阻塞某些代码(无法解析某些 C99、GCC 扩展)) .

注意:如果我使用的是真实函数而不是 NULL，GCC 也会对 baro(但不是 bard)显示警告。

我搜索了 google 和 stack overflow，但只找到了相关问题，并没有找到这个特定问题的答案。我发现的最佳匹配是“确保结构中的所有元素都已初始化” Ensure that all elements in a structure are initialized它提出了几乎相同的问题，但没有令人满意的答案。

有没有我没有提到的更好的方法来处理这个问题？(也许其他代码分析工具？最好是可以集成到 Eclipse 或 Visual Studio 中的东西(免费)...)

Answer 1

如果我没记错的话，C 标准指定其他字段自动初始化为 0。

那么您所要求的 - 字段未初始化时的编译错误 - 将不符合 C(现代？)规范。

C99 标准，第 127 页:http://www.open-std.org/jtc1/sc22/WG14/www/docs/n1256.pdf

If there are fewer initializers in a brace-enclosed list than there are elements or members of an aggregate, or fewer characters in a string literal used to initialize an array of known size than there are elements in the array, the remainder of the aggregate shall be initialized implicitly the same as objects that have static storage duration.

gcc 的 -Wmissing-field-initializers 被记录为不用指定的初始化程序发出警告。有一个增强 -Wmissing-field-initializers=2 的请求，然后也会发出警告:http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39589

所以我建议您将您的愿望添加到该错误报告中，或者甚至提供一个补丁。根据我使用开源软件的经验，添加补丁是最好的。