如何在 _Static_assert 中使用 const int？

Question

前言：我想静态检查C程序中结构成员的数量，所以我创建了两个宏，每个宏都创建常量int，将__LINE__存储到变量中：

 #include <stdio.h>
 #include <string.h>
 #define BEGIN(log) const int __##log##_begin = __LINE__;
 #define END(log) const int __##log##_end = __LINE__;
 BEGIN(TEST);
 struct TEST {
    int t1;
    int t2;
    float t3;
    int t4;
    int t5;
    int t6;
 };
 END(TEST)

 main()
 {
    static_assert(__TEST_end - __TEST_begin  == 6 + 3, "not_equal");
 }

当我使用带有 -std=c++11 选项 (c++ test.cpp -std=c++11) 的 C++ 编译器时，它可以正常工作，但是相同的代码（将 static_assert 替换为 _Static_assert）不能在 C（gcc 版本 4.8.4）中工作时会出现奇怪的错误，因为可以在编译时评估此表达式：

test.c：在函数“main”中：test.c:18:17：错误：静态表达式 断言不是常量 _Static_assert(__TEST_end - __TEST_begin == 6 + 4, "not_equal");

如何修复此错误或实现 C 中的原始目标？

Answer 1

在 C 中，即使使用 const 定义的变量也不是常量表达式。 _Static_assert 要求它的第一个参数是一个常量表达式。因此，可以在 C++ 中完成的相同事情在 C 中却无法完成。

您可以改为进行运行时检查；使用断言。

请注意，此方法无法防止程序员在同一行中键入两个成员或使用相同类型的多个单行声明，或添加空行（或注释）。与其强迫程序员遵循字符串编码模式，只是为了让这个断言能够捕获错误，不如简单地要求程序员定义正确数量的成员，这样就不太容易出错。严格来说更好，因为无论哪种方式都可以使无法检测到的错误，但至少不必担心严格的编码模式。