第12章 設計とメタファー

[at-grandpa]

TODO

• $5 + 10 CHF = $10（レートが2:1に場合）
• $5 * 2 = $10
• amountをprivateにする
• Dollarの副作用どうする？
• Moneyの丸め処理をどうする？
• equals
• hashCode
• nullとの等価性比較
• 他のオブジェクトとの等価性比較
• 5CHF*2=10CHF
• DollarとFrancの重複
• equalsの一般化
• timesの一般化
• FrancとDollarを比較する
• 通貨の概念
• testFrancMultiplicationを削除する?

[at-grandpa]

未解決項目を新規リストに転機していく。

[at-grandpa]

TODO

• $5+10CHF=$10（レートが2:1の場合）
• $5+$5=$10

[at-grandpa]

シンプルな足し算のテストを書く。

[at-grandpa]

落ちる。

 crystal spec' <

Error in line 1: while requiring "./spec/money_package_spec.cr"

in spec/money_package_spec.cr:28: undefined method 'plus' for MoneyPackage::Money

      sum = Money.dollar(5).plus(Money.dollar(5))
                            ^~~~

Rerun with --error-trace to show a complete error trace.

[at-grandpa]

Money.dollar(10)を返すテストを書くこともできるが、一度sumに足したほうが実装は明白。

[at-grandpa]

通貨間の為替レートを簡単に扱えて、かつ計算は計算のように 見える方法を模索したい。

これを目指していく。

[at-grandpa]

オブジェクトたちに頼ろう。あるオブジェクトが望むように振る舞えないのな らば、同じ外部プロトコル(メソッド群)を備える新たなオブジェクト(Imposter
(p. 247)と呼ばれる)を実装し、仕事をさせればよい。

一旦新しく作る作戦かな。

[at-grandpa]

読者の皆さんには、手品のように見えるかもしれない。ここで Imposter パター
ンのような仕組みを使えばいいのだと、どうやって気づけばよいのだろうか

そうそう、この「こう気づく」ってのはどうすればいいのか。やっぱり経験値なのかなぁ。

[at-grandpa]

設計がひらめく瞬間に法則性はない

はい。

[at-grandpa]

Imposter（なりすまし）パターンを用いていく。Expressionクラスを定義する。

それらの経緯は以下。

• 複数通貨を計算したい
• 為替レートも扱いたい
• 計算は計算のように見えるようにしたい
• Moneyのように振る舞うが、二つのMoneyの合計を表現するオブジェクトを作成し、そのオブジェクトに「Moneyだけでは扱えなかった為替レートの機能」を付加する
  • これは、「同じように振る舞うが、異なる仕事をさせたい」という要望であり、Imposterパターンの出番になっている
• 「式（Expression）」というメタファーを使っていく
• MoneyはExpressionを構成する最小単位
• さまざまな計算処理の結果はExpressionオブジェクトになる
• 最終的にExpressionオブジェクトは、為替レートによって、特定のMoneyに換算できる

こういう設計にする。

---

設計判断をしている。

• Expressionは今やる中核。これは責務を一つにしたい。
• Expressionを肥大化させたくない。

設計を決定づけるものではなく、方向性を決めるには十分。

[at-grandpa]

Expressionをinterfaceとして定義する。

[at-grandpa]

コンパイルは落ちる。

 crystal spec' <

Error in line 1: while requiring "./spec/money_package_spec.cr"

in spec/money_package_spec.cr:29: instantiating 'MoneyPackage::Money#plus(MoneyPackage::Money)'

      sum : Expression = five.plus(five)
                              ^~~~

in src/money_package/money.cr:18: type must be MoneyPackage::Expression, not MoneyPackage::Money

    def plus(addend : self) : Expression
        ^~~~

[at-grandpa]

Expressionをincludeした。

interface的な役割をもたせたいなら、abstractメソッドをExpressionに持たせればいい。

こんな感じ。

module MoneyPackage
  module Expression
    abstract def hoge
  end
end

こうすれば、

 crystal spec' <

Error in src/money_package/expression.cr:3: abstract `def MoneyPackage::Expression#hoge()` must be implemented by MoneyPackage::Money

    abstract def hoge
                 ^~~~

といった感じでコンパイル時に落ちてくれる。

良い。

[at-grandpa]

コンパイルが通って、テストが落ちる。

 crystal spec' <

...F

Failures:

  1) MoneyPackage testSimpleAddition() 足し算を計算できること
     Failure/Error: reduced.should eq Money.dollar(10)

       Expected: #<MoneyPackage::Money:0x10ae28b80 @amount=10, @currency="USD">
            got: nil

     # spec/money_package_spec.cr:32

Finished in 1.03 milliseconds
4 examples, 1 failures, 0 errors, 0 pending

Failed examples:

crystal spec spec/money_package_spec.cr:27 # MoneyPackage testSimpleAddition() 足し算を計算できること

[at-grandpa]

振り返り。

• 大きいテスト $5+10CHF を分解して、進み具合のわかる小さいテスト$5+$5を作成した
• これから行う計算のためのメタファーについて深く考えた
• 前章で書いたテストを、新しいメタファーを使って書き直した
• テストがコンパイルできるところまで早足で進んだ
• テストを通した
• 本当の実装を導くためのリファクタリングを楽しみつつ、少し不安も感じている

[at-grandpa]

「どうやって設計するのかな」と疑問だったが、なんとなく妥当な理由が書いてあってokだと思う。

[at-grandpa]

12章終了。

[at-grandpa]

TODO

• $5+10CHF=$10（レートが2:1の場合）
• $5+$5=$10