有没有办法让 gcc 或 clang 对缺少的“else”发出警告？

Question

如果我没有处理每个 if 语句的 else 条件，我想让编译器警告我。这是否存在于 clang 或 gcc 中？

需要澄清的是，我并不想在我的所有源代码中启用此功能。然而，有时对于整个文件或大段代码，我根本无法不仔细考虑其他每个块的设计。所以，我想，我真的在寻找一个可以打开和关闭的编译指示，以启用和禁用数千行非常重要的代码。

将其想象为自动代码审查或静态分析工具。

说编译器不能这样做是因为它是合法的……在实践中这不是问题。我见过的每个 C/C++ 编译器都会很乐意针对语法和语义上完全有效的代码发出大量警告。 （例如在 gcc 中，-Wunused-value、-Wunused-label、-Wunreachable-code 等...）

Answer 1

如果您真的想要这个，我可能建议下载Cppcheck并为此添加检查。 Cppcheck 执行简单的基于文本的匹配来检查规则集。对于缺少的 else 子句发出警告是相当简单的。

我在 missing-else 分支中实现了“missing else”的原型检查：https://github.com/ghewgill/cppcheck/tree/missing-else。它通过了自己的测试，但由于新的意外样式警告（在其他合法代码上）而导致许多其他测试失败。

Answer 2

编译器根本不能，一个简单的 if() 就是一个有效的条件语句。
编译器警告可能的语义错误，它们并不意味着具有/提供调试设施。
要获得此类功能，您必须依赖一些专门为此目的而设计的代码分析工具。

Answer 3

恐怕这样的检查只会带来大量警告，因为很多代码不使用 else 子句。但如果你只是想检查你的代码，你可以使用这些小宏：

#define IF
#define THEN ?
#define ELSE :    

然后你就可以像这样编写你的代码：

int foo(bool flag)
{
    return IF(flag) THEN 0 ELSE -1;
}

当然这是一个坏主意。