第13章実装を導くテスト #17

at-grandpa · 2017-11-09T00:47:39Z

TODO

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

at-grandpa · 2017-11-09T03:50:35Z

仮実装のreduceメソッドのMoney.dollar(10)が重複している。

at-grandpa · 2017-11-09T03:51:19Z

細かく行くところだが、今回は進んで見る。TODOにひとつ追加。

at-grandpa · 2017-11-09T03:51:42Z

TODO

$5+10CHF=$10（レートが2:1の場合）
$5+$5=$10
$5+$5がMoneyを返す

at-grandpa · 2017-11-09T03:52:25Z

ここで、ExpressionクラスはSumクラスなどの親っぽいクラスであることに注意。

at-grandpa · 2017-11-09T03:52:52Z

plusメソッドはExpressionのクラス、もといSumクラスを返す必要がある。

at-grandpa · 2017-11-09T03:53:09Z

これをテストに加える。

at-grandpa · 2017-11-09T03:57:23Z

当然、Sumがないのでテストは落ちる。

crystal spec' <

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

in spec/money_package_spec.cr:39: undefined constant Sum

      sum : Sum = result.as(Sum)
            ^~~

at-grandpa · 2017-11-09T03:58:14Z

このテストは長生きするとは思っていない。内部実装に深く関連したテストだからだ。外部から見た振る舞いのテストにはなっていない。

at-grandpa · 2017-11-09T04:02:14Z

実装はしたが、crystal特有のコンパイルエラーになる。

 crystal spec' <

Error in src/money_package/sum.cr:3: expanding macro

    property augend : Money
    ^

in macro 'property' expanded macro: macro_4490484464:567, line 4:

   1.
   2.
   3.
>  4.             @augend : Money
   5.
   6.             def augend : Money
   7.               @augend
   8.             end
   9.
  10.             def augend=(@augend : Money)
  11.             end
  12.
  13.
  14.
  15.

instance variable '@augend' of MoneyPackage::Sum was not initialized in all of the 'initialize' methods, rendering it nilable

augendとaddendの初期値が設定されていない。

at-grandpa · 2017-11-09T04:04:47Z

Nilを許容するようにして、この部分のコンパイルを通した。

at-grandpa · 2017-11-09T04:05:14Z

現在のコンパイルエラーはこれ。

 crystal spec' <

Error in spec/money_package_spec.cr:39: can't cast MoneyPackage::Money to MoneyPackage::Sum

      sum : Sum = result.as(Sum)
                  ^

javaのClassCastExceptionと同じようなことだろう。plusの返す型をSumにする。

at-grandpa · 2017-11-09T04:08:17Z

コンパイルエラー。

 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:23: wrong number of arguments for 'MoneyPackage::Sum.new' (given 2, expected 0)
Overloads are:
 - Reference.new()

      Sum.new(self, addend)
          ^~~

Sumにinitializeがない。

at-grandpa · 2017-11-09T04:10:26Z

コンパイルエラー。

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:22: type must be MoneyPackage::Expression, not MoneyPackage::Sum

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

plusが返す型はExpressionじゃないとだめだ。

at-grandpa · 2017-11-09T04:13:26Z

コンパイルエラーは通ったが、テストが落ちる。

 crystal spec' <

....F

Failures:

  1) MoneyPackage testPlusReturnsSum() pulsメソッドはSumクラスを返すこと
     Failure/Error: sum.augend.should eq five

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

     # spec/money_package_spec.cr:40

Finished in 1.17 milliseconds
5 examples, 1 failures, 0 errors, 0 pending

Failed examples:

crystal spec spec/money_package_spec.cr:36 # MoneyPackage testPlusReturnsSum() pulsメソッドはSumクラスを返すこと

Sumのinitializeでプロパティに値を入れていないから。

at-grandpa · 2017-11-09T04:14:52Z

テストが通った。

 crystal spec' <

.....

Finished in 942 microseconds
5 examples, 0 failures, 0 errors, 0 pending

