Part1 Moneyオブジェクトの例 - noriyagi/TestDrivenDevelopment GitHub Wiki
ますはリストからテストを書く。
タスクを選ぶ基準は「小さく始める」ということ。
最初のテストの時点でDollarクラスのメンバとメソッドが頭の中で設計済みになっているようだ。
- コンストラクタに数値を渡してDollarオブジェクトを生成する。
貨幣によってオブジェクトを分ける事によって単位を吸収する。(Dollarはドルを、Yenは円を扱うクラスというように。dollar*90 = yen) - timesメソッドが乗算を担当するメソッド。計算結果はamountに格納。
- amountは計算結果を保持するフィールド。
TDDサイクル
- テストを少しだけ作成する。
- 全てのテストを実行し、失敗を確認する。
- 小さな修正を行う。
- テストを実行し、成功させる。
- 重複を取り除くためにリファクタリングを行う。
TDDサイクルその2
- テストを作成する。
コード内に操作がどのように出現するかを頭の中で考える。
ストーリーは書いてあるのでそこからインターフェースを考案する。 - テストをパスさせる。
素早くグリーンバーに変えることが最優先となる。
明確でシンプルな解決策をコードにする。
複雑なものしかない場合はとにかくグリーンバーにする。 - コードを正しくする。
持ち込んだ重複を取り除く。
- 仮実装
定数を返し、本物のコードを得るまで、徐々に変更していく。 - 明白な実装
実際の実装を記述する。
暗黙的意味として、新しいオブジェクトを返さなくてはならないこと、equalsを実装すべきであることがあげられる。
→equals()はオブジェクト(通貨インスタンス)を受け取り、amountメンバ同士を比較している。
通貨の比較:金額が同じかどうか、ということ。
2つ以上の例がある場合だけ、コードを一般化する。ここでは三角推量を用いる。
したがって、$5=$5 に加え、$5!=$6を例に加え一般化する。
equals()を定義したことで、テストを書き換えることができる。
Dollarオブジェクト同士を比較したい。
→amountインスタンス変数をDollarクラスのみで使用することになるためprivate化できる。
ここで行った事
開発したばかりの機能(equals()を使用してテストを改善した)
テスト対象クラスのオブジェクトの新機能を使用してテストとコードの結合度を削減した。
最初のテスト「$5+10CHF=$10」のような複数通貨の組み合わせを実装したいが、
そこに至るステップは以前急激な飛躍に見える。(TDDの理念として、小さくまわすことが求められている)
まず、フラン通貨を表現するオブジェクトを実装する。
Dollar、Franc間で多くの重複が見られるので、次のステップで重複を取り除く。
5.では新しいテストケースを動作させるために大量の重複を生み出した。
一般化により、コードをきれいにする。
コードをきれいにする→リファクタリング には必ずテストコードが要る。テストの無いコードをリファクタリングした場合、操作によって何が起きているのは把握できない。(進んでいるのか、壊れているのか)
リファクタリングをするなら、まずは変更箇所についてのテストを作成することから始めること。
- 共通部を取り出して、スーパークラスを作成する。
- 抽出できそうなメソッドの変数クラスをスーパークラスに変更していく。(Dollar→Money、Franc→Money)
- 一時変数も変更すると同一内容のメソッドになる。
- メソッドをスーパークラスに移動する。
DollarとFrancを正しく比較できていない事が判明。
→amountを比較していただけだったため。
ここではamountとクラスを比較することで対処したが、本来は財務のドメインを基準に判定したい。
→しかし、未だ通貨の基準がないためやむ終えず対応している。(TDD原則に従っている)
この章で行ったこと
- 悩ましい障害をテストに変換した(Franc、Dollarの比較)
- 合理的だが完全でない方法でテストを動作させた(getClass()を使用している)
- よりよい動機付けを得るまでこれ以上の設計を導入しないことを決めた。(シンプルなステップでないため)
Franc、Dollarがサブクラスとして存在を正当化できるほどの操作を行っていない。
→削除の方向に向かっている。
→サブクラスへの直接参照を減らせばサブクラスの削除に近付ける。
テスト中のDollarをMoneyに変更していくと、times()の使用箇所で「Moneyにtimes()が実装されていない」ことが分かる。
ここでは一度、Moneyを抽象クラスに、times()を抽象メソッドにする。(後々、times()はスパークラスで実装するつもり)
テストコードにファクトリメソッドを適用すると分かるが、Dollarというサブクラスの存在を使用側に知らせないようにできてる。
この章で行った事
- メソッド(times())のシグニチャを一致させることで徐々に重複を取り除いた。
- メソッド宣言をスーパークラスにまとめた
- ファクトリメソッドを導入する事によってサブクラスの存在をテストコードから分離した。
- サブクラスを削除すると不要になるテスト(Francのmultiplicationテスト)を見つけた
dollar、francを生成し、通貨属性を取得するテストを作成する。
- currency()を実装する。ここでは定数文字列を返却しておけばいい。(まずは)
- 両方の実装を同じにしたい(親に移す事を考えつつ作業するという事)のでサブクラスのコンストラクタに定数文字列を持たせる。
- 両方のクラスに反映する。
- currency()は実装が一致しているので親クラスに移動する。
- 定数文字列をファクトリに移動すればコンストラクタが一致する事に気付く。
- コンストラクタに引数(通貨属性をもらう)を追加する。
- コンストラクタを呼び出しているところが壊れるのでnullをわたしておく。
- times()が未だにコンストラクタを使用していたのでファクトリを使用させる。
- ファクトリメソッドがコンストラクタを呼び出すときに、それぞれの通貨属性を渡すようにする。
- Dollarにも反映する。
- コンストラクタの実装が一致したので、親クラスに移動する。
この章で行った事
- 呼出し元(ファクトリメソッド)に相違点を移動する事によって、コンストラクタの実装を一致させた。
- times()にファクトリメソッドを使用するリファクタリングを行った。
- 同一のコンストラクタをスーパークラスに移動した。
times()の実装は似ているが、まだ同一ではないので整理していく。
- ファクトリメソッドの返却をインライン化してみる。(Franc,Dollarのファクトリをそれぞれ呼び分けているため、返却値が貨幣に依存する(DollarはMoney.dollarをFrancはMoney.francを呼び出している))
ex)Dollar
「return Money.dollar(amount * multiplier)」
→「return new Dollar(amount * multiplier, "USD")」
- "USD"をcurrentインスタンス変数に置き換える。(currentはインスタンス生成時に設定されている。)
- times()がMoneyを返却するようにする。
ex)Dollar
「return new Money(amount * multiplier)」
- テストが失敗するが、equals()がクラスの比較を行っているのが原因。貨幣(currency)を比較させる。
- 2クラス間でtimes()の実装が一致したので親クラスに移動する。
この章で行った事
- 2つのtimes()メソッドを一致させた。まずインライン化し、次に定数を変数に置き換えた。
- デバッグのために、テストなしでtoString()を書いた。
- (DollarでなくMoneyを返すという)変更を試し、"テストに"動作するか判断させた。
コンピュータにさせた方が早いことは、試すべきであるという教訓。頭で考えなくて良い事もある。 - 実験から1つ戻り、別のテストを作成した。テストを動作させる事で、元の実験を動作させた。
テストの無い実装はやらない!の保守的ステップを導入している。テストを先に書くのが基本型であるため。
2つのサブクラスDollar、Francはコンストラクタだけを持つ。
しかし、それだけではサブクラスを持つ理由にはならないので、削除したい。
サブクラスへの参照をコードの意味を変えずにスーパークラスへの参照に置き換える。
- Money.franc()のreturn new Franc(…)をreturn new Money(…)にする。
戻りの型は既にMoneyとなっている。 - Money.dollar()も同様に修正する。
- Franc,Dollar(子)への参照が全てMoney(親)に移ったため、2つのサブクラスを削除する。
- 今回の修正に伴い不要になるテストを削除する。
この章で行った事
- サブクラスの内容を空にして削除した。
- 古いコードでは意味を成すが、新しいコードでは冗長なテストを削除した。
加法全体のストーリーはまだ分からないので、(小さな作業の)$5+$5=$10から始める。
テストを慎重に設計する。
複数通貨をどのように表現するか。
- Moneyのように動作するが、2つの合計を表現するオブジェクトを作成する。
- 「Expression:式」という概念をそれに当てる。
以降、表立って操作の中心に据えられるのはExpressionとなる。- 「($2+3CHF)*5」といった表現の場合、
$2,3CHFは原始的な形態(Money)
「…」という一連の固まりを操作(Expression)
と見る。
- 「($2+3CHF)*5」といった表現の場合、
- Expressionに為替レートを適用することにより通貨を変換するが、
それを適用するのを「銀行(Bank)」であるとする。 - なぜ銀行に責任を持たせるのか?(先見があっての判断ではあるが)
- Expressionは操作の中心である。
中心にあるオブジェクトが、できる限り周囲の世界について無知であるようにしたい。
このことにより柔軟性が保たれる。(テスト、再利用、理解の容易性を保つ。) - Expressionが関わる操作が多く存在すると想像できる。
全ての操作をExpressionに集めると、肥大化してしまう。
- Expressionは操作の中心である。
- 設計にもどる。Moneyの合計は操作の結果であるからして、Expressionになるべきである。
- Expressionの定義は、インターフェースとする。(軽量であるため)
- Money.plus()はExpressionを返すようにする。
- 空のBankクラスを定義する。
- テストに際してはreduce()スタブが要る。(null返却)
- テストは失敗する。返却値をnewしてテストを成功させる。(成功させるための最小限の実装でよい。)
この章で行ったこと
- 大きいテスト(2つの種別の貨幣の加算)を小さいテスト(同じ種別の貨幣の加算)に縮小した。
- テスト作成に際して、複数貨幣の扱いについてメタファを用いて熟考した。
財布のように複数貨幣を入れる事ができ、かつ、その財布は合計額を保持できる。(ドルでは$x、フランではyCHF分もっている。といった感じに)
これをExpressionという操作にしたものについて考えた。 - 新しいメタファに基づいて前のテストを書き換えた。
- テストを迅速にコンパイルできるようにした。
- リファクタリングの準備を整えた。
まず、前章で実装したコードにはデータ重複がある。
Bankクラスの仮実装(Money.dollar(10))とテストクラスの(five.plus(five))は同じである。
加算、変換の動作を精査していく。 前章でメタファとして式(Expression)を導入したのが活きる。
- Money.plus()は実際のExpression(ここではSumとする、「実際」といっているのはこれがインターフェースだから)を返却する必要がある。
- Sumクラスを実装する。(加数、被加数をフィールドに持つ。まさに式である。)
- Bank.reduce()にSumを渡すよう変更
- Bank.reduce()にSumを渡す。
- Sum中の通貨が全て同じ、ターゲットの通貨も同じ仮定
- Sum中の通貨の合計を金額としてもつMoneyを返却する。
- Bank.reduce()は以下の点で変更の余地がある。
- Sumへのキャストがある。Expression単位で動作させなければならない。
- フィールドへの2段階参照がある。(ex. sum.addend.amount)
- メソッドの本体をSumクラスに移動する。(2段階参照への対応)
- Bank.reduce()はSum.reduce()を呼び出すように変更する。
-
次に、Moneyが引数の場合を考える。
- Bank.reduce()の処理で、「Moneyクラスのインスタンスなら引数をそのまま返却する。」という処理を実装する。
- クラスをチェックしている箇所を見かけたら、ポリモーを考える。
- Moneyにもreduce()を実装する。
- Expressionインターフェースにreduce()を追加できる。
- キャストとクラスチェックを削除できる。
この章で行ったこと
- 実装を実現するために逆向きの作業(とりあえずの仮実装を変数に置き換えること。これまではそれが自明かつ、最終的な実装であった。)をするのではなく、そのままにして前進した。
- Sumのテスト作成、実装。
- 実装の速度を上げた。(仮実装をしないで自明な実装をいきなり済ませた)
- コードをキャストで実装してテストを動作させながら、本来ある場所を探した。
- クラスチェックを除去するために多相性を導入した。
「2フランもっているが1ドルに変換してほしい」というケースを作成
- フランをドルに変換するときは2で割る。(Money.reduce()に仮実装)
- Moneyが為替レートを扱っている。本来はBankのみが為替レートに注意を払うべきである。
- Expression.reduce()にBank(通貨変換担当)を渡す必要がある。
- Expressionを実装しているクラスで引数を変更する。
- Money.reduce()にてrateを扱っているのでBank.rate()を実装して移動させる。
- 依然として、テストコードとBank.reduce()間で'2'という数字が重複している。
- '2'を取り除くには、Bank中にレート表を保持する必要がある。
- 変換前後の通貨単位をキーとして、レートを保持するテーブルを用意する。
- 2つの通貨を含む2要素の配列の実態をキーとしなくてはならない。(配列は参照渡しなのでequals()で等価性の検査ができない)
- キーに用いるPairクラスを実装する。
- キーとして使用するためequals()、hashCode()を実装する。
- Bankにハッシュテーブルを作成する。
- レートを設定するaddRate()を実装する。
- Bank.rate()はテーブルを参照する実装に変更する。
- 変換前後が同一通貨単位の場合、'1'を返却するよう変更する。
この章で行ったこと
- 必要な引数を追加した。
- コードとテスト間のデータ重複を抜き出した。
- リファクタリングのミスを犯したが、問題を分割するためのテストを作成して前進した。(問題は分割せよ)
最初に思いついたテスト「$5 + 10CHF = $10」に取りかかる。
- Sum.reduce()が引数を変換していないことが分かる。
- augend,addendを加算前にreduce()により変換するように変更する。
- Expressionに変更可能な箇所を変更していく。
この章で行った事
- テストを作成し前進した。
- 抽象的な宣言を用いて、テストケースへ凡化した。
タスクを全て終わらせる。
この章で行った事
- 残っていたタスクを消化した。