为什么GCC仅仅通过将未定义的行为放入循环中就被诱骗允许它？

Question

#include <iostream>
#include <string>

int main()
{
  for (int ii = 0; ii < 1; ++ii)
  {
    const std::string& str = str; // !!
    std::cout << str << std::endl;
  }
}

error: ‘str’ is used uninitialized in this function [-Werror=uninitialized]

null

我已经为此提交了一个GCC bug：https://GCC.gnu.org/bugzilla/show_bug.cgi？id=63203--我仍然希望在这里更好地理解哪里出了问题，以及它如何影响类似诊断的可靠性。

Answer 1

我仍然想在这里更好地理解哪里出了问题，以及它如何影响类似诊断的可靠性。

与Clang不同，GCC没有检测自初始化引用的逻辑，因此在这里获取警告依赖于检测未初始化变量使用的代码，这是非常复杂和不可靠的（请参阅更好的未初始化警告进行讨论）。

使用int，编译器可以发现您向流中写入了未初始化的int，但是使用std::string，在std::string类型表达式和获取它所包含的const char*之间显然存在太多抽象层，GCC无法检测到该问题。

extern "C" int printf(const char*, ...);

struct string {
  string() : data(99) { }
  int data;
  void print() const { printf("%d\n", data); }
};

int main()
{
  for (int ii = 0; ii < 1; ++ii)
  {
    const string& str = str; // !!
    str.print();
  }
}

d.cc: In function ‘int main()’:
d.cc:6:43: warning: ‘str’ is used uninitialized in this function [-Wuninitialized]
   void print() const { printf("%d\n", data); }
                                           ^
d.cc:13:19: note: ‘str’ was declared here
     const string& str = str; // !!
                   ^