at-grandpa · 2017-11-09T11:34:00Z

BankのreduceはSumを引数に取る
Sumで足される通貨が同じなら足し算の結果の通貨も同じになる
reduceで返されるのは足し算の結果を持ったMoney

at-grandpa · 2017-11-09T12:05:52Z

テストは落ちる。

 crystal spec' <

.....F

Failures:

  1) MoneyPackage testReduceSum() reduceメソッドのテスト
     Failure/Error: result.should eq Money.dollar(7)

       Expected: #<MoneyPackage::Money:0x100930a80 @amount=7, @currency="USD">
            got: #<MoneyPackage::Money:0x100930aa0 @amount=10, @currency="USD">

     # spec/money_package_spec.cr:49

Finished in 890 microseconds
6 examples, 1 failures, 0 errors, 0 pending

Failed examples:

crystal spec spec/money_package_spec.cr:45 # MoneyPackage testReduceSum() reduceメソッドのテスト

at-grandpa · 2017-11-09T22:23:44Z

コンパイルエラー

 crystal spec' <

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

in spec/money_package_spec.cr:31: instantiating 'MoneyPackage::Bank#reduce(MoneyPackage::Sum, String)'

      reduced = bank.reduce(sum, "USD")
                     ^~~~~~

in src/money_package/bank.cr:5: undefined method 'amount' for Nil (compile-time type is (MoneyPackage::Money | Nil))

      amount = sum.augend.amount + sum.addend.amount
                          ^~~~~~

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

augendが (MoneyPackage::Money | Nil)という型なので、Nilの可能性がある。

at-grandpa · 2017-11-09T22:25:31Z

コンパイルエラー

 crystal spec' <

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

in spec/money_package_spec.cr:31: instantiating 'MoneyPackage::Bank#reduce(MoneyPackage::Sum, String)'

      reduced = bank.reduce(sum, "USD")
                     ^~~~~~

in src/money_package/bank.cr:5: undefined method 'amount' for MoneyPackage::Money

      amount = sum.augend.amount + sum.addend.amount
                          ^~~~~~

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

amountはprivateだった。

at-grandpa · 2017-11-09T22:27:21Z

テスト通った。

 crystal spec' <

......

Finished in 657 microseconds
6 examples, 0 failures, 0 errors, 0 pending

at-grandpa · 2017-11-09T22:29:07Z

悪臭を放っている。

キャストをを行っている。本当はどんなExpressionでも動作しないといけない。
Sumのフィールドにアクセスしている。そのフィールドのフィールドにアクセスしている。

at-grandpa · 2017-11-09T23:58:14Z

なるほど。チェインの連鎖はこうやって移動して短くするのか。

at-grandpa · 2017-11-09T23:59:42Z

TODO

$5+10CHF=$10（レートが2:1の場合）
$5+$5=$10
$5+$5がMoneyを返す
Bank.reduce(Money)

at-grandpa · 2017-11-10T00:00:39Z

Bankのreduceメソッドに渡すExpressionがMoneyインスタンスの場合はどうするか、をTODOリストに加えた。

今は足し算のオブジェクトを渡しているが、Moneyを渡す時ももちろんあるので、このケースを思い出したからTODOに入れた。

at-grandpa · 2017-11-10T00:05:00Z

現在はグリーンバーなので、TODOリストのテストを書こう。

「Bank.reduce(Money)」だ。

at-grandpa · 2017-11-10T00:16:31Z

グリーンにしたのでリファクタリングしていこう。

at-grandpa · 2017-11-10T00:18:32Z

クラスの明示的なチェックはポリモーフィズムに置き換えるべき。

今はMoneyとSumでインターフェースが異なるので、このような分岐が発生している。Moneyもreduceを実装すれば、reduceの宣言をExpressionに移動できる。

at-grandpa · 2017-11-10T00:32:35Z

ExpressionとBankが同じreduceを持っているし、シグネチャが違う。キーワード引数とかだと、うまく表現できるかもしれないが、とりあえず今はこのようにする。

