STL最精妙的地方不是容器，而是那一组泛型算法。std::sort能排序vector也能排序普通数组，std::find不关心元素是什么类型，这一切都源于一套严谨的接口设计约定。如果想让自定义算法达到同样的水准，就需要理解并遵循这些约定。本文从迭代器、类型萃取、编译期约束和实例设计四个层面，系统讲解STL风格算法接口的设计原则。
一、以迭代器区间作为算法的统一入口
STL算法的第一个设计决策，是彻底与容器解耦。算法不接收容器引用，而是接收一对迭代器[first, last)，表示一个左闭右开的区间。这个看似简单的决定带来三个好处：第一，算法可以作用于任何线性结构，包括原生数组、链表、自定义容器，甚至是一段流式数据；第二，同一套算法可以只处理容器的某个子区间；第三，算法库与容器库可以独立演进，互不依赖。
左闭右开区间还有一个数学上的优雅性：区间为空时first == last，循环条件统一写成first != last，不需要额外的长度参数，也不容易出现差一错误。对比一下C风格接口按指针加长度传递的方式，迭代器区间的表达力明显更强。
参数顺序上，STL有一个长期坚持的约定：区间参数在前，附加条件在后。比如std::find_if(first, last, pred)，谓词放在最后。这样的顺序让代码读起来接近自然语言，也方便后续版本以默认参数或重载的形式扩展。设计自定义算法时应当遵守同样的顺序，不要随意颠倒，否则使用者会产生记忆负担。
// STL风格的自定义算法骨架
template <typename InputIt, typename UnaryPredicate>
InputIt find_last_if(InputIt first, InputIt last, UnaryPredicate pred)
{
InputIt result = last;
for (; first != last; ++first) {
if (pred(*first)) {
result = first; // 记录最后一次满足条件的位置
}
}
return result; // 找不到时返回last，与std::find语义一致
}返回值设计同样有惯例可循。查找类算法返回迭代器，找不到时返回last；计数类算法返回数量；划分类算法返回分界点迭代器。让失败情形返回last而不是空指针或布尔值，可以让调用方直接把结果作为新的区间端点继续传递，形成链式组合，这正是STL可组合性的来源之一。
二、用类型萃取与迭代器类别约束接口
算法拿到迭代器后，往往还需要知道它指向的元素类型、能否做差值运算等信息。直接写decltype(*it)并不可靠，因为解引用可能返回代理对象。正确的做法是通过std::iterator_traits提取这些类型信息，这是STL为泛型算法预留的扩展点，用户为自己的迭代器特化traits后，算法立即获得兼容性。
// 通过traits提取元素类型
template <typename ForwardIt>
void print_range(ForwardIt first, ForwardIt last)
{
using value_type = typename std::iterator_traits<ForwardIt>::value_type;
for (value_type v = *first; first != last; ++first) {
v = *first;
}
}更关键的是迭代器类别。STL将迭代器分为五类：输入迭代器、输出迭代器、前向迭代器、双向迭代器和随机访问迭代器。类别决定了算法能做什么：std::advance对随机访问迭代器是O(1)的加法，对前向迭代器只能逐步前进。设计算法时应选择能满足需求的最低类别，比如去重算法只需要前向迭代器，就不要要求随机访问，这样std::list也能使用它。
在C++11之前，类别约束主要靠文档说明，误用会在深处产生难以理解的编译错误。现代C++提供了两种改进手段：std::enable_if和C++20的concept。concept的表达力更强，错误信息也更友好，是首选方案。
// C++20 concept约束迭代器类别
template <typename It>
void my_fast_sort(It first, It last)
requires std::random_access_iterator<It>
{
// 只有随机访问迭代器才能使用快速排序类算法
}
// C++11/14的enable_if写法
template <typename It>
typename std::enable_if<
std::is_base_of<std::random_access_iterator_tag,
typename std::iterator_traits<It>::iterator_category>::value,
void>::type
my_legacy_sort(It first, It last)
{
}如果同一个功能对不同类别迭代器存在性能差异显著的实现，还可以借助tag dispatch为每类迭代器选择最优路径，std::distance和std::advance的官方实现就是这么做的。这种分发逻辑对使用者完全透明，是泛型库内部常见的优化手段。
三、谓词、函数对象与值语义的传递规范
STL算法中的可调用对象按值传递，而不是按引用或指针。这不是随意的决定：按值传递保证算法不会修改调用方的状态快照，也使得临时lambda能够直接传入。代价是每次调用有一次拷贝，但函数对象通常很小，这个代价可以接受。设计自定义算法时保持一致，不要突然改成引用传递，否则临时对象会绑定失败。
另一个重要约定是算法绝不修改谓词本身，标准明确要求算法对谓词的拷贝调用次数不做保证。这意味着使用者不应在谓词里依赖调用计数或有状态的副作用，std::for_each是唯一的例外，它按值接收并按值返回函数对象，允许累积状态。理解这条规则可以避免写出依赖未定义行为的代码。
相等判断与序关系也要遵循约定。算法默认使用operator==和operator<，需要自定义时提供以_if结尾的重载版本并接受比较器参数，如std::find_if与std::count_if。命名上的这条规律让接口家族呈现整齐的模式，使用者见到新算法名就能推测出其行为。
- 区间在前，谓词在后：保持参数顺序统一。
- 按值传递可调用对象：与标准算法行为一致。
- 带条件的版本以_if结尾：形成命名惯例。
- 拷贝版本以_copy结尾：区分原地操作与输出操作。
四、实战：设计一个STL风格的partition_by_mean算法
综合以上原则，设计一个把区间中小于均值与大于等于均值的元素划分开的算法。它需要两次遍历，第一次求和，第二次划分，因此至少需要前向迭代器。返回划分点迭代器，方便调用方继续处理两段子区间。
#include <iterator>
#include <numeric>
template <typename ForwardIt>
ForwardIt partition_by_mean(ForwardIt first, ForwardIt last)
{
if (first == last) return last;
using T = typename std::iterator_traits<ForwardIt>::value_type;
auto n = std::distance(first, last);
T sum{};
for (auto it = first; it != last; ++it) sum += *it;
T mean = sum / n;
// 借助标准算法完成划分，体现组合性
return std::partition(first, last,
[mean](const T& v) { return v < mean; });
}这个实现体现了几个要点：类型全部通过traits获取，没有假设容器形态；空区间安全返回last；内部复用std::partition而非手写循环，这正是STL生态鼓励的组合方式。如果用C++20重写，可以给模板参数加上std::forward_iterator约束，把误用拦截在编译期，错误信息会精确指向算法的约束声明而不是函数体内部。
最后需要提醒的是文档与测试。泛型算法面对的类型空间远大于面向接口的具体实现，应当至少用std::vector、std::list和原生数组各跑一遍测试，覆盖空区间、单元素区间等边界情形。接口一旦发布就很难修改，前期在设计约定上多花时间，是泛型库长期可维护性的根本保障。