std::unique_lock移动语义

std::unique_lock move semantic

本文关键字：移动 语义 lock unique std      更新时间：2023-10-16

请帮我检查一下我对移动语义的理解是否正确std::unique_lock。
假设我有一个函数myFunc，它需要在执行开始时获取互斥锁。
此函数从不同的函数调用，其中一些函数例如myWrapper1在调用之前保持相同的互斥锁myFunc。
有时我需要在myFunc的作用域退出时不释放此锁。

typedef std::unique_lock<std::mutex> MyLock;
class Example2
{
std::mutex m_data_mutex;
MyLock&& myFunc(MyLock&& lk)
{
bool was_lock = lk.owns_lock();
if( !was_lock ) lk.lock();
std::cout << "myFunc" << std::endl;
if( !was_lock ) lk.unlock();
return std::move(lk);
}
void myWrapper1()
{
MyLock lk(m_data_mutex);
std::cout << "1" << std::endl;
lk = myFunc(std::move(lk));
std::cout << "2" << std::endl;
}
void myWrapper2()
{
MyLock lk(m_data_mutex);
std::cout << "1" << std::endl;
lk.unlock();
lk = myFunc(std::move(lk));
std::cout << "2" << std::endl;
lk.lock();
std::cout << "3" << std::endl;
}
};

所以问题是：

  1. 对于myWrapper1，可以保证MyLock仅在myWrapper1范围结束时发布，不是吗？
  2. 我是否对此问题使用正确的成语？

有什么理由你不能做这样的事情吗？IMO，这比将锁从一个所有者移动到另一个所有者要干净得多。

std::mutex my_lock;
void myFunc_locked() {
...do something that requires my_lock to be locked...
}
void myFunc() {
std::lock_guard<std::mutex> guard(my_lock);
myFunc_locked();
}
void myWrapper1() {
std::lock_guard<std::mutex> guard(my_lock);
...do something else that requires my_lock to be locked...
myFunc_locked();
}
void myWrapper2() {
...
myFunc();
}

或者，按照@Nevin建议进行操作。也许更干净：

std::mutex my_lock;
void myFunc(std::lock_guard<std::mutex>> const& guard) {
...do something that requires my_lock to be locked...
}
void myFunc() {
std::lock_guard<std::mutex> guard(my_lock);
myFunc(guard);
}
void myWrapper1() {
std::lock_guard<std::mutex> guard(my_lock);
...do something else that requires my_lock to be locked...
myFunc(guard);
}
void myWrapper2() {
...
myFunc();
}
相关文章：