的main.cpp

Question

我已经为c ++创建了一个单元测试框架，我想稍后将其移植到C，并且我遇到了一个单元测试根本无法运行的问题。单元测试在.cpp文件中创建，只有一个.cpp文件应该运行所有测试。

为简化一下，通常会创建测试：

的main.cpp

#define UNIT_TEST_IMPL // or whatever
#include "unit_test.hpp"

int main()
{
    for(const auto& test : tests_queue)
        test->run();
    return 0;
}

unit_test.hpp

#pragma once

struct Base
{
protected:
    Base() = delete;
    Base(Base* ptr);

public:
    virtual void run() = 0;
};

#if defined(UNIT_TEST_IMPL)

#include <vector>

std::vector<Base*> tests_queue;

Base::Base(Base* ptr)
{
    tests_queue.push_back(ptr);
}

#endif

TEST.CPP

#include "unit_test.hpp"

#include <iostream>

struct Test : Base
{
    Test()
        : Base(this)
    {}

    void run() override
    {
        std::cout << "new test" << std::endl;
    }

};

struct Test2 : Base
{
    Test2()
        : Base(this)
    {}

    void run() override
    {
        std::cout << "new test2" << std::endl;
    }
};

static Test test;
static Test2 test2;

问题是：为什么它没有运行test.cpp中定义的测试（如果我在main.cpp文件中创建测试，它们运行得很好）？我的猜测问题在于我存储Base指针的方式，但我不知道。编译器是g ++ 6.4.0

Answer 1

static-initialization-order-fiasco in action：

未指定全局跨翻译单元的初始化顺序，因此如果test，test2在tests_queue之前被实例化，则稍后的初始化将破坏注册。

一种可能的纠正：

#pragma once

struct Base
{
protected:
    Base();

public:
    virtual ~Base() = default;
    virtual void run() = 0;
};

#if defined(UNIT_TEST_IMPL) // Should be defined only once.

#include <vector>

std::vector<Base*>& get_tests_queue()
{
    static std::vector<Base*> tests_queue;
    return tests_queue;
}

Base::Base()
{
    get_tests_queue().push_back(this);
}

#endif

所以你的main.cpp将是：

#define UNIT_TEST_IMPL // or whatever
#include "unit_test.hpp"

int main()
{
    for(const auto& test : get_tests_queue())
        test->run();
}

您的unitTests将不会被修改：

#include "unit_test.hpp"

#include <iostream>

struct Test : Base
{
    void run() override { std::cout << "new test" << std::endl; }
};

struct Test2 : Base
{
    void run() override { std::cout << "new test2" << std::endl; }
};

static Test test;
static Test2 test2;

Demo

Answer 2

我的投注是某种形式的Static Initialization Fiasco

不确定，但你不能指望全局变量（test.cpp中定义的Test1和Test2变量在主要运行中被初始化。

根据经验，如果可以的话，请避免使用全局变量（在这种情况下，你可能会这样做）。

但主要是，您的程序不应该对全局/静态变量的初始化顺序做出任何假设。这里假设在main之前初始化了两个全局变量。可能，他们不是

存储指向静态变量的指针

的main.cpp

unit_test.hpp

TEST.CPP

2 个答案: