智能指針與初始化列表混淆

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;