在初始化列表中创建单例对象会导致访问冲突（仅限发布模式）

Posted 2023-03-05

【中文标题】在初始化列表中创建单例对象会导致访问冲突（仅限发布模式）

【英文标题】：Creation of a Singleton object in initializer list causes an Access Violation (only Release Mode)

【发布时间】：2013-03-08 16:51:17

【问题描述】：

我确实看到了一个（对我而言）奇怪的访问冲突异常。我会尽量减少问题。我有一个 A 类和一个单例对象 sing_。代码看起来像这样：

class A 
    A();
    Sing& sing_;


A::A() : sing_(Sing::instance())
    call a method that creates a local copy of Singleton Sing.
    ....

类 Sing 继承自 Singleton：

class Sing : public Singleton<Sing>
    friend class Singleton<Sing>;
    ....

Singleton 本身看起来是这样的（这是 QuantLib 库中的实现）

template <class T>
class Singleton : private boost::noncopyable 
  public:
    static T& instance();
  protected:
    Singleton() 
;


template <class T>
T& Singleton<T>::instance() 
    static std::map<Integer, boost::shared_ptr<T> > instances_;
    #if defined(QL_ENABLE_SESSIONS)
    Integer id = sessionId();
    #else
    Integer id = 0;
    #endif
    boost::shared_ptr<T>& instance = instances_[id];
    if (!instance)
        instance = boost::shared_ptr<T>(new T);
    return *instance;

我的项目代码嵌入在 Qt Gui 环境中。在调试模式下启动它不会引起任何麻烦。当我尝试以发布模式启动时，情况发生了可怕的变化。这是主要方法：

int main(int argc, char *argv[])

    QApplication a(argc, argv);
    GUI w;
    w.show();
    w.setup(argc, argv);

    return a.exec();

最后，类 GUI 看起来像这样缩写：

class GUI : public QMainWindow

    Q_OBJECT

public:
    GUI(QWidget *parent = 0, Qt::WFlags flags = 0);
    ~GUI();
private:
    boost::shared_ptr<A> a_; 
;

当我在发布模式下启动此代码时，会发生以下情况：

调用了名为 ___tmainCRTstartup() 的方法。其中调用了方法_WinMain。

在这个方法中 WinMain（甚至在调用 main 方法和 GUI 对象之前） 已创建）调用 A 的构造函数。这意味着成员 sing 将被初始化。

sing_ 在调用 Sing::instance() 期间被初始化。到目前为止一切看起来都很好。

A 的构造函数被执行。其中创建了对单例对象 Sing 的本地引用。调用 Sing::instance() 会导致该行的访问冲突

    boost::shared_ptr<T>& instance = instances_[id];

当我查看那个地方的instances_[id] 时（在发布模式下调试），地图看起来已经完全被破坏了。这意味着地图中有一个元素。但是key不是0，而是一个非常负的整数，而且值看起来很奇怪。

我完全不知道这里出了什么问题。

将 A 中的成员 sing_ 更改为静态成员可以解决问题：

class A 
    A();
    static Sing& sing_;


Sing& sing_ = Sing::instance();

A::A() 
    call a method that creates a local copy of Singleton Sing.
    ....

这当然很好，但我真的很想知道这两种实现之间的“大”区别是什么。为什么第一种方式以访问冲突结束？任何提示表示赞赏。

【问题讨论】：

单身人士并不是真正的邪恶，他们有自己的用途。

sessionId 肯定会返回一些垃圾？ PS：迄今为止我见过的对单例反模式最严重的滥用。

它在调试而不是发布中工作表明您没有初始化变量。这反过来又导致代码中其他地方的未定义行为。您确实需要正确解决此问题，目前您刚刚隐藏了它，它会回来咬你。调高你的编译器警告级别；并修复所有警告（最好将所有警告视为错误）。

不，没有定义 QL_ENABLE_SESSIONS。所以这部分代码应该是无关紧要的。

@NicholasSmith Singletons 可以总是被更好的东西取代。

【参考方案1】：

我不确定问题的路径，但我可以提供一些帮助：

首先，在调试中运行的程序在发布中失败的最常见原因（反之亦然）：

在调试中，所有内存通常（我知道的大多数调试器）都初始化为 0。因此安全 nullptr 检查可以避免错误。释放时内存未初始化，因此您会得到垃圾/随机值。

时间。代码优化以及缺少调试检查和设置（例如将所有内容设置为 0）使代码更快，因此线程之间的时间不同。

现在回到你的情况。您将变量视为“已销毁”的原因可能只是因为代码优化。 通常，如果您启用了代码优化，编译器可能会决定将一些变量放在硬件寄存器中，而不是按预期放置在堆栈中。 这可能会导致调试器误解某些局部变量。 （最常见的 *this 指针存储在寄存器中）。

现在，map 中的 operator[] 不应该引发异常。如果映射没有该键的值，则将创建它。

所以我能想到的唯一解释是地图本身已损坏，因此当它尝试遍历地图的节点时，它崩溃了。

这种类型的损坏通常是由 2 个线程同时尝试更改地图造成的。 在您的情况下这是可能的，因为在那个简单的单例实现中没有锁定保护。 可能是这种情况的另一个迹象是，当您将其设为静态时，问题就解决了。将变量设为静态会导致对象的初始化发生得更早，这可能正是您需要解决线程竞争的时机。

【讨论】：

感谢您的回答！这很有趣。回答您的问题： 1. 我没有使用多线程环境......至少我的部分代码不是多线程的。我不知道Qt或qwt。 2. 是的，这是第一次创建 Sing 的实例。一切似乎都很好，但是在第二次调用 Sing::instance() 时它崩溃了。你写的关于 operator[] 的内容听起来很合乎逻辑。在第一次初始化后，地图以某种方式“损坏”。在“静态”情况下，更早调用 Sing::instance() 也是如此。

关于优化，我还尝试了一个没有任何优化的版本。问题依然存在。关于“时序问题”假设，我在通过代码“调试”时也看到了这种行为。至少在我看来，在这种情况下，它是一个纯粹的顺序代码流。但是，正如我所说，A 的构造函数在“WinMain”方法的某处被调用。甚至在对象在 main 方法中“诞生”之前。我不知道 WinMain 中发生了什么。