c++ - 我怎样才能让 gcc 警告我 "int i = i;"

Question

一个简单的程序:

int main()
{
    long i = i;

    return 0;
}

编译为 C 不会出现错误和警告。

$ gcc -Wall -Wextra -pedantic 1.c

编译为 C++ 会给出警告:

$ c++ -Wall -Wextra -pedantic 1.c
1.c: In function ‘int main()’:
1.c:3:7: warning: ‘i’ is used uninitialized in this function [-Wuninitialized]
  long i = i;

在这两种情况下，变量 i 似乎都是 0，尽管在 c++ 中它可能未初始化。实际上，我在我的一个函数中犯了这样的错字，很难找到它。我能做些什么来避免这种情况？我希望至少有一个警告。此外，Clang 在任何一种情况下(c 或 c++)都不会给出任何警告。标准中是否有特定部分说明了这种行为？

编辑:尝试过类似的东西:

$ cat 1.c
int main(void)
{
    int k = k + 0;
    int i = i + 1;
    return 0;
}

警告(在 C 中)仅为“i”生成。

$ gcc -Wall -Wextra 1.c
1.c: In function ‘main’:
1.c:4:6: warning: ‘i’ is used uninitialized in this function [-Wuninitialized]
  int i = i + 1;

Answer 1

GCC编译C程序需要添加编译器标志-Winit-self。 (您还需要 -Wall 或 -Wuninitialized，见下文。)对于 GCC 编译 C++ 程序，此标志由 -Wall 隐含，但对于C 需要明确指定；它也不是 -Wextra 的一部分。

对于 Clang，情况稍微有趣一些。在 OP 的片段中，Clang 不会产生任何诊断。但是，下面的 GCC 手册中提供的片段略有不同，提供了诊断:

int f() {
  int i = i;
  return i;
}

不同的是，在上面的代码片段中，实际使用了 i 的(未初始化的)值。显然，在原始代码中，Clang 检测到该变量是无用的，并在应用诊断之前将其作为死代码消除。

在 Clang 中，诊断由 -Wuninitialized 触发，与 GCC 中一样，由 -Wall 启用。

---

这是 GCC 手册的摘录:

-Winit-self (C, C++, Objective-C and Objective-C++ only)

Warn about uninitialized variables that are initialized with themselves. Note this option can only be used with the -Wuninitialized option.

For example, GCC warns about i being uninitialized in the following snippet only when -Winit-self has been specified:

        int f()
          {
            int i = i;
            return i;
          }

This warning is enabled by -Wall in C++.

正如摘录所示，-Wuninitialized 也是必需的。在 C 和 C++ 中，-Wall 意味着 -Wuninitialized。但是，请注意，除非还请求了一些优化级别，否则不会检测到许多未初始化的使用。 (据我所知，这不适用于 -Winit-self。无需优化即可检测到。)

---

令人恼火的是，当您取消将问题标记为重复项时，之前标记的重复项会消失。我没有标记它，因为没有一个拷贝真正回答了正文中的问题；我还编辑了标题。

作为引用，这里是原始拷贝，可能会感兴趣:

• Why does the compiler allow initializing a variable with itself?

• gcc failing to warn of uninitialized variable

• Why is this initialization accepted by the c++ compiler? static int x = x;

• Has C++ standard changed with respect to the use of indeterminate values and undefined behavior in C++14?