智能指针与初始化列表混淆

Question

我正在尝试使用共享指针运行一段简单的代码。

//in the class definition
Rule(std::string name, 
     std::vector<std::vector<std::shared_ptr<RuleMember>>> rules);
...

//in function 'main'
shared_ptr<Rule> expression(new Rule("expression", {
    { identifier },
    { expression, add, identifier }
}));

编译成功，但是当我尝试运行它时“程序停止工作”。我单步执行了代码，当执行离开main（这是包含此代码的函数）时它失败了。

有趣的是，当我在表达式周围显式添加构造函数时，它可以工作：

shared_ptr<Rule> expression(new Rule("expression", {
    { identifier },
    { shared_ptr<Rule> (expression), add, identifier }
}));

我有三个问题：

1. 当我将本地shared_ptr 变量（在本例中为expression）传递给初始化列表时会发生什么？我以为会调用一个复制构造函数，为我初始化的集合创建一个新的shared_ptr。
2. 函数作用域中expression 指向的集合中的这个shared_ptr 是否可能因为expression 的构造函数尚未完成而不包含有效指针？
3. 程序在{ __atomic_fetch_add(__mem, __val, __ATOMIC_ACQ_REL); } 某处在<atomicity.h> 停止工作的事实与此有关，还是只是一个随机的地方？

Answer 1

变量在初始化列表中使用时未初始化。看看会发生什么：

#include <memory>
#include <string>
#include <vector>
#include <iostream>
using std::shared_ptr;
using std::string;
using std::vector;

struct Rule {
    string name;
    vector<vector<shared_ptr<Rule>>> rules;
    Rule(string name,
      vector<vector<shared_ptr<Rule>>> rules)
    : name(name), rules(rules) {}
};

using std::cout;
using std::endl;

int main() {
    shared_ptr<Rule> identifier, add;
    shared_ptr<Rule> expression(new Rule("expression", {
        { identifier },
        { expression, add, identifier }
    }));

    cout << expression->name << ": "
        << (uintptr_t)expression.get() << " ? "
        << (uintptr_t)expression->rules[1][0].get();
}

输出：

表达式：536937312 ? 2282820

当我尝试访问 expression->rules[1][0]->name 时它崩溃了；