在C++中，多态分为静态多态和动态多态两种形式，静态多态主要通过模板实现，动态多态则依赖虚函数和继承体系。STL的整体设计以模板为核心，大部分函数属于静态多态，不过也存在少数涉及动态多态的场景。
STL中静态多态的典型函数
STL的绝大多数算法和容器操作都基于模板实现，属于静态多态，编译期就能确定调用的具体函数版本，典型代表包括排序、查找等通用算法。
sort函数
sort函数可以接收不同类型的迭代器，还能自定义比较函数，通过模板实例化适配不同的参数类型，不需要虚函数参与。
#include <algorithm>
#include <vector>
#include <iostream>
using namespace std;
int main() {
vector<int> nums = {3, 1, 2};
// 模板实例化适配vector<int>的迭代器
sort(nums.begin(), nums.end());
for (int num : nums) {
cout << num << " ";
}
return 0;
}
find函数
find函数同样通过模板适配不同容器的迭代器，只要容器迭代器满足输入迭代器的要求，就能调用对应的实例化版本。
#include <algorithm>
#include <list>
#include <iostream>
using namespace std;
int main() {
list<int> lst = {1, 2, 3};
// 适配list的双向迭代器
auto it = find(lst.begin(), lst.end(), 2);
if (it != lst.end()) {
cout << "找到元素2" << endl;
}
return 0;
}
STL中涉及动态多态的函数
STL中少数场景会用到动态多态，主要和虚函数、继承相关，最典型的是涉及基类指针操作派生类对象的场景，以及部分容器对自定义类型的支持。
虚析构函数相关的容器操作
如果自定义类型有虚函数，将其存入STL容器时，通过基类指针操作派生类对象就会触发动态多态，容器本身的析构等操作会依赖虚析构函数。
#include <vector>
#include <iostream>
using namespace std;
class Base {
public:
virtual void show() {
cout << "Base show" << endl;
}
virtual ~Base() {}
};
class Derived : public Base {
public:
void show() override {
cout << "Derived show" << endl;
}
~Derived() override {}
};
int main() {
vector<Base*> vec;
vec.push_back(new Derived());
// 调用Derived的show，动态多态体现
vec[0]->show();
// 释放内存时调用Derived的析构函数
for (auto ptr : vec) {
delete ptr;
}
return 0;
}
stream相关类的成员函数
STL中的输入输出流体系（iostream、fstream、stringstream等）基于继承实现，其部分成员函数属于动态多态，比如<<和>>运算符的重载版本。
#include <iostream>
#include <fstream>
using namespace std;
int main() {
// ostream是基类，cout和ofstream都是派生类
ostream* os1 = &cout;
ostream* os2 = new ofstream("test.txt");
// 调用不同派生类的输出逻辑，动态多态
*os1 << "输出到控制台" << endl;
*os2 << "输出到文件" << endl;
delete os2;
return 0;
}
为什么STL很少使用动态多态
STL的设计目标是通用和高性能，动态多态会带来额外的虚函数表开销和运行时开销，不符合STL的性能要求。而静态多态通过模板在编译期确定调用逻辑，没有额外运行时开销，更适合STL的通用算法设计。只有在需要运行时灵活切换类型的场景下，STL才会间接支持动态多态，比如上述基类指针存容器的场景。
总结
STL中大部分函数属于模板实现的静态多态，典型如sort、find等算法函数；少数涉及继承体系的场景会用到动态多态，比如iostream相关函数和基类指针操作派生类对象的容器场景。理解这两种多态在STL中的分布，能帮助开发者更合理地使用STL，同时区分静态多态和动态多态的适用场景。