UML クラス図の書き方、読み方について

Question

質問

結城著「デザインパターン(増補改訂版)」(以下、当該書籍)にて、デザインパータンを勉強しています。

第１章Iteratorパターンに以下のようなクラス図が記述されています。

(尚、本クラス図は、原本にはないMainクラスを追記しています。またMainクラスからBookShelfクラスへの関連の線が、破線になるのか実線になるのか、矢印が必要か否かわからないので、とりあえず破線でつないでいます。悪しからず、ご了承ください。）

さて本題に移ります。赤線で強調した部分ですが、AggregateインタフェースとIteratorインタフェースの間の関連の説明「Creates(生成)」になっています。なぜ、AggregateインタフェースとIteratorインタフェースの間に関連として「Creates(生成)」の線が引けるのか、疑問に思い質問します。

「Creates」の意味は、「AAAクラスがBBBクラスを生成する」と言うことだと理解しています(当該書籍、xxxiiページに記述)。私の理解でソースコードを書けば、次のようにAAAクラスの中のメソッドでBBBクラスをnewすることだと考えています。

class AAA {
    public BBB abc() {
           ........ 
        return new BBB();
    }
}

しかし、当該書籍に記述されたAggregateインタフェースのソースコード(上記クラスを記述したソースコードは、下の方にまとめて掲載)には、上記に類するコードはありません。それらしいコードは、BookShelfクラスのiterator()メソッドではないかと思います。

// ConcreteAggregate役
public class BookShelf implements Aggregate {
        ......
    public Iterator iterator(){
        return new BookShelfIterator(this);
    }
}

なぜ、赤線で強調した関連が「Creates(生成)」がになっているのでしょうか？またこのCreatesが意味するソースコードは、どの部分なのでしょうか？
お手数をお掛けしますが、ご教示の程よろしくお願いします。

ソースコード

上記クラス図のソースコードを以下に示します。

public interface Aggregate{
    public abstract Iterator iterator();
}

public interface Iterator{
    public abstract boolean hasNext();  // 次の要素があるかどうか調べるメソッド
    public abstract Object next();      // 次の要素を得るためのメソッド
}

// ConcreteAggregate役
public class BookShelf implements Aggregate {
    private Book[] books;
    private int last = 0;
    
    // 本棚を作るコンストラクタ（本棚にしまえる本の最大冊数を指定）
    public BookShelf(int maxsize){
        this.books = new Book[maxsize];
    }
    
    // 指定したインデックスの本を取り出す(返す)
    public Book getBookAt(int index){
        return books[index];
    }
    
    // 本を追加する
    public void appendBook(Book book){
        this.books[last] = book;
        last++;
    }
    
    // 現在本棚に収納されている本棚の冊数を返す
    public int getLength() {
        return last;
    }
    
    
    public Iterator iterator(){
        return new BookShelfIterator(this);
    }
}

// ConcreteIterator役
public class BookShelfIterator implements Iterator {
    private BookShelf bookShelf;
    private int index;  // 要素の数をカウントアップするインデックス
    
    // コンストラクタ
    public BookShelfIterator(BookShelf bookShelf){
        this.bookShelf = bookShelf;
        this.index = 0;
    }
    
    // 次の要素の有無を調べるメソッド
    // 現在のインデックスが本棚に収納されている冊数を超えていないか調べることで
    // 次の要素が歩かないかを返す
    public boolean hasNext(){
        if(index < bookShelf.getLength()){
            return true;
        } else {
            return false;}
    }
    
    // 次の本を取り出すメソッド
    // 現在のインデックスを本棚に与えその番号の本を取り出す
    public Object next(){
        Book book = bookShelf.getBookAt(index);
        index++;
        return book;
    }
}    

public class Main {
    public static void main(String[] args){
        // 本棚を作る
        BookShelf bookShelf = new BookShelf(4);
                
        // 本棚に本を登録する
        bookShelf.appendBook(new Book("Around the world in 80 Days"));
        bookShelf.appendBook(new Book("Bible"));
        bookShelf.appendBook(new Book("Cinderella"));
        bookShelf.appendBook(new Book("Daddy-Long-Legs"));
        
        // 本棚に収納した本を数えだすためにイテレータのインスタンスを呼び出す
        Iterator it = bookShelf.iterator();
        while(it.hasNext()){
            Book book = (Book)it.next();
            System.out.println(book.getName());
        }
    }
}

Answer 1

public class BookShelf implements Aggregate {
    public Iterator iterator(){
        return new BookShelfIterator(this);
    }
}

この部分ですね。
Aggregate を実装（◁…) している BookShelf から、Iterator を実装している BookShelfIterator を create (new) しています。
BookShelf --create--> BookShelfIterator と書くこともできますが、デザインパターン的には Aggregate --create--> Iterator が本質的な関係。

Comments

[guijiu]

分かりやすい説明ありがとうございます。
『BookShelf --create--> BookShelfIterator と書くこともできます』
『デザインパターン的には Aggregate --create--> Iterator が”本質的な関係”。』
この説明、大変説得力があります。

他のパターンを読む時も、本質的な関係がどこにあるか気に掛けて読み解きたいと思います。

Answer 2

UML は詳しくないので的外れかもしれません。

「Aggregate インターフェースの iterator() メソッドは Iterator インターフェース(の実装)を(生成して)返すという関係」という意味ではないでしょうか。

Comments

[guijiu]

ご説明ありがとうございます。