我應該使用shared_ptr <Object> myObject =（shared_ptr <Object>）new Object（）來訪問私有構造函數嗎？

Question

我有一個代碼庫，這使得大量使用的語法如下工作：

shared_ptr<Object> myObject = (shared_ptr<Object>) new Object(); 

我發現我不能make_shared訪問私有構造函數，但shared_ptr<Object> myObject = (shared_ptr<Object>) new Object();工作得很好。我應該使用它，只是因爲它似乎工作？有什麼危險嗎？它與make_shared有什麼不同？

我知道答案的問題this，使make_shared之間的比較：

std::shared_ptr<Object> p2(new Object("foo")); 

，但我一直沒能找到我碰到的語法的參考。它是不同的，還是它與上述相同？

Answer 1

make_shared將對象分配在與控制塊相同的內存塊中。這可以提高緩存一致性並削減分配。

的一種方式，允許make_shared要做到這一點是讓你的類中的一個私人令牌，而且消耗了令牌公共構造。

class Object { 
private: 
    struct token_t{ private: token_t() {}; friend class Object; }; 
    static token_t token() { return {}; } 
    Object() = default; 
public: 
    Object(token_t):Object() {} 
}; 

現在我們可以make_shared<Object>(Object::token())。

這給了我們一個分配，並沒有違反建築的隱私，因爲只有訪問私有字段Object的東西才能調用該構造函數。但是，它們可以將令牌傳遞給另一個函數（如make_shared），並且它又可以調用相關的構造函數。當然，這與更多的論據一起工作。

至於你的語法：

std::shared_ptr<Object> myObject = (std::shared_ptr<Object>) new Object(); 

(std::shared_ptr<Object>) new Object();簡單明確地構建從new Object()一個shared_ptr<Object>。它相當於std::shared_ptr<Object>(new Object)。

然後我們拿這個prvalue，並從它構造myObject。在C++ 03 11和14中，這種複製/移動結構被省略了。在C++ 17中，prvalue「構造指令」直接應用於myObject。實際上，這會產生相同的機器代碼（除非你是個傻瓜，並明確告訴你的編譯器不要遺漏構造）。

總之，它的工作原理。唯一的缺點是從Object分配中雙重分配單獨的控制塊。