Question

未经初始化的原始成员存在一个常见的C ++错误：

#include <iostream>

class A {
  public:    
    int x;
};

int main() {
  A a;
  std::cout << a.x;
  return 0; 
}

a.x将被取消初始化。我明白为什么会发生这种情况，并希望找到解决此类错误的解决方案。我检查了gcc和cppcheck，他们没有报告这些成员。

修改使用标记-Wall -Wextra -Werror -pedantic -Wold-style-cast -Wconversion -Wsign-conversion -Wunreachable-code

检查gcc

检测到错误的gcc的第一个版本是5.1。 g ++ - 4.9没有检测到它，clang ++ - 3.6也失败了。

Answer 1

Yes they do ......有点：

main.cpp: In function 'int main()':
main.cpp:10:18: warning: 'a.A::x' is used uninitialized in this function [-Wuninitialized]
   std::cout << a.x;
                  ^
0

在上面的链接示例中，我使用GCC 5.1中继与-Wall。

打开更多GCC警告和/或升级。

同样经过测试，发现不警告：

GCC 4.4.7
GCC 4.9.2（RiaD）
Clang 3.6.0

老实说，我不确定你还能做些什么。您可以创建一个工具来执行此操作，但之后您将创建编译器或静态分析器。：）

所以，我想，只希望那些知道如何做到这一点的人赶上......

Answer 2

valgrind使用（默认）工具memcheck诊断此错误，产生一些警告，包括：

$ valgrind ./unin
…
==12185== Use of uninitialised value of size 8 
==12185==    at 0x4F39BC3: ??? (in /usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.21)
==12185==    by 0x4F3AD89: std::ostreambuf_iterator<char, std::char_traits<char> > std::num_put<char, std::ostreambuf_iterator<char, std::char_traits<char> > >::_M_insert_int<long>(std::ostreambuf_iterator<char, std::char_traits<char> >, std::ios_base&, char, long) const (in /usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.21)
==12185==    by 0x4F3AF8C: std::num_put<char, std::ostreambuf_iterator<char, std::char_traits<char> > >::do_put(std::ostreambuf_iterator<char, std::char_traits<char> >, std::ios_base&, char, long) const (in /usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.21)
==12185==    by 0x4F474E9: std::ostream& std::ostream::_M_insert<long>(long) (in /usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.21)             
==12185==    by 0x400763: main (in [censored]/unin)

Clang的地址消毒剂也应该找到它。但是，我意识到你最感兴趣的是编译时检查。毕竟，现有的测试套件可能永远不会执行某些代码，并且更快地捕获bug总是更好。您可以使用GCC 5.1（即使您仅将用于此目的），也可以使用专用的静态分析器。幸运的是，clang带有一个静态分析器，调用为scan-build（至少包含在Debian / Ubuntu包中）：

$ scan-build clang -c unin.cxx 
scan-build: Using '/usr/lib/llvm-3.6/bin/clang' for static analysis
unin.cxx:10:3: warning: Function call argument is an uninitialized value
  std::cout << a.x;
  ^~~~~~~~~~~~~~~~
1 warning generated.
scan-build: 1 bug found.

如何在C ++中查找并避免未初始化的原始成员？

2 个答案: