Prototype

// プロトタイプの基底クラス。
abstract class Shape is
    field X: int
    field Y: int
    field color: string

    // 通常のコンストラクター。
    constructor Shape() is
        // ……

    // プロトタイプのコンストラクター。新鮮なオブジェクトは、既存のオブ
    // ジェクトの値を使って初期化される。
    constructor Shape(source: Shape) is
        this()
        this.X = source.X
        this.Y = source.Y
        this.color = source.color

    // クローン操作は、Shape のサブクラスのいずれかを返す。
    abstract method clone():Shape


// 具象プロトタイプ。クローン作成メソッドは、現クラスのコンストラクターを
// 呼び、引数として現オブジェクトを渡すことにより新規オブジェクトを一度に
// 作成。実際のコピー作業をコンストラクターの中で行い、結果の一貫性を保証。
// コンストラクターは完全なオブジェクトが完成するまで帰らないので、他の
// オブジェクトが部分的に作成されたクローンへの参照を持つことは不可能。
class Rectangle extends Shape is
    field width: int
    field height: int

    constructor Rectangle(source: Rectangle) is
        // 親クラスで定義された非公開フィールドのコピーを行うため、親のコ
        // ンストラクターを呼ぶことは必須。
        super(source)
        this.width = source.width
        this.height = source.height

    method clone():Shape is
        return new Rectangle(this)


class Circle extends Shape is
    field radius: int

    constructor Circle(source: Circle) is
        super(source)
        this.radius = source.radius

    method clone():Shape is
        return new Circle(this)


// クライアント・コードのどこか。
class Application is
    field shapes: array of Shape

    constructor Application() is
        Circle circle = new Circle()
        circle.X = 10
        circle.Y = 10
        circle.radius = 20
        shapes.add(circle)

        Circle anotherCircle = circle.clone()
        shapes.add(anotherCircle)
        // anotherCircle 変数は、circle オブジェクトの完全なコピーを含
        // む。

        Rectangle rectangle = new Rectangle()
        rectangle.width = 10
        rectangle.height = 20
        shapes.add(rectangle)

    method businessLogic() is
        // Prototype はすごい！ここでは、オブジェクトのコピーの作成をそ
        // の型について一切知らずに行う。
        Array shapesCopy = new Array of Shapes.

        // 我々は、shapes 配列内の要素が厳密に何であるかを知らない。わ
        // かっているのは、どれも形状だということだけ。しかし、多相性のお
        // かげで、形状の一つに対して clone メソッドを呼ぶと、プログラム
        // がその本当のクラスが何かをチェックし、そのクラスで定義された適
        // 切な clone メソッドを実行する。一連の単純な Shape オブジェク
        // トではなく、適切なクローンを取得可能なのはこのため。
        foreach (s in shapes) do
            shapesCopy.add(s.clone())

        // shapesCopy 配列には、shape 配列の子要素が正確にコピーされる。