桥接模式通过将抽象与实现分离解决维度爆炸问题。1. 定义抽象基类（abstraction）提供高层接口并持有实现对象指针；2. 定义实现基类（implementor）提供底层操作；3. 创建具体实现类（如opengldrawingapi、directxdrawingapi）实现具体功能；4. 创建细化抽象类（如circle）通过委托调用实现操作。其核心价值在于遵循开闭原则，使抽象和实现可独立扩展，避免类数量指数增长，提升代码灵活性和维护性。
在c++的世界里，当我们谈论如何让代码更具弹性、更易于扩展时，桥接模式（Bridge Pattern）总是一个绕不开的话题。它解决的核心问题，就是将抽象与它的实现分离开来，让它们各自独立地演化。想象一下，你的软件就像一座桥，桥面（抽象）和桥墩（实现）是两个独立的部分，它们可以独立地设计、建造和改进，而无需相互牵制。这种分离，意味着你可以在不修改现有代码的情况下，为抽象添加新的功能，或者替换底层实现，极大地提升了系统的灵活性。
解决方案
要应用桥接模式，我们通常会定义两个独立的层次结构：一个用于抽象（Abstraction），另一个用于实现（Implementor）。抽象层定义了客户端所看到的高层接口，而实现层则提供了这些接口的底层具体操作。
具体来说，在C++中，这通常通过以下几个步骤实现：
立即学习“C++免费学习笔记（深入）”；
-
定义抽象基类 (Abstraction)：这是一个接口或者抽象类，它定义了客户端将要使用的操作。这个类内部会持有一个指向实现基类对象的指针。
// Abstraction class DrawingAPI { public: virtual ~DrawingAPI() = default; virtual void drawCircle(double x, double y, double radius) = 0; // ... 其他绘制方法 }; -
定义实现基类 (Implementor)：这同样是一个接口或者抽象类，它定义了抽象类所需要的底层操作。
// Implementor class ShapeImplementor { public: virtual ~ShapeImplementor() = default; virtual void drawShape(double x, double y, double size) = 0; }; -
创建具体实现类 (Concrete Implementors)：这些类继承自实现基类，并提供具体的底层实现。
// Concrete Implementors class OpenGLDrawingAPI : public DrawingAPI { public: void drawCircle(double x, double y, double radius) override { std::cout << "Drawing Circle with OpenGL at (" << x << "," << y << ") radius " << radius << std::endl; } }; class DirectXDrawingAPI : public DrawingAPI { public: void drawCircle(double x, double y, double radius) override { std::cout << "Drawing Circle with DirectX at (" << x << "," << y << ") radius " << radius << std::endl; } }; -
创建细化抽象类 (Refined Abstractions)：这些类继承自抽象基类，并根据具体需求实现抽象接口，它们会通过持有的实现类指针来委托具体操作。
// Abstraction class Shape { protected: std::unique_ptr<DrawingAPI> drawingAPI; // 使用智能指针管理实现对象 public: Shape(std::unique_ptr<DrawingAPI> api) : drawingAPI(std::move(api)) {} virtual ~Shape() = default; virtual void draw() = 0; }; // Refined Abstraction class Circle : public Shape { private: double x, y, radius; public: Circle(double x, double y, double radius, std::unique_ptr<DrawingAPI> api) : Shape(std::move(api)), x(x), y(y), radius(radius) {} void draw() override { drawingAPI->drawCircle(x, y, radius); } };
通过这种方式，Circle（抽象）不再直接依赖于 OpenGLDrawingAPI 或 DirectXDrawingAPI（具体实现），而是依赖于 DrawingAPI（实现接口）。这意味着你可以轻松地切换图形API，或者添加新的图形API，而无需修改 Circle 类的代码。
为什么选择桥接模式？它解决了哪些常见的系统设计痛点？
在软件开发中，我们常常会遇到这样一种场景：一个类有两个或更多的变化维度，如果简单地通过继承来扩展，就会导致类的数量爆炸式增长。比如，你有一个图形库，既要支持多种形状（圆形、方形、三角形），又要支持多种渲染API（OpenGL、DirectX、Vulkan）。如果用传统的继承，你可能需要 OpenGLCircle、DirectXCircle、OpenGLSquare、DirectXSquare 等等，这一下子就让类的数量变成了 M x N 的乘积，维护起来简直是噩梦。
桥接模式恰恰就是为了解决这种“维度爆炸”的问题。它通过将抽象（形状）和实现（渲染API）分离到两个独立的继承体系中，让它们可以独立地演进。我个人觉得，它最核心的价值在于其对“开闭原则”的极致实践：你可以为系统添加新的形状，或者添加新的渲染API，而无需修改任何已有的代码。这种解耦带来的好处是显而易见的：代码更清晰、更易于理解，而且修改一个部分时，对其他部分的影响被降到最低。对于长期维护和迭代的项目来说，这简直是福音。
在C++中实现桥接模式有哪些关键考量？
在C++里玩转桥接模式，有一些细节是需要留意的。首先，内存管理是一个老生常谈但又至关重要的问题。抽象类内部持有实现类对象的指针，这个指针的生命周期管理就成了关键。原始指针容易导致内存泄漏或悬空指针问题，所以，我强烈建议使用智能指针，比如 std::unique_ptr 或 std::shared_ptr。std::unique_ptr 适合独占所有权，当抽象对象销毁时，其持有的实现对象也随之销毁；而 std::shared_ptr 则适用于多个抽象对象可能共享同一个实现对象的情况。选择哪种，取决于你的具体业务场景和所有权语义。
另一个需要考虑的是虚析构函数。由于我们通过基类指针来操作派生类对象，确保基类的析构函数是虚函数是必不可少的，否则在删除基类指针时，派生类的析构函数将不会被调用，从而导致资源泄露。
此外，性能也是一个潜在的考量点。桥接模式引入了一层间接性（通过指针调用虚函数），这会带来微小的运行时开销。对于大多数应用来说，这种开销可以忽略不计，但如果是在对性能极其敏感的场景，比如高性能计算或游戏引擎的核心循环，这一点可能需要权衡。不过，通常而言，设计上的灵活性和可维护性带来的收益，远大于这点微小的性能损失。
桥接模式与策略模式、适配器模式有何异同？
设计模式这东西，有时候确实让人觉得有点儿“你中有我，我中有你”的感觉，尤其是桥接模式、策略模式和适配器模式，它们都涉及“组合”和“委托”。但仔细琢磨，它们的意图和解决的问题是不同的。
桥接模式 vs 策略模式： 策略模式的核心是让一个类的行为（算法）可以在运行时动态地改变。它通常涉及一个上下文（Context）类，持有一个策略接口的引用，客户端通过设置不同的具体策略来改变上下文的行为。比如，排序算法（冒泡、快速、归并）就是策略。策略模式关注的是“做什么”，即算法的选择。 而桥接模式，它关注的是“如何做”，即实现细节的分离。它将抽象和实现分离成两个独立的层次结构，允许它们独立地演化。策略模式通常只涉及一个维度（行为），而桥接模式则处理两个或更多维度的独立变化。举个例子，一个“支付”功能，可以选择“支付宝”、“微信支付”或“银行卡支付”，这是策略模式。但如果“支付”功能既要在“Web端”实现，又要在“移动端”实现，并且支付方式也要多样化，这时候桥接模式的影子就出现了，它分离了“支付功能本身”和“不同平台上的实现”。
桥接模式 vs 适配器模式： 适配器模式是为了解决两个已有接口不兼容的问题，它充当一个中间层，将一个类的接口转换成客户端期望的另一个接口。它的目的通常是让两个原本无法协同工作的类能够一起工作，是“亡羊补牢”式的解决方案。比如，你有一个旧的API，但新系统需要用新的接口，适配器就派上用场了。 桥接模式则不同，它是一种预见性的设计模式，用于在系统设计之初就将抽象和实现分离，以便它们可以独立地扩展。它不是为了解决已有的不兼容问题，而是为了避免未来可能出现的不兼容和类爆炸问题。简单来说，适配器是“修补”，桥接是“规划”。
总的来说，理解这些模式的关键在于抓住它们各自的核心意图和应用场景，而不是纠结于表面的结构相似性。当你面对多维度变化、需要高度解耦和灵活扩展的系统时，桥接模式往往是你工具箱里的一把利器。
