0

我正在对一段代码进行一些更改，并且在以下情况下对理解 std::move 的行为有疑问：

struct Timer {
   Timer (boost::asio::io_service& ios) : timer_{ios} {}
   boost::asio::steady_timer timer_;
};

struct TimerContext {
   void *ctxt_;
};

class A {
   std::function<void(Timer *, const TimerContext&)>    callback_;
   boost::asio::io_service                              ios_;
};

A的构造函数：

A::A (std::function<void(Timer *, const TimerContext&)> cb) : callback_{std::move(cb)}
{
}

回调函数定义：

void
customCallback (Timer *timer, const TimerContext& ctxt) {
...
}

在main(),

for (int i = 0; i < 5; ++i) {

    A *a = new A{customCallback};

}

我的疑问是这一行： A::A (std::function<void(Timer *, const TimerContext&)> cb) : callback_{std::move(cb)}

A 类在循环中被实例化，并且相同 customCallback的函数被移动到每个新对象的自定义构造函数中。

第一个 std::move 不会使回调函数无法用于下一次调用吗？据我了解，如果您使用std::move(t), 则t不能在该范围内再次使用。

我很困惑std::move(cb)在new A. 这是执行它的正确方法吗？

4

2 回答 2

1

仔细看A的构造函数：

A::A (std::function<void(Timer *, const TimerContext&)> cb)

该函数cb是按值传递的。这意味着该函数的副本从通过 new 调用时已经发生：

A *a = new A{customCallback};

构造std::move函数初始值设定项列表的存在是为了避免冗余复制到成员变量中。调用者定义的原始函数new A保持不变。这是首选，因为复制std::function变量可能很昂贵。（sizeof(cb)- 可能比您预期的要大）。

另一种实现：该函数可以作为 const 引用传递，并允许复制发生在构造函数本身中：

A::A (const std::function<void(Timer *, const TimerContext&)>& cb) : callback_{cb}
于 2021-09-19T07:20:45.637 回答
1

您的构造函数按值A::A (std::function<void(Timer *, const TimerContext&)> cb)获取其参数，即首先复制到，然后从该副本移动到。customCallbackcbcallback_

因此，每次调用构造函数时，都会移动副本，而不是原始customCallback对象。

此外，您应该避免使用原始调用new并更喜欢智能指针以避免内存泄漏，但这不是这里的问题:-)

于 2021-09-19T07:20:45.940 回答