采用右值参数的函数

Functions taking rvalue parameters

本文关键字:函数 参数 值参      更新时间:2023-10-16

我在我的公司里看到了很多函数采用右值参数的代码。

例:

void Notifier::PostEvent(std::unique_ptr<IEvent>&& event)
{
std::unique_lock<std::mutex> lock(m_Mutex);
m_events.push_back(std::move(event));
m_conditionVariable.notify_all();
}

这里没有模板。这可以很容易地这样写:

void Notifier::PostEvent(std::unique_ptr<IEvent> event)
{
std::unique_lock<std::mutex> lock(m_Mutex);
m_events.push_back(std::move(event));
m_conditionVariable.notify_all();
}

由于参数"event"在这两种情况下都是接收器值,因此它们实际上是相同的。我认为第一个版本的唯一优点是它为unique_ptr保存了一个移动构造函数。这是对的吗?真的值得吗?

好的。现在我读完后更明白了 如何将unique_ptr参数传递给构造函数或函数?

正在发生的事情是,在我的第一个例子中,我通过右值引用传递,它或多或少类似于通过非常量左值引用传递。尽管您可能希望参数在函数调用后为空,但无法保证。这完全取决于函数实际用它做什么。通过将其推送/移动到像我在这里所做的那样的向量中,unique_ptr将是空的。但是,如果我不执行任何移动(假设我只是调用 IEvent 类的方法),则unique_ptr不为空。

因此,unique_ptr rvalue 引用参数实际上并不能保证调用后值会发生什么,即它是否是接收器。它可能在调用后为空,也可能不是。只有通过检查代码才能确定会发生什么。

我认为回想起来,按值unique_ptr的第二个函数定义更好。这可确保unique_ptr已被移动,以后不应再使用。