使用静态向量时_Orphan_range崩溃

Question

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

这段代码似乎在 Linux 上的 GCC 和 Clang 中运行得很好：

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

酒吧.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.

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

Answer 1

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

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

现在，查看 MSVC142/VS2019 的向量实现，您将看到每个构造函数都调用_Alloc_proxy，这就是分配一些内存_Myproxy并分配值的原因。因此，如果调用了构造函数，则必然有一个非 null _Myproxy。

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

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

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