“Designed Patterns Explained”中的桥接模式示例

Question

我正在研究“设计模式解释”中的桥接模式示例。 我正在查看的示例是示例 10.3，可以在

找到

http://www.netobjectives.com/resources/books/design-patterns-explained/cpp-code-examples/chapter10#10-3

我的具体困惑在于 Shape 类及其派生类。

#pragma once
#include "Drawing.h"

class Shape
{
public:
    Shape(Drawing *aDrawing);
    virtual void draw()= 0;

protected:
    Drawing *myDrawing;
    void drawLine( double, double, double, double);
    void drawCircle( double, double, double);

public:
    ~Shape(void);
};

在我们的 Circle 类中

#pragma once
#include "Shape.h"

class Circle : public Shape
{
public:
    Circle(Drawing*, double, double, double);
    virtual void draw();
    virtual void drawCircle(double, double, double)=0;

public:
    ~Circle(void);
protected:
    double _x, _y, _r;
};

所以我的问题是： 鉴于该方法实际上是在基类中实现的，为什么drawCircle 在继承类中可以是纯虚拟的？

Answer 1

假设您正在构建一个模块以使用不同的 API（Windows GDI、某些智能手机 API、OpenGL 等）绘制形状。有一个典型的层次结构abstract Shape<---concrete Circle和abstract Shape<---concrete Rectangle，你必须重新编译和重新部署Circle和Rectangle，每次你添加一个新的框架并且每次发生一些变化时现有的框架。此类更改甚至可能涉及修改这些类的构造函数，因此您的模块的用户也必须更改他们的代码。

示例：您有一个可以工作的模块的第一个版本，具有Circle 的以下接口：

class Circle : public Shape
{
  public:
    Circle(int x, int y, int radius);

    void draw(...);
};

然后，恰好其中一个平台的优化原因迫使您提前知道当前平台的DPI分辨率（在实际绘制圆圈之前）。因此，您将不得不更改构造函数：

class Circle : public Shape
{
  public:
    Circle(int x, int y, int radius, int dpi);

    void draw(...);
};

您的代码的客户将不得不重新编译他们的应用程序。当然会有一些技巧可以避免这种情况（比如引入CircleWithDpi），但它们会导致高度耦合且难以维护的代码。如果您使用桥接模式，您可以保持清晰的设计原封不动地表达您的领域（一般来说，“圆”的概念不应该知道任何关于“dpi 分辨率”的东西）。

所以有：

class Circle : public Shape
{
  public:
    Circle(int x, int y, int radius);

    virtual void draw(...) = 0;
};

和

class CircleImpl : public Circle
{
  public:
    CircleImpl(int x, int y, int radius, int dpi);
    //perform some calculations before drawing for optimization

    void draw(...);
    //draw using appropriate API
};

和

class ShapeFactory
{
  public:
    virtual Circle* CreateCircle(int x, int y, int radius) = 0;
};

当然，您会有很多 CircleImpls - 每个都适用于您的模块支持的不同平台（例如，CircleImplGDI、CircleImplTk、CircleImplOpenGL 等）。

在ShapeFactory 的实现中，您将适当地创建一个特定的CircleImpl，并且您的模块的客户端不必对此有所了解。此示例是您提供链接的示例的简化版本。请注意，现在，当可能的 CircleImpls 之一用作 Circle 时，没有抽象类被实例化，因此这也应该解决您关于抽象派生类的问题。

这种模式背后的主要思想是有两个抽象层次：Shape 是一个抽象的几何概念，Circle 和 Rectangle 比 Shape 更具体，但在许多技术可能性的背景下画它们它们仍然很抽象。当您了解上下文时，特定形状的具体表示就会存在：例如 - 在栅格上绘制或使用矢量图形。

另一个抽象级别使您可以推迟一些关于代码的更多决定 - 起初我们推迟决定我们拥有哪些形状。然后，有了Circle 和Rectangle，我们推迟决定如何绘制它们。延迟决策为我们提供了解耦、灵活的代码（如“添加 DPI”示例所示）。

Answer 2

任何类都允许使用纯虚方法，只要您不尝试创建该类的实例。