Question

为什么std::lock_guard和std::unique_lock需要将锁类型指定为模板参数？

考虑以下备选方案。首先，在detail命名空间中，有类型擦除类（非模板抽象基类和模板派生类）：

#include <type_traits>
#include <mutex>
#include <chrono>
#include <iostream>

namespace detail {

    struct locker_unlocker_base {
        virtual void lock() = 0;
        virtual void unlock() = 0;
    };

    template<class Mutex>
    struct locker_unlocker : public locker_unlocker_base {
        locker_unlocker(Mutex &m) : m_m{&m} {}
        virtual void lock() { m_m->lock(); }
        virtual void unlock() { m_m->unlock(); }
        Mutex *m_m;
    };
}

现在te_lock_guard，类型擦除锁定保护，只需在构造时放置一个正确类型的对象（没有动态内存分配）：

class te_lock_guard {
public:
    template<class Mutex>
    te_lock_guard(Mutex &m) {
        new (&m_buf) detail::locker_unlocker<Mutex>(m);
        reinterpret_cast<detail::locker_unlocker_base *>(&m_buf)->lock();
    }
    ~te_lock_guard() {
        reinterpret_cast<detail::locker_unlocker_base *>(&m_buf)->unlock();
    }

private:
    std::aligned_storage<sizeof(detail::locker_unlocker<std::mutex>), alignof(detail::locker_unlocker<std::mutex>)>::type m_buf;
};

我已经检查了性能与标准库的类别：

int main() {
    constexpr std::size_t num{999999};
    {
        std::chrono::steady_clock::time_point begin = std::chrono::steady_clock::now();
        for(size_t i = 0; i < num; ++i) {
            std::mutex m;
            te_lock_guard l(m);
        }
        std::chrono::steady_clock::time_point end= std::chrono::steady_clock::now();
        std::cout << std::chrono::duration_cast<std::chrono::microseconds>(end - begin).count() << std::endl;
    }
    {
        std::chrono::steady_clock::time_point begin = std::chrono::steady_clock::now();
        for(size_t i = 0; i < num; ++i) {
            std::mutex m;
            std::unique_lock<std::mutex> l(m);
        }
        std::chrono::steady_clock::time_point end= std::chrono::steady_clock::now();
        std::cout << std::chrono::duration_cast<std::chrono::microseconds>(end - begin).count() << std::endl;
    }
}

将g ++与-O3一起使用，没有统计上显着的性能损失。

Answer 1

因为这使得实现变得复杂并没有带来任何重大好处，并且隐藏了std::lock_guard和std::unique_lock知道他们在编译时保护的锁的类型这一事实。

您的解决方案是一种解决方法，因为在构造过程中不会发生类模板参数扣除 - 这在即将出台的标准中得到了解决。

由于Template parameter deduction for constructors (P0091R3)提议，必须指定锁类型是令人烦恼的样板，它将在C ++ 17 （不仅仅用于锁定保护）中解决。

提议（已被接受），允许从构造函数推导出模板参数，无需make_xxx(...)辅助函数或显式指定编译器应该能够推断的类型名：

// Valid C++17
for(size_t i = 0; i < num; ++i) {
    std::mutex m;
    std::unique_lock l(m);
}

Answer 2

滚动C++17 ...与此同时，不需要进行类型擦除。模板函数参数推导使我们成为一个简单的帮手：

template<class Mutex>
auto make_lock(Mutex& m)
{
    return std::unique_lock<Mutex>(m);
}

...

std::mutex m;
std::recursive_mutex m2;

auto lock = make_lock(m);
auto lock2 = make_lock(m2);

为什么没有std :: lock_guard / std :: unique_lock使用类型擦除？

2 个答案: