C++ 17表達式評估順序和std :: move

Question

雖然今天重構一些代碼以將原始指針更改爲std::unique_ptr，但由於order of evaluation錯誤，我遇到了分段錯誤。

舊的代碼不喜歡的東西如下：

void add(const std::string& name, Foo* f) 
{ 
    _foo_map[name] = f; 
} 

void process(Foo* f) 
{ 
    add(f->name, f); 
} 

代碼的第一，天真，重構使用std::unique_ptr：

void add(const std::string& name, std::unique_ptr<Foo> f) 
{ 
    _foo_map[name] = std::move(f); 
} 

void process(std::unique_ptr<Foo> f) 
{ 
    add(f->name, std::move(f)); // segmentation-fault on f->name 
} 

重構後的代碼會導致分段錯誤，因爲第二個參數（std::move(f)）首先被處理，然後第一個參數（f->name）將一個移動的變量取消引用，繁榮！

可以修復這個是獲得一個手柄上Foo::name之前在呼叫移動它add：

void process(std::unique_ptr<Foo> f) 
{ 
    const std::string& name = f->name; 
    add(name, std::move(f)); 
} 

或許：

void process(std::unique_ptr<Foo> f) 
{ 
    Foo* fp = f.get(); 
    add(fp->name, std::move(f)); 
} 

這些解決方案都需要額外的行的代碼，並且看起來幾乎不像原來的（雖然UB）調用add。

問題：

• 要麼是上面慣用 C++的2個提出的解決方案，如果沒有，有沒有更好的選擇？

• 由於P0145R3 - Refining Expression Evaluation Order for Idiomatic C++，我看到C++ 17有變化。這是否會改變上述解決方案/防止他們的陷阱？

Answer 1

對我來說這兩個建議看起來不好。在那些你正在給這個動作搬走Foo物體的人中。這意味着你不能再對它的狀態做出任何假設。在第一個參數（對字符串或對象的指針的引用）被處理之前，它可以在add函數內被釋放。是的，它會在當前的實施中發揮作用，但只要有人觸及add或更深層次的任何內容，它就會中斷。

的安全方式：

• 使字符串的副本，並傳遞作爲第一個參數add
• 重構您add方法，只需要Foo類型的一個參數，並提取Foo::name內該方法並沒有把它作爲一個參數。但是，您仍然在add方法中遇到同樣的問題。

在第二種方法中，你應該能夠得到解決的評估順序問題，首先創建一個新的映射條目（默認值），並得到一個可變引用它，之後將值：

auto& entry = _foo_map[f->name]; 
entry = std::move(f); 

不確定您的地圖實現是否支持獲取對條目的可變引用，但對於許多應用程序應該可以工作。

如果我再想一想，也可以去「複製名稱」方法。無論如何都需要複製地圖密鑰。如果你手動複製它，你可以將它移動到鍵上，沒有任何開銷。

std::string name = f->name; 
_foo_map[std::move(name)] = std::move(f); 

編輯：

正如在評論中指出，應該可以直接分配_foo_map[f->name] = std::move(f)的add函數內部由於評估順序是這裏保證。

Answer 2

你可以做add採取f參照，避免了不必要的複製/移動（同樣的複製/移動它象垃圾一樣清除f->name）：

void add(const std::string& name, std::unique_ptr<Foo> && f) 
{ 
    _foo_map[name] = std::move(f); 
} 

void process(std::unique_ptr<Foo> f) 
{ 
    add(f->name, std::move(f)); 
} 

的foo_map[name]必須operator=之前評估被稱爲上，所以即使name指的是取決於f的東西，也沒有問題。