std::random_device的定义范围与方式：多线程场景下的最优选择

三种现有方案的优缺点分析 #

1. 全局thread_local定义 #

• 优点：每个线程仅构造一次随机设备、PRNG引擎和分布对象，无重复构造开销，线程独立无需同步。
• 缺点：全局作用域会暴露这些对象，容易被无关代码意外访问，封装性差，维护成本高。

2. 函数内thread_local定义（你倾向的方案） #

• 优点：
  • 每个线程独立拥有一套随机组件，完全避免线程间同步开销，符合你的需求。
  • 变量仅在channel函数内可见，封装性好，不会污染全局作用域。
  • thread_local变量在每个线程第一次进入函数时构造，后续复用，构造开销仅发生一次。
  • C++标准保证函数内thread_local变量的初始化是线程安全的，无初始化竞争问题。
• 注意：部分平台的std::random_device可能基于伪随机实现，但这不影响线程独立性。

3. 线程函数内自动变量定义 #

• 情况1：线程内定义后传引用给channel
  • 优点：PRNG引擎线程内复用，无重复构造开销。
  • 缺点：channel函数依赖外部传入的引擎，耦合度高，封装性差。
• 情况2：channel内每次构造自动变量
  • 缺点：每次调用channel都会重新构造PRNG引擎和分布对象，构造开销大，效率极低，完全不推荐。

效率与问题对比 #

• 效率最高：方案2和方案1（全局thread_local）效率接近，均为线程内单次构造，无重复开销；方案3的传引用版本效率接近前两者，但耦合度高；方案3的内部构造版本效率最低。
• 问题最少：方案2是最优选择，兼顾封装性、线程安全和效率，无额外维护负担。

更优的扩展方案 #

可以将随机组件封装为线程局部的类实例，提升代码的可维护性和复用性：

#include <chrono>
#include <random>
#include <thread>
#include <fmt/core.h>
#include <fmt/std.h>

using std::chrono_literals::operator""ms;

class ThreadLocalRNG {
public:
    ThreadLocalRNG() : rand_dev(), mt_engine(rand_dev()) {}

    // 获取PRNG引擎引用
    std::mt19937& engine() { return mt_engine; }

    // 通用生成函数，适配任意分布
    template<typename Distribution>
    auto generate(Distribution& dist) {
        return dist(mt_engine);
    }

private:
    std::random_device rand_dev;
    std::mt19937 mt_engine;
};

void channel() {
    thread_local ThreadLocalRNG rng;
    thread_local std::uniform_int_distribution uniform_50_50_dist{1, 2};

    if (rng.generate(uniform_50_50_dist) == 1) {
        thread_local std::uniform_int_distribution<size_t> uniform_dist_for_bit_select{0, 10};
        const auto random_index = rng.generate(uniform_dist_for_bit_select);

        std::this_thread::sleep_for(100ms);
        fmt::print("thread: {} produced {}\n", std::this_thread::get_id(), random_index);
    }
}

void thread1() {
    for (size_t count{}; count < 10; ++count) {
        channel();
    }
}

void thread2() {
    for (size_t count{}; count < 5; ++count) {
        channel();
    }
}

int main() {
    std::jthread th1{thread1};
    std::jthread th2{thread2};
}

这个方案将随机设备和PRNG引擎封装在一起，逻辑更清晰，后续扩展随机功能（比如新增分布、调整种子策略）时更方便。

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