第62章へようこそ。
今日のテーマは「Newtype」です。
第6章で、この形はもう出ています。
中身が同じでも型として別物にするために、タプル構造体で包む。
メートルとキログラムはどちらも中の型が同じでも、片方をもう片方の引数には渡せない。
この手法をニュータイプパターンと呼ぶ、と命名しました。
今日はその先を扱う。
包んだあと、その型に何をさせるかは、まだ何も決まっていない。
包んだ型は、中身の操作を1つも受け継がないからだ。
今日扱うのは、包むと何が消えるのか、消えたもののうち何を通すのか、なぜ包むと外部のトレイトを実装できるのか、中身をそのまま見せる実装をどう判断するのか、そしてこの境界がどこに存在しているのか、です。
感想
まだ感想はありません。最初の1件を書きましょう！
スクロール