at-grandpa · 2017-11-10T00:35:34Z

TODO

at-grandpa · 2017-11-10T00:37:53Z

振り返り。

重複を除去できていないので、TODOリストの項目を「済」にしなかった
実装の着想を得るためにさらに先に進むことにした
後に必要になりそうなオブジェクト（Sum）の作成を促すテストを書いた
速やかに実装を行った（Sumのコンストラクタ）
キャストを使って以下k書で実装した後で、テストが通るままで本来あるべき場所にコードを移した
ポリモーフィズムを使って明示的なクラスチェックを置き換えた

at-grandpa · 2017-11-10T00:39:52Z

13章終了。

yoshiyuki-tsuchida added 2 commits November 9, 2017 09:46

first commit

17a1000

コメントの削除

b19f3be

plusはSumを返すというテストを追加した

2c5cd22

Sumクラスの実装

35c65ce

とりあえずNilを許容するようにした

bce569e

plusの返す型をSumにした

6524106

Sumにinitializeを実装

386dd63

Expressionをinclude

dfa3e27

Sumのinitializeでプロパティに値を入れる

8abdd1d

reduceメソッドのテストを追加

e5af4ce

reduceの書き換え

aab0292

augendとaddendのクラスをMoney?からMoneyにする

97b1eac

amountの呼び出し変更

3edd4a2

reduceをSumに移動してフィールドアクセスのチェインを短くした

d9c3b7d

yoshiyuki-tsuchida added 2 commits November 10, 2017 09:11

テスト文言の修正

d892b8d

テストを追加してグリーンにした

53fd3de

yoshiyuki-tsuchida added 3 commits November 10, 2017 09:21

Moneyにreduceを実装して呼び出せるようにした

25d36db

Expressionの abstract def に reduce を定義

68c35ea

Expressionにreduceが定義されているので分岐処理は必要無くなった

bf62224

READMEの修正

9d3f7fb

at-grandpa merged commit 8b53062 into master Nov 10, 2017

at-grandpa mentioned this pull request Nov 10, 2017

第15章テスト任せとコンパイラ任せ #19

Merged

6 tasks

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

第13章実装を導くテスト #17

第13章実装を導くテスト #17

at-grandpa commented Nov 9, 2017 •

edited

Loading

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017 •

edited

Loading

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017 •

edited

Loading

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017 •

edited

Loading

at-grandpa commented Nov 10, 2017 •

edited

Loading

at-grandpa commented Nov 10, 2017

at-grandpa commented Nov 10, 2017

at-grandpa commented Nov 10, 2017

at-grandpa commented Nov 10, 2017

at-grandpa commented Nov 10, 2017 •

edited

Loading

at-grandpa commented Nov 10, 2017

at-grandpa commented Nov 10, 2017

第13章 実装を導くテスト #17

第13章 実装を導くテスト #17

Conversation

at-grandpa commented Nov 9, 2017 • edited Loading

TODO

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017 • edited Loading

TODO

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017 • edited Loading

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017

at-grandpa commented Nov 9, 2017 • edited Loading

TODO

at-grandpa commented Nov 10, 2017 • edited Loading

at-grandpa commented Nov 10, 2017

at-grandpa commented Nov 10, 2017

at-grandpa commented Nov 10, 2017

at-grandpa commented Nov 10, 2017

at-grandpa commented Nov 10, 2017 • edited Loading

TODO

at-grandpa commented Nov 10, 2017

at-grandpa commented Nov 10, 2017

第13章実装を導くテスト #17

第13章実装を導くテスト #17

at-grandpa commented Nov 9, 2017 •

edited

Loading

at-grandpa commented Nov 9, 2017 •

edited

Loading

at-grandpa commented Nov 9, 2017 •

edited

Loading

at-grandpa commented Nov 9, 2017 •

edited

Loading

at-grandpa commented Nov 10, 2017 •

edited

Loading

at-grandpa commented Nov 10, 2017 •

edited

Loading