在简单的算术完整性检查中强制C编译错误加法和减法必须匹配

问题描述

上下文

想象一下代码的正确性取决于某个值的相加或相减，以便在编译时就可以知道是否应中止编译。

例如：

some.h
#define A 100
#define B 20
#define C 120

想象一下，some.c中的代码假定A+B == C，否则编译它甚至没有任何意义。

希望

如果some.c不等于A+B，我们希望C的编译失败。

some.cpp
#include "some.h"
#define CONTROL ((A)+(B)-(C))

something_that_cause_compilation_failure_if_argument_is_non_zero(CONTROL)

非解决方案

这不起作用，因为预处理器不执行算术运算，仅执行字符串替换：

#if CONTROL
#else
#error MISMATCH
#endif

解决方法

这可以通过静态断言来解决，并且自{11 {3}}

以来一直是C11标准

test.c

#define A 100
#define B 20
#define C 120

_Static_assert ( A+B == C,"A+B not equal to C");

int main()
{
    return 42;
}

gcc --std=c11 fail.c -o fail && echo SUCCESS

SUCCESS

如果值更改：

gcc --std=c11 fail.c -o fail

fail.c:14:1: error: static assertion failed: "A+B not equal to C"
   14 | _Static_assert ( A+B == C,"A+B not equal to C");
      | ^~~~~~~~~~~~~~