在 C&C++ 中查找未初始化的变量

Question

我真正的意思是 C 和 C++。该项目使用 C 语言的库，该库正在 C++ 中调用我的函数。然而，这些函数位于 extern“C” 中，因为库需要它。

不管怎样，在这些函数中我做了new Blah。当调用特定函数（end_tree）时，我希望所有变量都被初始化。使用 Visual Studios、GCC 或任何其他编译器我可以检查吗？我只是注意到有些布尔值是 TRUE，这不应该是......为什么，因为它没有初始化。我可以使用某种 _VS_CheckThisMemory(mytree) 函数或魔法吗？

Answer 1

不知道这就是你想要的，但是gcc有-Wmaybe-uninitialized和-Wuninitialized。 警告选项页面上可能有更多信息。

Answer 2

使用 valgrind （在 Linux 上）

./valgrind myprogram

当我的程序使用调试信息（gcc -g）编译时特别容易，但不是必需的。 Valgrind 将通知未初始化的内存正在使用的位置以及从何处分配。如果它有调试信息，valgrind 将准确报告发生在哪个 file:linenumber 上。 （它甚至可以动态附加一个调试器，以便您检查事物）

它还将检测超出分配边界的访问以及释放后的访问。这非常有用。

这里结束了有用的答案

---

编辑因为不太清楚我发布以下内容的原因，从评论中可以清楚地看出，让我介绍一下这个答案的其余部分：

当开始在现有代码库中使用 valgrind 时，几乎不可避免地会得到“误报”，即报告（还不是真正的问题）。我提供了一个可能触发此类报告的示例，以及您通常如何修复这些问题。

我添加此内容只是为了提高人们对如何处理或识别（半）误报的认识。

另一种措辞方式（参考评论中 Matthieu 令人信服的推理）是即使是“并非真正致命的”Valgrind 警告也视为至关重要：修复它们，而不是忘记。

当这并不是真正的问题时，valgrind 可能会报告未初始化的访问。例如，

 char buf[1024];
 strcpy(buf, "hello");

 char clone[1024];
 memcpy(clone, buf, 1024);

您应该通过做一些更聪明的事情来解决这个问题，例如

 memcpy(clone, buf, strlen(buf));

确保buf中没有未初始化的“部分”（或者至少不在访问的区域中）

Answer 3

使用自初始化类来覆盖那些烦人的原语。

template<typename T> class always_initialized {
    T t;
public:
    always_initialized()
        : t(T()) {}
    always_initialized(const T& ref) {
        : t(ref) {}
    operator T&() { return t; }
    operator const T&() const { return t; }
    T& operator=(const T& ref) { return t = ref; }
};

Answer 4

为了响应评论中链接的代码，RAIIIA（资源获取是操作中的初始化（R））

class OtherClass;
class MyClass : public SomeBase {
public:
    // note I got rid of your default constructor, which leaves values unitialized
    MyClass(Var* name, OtherClass* loop)
    :   m_name(name), m_loop(loop) // this right here
    {   }
    virtual ~MyClass(); // no implementation needed here

    void save();

    // made the members protected, other classes have no business accessing them directly
protected:
    Var* m_name;
    OtherClass* m_loop;
};

您的默认构造函数将值统一化，并且与纯粹形式的 RAII 背道而驰。这样做是可以的，但是由于您遇到未初始化变量的问题，我建议删除默认构造函数。

编辑：将未知指针存储为类成员而不在类构造函数/析构函数中newing和deleteing它们并不是真正的RAII，但我希望你在某个地方这样做。

Answer 5

我通过使用带有模板的解决方案来解决这个问题，就像属性一样。我使用了 C++ 中的类似特性的属性？ 但还有其他示例其他事情，例如传递 get/setter。

基本上生成了大部分代码，因为我能够并且跟踪变量是否通过属性设置。最后我只是检查成员并断言告诉我是否设置了变量。当我“得到”时我也会断言以防万一。