如何告诉编译器#define 的“范围”（-Wtype-limits 警告）

Question

在我的代码中，我需要在[MIN, MAX] 范围内使变量uint32_t var 饱和。 MIN 和 MAX 被定义为宏，因此我可以在头文件中轻松更改这些值。

标题：

#define MIN    (0)
#define MAX    (1000)

代码：

if(var > MAX){
    var = MAX;
}else if(var < MIN){
    var = MIN;
}

当我现在使用编译器标志 -Wtype-limits 时，我收到一条警告，第二次检查 var < MIN 始终为假。此警告表明我可以删除第二个比较。

只要我定义了#define MIN (0)，这就是有道理的，但是，当将其更改为#define MIN (10) 时，第二个比较是强制性的。

所以我的问题是：我如何告诉编译器 MIN 可以是大于或等于零的任何值？

Answer 1

最简单的解决方案就是use <= instead of <

if (var >= MAX) {
    var = MAX;
} else if (var <= MIN) {
    var = MIN;
}

但你应该尽可能避免使用宏，而只声明常量。除了在使用无符号值时始终使用U 后缀以避免有符号无符号不兼容警告。实际上很有趣的是，如果我像这样使用#define，我会得到warning in GCC but not Clang，当我更改为const 并添加U 后缀时，我会得到no warning with GCC but one with Clang

Answer 2

这解决了问题：

int main(void) {
    unsigned int var = rand();

    if (var > MAX){
        var = MAX;
    }
#if MIN > 0
    else if (var < MIN) {
        var = MIN;
    }
#endif

    printf("token = %u\n", var);
}

编辑：通过明确这两种情况来减少“肮脏”。

uint32_t saturate(uint32_t var)
{
#if MIN > 0
    if (var > MAX){
        var = MAX;
    }
    else if (var < MIN) {
        var = MIN;
    }
#else
    // Only need to do the upper bound
    if (var > MAX){
        var = MAX;
    }
#endif
    return var;
}

Answer 3

我如何告诉编译器，MIN 可以是大于或等于零的任何值？

你不能，你只是告诉它它正好是零。

此警告来自编译器在编译时评估整数常量表达式的能力，因此它会看到 var < 0 并发现 var 是无符号类型。

我们可以通过使用变量来防止这种情况并消除警告，因此它不再是整数常量表达式：

const unsigned int MIN = 0;

或者，如果您出于某种原因必须使用宏，请使用复合文字：

#define MIN    (const unsigned int){0}

现在当然不要在没有 cmets 的情况下编写这样奇怪的东西，所以正确的生产代码例如是：

// MIN is using compound literal to block unsigned vs 0 comparison warnings in gcc 1.2.3
#define MIN (const unsigned int){0}