c - 有什么方法可以将 _Static_assert 插入 ISO C11 中的表达式中吗？

Question

在C11中这样写是合法的，例如:

int b = (some_function_returning_void(), 1020);

你会得到 1020。但它不会让你写:

int b = (_Static_assert(2 > 1, "all is lost"), 304);

gcc 返回

error: expected expression before '_Static_assert'

并且有时在表达式外部使用 _Static_assert 会很不方便，因为您不走运基于预处理器宏的伪函数来验证它们的参数。

Answer 1

这在 ISO C11 中是可行的。诀窍是将 _Static_assert 放在结构声明中，放在 sizeof 表达式中:

sizeof(struct { _Static_assert(0, "yay it failed"); int dummy; })

根据 clang -std=c11 -Weverything，empty struct is a GNU extension 需要虚拟字段。