我正在寻找一种简单的方法来查找未初始化的类成员变量。
在 runtime 或 compile time 中找到它们都可以。
目前我在类构造函数中有一个断点，并一一检查成员变量。
【问题讨论】：
标签： c++ findbugs initialization
-Wuninitialized ?
（这仅检查是否使用未初始化的变量，即是否
struct Q {
int x, y;
Q() : x(2) {}
int get_xy() const { return x*y; }
};
g++ 只会在用户调用get_xy() 而不分配给y 时发出警告。）
【讨论】：
int main() { return Q().get_xy(); } 添加到您的代码中。）
int main() { Q q; return q.get_xy(); } 才能工作。
Valgrind 可以告诉你你是否在 linux 上。
【讨论】：
uname -a 还会告诉我我是否在 Linux 上.... 但这无济于事 ;-)
【讨论】：
--track-origins 也是如此。
如果您使用的是 Visual Studio，您可以在调试模式下编译，在调试器中停止程序并查找哪些变量被初始化为包含 0xCC（堆栈）或 0xCD（堆）的字节。
尽管就我个人而言，我还是会投资一个静态分析工具以获得更彻底的方法。
【讨论】：
/analyze on Visual Studio（“团队系统”）
【讨论】：
如果您使用 GCC，您可以使用 -Weffc++ 标志，当变量未在成员初始化列表中初始化时会生成警告。这个：
class Foo
{
int v;
Foo() {}
};
导致：
$ g++ -c -Weffc++ foo.cpp -o foo.o
foo.cpp: In constructor ‘Foo::Foo()’:
foo.cpp:4: warning: ‘Foo::v’ should be initialized in the member initialization list
一个缺点是-Weffc++ 也会在变量具有适当的默认构造函数时发出警告，因此不需要初始化。当您在构造函数中初始化变量时，它也会警告您，但不会在成员初始化列表中。它还会对许多其他 C++ 样式问题发出警告，例如缺少复制构造函数，因此当您想定期使用 -Weffc++ 时，您可能需要稍微清理一下代码。
还有一个错误导致它在使用匿名联合时总是给你一个警告，你目前无法解决这个问题，然后关闭警告，可以通过以下方式完成：
#pragma GCC diagnostic ignored "-Weffc++"
但总的来说，我发现 -Weffc++ 在发现许多常见的 C++ 错误方面非常有用。
【讨论】：
考虑下面的代码
unint.cpp：
int main()
{
int a;
int b;
a++;
b = b + 5;
return 0;
}
如果代码编译时带有以下注释，则会显示警告消息。
g++ -O3 -Wuninitialized unint.cpp
注意：-Wuninitialized 也需要 -O3 选项。
【讨论】：
-Wunitialized 用于非成员变量，并且我们都应该已经拥有它作为已经使用-Wall -Wextra -Wpedantic 的一部分。此外，它不需要“-O3 选项”或任何其他形式的优化存在或不存在，尽管如果优化导致删除无副作用的变量，它们可能会影响返回的警告。
小心！这里提出的编译器选项既不可靠，也不独立于版本。考虑一个简单的例子：
class A {
int a;
public:
void mA() {
printf("haha");
++a;
int g = 2/a;
printf("%i\n",g);
}
};
int main() {
A a;
a.mA();
}
使用g++ -O3 -Weffc++ -Wuninitialized 编译，这个东西报告uninitialized 的 gcc 版本高达 4.6，并在 4.7 和 4.8 上顺利通过（在 MacPorts 上测试）。然后，奇怪的是，如果我们删除 printf("haha");，4.7 和 4.8 都会突然看到 uninitialized A::a。 Clang 稍微好一点，因为它以某种方式将垃圾（而不是方便的 0）分配给未初始化的变量，因此您更容易/更快地看到它们的灾难性影响。
我在发现上述未初始化的A::a 和valgrind 时运气不佳；也许建议valgrind 的绅士可以提供适当的选项来发现此错误。
底线：很好的问题，目前没有多少可靠的解决方案......（我的看法）。
【讨论】：
-O0 以上的任何优化级别，gcc 4.7 会优化除对printf 的调用之外的所有内容。我检查了汇编代码，它只是对printf 的两次调用。所以 gcc 的编译时评估没有检测到未初始化的值。而valgrind 没有机会在运行时检测到它，因为它只是两次使用常量参数调用 printf。
Visual Studio (MSVC) 有一个 /sdl（启用附加安全检查）编译器选项 (http://msdn.microsoft.com/en-us/library/jj161081.aspx)。在运行时，它：
执行类成员初始化。自动初始化类 对象实例化时指针类型为零的成员（在 构造函数运行）。这有助于防止使用未初始化的数据 与构造函数未显式关联的类成员 初始化。
这不会帮助您在编译时检测未初始化的成员变量，但它会使行为在运行时发生时更加可预测。当然，您不应该编写依赖于启用此选项的代码。
【讨论】：
带有 clang-analyze 的 Clang 能够做到这一点。它将事件创建一个漂亮的 HTML 报告，指示何时访问未使用的变量。
【讨论】：