1 设计模式视角适配器模式适配器模式Adapter Pattern是一种结构型设计模式其核心思想是将一个类的接口转换成客户希望的另一个接口使得原本因接口不兼容而不能一起工作的类可以协同工作。在 C 中适配器模式通常有两种实现方式对象适配器通过组合持有被适配对象实现。类适配器通过多重继承私有继承被适配类实现。C11 标准库中的“包装器”概念本质上是适配器模式的泛化与扩展。它不仅限于类的接口适配还扩展到了容器接口适配stack/queue封装deque可调用对象接口统一std::function函数参数适配std::bind这些工具共同构成了 C 中强大的接口适配体系。2 STL 中的容器适配器STL 提供了三种经典的容器适配器stack、queue、priority_queue。它们并非独立的容器而是对其他底层容器如deque、vector、list的接口封装。2.1std::stackstd::stack提供 LIFO后进先出语义。默认底层容器为std::deque。cpp#include stack #include vector #include list std::stackint s1; // 使用 deque std::stackint, std::vectorint s2; // 使用 vector std::stackint, std::listint s3; // 使用 list关键成员函数push()/emplace()入栈pop()出栈无返回值top()访问栈顶元素empty()/size()实现要点适配器通过protected继承或组合标准未规定持有底层容器所有操作均转发给底层容器的对应方法。例如push调用c.push_back()pop调用c.pop_back()。2.2std::queuestd::queue提供 FIFO先进先出语义。默认底层容器为std::deque。cppstd::queueint q1; std::queueint, std::listint q2;关键成员函数push()/emplace()队尾入队pop()队首出队front()/back()访问队首/队尾元素限制std::vector不能作为queue的底层容器因为它不支持pop_front()。2.3std::priority_queuestd::priority_queue提供优先队列语义默认使用最大堆std::vector作为底层std::less作为比较器。cppstd::priority_queueint pq1; // 最大堆 std::priority_queueint, std::vectorint, std::greaterint pq2; // 最小堆关键成员函数push()/emplace()插入元素内部调用push_heappop()弹出堆顶内部调用pop_heaptop()访问堆顶底层实现通过algorithm中的push_heap、pop_heap维护堆结构。2.4 底层容器选择与性能分析适配器默认容器可选容器要求stackdequevector,list,deque支持back(),push_back(),pop_back()queuedequelist,deque支持front(),back(),push_back(),pop_front()priority_queuevectorvector,deque支持随机访问迭代器性能考量deque在两端插入/删除为 O(1)内存分配策略优于vector分段连续适合作为stack/queue的默认选择。vector仅当需要极致内存紧凑性时用于stack但vector在重新分配时会复制所有元素。list节点独立分配缓存不友好但能在 O(1) 合并两个队列。C11 的改进引入emplace系列方法减少临时对象构造。移动语义使容器适配器在返回大对象时效率更高底层容器支持移动构造。3 C11 函数包装器std::functionstd::function是 C11 引入的通用多态函数包装器它可以存储、复制和调用任何可调用对象函数、函数指针、Lambda、函数对象、成员函数指针等。3.1 可调用对象类型统一cpp#include functional int add(int a, int b) { return a b; } struct Multiply { int operator()(int a, int b) const { return a * b; } }; int main() { std::functionint(int, int) func; func add; // 函数指针 std::cout func(2, 3) \n; func Multiply(); // 函数对象 std::cout func(2, 3) \n; func [](int a, int b) { return a - b; }; // Lambda std::cout func(2, 3) \n; return 0; }成员函数指针的特殊处理需要借助std::mem_fn或std::bind或使用 Lambda 捕获对象。cppstruct Foo { int value; int add(int x) const { return value x; } }; std::functionint(const Foo, int) f Foo::add; Foo foo{10}; std::cout f(foo, 5) \n; // 15 // 或者通过 std::bind 绑定对象 std::functionint(int) g std::bind(Foo::add, foo, std::placeholders::_1);3.2 实现原理与类型擦除std::function的核心是类型擦除Type Erasure。其内部通常采用“小对象优化”Small Object Optimization来避免堆分配。简化实现思路std::function内部持有一个抽象基类指针_CallableBase。对于每个具体的可调用对象类型T派生一个模板类_CallableImplT存储T的实例并实现operator()的虚函数调用。构造函数模板根据实际类型创建对应的派生类对象。当可调用对象较小时如函数指针、小 Lambda可以存储在内部缓冲区如void* buf[16]中避免堆分配。伪代码示例cpptemplate typename Signature class function; template typename Ret, typename... Args class functionRet(Args...) { struct CallableBase { virtual ~CallableBase() default; virtual Ret invoke(Args... args) 0; virtual CallableBase* clone() const 0; }; template typename F struct CallableImpl : CallableBase { F f; CallableImpl(F f) : f(std::forwardF(f)) {} Ret invoke(Args... args) override { return f(std::forwardArgs(args)...); } CallableBase* clone() const override { return new CallableImplF(f); } }; CallableBase* ptr; // ... 小对象优化缓冲区 };C11 的移动语义std::function的移动构造和移动赋值避免了不必要的复制尤其对于大型函数对象。3.3 性能开销与优化技巧开销来源类型擦除虚函数调用每次调用operator()都经过虚函数间接调用。可能的堆分配当可调用对象大于内部缓冲区时会进行动态内存分配。复制成本std::function复制时会复制内部的可调用对象如果未启用小对象优化则可能复制堆数据。优化建议优先使用 Lambda 表达式如果不需要类型擦除直接使用 Lambda每个 Lambda 有唯一类型编译器可内联。使用std::function存储小对象函数指针、捕获少量变量的 Lambda 通常可触发小对象优化。移动而非复制传递std::function时使用std::move。避免频繁构造重复使用同一个std::function对象避免在循环中构造临时对象。基准测试示意cpp// 直接调用函数指针 int (*fp)(int, int) add; for (int i 0; i 1e8; i) fp(i, i); // 极快 // 通过 std::function 调用 std::functionint(int,int) f add; for (int i 0; i 1e8; i) f(i, i); // 慢约 2-5 倍取决于编译器优化4 绑定器std::bindstd::bind是一种函数适配器它可以将可调用对象与其部分参数绑定生成一个新的可调用对象。它支持占位符允许延迟指定参数。4.1 参数绑定与占位符cpp#include functional using namespace std::placeholders; int f(int a, int b, int c) { return a b c; } auto g std::bind(f, 1, _2, _1); // 绑定第一参数为1第二参数取占位符2第三参数取占位符1 std::cout g(10, 20); // 等价于 f(1, 20, 10) - 31占位符_1、_2、...、_N定义在std::placeholders命名空间中数量最多可达 20标准未限制但实现通常支持 20 或更多。嵌套绑定std::bind可以嵌套内层bind的结果在调用时会被求值。cppauto h std::bind(f, std::bind(g, _1, _2), 100, 200);4.2 嵌套绑定与函数组合通过std::bind可以实现简单的函数组合cppauto add1 std::bind(std::plusint(), _1, 1); auto mul2 std::bind(std::multipliesint(), _1, 2); auto add1_then_mul2 std::bind(mul2, std::bind(add1, _1)); std::cout add1_then_mul2(5); // (51)*2 124.3 与 Lambda 表达式的对比C11 引入了 Lambda很多场景下 Lambda 比std::bind更清晰、更高效。特性std::bindLambda语法简洁性复杂需要占位符直观捕获列表清晰编译优化难以内联类型擦除每个 Lambda 是独立类型易内联成员函数绑定需使用Class::method和对象指针可直接捕获对象后调用重载函数绑定需要显式转型可直接在 Lambda 内调用重载决议正常推荐C11 之后除非需要与旧代码兼容或实现高阶函数组合如std::bind(std::lessint(), _1, 0)用于过滤否则优先使用 Lambda。示例对比cpp// 使用 bind auto isPositive std::bind(std::greaterint(), _1, 0); // 使用 Lambda auto isPositive [](int x) { return x 0; };5 其他包装器工具5.1std::ref与std::crefstd::ref和std::cref用于在函数对象中按引用传递参数避免复制。它们生成std::reference_wrapper对象隐式转换为引用类型。典型应用std::bind默认按值传递参数使用std::ref可以传递引用。cppvoid increment(int x) { x; } int main() { int n 0; auto bound std::bind(increment, std::ref(n)); bound(); std::cout n; // 1 }与 Lambda 对比Lambda 可直接捕获引用[n]更直观。5.2std::mem_fnstd::mem_fn用于将成员函数包装为可调用对象类似于std::function的轻量版本但不需要显式指定函数签名。cppstruct Point { int x, y; void print() const { std::cout x , y; } }; auto printFn std::mem_fn(Point::print); Point p{1,2}; printFn(p); // 通过对象 printFn(p); // 通过指针std::mem_fn生成的包装器支持通过对象、引用、指针调用非常灵活。6 综合应用与最佳实践6.1 设计模式中的适配器实现对象适配器示例将旧版图形库适配到新版接口。cpp// 旧接口 class LegacyRectangle { public: void draw(int x1, int y1, int x2, int y2) { std::cout Legacy draw\n; } }; // 新接口 class Shape { public: virtual void draw() 0; virtual ~Shape() default; }; // 适配器 class RectangleAdapter : public Shape { LegacyRectangle adaptee; public: void draw() override { adaptee.draw(0, 0, 10, 10); } };使用std::function实现更灵活的适配cppusing DrawCallback std::functionvoid(); class FlexibleAdapter : public Shape { DrawCallback drawImpl; public: FlexibleAdapter(DrawCallback cb) : drawImpl(std::move(cb)) {} void draw() override { drawImpl(); } }; // 使用 LegacyRectangle rect; FlexibleAdapter adapter([rect](){ rect.draw(0,0,10,10); });6.2 回调系统与事件驱动架构std::function与std::bind常被用于回调系统。cppclass Button { public: using ClickHandler std::functionvoid(); void setClickHandler(ClickHandler handler) { clickHandler std::move(handler); } void click() { if (clickHandler) clickHandler(); } private: ClickHandler clickHandler; }; struct Logger { void log(const std::string msg) { std::cout msg \n; } }; int main() { Button btn; Logger logger; btn.setClickHandler(std::bind(Logger::log, logger, Button clicked)); btn.click(); }6.3 性能关键代码的权衡在性能敏感场景如游戏引擎、高频交易避免在热路径使用std::function改用模板或直接调用。使用 Lambda 捕获局部变量让编译器充分内联。若必须类型擦除考虑自定义小对象优化或使用函数指针数组。示例策略模式优化cpp// 低性能虚函数 class Strategy { public: virtual int execute(int) 0; }; // 高性能模板策略 template typename F int compute(int x, F strategy) { return strategy(x); }7 总结C11 通过std::function、std::bind、std::ref以及容器适配器为开发者提供了一套完整的接口适配工具容器适配器快速将底层容器转换为特定数据结构栈、队列、优先队列体现了对象适配器模式。函数包装器std::function统一了所有可调用对象类型但伴随一定的运行时开销。绑定器std::bind实现了参数适配但 Lambda 在多数场景下更优。其他辅助工具std::ref实现引用语义std::mem_fn适配成员函数。
C++11 包装器（适配器模式）深度解析
1 设计模式视角适配器模式适配器模式Adapter Pattern是一种结构型设计模式其核心思想是将一个类的接口转换成客户希望的另一个接口使得原本因接口不兼容而不能一起工作的类可以协同工作。在 C 中适配器模式通常有两种实现方式对象适配器通过组合持有被适配对象实现。类适配器通过多重继承私有继承被适配类实现。C11 标准库中的“包装器”概念本质上是适配器模式的泛化与扩展。它不仅限于类的接口适配还扩展到了容器接口适配stack/queue封装deque可调用对象接口统一std::function函数参数适配std::bind这些工具共同构成了 C 中强大的接口适配体系。2 STL 中的容器适配器STL 提供了三种经典的容器适配器stack、queue、priority_queue。它们并非独立的容器而是对其他底层容器如deque、vector、list的接口封装。2.1std::stackstd::stack提供 LIFO后进先出语义。默认底层容器为std::deque。cpp#include stack #include vector #include list std::stackint s1; // 使用 deque std::stackint, std::vectorint s2; // 使用 vector std::stackint, std::listint s3; // 使用 list关键成员函数push()/emplace()入栈pop()出栈无返回值top()访问栈顶元素empty()/size()实现要点适配器通过protected继承或组合标准未规定持有底层容器所有操作均转发给底层容器的对应方法。例如push调用c.push_back()pop调用c.pop_back()。2.2std::queuestd::queue提供 FIFO先进先出语义。默认底层容器为std::deque。cppstd::queueint q1; std::queueint, std::listint q2;关键成员函数push()/emplace()队尾入队pop()队首出队front()/back()访问队首/队尾元素限制std::vector不能作为queue的底层容器因为它不支持pop_front()。2.3std::priority_queuestd::priority_queue提供优先队列语义默认使用最大堆std::vector作为底层std::less作为比较器。cppstd::priority_queueint pq1; // 最大堆 std::priority_queueint, std::vectorint, std::greaterint pq2; // 最小堆关键成员函数push()/emplace()插入元素内部调用push_heappop()弹出堆顶内部调用pop_heaptop()访问堆顶底层实现通过algorithm中的push_heap、pop_heap维护堆结构。2.4 底层容器选择与性能分析适配器默认容器可选容器要求stackdequevector,list,deque支持back(),push_back(),pop_back()queuedequelist,deque支持front(),back(),push_back(),pop_front()priority_queuevectorvector,deque支持随机访问迭代器性能考量deque在两端插入/删除为 O(1)内存分配策略优于vector分段连续适合作为stack/queue的默认选择。vector仅当需要极致内存紧凑性时用于stack但vector在重新分配时会复制所有元素。list节点独立分配缓存不友好但能在 O(1) 合并两个队列。C11 的改进引入emplace系列方法减少临时对象构造。移动语义使容器适配器在返回大对象时效率更高底层容器支持移动构造。3 C11 函数包装器std::functionstd::function是 C11 引入的通用多态函数包装器它可以存储、复制和调用任何可调用对象函数、函数指针、Lambda、函数对象、成员函数指针等。3.1 可调用对象类型统一cpp#include functional int add(int a, int b) { return a b; } struct Multiply { int operator()(int a, int b) const { return a * b; } }; int main() { std::functionint(int, int) func; func add; // 函数指针 std::cout func(2, 3) \n; func Multiply(); // 函数对象 std::cout func(2, 3) \n; func [](int a, int b) { return a - b; }; // Lambda std::cout func(2, 3) \n; return 0; }成员函数指针的特殊处理需要借助std::mem_fn或std::bind或使用 Lambda 捕获对象。cppstruct Foo { int value; int add(int x) const { return value x; } }; std::functionint(const Foo, int) f Foo::add; Foo foo{10}; std::cout f(foo, 5) \n; // 15 // 或者通过 std::bind 绑定对象 std::functionint(int) g std::bind(Foo::add, foo, std::placeholders::_1);3.2 实现原理与类型擦除std::function的核心是类型擦除Type Erasure。其内部通常采用“小对象优化”Small Object Optimization来避免堆分配。简化实现思路std::function内部持有一个抽象基类指针_CallableBase。对于每个具体的可调用对象类型T派生一个模板类_CallableImplT存储T的实例并实现operator()的虚函数调用。构造函数模板根据实际类型创建对应的派生类对象。当可调用对象较小时如函数指针、小 Lambda可以存储在内部缓冲区如void* buf[16]中避免堆分配。伪代码示例cpptemplate typename Signature class function; template typename Ret, typename... Args class functionRet(Args...) { struct CallableBase { virtual ~CallableBase() default; virtual Ret invoke(Args... args) 0; virtual CallableBase* clone() const 0; }; template typename F struct CallableImpl : CallableBase { F f; CallableImpl(F f) : f(std::forwardF(f)) {} Ret invoke(Args... args) override { return f(std::forwardArgs(args)...); } CallableBase* clone() const override { return new CallableImplF(f); } }; CallableBase* ptr; // ... 小对象优化缓冲区 };C11 的移动语义std::function的移动构造和移动赋值避免了不必要的复制尤其对于大型函数对象。3.3 性能开销与优化技巧开销来源类型擦除虚函数调用每次调用operator()都经过虚函数间接调用。可能的堆分配当可调用对象大于内部缓冲区时会进行动态内存分配。复制成本std::function复制时会复制内部的可调用对象如果未启用小对象优化则可能复制堆数据。优化建议优先使用 Lambda 表达式如果不需要类型擦除直接使用 Lambda每个 Lambda 有唯一类型编译器可内联。使用std::function存储小对象函数指针、捕获少量变量的 Lambda 通常可触发小对象优化。移动而非复制传递std::function时使用std::move。避免频繁构造重复使用同一个std::function对象避免在循环中构造临时对象。基准测试示意cpp// 直接调用函数指针 int (*fp)(int, int) add; for (int i 0; i 1e8; i) fp(i, i); // 极快 // 通过 std::function 调用 std::functionint(int,int) f add; for (int i 0; i 1e8; i) f(i, i); // 慢约 2-5 倍取决于编译器优化4 绑定器std::bindstd::bind是一种函数适配器它可以将可调用对象与其部分参数绑定生成一个新的可调用对象。它支持占位符允许延迟指定参数。4.1 参数绑定与占位符cpp#include functional using namespace std::placeholders; int f(int a, int b, int c) { return a b c; } auto g std::bind(f, 1, _2, _1); // 绑定第一参数为1第二参数取占位符2第三参数取占位符1 std::cout g(10, 20); // 等价于 f(1, 20, 10) - 31占位符_1、_2、...、_N定义在std::placeholders命名空间中数量最多可达 20标准未限制但实现通常支持 20 或更多。嵌套绑定std::bind可以嵌套内层bind的结果在调用时会被求值。cppauto h std::bind(f, std::bind(g, _1, _2), 100, 200);4.2 嵌套绑定与函数组合通过std::bind可以实现简单的函数组合cppauto add1 std::bind(std::plusint(), _1, 1); auto mul2 std::bind(std::multipliesint(), _1, 2); auto add1_then_mul2 std::bind(mul2, std::bind(add1, _1)); std::cout add1_then_mul2(5); // (51)*2 124.3 与 Lambda 表达式的对比C11 引入了 Lambda很多场景下 Lambda 比std::bind更清晰、更高效。特性std::bindLambda语法简洁性复杂需要占位符直观捕获列表清晰编译优化难以内联类型擦除每个 Lambda 是独立类型易内联成员函数绑定需使用Class::method和对象指针可直接捕获对象后调用重载函数绑定需要显式转型可直接在 Lambda 内调用重载决议正常推荐C11 之后除非需要与旧代码兼容或实现高阶函数组合如std::bind(std::lessint(), _1, 0)用于过滤否则优先使用 Lambda。示例对比cpp// 使用 bind auto isPositive std::bind(std::greaterint(), _1, 0); // 使用 Lambda auto isPositive [](int x) { return x 0; };5 其他包装器工具5.1std::ref与std::crefstd::ref和std::cref用于在函数对象中按引用传递参数避免复制。它们生成std::reference_wrapper对象隐式转换为引用类型。典型应用std::bind默认按值传递参数使用std::ref可以传递引用。cppvoid increment(int x) { x; } int main() { int n 0; auto bound std::bind(increment, std::ref(n)); bound(); std::cout n; // 1 }与 Lambda 对比Lambda 可直接捕获引用[n]更直观。5.2std::mem_fnstd::mem_fn用于将成员函数包装为可调用对象类似于std::function的轻量版本但不需要显式指定函数签名。cppstruct Point { int x, y; void print() const { std::cout x , y; } }; auto printFn std::mem_fn(Point::print); Point p{1,2}; printFn(p); // 通过对象 printFn(p); // 通过指针std::mem_fn生成的包装器支持通过对象、引用、指针调用非常灵活。6 综合应用与最佳实践6.1 设计模式中的适配器实现对象适配器示例将旧版图形库适配到新版接口。cpp// 旧接口 class LegacyRectangle { public: void draw(int x1, int y1, int x2, int y2) { std::cout Legacy draw\n; } }; // 新接口 class Shape { public: virtual void draw() 0; virtual ~Shape() default; }; // 适配器 class RectangleAdapter : public Shape { LegacyRectangle adaptee; public: void draw() override { adaptee.draw(0, 0, 10, 10); } };使用std::function实现更灵活的适配cppusing DrawCallback std::functionvoid(); class FlexibleAdapter : public Shape { DrawCallback drawImpl; public: FlexibleAdapter(DrawCallback cb) : drawImpl(std::move(cb)) {} void draw() override { drawImpl(); } }; // 使用 LegacyRectangle rect; FlexibleAdapter adapter([rect](){ rect.draw(0,0,10,10); });6.2 回调系统与事件驱动架构std::function与std::bind常被用于回调系统。cppclass Button { public: using ClickHandler std::functionvoid(); void setClickHandler(ClickHandler handler) { clickHandler std::move(handler); } void click() { if (clickHandler) clickHandler(); } private: ClickHandler clickHandler; }; struct Logger { void log(const std::string msg) { std::cout msg \n; } }; int main() { Button btn; Logger logger; btn.setClickHandler(std::bind(Logger::log, logger, Button clicked)); btn.click(); }6.3 性能关键代码的权衡在性能敏感场景如游戏引擎、高频交易避免在热路径使用std::function改用模板或直接调用。使用 Lambda 捕获局部变量让编译器充分内联。若必须类型擦除考虑自定义小对象优化或使用函数指针数组。示例策略模式优化cpp// 低性能虚函数 class Strategy { public: virtual int execute(int) 0; }; // 高性能模板策略 template typename F int compute(int x, F strategy) { return strategy(x); }7 总结C11 通过std::function、std::bind、std::ref以及容器适配器为开发者提供了一套完整的接口适配工具容器适配器快速将底层容器转换为特定数据结构栈、队列、优先队列体现了对象适配器模式。函数包装器std::function统一了所有可调用对象类型但伴随一定的运行时开销。绑定器std::bind实现了参数适配但 Lambda 在多数场景下更优。其他辅助工具std::ref实现引用语义std::mem_fn适配成员函数。
