1 意图

原型模式让你能够复制已有对象,又无需使代码依赖对象所属的类。

prototype.png

2 问题

如果有一个对象,希望生成与其完全相同的一个复制品,该如何实现?首先,必须新建一个属于相同类的对象;然后,必须遍历原始对象的所有成员变量,将成员变量值复制到新对象中。
然而,不是所有对象都能通过这种方式进行复制:有些对象可能有私有成员变量,在对象外部是不可见的。

prototype-comic-1-zh.png

此外,必须知道对象所属的类才能创建复制品(需要构造函数),代码必须依赖该类。即使这是可以接受的,还可能有问题:有时候得到的是接口,不知道具体类。比如说,可以向方法的参数传入实现了某个接口的任何对象。

3 解决方案

原型模式为所有支持克隆的对象声明一个通用接口,通过该接口可以克隆对象,又无需将代码与具体的对象类耦合。这个通用接口通常仅仅只有一个克隆方法:克隆过程被委派给支持克隆的具体类。
所有类的克隆方法的实现都是非常相似的。支持克隆的对象就是原型。当对象有几十个成员变量、几百种类型时,对其进行克隆甚至可以代替子类的构造。运作方式如下:创建一系列不同类型的对象,用不同的方式进行配置。如果需要的对象与预先配置的对象相同,则只需要克隆原型,无需新建一个对象。

prototype-comic-2-zh.png

4 结构

4.1 基本实现

structure.png

  • 原型(Prototype) 接口声明克隆方法。绝大多数情况下,接口只有一个名为clone的方法。
  • 具体原型(concrete prototype) 将实现克隆方法。除了将原始对象的数据复制到克隆体中之外,有时候还需要处理极端情况,如克隆关联对象、梳理递归依赖等。
  • 客户端(client) 可以复制实现了原型接口的任何对象。

4.2 原型注册表

structure-prototype-cache.png

原型注册表(prototype registry) 存储了一系列可供随时复制的预生成对象,提供了访问常用原型的简单方法。最简单的注册表原型是一个名称 --> 原型的哈希表。但如果要使用名称之外的条件进行搜索,可以创建更加完善的注册表。

5 伪代码

05 创建型模式4:原型模式 - 图6

  1. // 基础原型。
  2. abstract class Shape is
  3. field X: int
  4. field Y: int
  5. field color: string
  6. // 常规构造函数。
  7. constructor Shape() is
  8. // ...
  9. // 原型构造函数。使用已有对象的数值来初始化一个新对象。
  10. constructor Shape(source: Shape) is
  11. this()
  12. this.X = source.X
  13. this.Y = source.Y
  14. this.color = source.color
  15. // clone(克隆)操作会返回一个形状子类。
  16. abstract method clone():Shape
  17. // 具体原型。克隆方法会创建一个新对象并将其传递给构造函数。直到构造函数运
  18. // 行完成前,它都拥有指向新克隆对象的引用。因此,任何人都无法访问未完全生
  19. // 成的克隆对象。这可以保持克隆结果的一致。
  20. class Rectangle extends Shape is
  21. field width: int
  22. field height: int
  23. constructor Rectangle(source: Rectangle) is
  24. // 需要调用父构造函数来复制父类中定义的私有成员变量。
  25. super(source)
  26. this.width = source.width
  27. this.height = source.height
  28. method clone():Shape is
  29. return new Rectangle(this)
  30. class Circle extends Shape is
  31. field radius: int
  32. constructor Circle(source: Circle) is
  33. super(source)
  34. this.radius = source.radius
  35. method clone():Shape is
  36. return new Circle(this)
  37. // 客户端代码中的某个位置。
  38. class Application is
  39. field shapes: array of Shape
  40. constructor Application() is
  41. Circle circle = new Circle()
  42. circle.X = 10
  43. circle.Y = 10
  44. circle.radius = 20
  45. shapes.add(circle)
  46. Circle anotherCircle = circle.clone()
  47. shapes.add(anotherCircle)
  48. // 变量 `anotherCircle(另一个圆)`与 `circle(圆)`对象的内
  49. // 容完全一样。
  50. Rectangle rectangle = new Rectangle()
  51. rectangle.width = 10
  52. rectangle.height = 20
  53. shapes.add(rectangle)
  54. method businessLogic() is
  55. // 原型是很强大的东西,因为它能在不知晓对象类型的情况下生成一个与
  56. // 其完全相同的复制品。
  57. Array shapesCopy = new Array of Shapes.
  58. // 例如,我们不知晓形状数组中元素的具体类型,只知道它们都是形状。
  59. // 但在多态机制的帮助下,当我们在某个形状上调用 `clone(克隆)`
  60. // 方法时,程序会检查其所属的类并调用其中所定义的克隆方法。这样,
  61. // 我们将获得一个正确的复制品,而不是一组简单的形状对象。
  62. foreach (s in shapes) do
  63. shapesCopy.add(s.clone())
  64. // `shapesCopy(形状副本)`数组中包含 `shape(形状)`数组所有
  65. // 子元素的复制品。

