.NET 5 のリリースにより、 C# 9.0 が使えるようになりました。
C# 9.0 の新機能の中で注目を浴びている機能として record 型があります。
この record 型がドメイン駆動設計の値オブジェクトの設計に有用だという知見を得たので、この知見について記したいと思います。
record 型とは?
record 型の詳細は以下にあります。
record 型を使用することでイミュータブルなオブジェクトを容易に作ることが出来るようになります。
例えば、今までであれば以下の様に実装していたクラスが...
public class Phone { public string AreaCode { get; } public string CityCode { get; } public string SubscriberNumber { get; } public Phone(string areaCode, string cityCode, string subscriberNUmber) => (AreaCode, CityCode, SubscriberNumber) = (areaCode, cityCode, subscriberNUmber); public static bool operator ==(Phone left, Phone right) => left.AreaCode == right.AreaCode && left.CityCode == right.CityCode && left.SubscriberNumber == right.SubscriberNumber; public static bool operator !=(Phone left, Phone right) => left.AreaCode != right.AreaCode || left.CityCode != right.CityCode || left.SubscriberNumber != right.SubscriberNumber; public override int GetHashCode() => new[] { AreaCode, CityCode, SubscriberNumber } .Select(x => x is not null ? x.GetHashCode() : 0) .Aggregate((x, y) => x ^ y); public override bool Equals(object obj) => obj is Phone other && Equals(other.AreaCode, AreaCode) && Equals(other.CityCode, CityCode) && Equals(other.SubscriberNumber, SubscriberNumber); public override string ToString() => $"{AreaCode}-{CityCode}-{SubscriberNumber}"; }
以下の様になります。
public record Phone( string AreaCode, string CityCode, string SubscriberNumber ) { public override string ToString() => $"{AreaCode}-{CityCode}-{SubscriberNumber}"; }
主に以下の機能が自動で実装されるようになると公式には書いてあります。
- 値ベースの等価比較のためのメソッド
GetHashCode()
のオーバーライド- コピーメンバーとクローンメンバー
PrintMembers
およびToString()
難しいことが書いてありますが、簡単に言うと上記で示した class
の実装サンプルのメソッドは operator
含め、すべて自動で実装されます。
上記の record
型のサンプルで ToString()
メソッドのオーバーライドの実装を残した通り、メソッドも実装出来ます。
ちなみに、自動実装される ToString()
メソッドは以下の様に出力されるようです。
"Phone { AreaCode = 080, CityCode = 1234, SubscriberNumber = 5678 }"
今のところ、使いどころが分からないですね。
record 型と値オブジェクト
先日、Twitter で以下の様なことを教えて貰いました。
record を使うとイミュータブルなオブジェクトが簡単に書けるのは嬉しいかなと思いました。
— Takashi Shibata (@shibatea365) 2020年11月16日
従来だとリンク先のように大量にコードを書かないといけなかった。https://t.co/ODAX7TCg7v
エリックエヴァンスのドメイン駆動設計 では、 ドメインの概念のうち「ライフサイクルがあり、識別子によって管理するもの」をエンティティ、「値は不変で、識別子によって管理しないもの」を値オブジェクトと呼んでいます。
前節で示した class
のサンプルコードはこの値オブジェクトの実装例になります。
値は不変のため、プロパティが get
のみであり、ID オブジェクトを保有していません。
また、クラスは参照型であるため、デフォルトでは Equals()
メソッドは参照同士の比較をします。
そのため、==
オペレーターや !=
オペレーターの実装や Equals()
メソッドのオーバーライドが必要になります。
ですが、 record
型を使用すればこれらがすべて自動で実装されるため、書くべきコードが減ってすっきりします。
コードが減れば確率的にバグが減るので安心ですね。
所感
ドメイン駆動設計に取り組んで以来、今まであまり値オブジェクトの定義をしてきませんでした。
今まで実装してきたコードの中には実は値オブジェクトになりうる概念もあったかもしれません。
今回の record
型の追加をきっかけに、値オブジェクトを見つけてみる意識をしていきたいと思いました。