C++20标准算法扩展详解 - 从CXX20-The-Complete-Guide看现代C++算法演进

引言

C++20标准为算法库带来了多项重要扩展，这些改进使算法使用更加现代化和便捷。本文将深入解析这些变化，帮助开发者更好地理解和使用现代C++算法。

范围支持

C++20显著增强了对范围(Ranges)的支持，这是算法库最重要的改进之一。

核心特性

1. 统一参数传递：现在可以将整个容器或视图作为单个参数传递给算法，不再需要分别传递开始和结束迭代器
2. 投影功能：新增投影参数支持，允许在算法操作前对元素进行转换

使用方式

这些新特性位于std::ranges命名空间中，使用时需要显式指定命名空间：

std::vector<int> v{1, 2, 3};
auto result = std::ranges::find(v, 2);  // 直接传递整个容器

当前限制

需要注意的是，以下算法尚未支持范围：

• 数值算法(如accumulate())
• 并行执行算法
• lexicographical_compare_three_way()

新增算法

C++20引入了几种实用的新算法，极大丰富了标准库的功能。

范围极值算法

新增了三个专门处理范围的极值算法：

算法名称	功能描述
min()	计算范围中的最小值
max()	计算范围中的最大值
minmax()	同时计算最小值和最大值

这些算法支持比较条件和投影参数，使用示例如下：

std::vector<int> coll{0, 8, 15, 47, 11};

// 计算最小值
std::cout << std::ranges::min(coll) << '\n';  // 输出0

// 计算最大值
std::cout << std::ranges::max(coll) << '\n';  // 输出47

// 同时获取最小值和最大值
auto [min, max] = std::ranges::minmax(coll);
std::cout << min << ' ' << max << '\n';  // 输出0 47

元素位移算法

C++20新增了两个实用的位移算法：

算法名称	功能描述
shift_left()	将元素向前移动
shift_right()	将元素向后移动

这两个算法分别返回新的结束或开始位置，使用示例如下：

std::vector<int> coll{1, 2, 3, 4, 5, 6, 7, 8};

// 向前移动1个位置
std::shift_left(coll.begin(), coll.end(), 1);
// 结果：2,3,4,5,6,7,8,8

// 向后移动3个位置
auto newbeg = std::shift_right(coll.begin(), coll.end(), 3);
// 结果：2,3,4,2,3,4,5,6

三路字典序比较

新增的lexicographical_compare_three_way()算法使用<=>运算符比较两个范围，返回新的比较类别类型。不过目前该算法还不支持范围参数和投影参数。

执行策略扩展

C++20在并行算法执行策略方面也有重要更新。

新增unseq策略

C++20引入了std::execution::unseq执行策略，允许在单个线程内进行向量化(SIMD)处理。完整的执行策略如下：

策略	含义
seq	单线程顺序执行
par	多线程并行执行
unseq	单线程向量化执行(C++20新增)
par_unseq	多线程向量化执行

使用示例

std::vector<double> coll;
// ...初始化数据...

// 使用unseq策略进行平方根计算
std::for_each(std::execution::unseq,
              coll.begin(), coll.end(),
              [](auto& val) {
                val = std::sqrt(val);
              });

注意事项

1. 非顺序执行策略可能导致操作交错执行
2. 不应在这些策略中使用阻塞同步(如互斥锁)，否则可能导致死锁
3. 实际是否使用SIMD取决于硬件支持和实现决策

总结

C++20对算法库的扩展使现代C++编程更加高效和便捷。范围支持简化了算法调用，新增算法丰富了功能集，而执行策略的扩展则为性能优化提供了更多可能性。开发者应当根据具体场景选择合适的算法和策略，以充分发挥现代C++的优势。