当赋值（括在括号中）用作真值时，强制 GCC 抛出错误答案

【问题标题】：Force GCC to throw an error when an assignment (wrapped in parenthesis) is used as truth value当赋值（括在括号中）用作真值时，强制 GCC 抛出错误
【发布时间】：2021-06-04 16:06:11
【问题描述】：

我正在尝试找到一个 GCC 编译器标志，它会导致 GCC 拒绝编译以下代码：

# include <stdio.h>

int main()
{
    int x = 1;

    if( (x = 10) ) {
        printf("x is 10");
    } else {
        printf("x is not 10");
    }
    return 0;
}

上面的代码编译时不会出现警告：

gcc -Wall -Werror -O3 -o x.exe x.c

具体来说，我希望 GCC 在if( (x = 10) ) 行吐槽。如果我删除内括号，GCC 将因-Werror 而中断

gcc -Wall -Werror -O3 -o x.exe x.c
x.c: In function 'main':
x.c:7:9: error: suggest parentheses around assignment used as truth value [-Werror=parentheses]
     if( x = 10 ) {
         ^
cc1.exe: all warnings being treated as errors

我正在寻找的是一种强制 GCC 拒绝编译代码的方法，即使括号存在。

谢谢！

【问题讨论】：

我不认为你可以。额外的括号是您告诉 GCC 它不应该警告分配的方式。如果它没有警告，它不能将警告变成带有-Werror的错误
@Someprogrammerdude，不，我想要 exact 相反：如果有人忘记在比较中添加第二个 =，我希望 GCC 拒绝编译。
嗯，它在语法和语义上都是有效的，因为赋值是一个表达式，而条件可以是任何表达式。编译器不应禁止此类代码。正如您所提到的，这只是静态分析工具能够以您想要的方式处理的事情。
@Someprogrammerdude 但是那个额外的括号禁用你明确要求的警告的副作用是有害的。 GCC "hiding" the assignment-in-if when extra parenthesis are added is a BAD idea.
@AndrewHenle 是的，但另一方面，有时您想要在条件中进行分配，然后您不想全局禁用它（在构建）或使用特定于编译器的编译指示使代码混乱。

标签： c gcc

【解决方案1】：

似乎没有任何方法可以说服 GCC 这样做。 -Wall -Wextra 不会对您的示例代码发出警告，而且我没有看到任何其他看起来相关的警告选项。（如 cmets 中所述，根据 GCC 的设计，使其拒绝其他合法代码的唯一方法通常是找到代码触发的警告选项，然后使用 -Werror 将警告升级为错误。）

作为另一个数据点，clang 提供了一组与 GCC 非常相似的警告，并且它具有 -Weverything 选项的好处，可以启用它提供的每个警告。（如果 GCC 也有这样的东西，那就太好了。）But clang -Weverything doesn't give any warnings for your code either.。这似乎是一个很好的证据，表明这些社区中没有人对您的代码实施警告。

我同意这似乎很有用，因此可能值得为 GCC 和/或 clang 提交功能请求（或查看是否有人已经拥有）。

【讨论】：