用于运行一次调节的宏

Question

我正在尝试构建一个只运行一次代码的宏。 例如，如果您循环代码并希望其中的某些内容只发生一次，则非常有用。简单易用的方法：

static int checksum;

for( ; ; )
{
    if(checksum == 0) { checksum == 1; // ... }
}

但这有点浪费和混乱。所以我有这个宏使用检查位而不是检查变量的真/假状态：

#define CHECKSUM(d) static d checksum_boolean
#define CHECKSUM_IF(x) if( ~(checksum_boolean >> x) & 1) \
                    {                                               \
                        checksum_boolean |= 1 << x;
#define CHECKSUM_END }1

末尾的1是强制用户在末尾加上分号。在我的编译器中这是允许的。

---

问题是在不让用户指定x 的情况下弄清楚如何执行此操作（n 位要检查）。 所以他可以使用这个：

CHECKSUM(char); // 7 run-once codes can be used

for( ; ; )
{
    CHECKSUM_IF
        // code..
    CHECKSUM_END;
}

---

想法我该如何实现？

Answer 1

我猜您是说您希望宏以某种方式自动跟踪您的位掩码的哪一位包含当前测试的标志。你可以这样做：

#define CHECKSUM(d) static d checksum_boolean; \
    d checksum_mask
#define CHECKSUM_START do { checksum_mask = 1; } while (0)
#define CHECKSUM_IF do {                       \
    if (!(checksum_boolean & checksum_mask)) { \
        checksum_boolean |= checksum_mask;
#define CHECKSUM_END                           \
    }                                          \
    checksum_mask <<= 1;                       \
} while (0)
#define CHECKSUM_RESET(i) do { checksum_boolean &= ~((uintmax_t) 1 << (i)); } while (0)

你可以这样使用：

CHECKSUM(char); // 7 run-once codes can be used

for( ; ; )
{
    CHECKSUM_START;
    CHECKSUM_IF
        // code..
    CHECKSUM_END;
    CHECKSUM_IF
        // other code..
    CHECKSUM_END;
}

但请注意，这有严重限制：

• CHECKSUM_START 宏和所有对应的CHECKSUM_IF 宏必须都出现在同一范围内
• 控制必须始终在任何 CHECKSUM_IF 块之前通过 CHECKSUM_START
• 控制必须始终以相同的顺序到达CHECKSUM_IF 块。如果它还跳过所有使用相同校验和位掩码的后续块，它可能只会跳过 CHECKSUM_IF 块。

出现这些限制是因为预处理器无法计数。

换句话说，除非宏重新定义，没有任何参数的宏总是扩展为完全相同的文本。因此，如果您不使用宏参数来指示在每种情况下应用哪个标志位，则需要在 运行 时间进行跟踪。