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

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的构造函数尚未完成，在函数作用域中由expression指向的集合中的shared_ptr可能不包含有效指针吗？
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(); 
} 

输出：

expression: 536937312 ? 2282820

它崩溃，当我尝试存取权限expression->rules[1][0]->name;