最稳妥选择是 std::discrete_distribution，除非需动态更新权重或避免构造开销；手写前缀和时须用 std::upper_bound 配合右开区间，注意空容器、全非正权重及浮点精度问题。

直接用 std::discrete_distribution 是最稳妥的选择，除非你明确需要动态更新权重或必须避免标准库分布对象的构造开销。

为什么不用手写前缀和 + std::lower_bound

常见错误是用 std::lower_bound 查找随机数，它返回第一个「大于等于」目标值的位置——当权重含 0 或前缀和存在重复（比如两个相邻 0 权重）时，会跳过有效索引或越界。正确做法是用 std::upper_bound，它找第一个「严格大于」随机值的位置，天然适配左闭右开区间 [0, total_sum) 的语义。

• 若权重全为整数且总和不溢出，用 std::uniform_int_distribution<int>(0, total_sum - 1)</int> 配合 upper_bound，完全规避浮点精度问题
• 若用 double 权重，std::uniform_real_distribution<double>(0.0, total_sum)</double> 必须是右开区间，否则 total_sum 可能命中末尾越界
• std::partial_sum 输入容器不能为空，且至少有一个正权重，否则行为未定义

std::discrete_distribution 初始化失败的典型原因

构造时抛 std::invalid_argument，基本就这三类：

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

• 传入空容器（begin == end）
• 所有权重 ≤ 0（哪怕全是 0.0）
• 用 int 存大权重再转 double，因整数溢出或浮点舍入导致部分权重变成 0.0，触发「全非正」判定

修复方式：原始数据尽量用 std::vector<double></double> 直接初始化，别从 int 数组转型；若必须用整数，先转 long long 累加，再安全转 double。

权重频繁变化时，重建 std::discrete_distribution 的成本在哪

每次重建都会重新计算内部概率表（可能是别名法或归一化查表），时间复杂度 O(n)。它不是简单拷贝权重数组。

• 如果每帧或每毫秒都改权重，别反复构造新对象，改用静态局部变量或成员变量 + 赋值操作：dist = std::discrete_distribution<int>(new_weights.begin(), new_weights.end());</int>
• 若更新极频繁（如粒子系统每粒子权重实时变），手写别名法（Alias Method）更合适，但预处理复杂、内存占用翻倍，普通业务不值得
• 注意：std::discrete_distribution 不提供只更新单个权重的接口，所谓“部分更新”只能靠重建

真正容易被忽略的是权重数值本身的表达精度——用 float 存 1e6 级别的权重，有效位只剩 6~7 位，多个小权重相加后可能归零；生产环境建议统一用 double，并做一次校验：构造后调用 dist.probabilities() 看是否所有值 > 0。

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！