如何用RAII方式批量锁定std::mutex数组且不依赖数组大小？

针对固定大小容器（C风格数组、std::array） #

C++14引入的std::index_sequence可以在编译期自动生成数组索引，无需硬编码容器大小，就能为每个mutex创建对应的std::lock_guard，完美契合RAII风格。

实现代码 #

先定义一个用来持有多个lock_guard的辅助类，借助模板参数包存储这些锁：

#include <mutex>
#include <utility>
#include <array>
#include <tuple>

template <typename... Guards>
class LockGuardHolder {
public:
    LockGuardHolder(Guards&&... guards) : guards_(std::forward<Guards>(guards)...) {}

private:
    std::tuple<Guards...> guards_;
};

// 辅助函数：利用编译期索引序列生成每个mutex的lock_guard
template <typename Mutex, std::size_t... Idx>
auto make_locked_guards(Mutex* mtx, std::index_sequence<Idx...>) {
    return LockGuardHolder<std::lock_guard<Mutex>...>{
        std::lock_guard<Mutex>{mtx[Idx]}...
    };
}

// 针对C风格数组的入口函数
template <typename Mutex, std::size_t N>
auto lock_all(Mutex (&mtx)[N]) {
    return make_locked_guards(mtx, std::make_index_sequence<N>{});
}

// 针对std::array的入口函数
template <typename Mutex, std::size_t N>
auto lock_all(std::array<Mutex, N>& mtx) {
    return make_locked_guards(mtx.data(), std::make_index_sequence<N>{});
}

使用方式 #

对于C风格数组：

std::mutex mtx[5];
auto guards = lock_all(mtx); // 自动锁定所有5个mutex，离开作用域自动解锁

对于std::array：

std::array<std::mutex, 5> mtx_arr;
auto guards = lock_all(mtx_arr);

这个方案完全不需要手动指定容器大小，编译期会自动推导长度并生成对应数量的lock_guard，确保RAII特性生效。

针对动态大小容器（std::vector） #

如果使用std::vector<std::mutex>，由于容器大小是运行时确定的，无法用编译期索引序列，此时可以直接用std::vector<std::lock_guard<std::mutex>>存储锁：

#include <vector>

auto lock_all(std::vector<std::mutex>& mtx_vec) {
    std::vector<std::lock_guard<std::mutex>> guards;
    guards.reserve(mtx_vec.size());
    for (auto& mtx : mtx_vec) {
        guards.emplace_back(mtx);
    }
    return guards;
}

使用方式：

std::vector<std::mutex> mtx_vec(5);
auto guards = lock_all(mtx_vec);

关于从数组生成std::initializer_list的可行性 #

这种思路不可行，核心原因有两点：

• std::initializer_list要求元素可复制或移动，但*std::lock_guard是不可复制、不可移动的类型*，根本无法放入initializer_list。
• 即使绕过类型限制，initializer_list的生命周期完全依赖于临时数组，一旦临时数组销毁，initializer_list就会失效，无法保证RAII的安全性。

所以用模板生成lock_guard的元组或vector才是可靠的解决方案。

内容的提问来源于stack exchange，提问作者Nonyme