C++のstd::adjacent_differenceの巧みな設計と欠点

この記事では、C++標準ライブラリの`std::adjacent_difference`アルゴリズムの設計思想を探ります。このアルゴリズムは、入力シーケンスの隣接する要素間の差を計算し、最初の要素を出力シーケンスにコピーします。この設計は`std::partial_sum`アルゴリズムとの対称性を保証し、微積分における微分と積分を反映していますが、任意の型の要素間の差が異なる型になる可能性があるため、汎用性を制限します。この記事ではさらに、微積分における微分と積分との類似点を示し、アルゴリズムの設計理由を説明し、Q言語のより柔軟な`deltas`関数と比較します。結論として、Stepanovの当初の意図は素晴らしかったものの、アルゴリズムは汎用性に欠けており、C++23の`pairwise_transform`がより柔軟な代替手段を提供していることがわかります。