在参数中移动的智能指针上调用方法是否安全？

Question

这段代码安全吗？如果方法接受值或右值引用，答案会改变吗？ unique_ptr 有变化吗？

struct foo
{
    void bar(std::shared_ptr<foo> p) // or std::shared_ptr<foo>&&
    {
        // the object will be deleted at the end of the call unless p is
        // moved/copied elsewhere at some point
    }
};

int main()
{
    auto p = std::make_shared<foo>();
    p->bar(std::move(p));
    return 0;
}

主要问题具体在这一行：

p->bar(std::move(p));

这是否保证在构造参数之前始终捕获p.operator->() 的当前值？还是在从p 移出后会发生这种情况？

（注意：我相信这对于std::shared_ptr<foo>&& 参数是安全的，因为如果有的话，实际的移动构造直到在方法体内部才会发生。但是当按值传递时，参数构造可以[包括移动构造] 在调用 p.operator->() 之前发生，还是总是严格在之后？）

Answer 1

如果您使用std::shared_ptr<foo>&& 作为参数类型（或任何引用类型），那么没有问题，因为std::move 调用实际上并没有以任何方式修改对象。先执行没关系。

在 C++17 之前，按值变体是不安全的。没有排序规则可以保证在函数参数初始化之前计算命名函数的表达式。所以函数参数的移动构造可能发生在p->bar被评估之前。

自 C++17 起，命名函数的后缀表达式的值计算和所有副作用在调用参数中所有表达式的值计算和副作用之前排序，这意味着函数的构造函数在评估p->bar 之后对参数进行排序。见[expr.call]/5。 因此，p 上的潜在问题 operator-> 调用首先发生，在移动构造之前，使代码安全。

如果您将std::shared_ptr 替换为std::unique_ptr，则同样的语句成立。