std::adjacent_difference 是标准库中定义在 头文件里的函数,用于计算相邻元素差分:首项直接复制,后续为 a[i] - a[i-1],常用于差分数组、前缀和变化分析等场景。

标准库中没有 std::adjacent_difference_c++ 这个函数——它根本不存在。你可能混淆了函数名,实际可用的是 std::adjacent_difference,定义在 头文件中。
std::adjacent_difference 是什么,用来干啥?
它计算「相邻元素的差」,生成一个差分数组:第一个输出元素是原序列首项,后续每个元素是当前项减前一项(即 a[i] - a[i-1])。常用于快速构建一阶差分、还原前缀和变化、检测序列单调性等场景。
注意:它不修改原容器,而是把结果写入目标迭代器(可与输入重叠,但需保证不越界)。
基本用法和常见错误
最典型误用是忽略输出空间分配或传错迭代器范围:
立即学习“C++免费学习笔记(深入)”;
- 输出容器必须至少有
std::distance(first, last)个可写位置(哪怕只读前n-1个差值,首项也要占 1 位) - 若用
std::vector::begin()作输出,务必提前resize()或用back_inserter - 不能对空区间调用(
first == last时行为未定义)
std::vectora = {5, 8, 6, 10}; std::vector diff(a.size()); // 必须预留空间 std::adjacent_difference(a.begin(), a.end(), diff.begin()); // diff == {5, 3, -2, 4}
自定义二元操作和类型注意事项
默认用 operator-,但可传入任意二元函数对象。此时要注意:
- 操作符参数顺序固定:第二个参数减第一个参数(即
op(a[i], a[i-1])),不是反过来 - 返回类型需能赋值给输出迭代器的 value_type;若涉及窄类型(如
char),易因整型提升导致意外符号扩展 - 不支持右值容器直接传入(C++20 起部分重载支持,但主流编译器仍建议传左值)
std::vectort = {1.5, 2.7, 3.0}; std::vector dt(t.size()); std::adjacent_difference(t.begin(), t.end(), dt.begin(), [](double a, double b) { return a * a - b * b; }); // 平方差
和手写循环比有啥坑?
看似简洁,但有几个隐含约束容易翻车:
- 输入范围必须满足 LegacyInputIterator(C++20 前),意味着
std::list可用,但std::forward_list不行(无双遍历能力) - 性能上无优势:它就是个封装好的循环,无向量化优化;对大数组,手动 SIMD 差分反而更快
- 无法跳过首项——如果你只需要
[a[1]-a[0], a[2]-a[1], ...]的纯差分(不含首项),得自己偏移输出指针或截断结果
真要高性能差分,别依赖这个函数;真要简洁表达,就老实用它,但务必检查容器大小和迭代器有效性。











