在构造函数下创建共享指针

Question

假设我有一个 c++ 类

class xyz
 {
 ...
 };
class abc 
 {
  shared_ptr<xyz> ptr;
  ..
  abc():ptr( new xyz()) // line 1
   {
   }
 };

第 1 行调用了什么？

make_shared<xyz>()

或

shared_ptr<xyz>(new xyz())

是否依赖编译器？

Answer 1

该语言很少自动使用库设施。

在某些情况下，核心语言依赖于标准库，是的。例如。您必须包含 <typeinfo> 标头才能使用 typeid 运算符。对于未处理的异常，还有std::terminate 的调用。但是除了这些非常特殊和基本的情况之外，核心语言和标准库是分开的。了解必要的编译器和操作系统特定功能后，您可以自己实现标准库。

因此，简而言之，不能保证用调用make_shared 来替换您的new-表达式，但如果编译器可以保证可见效果相同，那么它可以 在 as-if 规则下优化这种方式。

据我所知，截至 2016 年 8 月，还没有编译器可以做到这一点。