条件表达式中的常量值

Question

在关于无限循环的编码风格问题中,有些人提到他们更喜欢for(;;)样式,因为while(true)样式在MSVC上给出关于条件表达式是常量的警告消息.

这让我感到非常惊讶,因为在条件表达式中使用常量值是避免#ifdef地狱的有用方法.例如,您可以在标题中:

#ifdef CONFIG_FOO
extern int foo_enabled;
#else
#define foo_enabled 0
#endif

代码可以简单地使用条件并信任编译器在未定义CONFIG_FOO时删除死代码:

if (foo_enabled) {
    ...
}

每次使用foo_enabled时,不必测试CONFIG_FOO:

#ifdef CONFIG_FOO
if (foo_enabled) {
    ...
}
#endif

这种设计模式一直在Linux内核中使用(例如,include/linux/cpumask.h在禁用SMP时将几个宏定义为1或0,在启用SMP时定义为函数调用).

MSVC警告的原因是什么？另外,有没有更好的方法来避免#ifdef hell而不必禁用该警告？或者这是一个过于广泛的警告,一般不应该启用？

Answer 1

警告不会自动意味着代码很糟糕,只是看起来很可疑.

就个人而言,我从一个能够启用所有警告的位置开始,然后关闭任何证明比使用更令人讨厌的警告.任何时候你向一个布尔施放任何东西的那个人通常是第一个去的.

Answer 2

我认为警告的原因是你可能无意中有一个更复杂的表达式,在没有意识到的情况下评估为常量.假设你在标题中有这样的声明:

const int x = 0;

然后,远离x的声明,你有一个像这样的条件:

if (x != 0) ...

您可能没有注意到它是一个常量表达式.