用于表达式的宏，同时将其参数强制为编译时常量

Question

我正在寻找一种方法来#define 一个宏，该宏将其参数强制为编译时常量，同时可以在表达式中使用。该方法应该在 C90 下工作并且向上兼容 - 如果可能的话，也可以移植到不同的 C++ 变体。此外，内存占用空间为 0 也是可取的。

以编译时最小宏为例。行为应该是：

 #define CT_MIN(CTC_A, CTC B) <<<MAGIC>>>

 int a = 1;
 int b = a + CT_MIN(1,4); /* OK */
 int c = a + CT_MIN(a,4); /* COMPILER DIAGNOSTIC */

为了引发编译诊断，一般来说，我可以模拟一个静态断言，如下所示：

 typedef char ct_check_is_ct_constant[(CTC_A != 0) + 1];

如果 CTC_A 使用编译时间常数（数字）以外的任何内容，则不会编译（或至少会引发一些诊断）；但如果 CTC_A 是一个数字，它总是会成功（考虑到范围）。 但是这个断言只能在多语句宏中工作，因此不能用作表达式的一部分。

我猜是这样的：

  #define CT_MIN(CTC_A, CTC_B)                   \
         ( <expr check CTC_A>,                   \
           <expr check CTC_B>,                   \
           (CTC_A) < (CTC_B))? (CTC_A) : (CTC_B) \
         )

但我不知道表达式必须是什么样子，以及是否存在这种情况。

有什么想法吗？

背景：

我通过定制的标题从不太可靠的来源获得了大量常量。这些常量强烈地参数化了我的代码。我想在预处理器和编译时为此常量实现零占用检查，以检查我的假设、环境和我编写正确代码生成器的技能。

Answer 1

您可以将sizeof 应用于具有单个字段的匿名结构，该字段的类型是本地定义的enum，其值必须是常量整数表达式：

#define CT_MIN(CTC_A, CTC_B)                                               \
    ( sizeof(struct { enum { must_be_constant_expression = CTC_A } x; }),  \
      sizeof(struct { enum { must_be_constant_expression = CTC_B } x; }),  \
      (CTC_A) < (CTC_B) ? (CTC_A) : (CTC_B)                                )

clang 产生的错误信息非常明确：

enumassert.c:32:24: error: expression is not an integer constant expression
    int c = a + CT_MIN(a,4); /* COMPILER DIAGNOSTIC */
                       ^
enumassert.c:17:60: note: expanded from macro 'CT_MIN'
    ( sizeof(struct { enum { must_be_constant_expression = CTC_A } x; }),  \
                                                           ^

此解决方案似乎没有向名称空间添加任何符号。此外，如果您需要处理非整数类型，代价是错误消息的精确度略低，您可以添加这样的转换：

#define CT_MIN(CTC_A, CTC_B)                                               \
    ( sizeof(struct { enum { must_be_constant_expression = (int)(CTC_A) } x; }),  \
      sizeof(struct { enum { must_be_constant_expression = (int)(CTC_B) } x; }),  \
      (CTC_A) < (CTC_B) ? (CTC_A) : (CTC_B)                                )

Answer 2

对于浮点和整数编译时常量的评估，我想我可以使用@chqrlie 的解决方案并稍微升级一下。

检查参数是否为编译时常量的表达式可能是：

  sizeof(struct { enum { must_be_constant_expression = (int) (!(CTC_A))} x; })

（我不确定一元 ! 是否给出了 int 或 CTC_A 类型的东西）

这应该处理大多数事情，可以在编译时合理地完成 MIN 操作。

那么完整的宏就是：

 #define CT_MIN(CTC_A, CTC_B)                                                         \
     ( sizeof(struct { enum { must_be_constant_expression = (int) (!(CTC_A)) } x; }), \
       sizeof(struct { enum { must_be_constant_expression = (int) (!(CTC_B)) } x; }), \
       (CTC_A) < (CTC_B) ? (CTC_A) : (CTC_B)                                          \
     )