c – 如何在std :: pair中返回std :: lock_guard

当我从函数返回std :: pair中的std :: lock_guard时,我得到了可怕的错误.但是当我将它打包成一个类时,我没有任何问题(编译并按预期工作).我不明白为什么.细节如下：

我设计了一个小模板类,以便方便地锁定和解锁共享对象.它不是特别创新,但C 17允许它非常紧凑并且代码读/写友好：

template <typename T> class Locked {
public:
    Locked(T& _object,std::mutex& _mutex)
        : object(_object),lock(_mutex)
    {
    }

    T&                          object;
    std::lock_guard<std::mutex> lock;
};

template <typename T> class Lockable {
public:
    Locked<T>       borrow() { return Locked(object,mutex); }
    Locked<const T> borrow() const { return Locked(object,mutex); }

private:
    T                  object;
    mutable std::mutex mutex;
};

它可以像：

int main()
{
    Lockable<std::vector<int>> lv;

    auto [vec,lock] = lv.borrow();

    std::cout << vec.size() << std::endl;
}

我的问题是这个. Locked类非常薄.我以为我可以使用std :: pair而不是正式类,如下所示：

#include <iostream>
#include <mutex>
#include <utility>
#include <vector>

template <typename T> class Lockable {
public:
    std::pair<T&,std::lock_guard<std::mutex>>       borrow()
    { return std::pair(object,std::lock_guard<std::mutex>(mutex)); }
    std::pair<const T&,std::lock_guard<std::mutex>> borrow() const
    { return std::pair(object,std::lock_guard<std::mutex>(mutex)); }

private:
    T                  object;
    mutable std::mutex mutex;
};

int main()
{
    Lockable<std::vector<int>> lv;

    auto [vec,lock] = lv.borrow();

    std::cout << vec.size() << std::endl;
}

但这会引发可怕的,难以解析的错误.我认为这与std :: lock_guard不可移动有关,但对我来说,它看起来就像我的工作代码.为什么第二个版本不起作用？

解决方法

有些按摩Lockable确实编译：

template <typename T>
class Lockable {
public:
    auto borrow()       { return std::pair<      T&,std::lock_guard<std::mutex>>{object,mutex}; }
    auto borrow() const { return std::pair<const T&,mutex}; }

private:
    T                  object;
    mutable std::mutex mutex;
};

Live example.

我们的想法是在std :: pair中明确指定std :: lock_guard作为模板参数,但是将mutex作为相应的构造函数参数提供(实际上,第二个版本不起作用,因为std :: lock_guard不可移动).在这种情况下将使用std::pair::pair的过载(3).

(另外,因为它是C 17,我建议to use std::scoped_lock instead of std::lock_guard).