_Orphan_range 使用静态矢量时崩溃

Question

在我的项目中，我使用静态object的构造函数来收集指针，就像注册方法一样。很简单，没有魔法。但是在开始时我遇到了崩溃，我无法解释这里发生了什么。使用 MSVC 或 Clang 在 Windows 上可以重现崩溃，两者都使用 MSVC headers。给出以下简单示例。谁能告诉我为什么这会导致问题？

此代码似乎在 Linux:

上的 GCC 和 Clang 中运行良好

https://gcc.godbolt.org/z/vSKdpW

bar.cpp

static int bar = 1;

static Registration abc(&bar);

foo.cpp

static std::vector<void*> registrations;

void add_to_array(void* p)
{
    registrations.push_back(p);
}

foo.h

class Registration
{
public:
    Registration(void* op)
    {
        add_to_array(op);
    }
};

在以下崩溃中执行结果（_Pnext 为 0x8。）

void _Orphan_range(pointer _First, pointer _Last) const { // orphan iterators within specified (inclusive) range
#if _ITERATOR_DEBUG_LEVEL == 2
    _Lockit _Lock(_LOCK_DEBUG);

    _Iterator_base12** _Pnext = &_Mypair._Myval2._Myproxy->_Myfirstiter;
    while (*_Pnext) {    <=======================   **_Pnext** was 0x8.

有谁知道为什么不能使用静态向量来简单地收集指向 object 的指针？ foo.cpp 是唯一使用带有 push_back 的向量的文件。该数组未在其他任何地方修改。

Answer 1

刚才使用 VS2019 运行时调试了一个类似的问题，我会继续说这几乎肯定是由零初始化（但未构造）向量引起的。

就我而言，取证看起来像这样：_Pnext 的值为 0x8 因为 _Myproxy 为空。 _ITERATOR_DEBUG_LEVEL 设置为 2（即：在调试配置文件中），_Myproxy 被取消引用，导致此崩溃，但 Release 不会崩溃，因为该代码被完全跳过。

现在，查看 MSVC142/VS2019 的 vector 实现，您会看到每个构造函数都调用 _Alloc_proxy，这就是为 _Myproxy 分配一些内存并将价值。因此，如果调用了构造函数，则您必须有一个非空 _Myproxy.

C++ 中的静态初始化分两步进行：零初始化，然后以链接器确定的任意顺序进行静态初始化。看起来按照您最终得到的顺序，Foo.cpp 的 Registration 在 Bar.cpp 的 registrations 向量之前构建，有效地在零上调用 push_back初始化（但未构造）向量。

因此，正如评论所建议的那样，您绝对应该重新安排静态初始化，以便在使用之前正确构建向量。

（在我的例子中，我正在为一个包含向量的结构分配内存，但没有在该内存上调用放置 operator new。对于其他像我一样发现这个问题的人，看对于归零但未构造的向量的任何来源。）

_Orphan_range 使用静态矢量时崩溃

_Orphan_range crash when using static vector

c++

stdvector

bar.cpp

foo.cpp

foo.h