共享指针初始化器列表构造函数及其类型构造函数的更改

Question

考虑以下 sn-p：

#include <memory>
#include <typeinfo>
#include <iostream>


class Widget {
};

int main() {
    auto shared_ptr_to_widget = std::shared_ptr<Widget>({});
    std::cout << "type of shared_ptr_to_widget: " << typeid(shared_ptr_to_widget).name() << std::endl;
    auto maybe_a_widget = *shared_ptr_to_widget;
    std::cout << "type of maybe_a_widget: " << typeid(maybe_a_widget).name() << std::endl;
}

这将输出：

> type of shared_ptr_to_widget: St10shared_ptrI6WidgetE
> type of maybe_a_widget: 6Widget

但是，如果我将 Widget 类替换为：

class Widget {
public:
    Widget(): a{1}{}
    int a;
};

然后它会在以下行出现故障：

auto maybe_a_widget = *shared_ptr_to_widget;

我知道如果我真的想创建一个指向我应该使用的对象实例的共享指针

std::make_shared<Widget>()

这实际上会调用 Widget 的构造函数，一切都会很好。但我真的很想了解这里发生了什么以及为什么行为会根据 Widget 类的构造函数而改变。

我已经尝试查看 shared_ptr http://en.cppreference.com/w/cpp/memory/shared_ptr/shared_ptr 的构造函数，但我有点迷失了。我想这是我对使用空初始值设定项列表作为 shared_ptr() 的参数时实际发生的情况缺乏了解。

Answer 1

您的代码具有未定义的行为，因为 *shared_ptr_to_widget 取消引用了一个空指针，因为您只默认构造了 shared_ptr_to_widget，这会导致一个不拥有任何东西的空共享指针。

当程序执行有未定义的行为时，C++ 标准对符合标准的实现的行为没有约束，因此任何事情都可能发生。您正在观察“任何事物”的特定实例。

要创建一个拥有小部件的指针，可以说

auto shared_ptr_to_widget = std::shared_ptr<Widget>(new Widget);  // bad

或

auto shared_ptr_to_widget = std::make_shared<Widget>();  // good