无法将 std::unique_lock 移动到结构中

Question

我正在尝试创建一个非常简单的基本 C++ 类来实现线程安全列表，即当您访问它时会自动锁定的列表。不幸的是，编译器不允许我创建并返回一个包含unique_lock 的结构。这是我一开始尝试的：

template<typename T>
struct LockedQueue {
    private:
        std::mutex mutex;
        using lock_t = std::unique_lock<std::mutex>;
        std::list<T> underlying_list;
    public:
        struct LockedListAccess {
            private:
                lock_t lock;
            public:
                std::list<T> &access;
        };
        LockedListAccess locked() {
            return LockedListAccess{ lock_t{mutex}, underlying_list };
        }
};

这失败了

no matching function for call to ‘LockedQueue<tcp::socket>::LockedListAccess::LockedListAccess(<brace-enclosed initializer list>)

我猜这意味着结构的大括号初始化列表/C++11 统一初始化不适用于像 std::unique_lock 这样的仅移动类型。所以我尝试为我的结构创建一个显式构造函数，它将 unique_lock 作为右值引用，并将其移动到成员中：

template<typename T>
struct LockedQueue {
    private:
        std::mutex mutex;
        using lock_t = std::unique_lock<std::mutex>;
        std::list<T> underlying_list;
    public:
        struct LockedListAccess {
            private:
                lock_t lock;
            public:
                std::list<T> &access;
                LockedListAccess(lock_t&& l, std::list<T>& a) :
                    lock(l), access(a) {};
        };
        LockedListAccess locked() {
            return LockedListAccess{ std::move(lock_t{mutex}), underlying_list };
        }
};

但是，这也失败了，给了我错误

error: use of deleted function ‘std::unique_lock<_Mutex>::unique_lock(const std::unique_lock<_Mutex>&) [with _Mutex = std::mutex]’

这个编译器错误特别令人困惑，因为它指向包含lock(l), access(a) 的行，因为我试图使用已删除的std::unique_lock 复制构造函数。我将l 声明为lock_t&&，那我怎么可能调用复制构造函数呢？

我在 Internet 上找到的大多数资源似乎都表明您可以使用 std::move 移动 unique_locks，尽管似乎没有人解决如何使用 std::move 构造包含 unique_lock 的对象的问题.我在这里做错了什么？

Answer 1

问题：

在LockedListAccess 构造函数的上下文中，lock_t&& l 实际上是一个左值。因此，您需要使用 std::move 将其转换回 r 值。一般经验法则：总是std::move r-value 引用和总是std::forward 转发引用。

解决方案：

LockedListAccess(lock_t&& l, std::list<T>& a) 
    : lock(std::move(l))
    , access(a) 
{}

您也不需要移动临时锁定对象，因为编译器会自动将临时对象绑定到右值引用。

这个：

LockedListAccess locked() {
    return LockedListAccess{ std::move(lock_t{mutex}), underlying_list }
}

可以变成这样：

LockedListAccess locked() {
    return LockedListAccess{ lock_t{mutex}, underlying_list }
}