std::execution::par 是 C++17 引入的并行执行策略,需作为首个参数传给支持的算法(如 std::sort),且仅适用于随机访问迭代器容器(如 vector);错误用法或不满足约束会导致编译失败或未定义行为。
std::execution::par 是什么,能不能直接加在 sort 上
不能直接加,加了编译会报错。C++17 的并行算法要求容器迭代器必须是 RandomAccessIterator,且算法本身得显式支持并行策略——不是所有 std:: 算法都支持,比如 std::find 支持,std::remove_if 也支持,但 std::sort 在标准库实现中**不一定启用并行**,取决于编译器和 STL 实现(libstdc++ 从 GCC 9+ 开始部分支持,libc++ 则较晚)。
常见错误现象:error: no matching function for call to 'sort',本质是传入的策略类型不被重载接受,或迭代器不满足要求。
- 确认你用的是 C++17 或更高标准(
g++ -std=c++17) - 确保头文件包含
和 - 只对随机访问容器(
std::vector、std::array、裸指针)使用std::execution::par -
std::list或std::deque不行,它们的迭代器不是RandomAccessIterator
怎么写一个真正跑起来的并行 sort 示例
下面这段代码在 GCC 11+ / Clang 12+ + libstdc++ 下可实际触发多线程执行:
#include
#include
#include
#include
int main() {
std::vector v(10'000'000, 42);
// 打乱一点,避免优化器吃掉
for (size_t i = 0; i < v.size(); ++i) v[i] ^= i;
auto t0 = std::chrono::steady_clock::now();
std::sort(std::execution::par, v.begin(), v.end()); // ← 关键:策略放第一个参数
auto t1 = std::chrono::steady_clock::now();
// 注意:别在 parallel 区域里 print,可能竞争
}
关键点:
立即学习“C++免费学习笔记(深入)”;
-
std::execution::par必须作为**第一个参数**传给算法,顺序不能错 - 不要写成
std::sort(v.begin(), v.end(), std::execution::par)—— 这是错的签名 - 性能提升不是线性的:小容器(如
- 若想退化为串行调试,把
par换成seq即可,接口完全一致
par_unseq 和 par 有什么实际区别
std::execution::par_unseq 允许向量化(SIMD)+ 多线程,而 par 只允许多线程。但它对算法行为有更强约束:不能有数据依赖、不能修改共享状态、不能调用非平凡函数对象(比如带成员变量的 lambda)。