TDD:在C++中给定未定义的行为,确定性地测试成员初始化

Question

注意:我知道active_在我的例子中可能是"任何东西".这不是这个问题的内容.它是关于使"未定义的值"可靠地通过单元测试失败.

编辑:从"无构造函数"更改为"空构造函数".

我正在研究C++类,我正在使用TDD.现在我想确保bool正确初始化类成员 - 在构造函数中为其分配值.所以我编写了以下测试(使用Google Mock/Google Test框架):

TEST(MyClass, isNotActiveUponCreation) {
    MyClass my;
    ASSERT_FALSE(my.isActive());
}

以下类定义:

class MyClass {
public:
    // Note: Constructor doesn't initialize active_
    MyClass() {}

    bool isActive() const { return active_; }
private:
    bool active_;
};

问题:在我的机器上,此测试目前总是通过,即使active_从未初始化.现在我们知道值active_是未定义的,因为它是原始类型并且从未初始化.因此从理论上讲,它可能true在某个时刻,但最终,我们无法知道.最重要的是,我无法使用这种方法可靠地测试缺少初始化.

有没有人知道如何以确定性和可重复的方式测试这种情况？或者我必须忍受它,省略这种测试并希望我永远不会忘记初始化布尔成员,或者其他测试将始终捕获导致的缺陷？

Answer 1

阅读 TobiMcNamobi 的答案后，我想起了新的位置，并了解了如何解决我的问题。active_除非我在构造函数中初始化，否则以下测试肯定会失败：

#include <gmock/gmock.h>
#include <vector>

class MyClass {
public:
    // Note: Constructor doesn't initialize active_
    MyClass() {}

    bool isActive() const { return active_; }
private:
    bool active_;
};

TEST(MyClass, isNotActiveUponCreation) {
    // Memory with well-known content
    std::vector<char> preFilledMemory(sizeof(MyClass), 1);

    // Create a MyClass object in that memory area using placement new
    auto* myObject = new(preFilledMemory.data()) MyClass();


    ASSERT_FALSE(myObject->isActive());
    myObject->~MyClass();
}

现在我承认这个测试不是最具可读性的测试，而且乍一看可能不会立即清晰，但它工作可靠并且独立于任何第三方工具（如 valgrind）。值得付出额外的努力吗？我不知道。它在很大程度上取决于MyClass内部结构，这会使其非常脆弱。无论如何，这是在 C++ 中测试正确初始化对象的一种方法。