使用 CxxTest 损坏的单例数据

Question

这是一个奇怪的问题，我不知道该怎么做。

我有类似以下的内容：

struct Parms
{
    const std::string value1;
    const std::string value2;

    std::string parm1;
    std::string parm2;

    Parms() : parm1(value1), parm2(value1) {}

    static const Parms& getDefaults()
    {
        static Parms defaults;
        return defaults;
    }
};

我通常这样使用：

Parms myParms = Parms::getDefaults();
myParms.parm1 = "crap";
functionThatNeedsParms(myParms);

非常简单。这从来没有让我头疼，直到我开始尝试使用 CxxTest 编写使用此代码的单元测试。我在不同的文件中有两个测试套件类，当我单独运行它们时，一切都很好。

当我将它们一起运行时，我看到了两件坏事。首先，整个核心转储试图双重释放静态默认变量。其次，如果我在默认值死前一段时间查看它的内容，但在我开始使用它之后，其中的静态 const std::strings 已损坏（一些字母随机更改，尽管它始终是每次运行都一样）。

发生了什么事？

Answer 1

双重释放和核心转储

我想我可以解释您遇到的“双重释放和核心转储”问题。我最近遇到了同样的事情，听起来你正在做和我一样的事情。

根据您的描述，您说当您“单独运行它们”时它们可以正常工作，但如果您“一起运行它们”，则会出现双重释放/核心转储问题。

我发现如果同一个全局被声明了两次，就会发生这种情况。

在我的例子中，我有类 foo，在一个文件中我有一个全局 class foo gFoo;，而在另一个文件中我有一个全局 class foo gFoo;。 （是的，这听起来很愚蠢，实际上我正在链接一个文件 X.cxx 以及一个还包含 X.cxx 的共享库——结果基本相同。）

现在，我本来希望编译器会对此提出投诉，但显然有一些标志可以启用或禁用此检查，并且代码编译得很好。但是当程序终止并调用它的所有析构函数时，它调用了 gFoo 的析构函数两次，并给了我双重释放消息以及核心转储。

鉴于您说它独立工作正常但组合时失败，我敢打赌您将全局定义在两个单独的文件中，并且当它们自己编译时它工作正常，但是当您将它们组合成单个文件时测试，你可能有两次全局声明。

检查一下。

Answer 2

C 和 C++ 中的静态变量不是线程安全的。这意味着如果两个线程尝试访问您的单例对象，可能会发生竞争条件（坏事）。解决问题的一种方法是使用线程本地存储。这由 pthreads 库支持，并且一些编译器直接支持线程本地存储。

如果您的单例必须对所有线程都是全局的，则另一种方法是提供锁以确保一次只有一个线程可以访问您的数据。

然而，问题只出现在单元测试中。我建议不要运行多线程单元测试，除非您打算在多个线程中使用单例。

Answer 3

这高度依赖于您使用的编译器和平台，如果没有实际看到测试，我只能猜测发生了什么。

我在您的代码中看到了一些误解：
1）您缺少复制运算符和复制构造函数 您正在复制包含 std::string 的实例，这可能使用引用计数来实现。引用计数在std::string 的重载复制构造函数/运算符中实现，但这些可能不会从您的类的隐式生成的复制构造函数中调用，因此会导致双重释放内存和其他讨厌的事情。复制运算符/构造函数应如下所示：

// Copy constructor
Parms(const Parms& oth)  { parm1 = oth.parm1; parm2 = oth.parm2; }

// Copy operator
Parms& operator= (const Parms& oth)  { 
  if (&oth == this)  // Check for self-assignment
    return *this;
  parm1 = oth.parm1;
  parm2 = oth.parm2;
  return *this;
}

2) 我不太了解value1 和value2 的存在。似乎您从未初始化它们，您只是在默认构造函数中使用它们将它们的（空）内容复制到parm1 和parm2。您可以完全避免这种情况，因为 parm1 和 parm2 在调用时会自动初始化为空字符串。

3) 这里不需要使用单例模式。 getDefaults() 方法可以如下实现：

static Parms getParms() { return Parms(); }

单例模式适用于在整个程序运行过程中只有一个实例的类，而您的类似乎并非如此。

这样您就可以安全地从多个线程中使用getParms() 函数，并且智能编译器将优化隐含的附加副本。