6 应用场景

  • 需要复制一些对象,又希望代码独立于对象所属的具体类,可以使用原型模式。
    通常出现在代码需要处理第三方代码通过接口传递过来的对象时。即使不考虑代码耦合,也不能依赖对象所属的具体类,因为不知道具体类是什么。
    原型模式为客户端代码提供一个通用接口,客户端可以通过接口与对象进行交互,让客户端独立于具体类。
  • 如果子类的区别仅在于对象的初始化方式,则可以使用原型模式来减少子类数量。创建子类的目的可能是为了创建特定类型的对象。
    原型模式中,可以使用一系列预生成的、各种类型的对象作为原型。
    客户端不必根据需求对子类进行实例化,只需要找到合适的原型,并对其进行克隆即可。

7 实现方式

  1. 创建原型接口,在其中声明克隆方法。如果已有类层次结构,则需要在所有类中添加克隆方法。
  2. 原型类必须另行定义一个以该类对象为参数的构造函数(拷贝构造函数)。这个构造函数必须复制对象的所有成员变量值到新建实体中。如果要修改子类,则必须调用父类构造函数,让父类复制其私有成员变量值。
    如果编程语言不支持方法重载,则需要定义一个特殊方法来复制对象数据。在构造函数中进行这种复制比较方便,因为调用new运算符可以马上得到结果对象。
  3. 克隆方法通常只有一行代码:使用new运算符调用原型版本的构造函数(拷贝构造函数)。注意:每个类都必须显式重写克隆方法,使用自身类名调用new运算符。否则,克隆方法可能会生成父类对象。
  4. 可以创建一个中心化的原型注册表,存储常用原型。
    可以新建一个工厂类来实现注册表,或者在原型基类中增加一个获取原型的静态方法。这个方法必须能够根据客户端代码设定的条件进行搜索。搜索条件可以是简单的字符串,或者是一组复杂的搜索参数。找到合适的原型后,注册表应对原型进行克隆,将复制生成的对象返回给客户端。
    最后需要将对子类构造函数的直接调用替换为对原型注册表工厂方法的调用。

8 优缺点

  • 可以克隆对象,无需与具体类耦合。
  • 可以克隆预先生成的原型,避免反复运行初始化代码。
  • 可以更方便地生成复杂对象。
  • 可以用继承之外的方式处理复杂对象的不同配置。
  • 缺点:克隆包含循环引用的复杂对象可能会非常麻烦。

9 与其他模式的关系

  • 许多设计工作初期使用工厂方法模式(简单,可以更方便地通过子类进行定制),随后演化成使用抽象工厂模式原型模式生成器模式(更灵活但是更复杂)。
  • 抽象工厂模式通常基于一组工厂方法,但也可以使用原型模式来生成这些类的方法。
  • 原型可以用于保存命令模式的历史记录。
  • 大量使用组合模式和装饰模式的设计,通常可以从使用原型获益。可以通过该模式来复制复杂结构,而不是从零开始重新构造。
  • 原型不基于继承,没有继承的缺点。另一方面,原型需要对被复制的对象进行复杂的初始化。工厂方法基于继承,但是不需要初始化步骤。
  • 有时候原型可以作为备忘录模式的简化版本,条件是需要在历史记录中存储的对象的状态比较简单,不需要链接其他外部资源,或者可以方便地重建链接。
  • 抽象工厂、生成器、原型都可以用单例模式来实现。

10 代码示例

05 创建型模式4:原型模式 - 图7

10.1 原型接口

  1. package main
  2. type inode interface {
  3. print(string)
  4. clone() inode
  5. }

10.2 具体原型: file

  1. package main
  2. import "fmt"
  3. type file struct {
  4. name string
  5. }
  6. func (f *file) print(indentation string) {
  7. fmt.Println(indentation + f.name + "_clone")
  8. }
  9. func (f *file) clone() inode {
  10. return &file{name: f.name}
  11. }

10.3 具体原型: folder

  1. package main
  2. import "fmt"
  3. type folder struct {
  4. childrens []inode
  5. name string
  6. }
  7. func (f *folder) print(indentation string) {
  8. fmt.Println(indentation + f.name)
  9. for _, i := range f.childrens {
  10. i.print(indentation + indentation)
  11. }
  12. }
  13. func (f *folder) clone() inode {
  14. cloneFolder := &folder{name: f.name + "_clone"}
  15. var tempChildrens []inode
  16. for _, i := range f.childrens {
  17. copy := i.clone()
  18. tempChildrens = append(tempChildrens, copy)
  19. }
  20. cloneFolder.childrens = tempChildrens
  21. return cloneFolder
  22. }

10.4 客户端

  1. package main
  2. import "fmt"
  3. func main() {
  4. file1 := &file{name: "File1"}
  5. file2 := &file{name: "File2"}
  6. file3 := &file{name: "File3"}
  7. folder1 := &folder{
  8. childrens: []inode{file1},
  9. name: "Folder1",
  10. }
  11. folder2 := &folder{
  12. childrens: []inode{folder1, file2, file3},
  13. name: "Folder2",
  14. }
  15. fmt.Println("\nPrinting hierarchy for Folder2")
  16. folder2.print(" ")
  17. cloneFolder := folder2.clone()
  18. fmt.Println("\nPrinting hierarchy for clone Folder")
  19. cloneFolder.print(" ")
  20. }