實作值物件
提示
本內容節錄自《容器化 .NET 應用程式的 .NET 微服務架構》(.NET Microservices Architecture for Containerized .NET Applications) 電子書,可以在 .NET Docs 上取得,或免費下載可供離線閱讀的 PDF。
如前面各節中討論的實體和彙總,身分識別是實體的基礎。 不過,系統中有許多物件和資料項目不需要身分識別和身分識別追蹤,例如值物件。
值物件可以參考其他實體。 例如,在產生描述如何從某點到另一點的路由的應用程式中,該路由就是值物件。 它會是特定路由的點快照集,但此建議的路由不會有身分識別,雖然它在內部參考縣 (市)、街道等實體。
圖 7-13 顯示 Order 彙總內的 Address 值物件。
圖 7-13。 訂單彙總內的 Address 值物件
如圖 7-13 所示,實體通常是由多個屬性組成。 例如,Order
實體可以模型化成具身分識別的實體,並且在內部由一組屬性組成,例如 OrderId、OrderDate、OrderItems 等等。但地址 (僅由國家/地區、街道、縣市等組成的複雜值,且在此網域中沒有任何身分識別) 必須模型化並視為值物件。
值物件的重要特性
值物件有兩個主要特性:
它們沒有任何身分識別。
它們具有不變性。
第一個特性已討論過。 不變性是重要需求。 物件一旦建立,值物件的值必須不可變。 因此,在建構物件時,您必須提供必要的值,但絕不可允許這些值在物件存留期間內變更。
值物件因為不可變的本質,可讓您執行某些技巧以提升效能。 特別是在有數千個值物件執行個體的系統中,它們之中許多都有相同的值。 其不可變的本質可讓它們重複使用。它們可以是可互換的物件,因為它們的值相同,而且它們沒有任何身分識別。 這種最佳化有時會造成執行速度緩慢的軟體和效能良好的軟體之間的差異。 當然,所有這些情況都取決於應用程式環境和部署內容。
以 C# 實作值物件
就實作而言,您可有一個值物件基底類別,其中有基本的公用程式方法,例如以所有屬性 (因為值物件的依據不得為身分識別) 和其他基本特性之間的比較為基礎的相等。 下列範例示範 eShopOnContainers 訂購微服務中使用的值物件基底類別。
public abstract class ValueObject
{
protected static bool EqualOperator(ValueObject left, ValueObject right)
{
if (ReferenceEquals(left, null) ^ ReferenceEquals(right, null))
{
return false;
}
return ReferenceEquals(left, right) || left.Equals(right);
}
protected static bool NotEqualOperator(ValueObject left, ValueObject right)
{
return !(EqualOperator(left, right));
}
protected abstract IEnumerable<object> GetEqualityComponents();
public override bool Equals(object obj)
{
if (obj == null || obj.GetType() != GetType())
{
return false;
}
var other = (ValueObject)obj;
return this.GetEqualityComponents().SequenceEqual(other.GetEqualityComponents());
}
public override int GetHashCode()
{
return GetEqualityComponents()
.Select(x => x != null ? x.GetHashCode() : 0)
.Aggregate((x, y) => x ^ y);
}
// Other utility methods
}
ValueObject
為 abstract class
類型,但在此範例中,其不會多載 ==
和 !=
運算子。 您也可以選擇這個做法,將比較委派給 Equals
覆寫。 例如,您可以考慮將下列運算子多載至 ValueObject
類型:
public static bool operator ==(ValueObject one, ValueObject two)
{
return EqualOperator(one, two);
}
public static bool operator !=(ValueObject one, ValueObject two)
{
return NotEqualOperator(one, two);
}
實作實際的值物件時,您可以使用這個類別,方式如同下列範例所示的 Address
值物件:
public class Address : ValueObject
{
public String Street { get; private set; }
public String City { get; private set; }
public String State { get; private set; }
public String Country { get; private set; }
public String ZipCode { get; private set; }
public Address() { }
public Address(string street, string city, string state, string country, string zipcode)
{
Street = street;
City = city;
State = state;
Country = country;
ZipCode = zipcode;
}
protected override IEnumerable<object> GetEqualityComponents()
{
// Using a yield return statement to return each element one at a time
yield return Street;
yield return City;
yield return State;
yield return Country;
yield return ZipCode;
}
}
Address
的此值物件實作不具備任何身分識別,因此不會針對其定義任何識別碼欄位,在 Address
類別定義中或 ValueObject
類別定義中皆是如此。
類別中不能沒有識別碼欄位供 Entity Framework (EF) 使用,直到推出 EF Core 2.0,才讓沒有識別碼的值物件實作變得順利許多。 這正是下一節的說明。
有人認為值物件 (不可變) 應為唯讀 (亦即具備 get-only 屬性),而實際上正是如此。 然而,值物件通常會經過序列化及還原序列化以通過訊息佇列,而唯讀則會讓還原序列化城市停止指派值,因此您只需將值物件保留為 private set
,其唯讀狀態已足夠實務使用。
值物件比較語意
您可以透過下列的所有方法來比較 Address
類型的兩個執行個體:
var one = new Address("1 Microsoft Way", "Redmond", "WA", "US", "98052");
var two = new Address("1 Microsoft Way", "Redmond", "WA", "US", "98052");
Console.WriteLine(EqualityComparer<Address>.Default.Equals(one, two)); // True
Console.WriteLine(object.Equals(one, two)); // True
Console.WriteLine(one.Equals(two)); // True
Console.WriteLine(one == two); // True
當所有值都相同時,比較會正確評估為 true
。 若您未選擇多載 ==
和 !=
運算子,則 one == two
的最後一個比較會評估為 false
。 如需詳細資訊,請參閱多載 ValueObject 等號比較運算子。
如何使用 EF Core 2.0 和更新版本將值物件保留在資料庫中
您只看到如何在您的網域模型中定義值物件。 但 Entity Framework Core 的目標通常是具有身分識別的實體,您要如何使用 Entity Framework Core 真正將值物件保存至資料庫中呢?
使用 EF Core 1.1 的背景和較舊的方法
追根究柢,使用 EF Core 1.0 和 1.1 時有一個限制,就是您無法使用在傳統 .NET Framework 中 EF 6.x 定義的複雜類型。 因此,如果使用 EF Core 1.0 或 1.1,您需要使用識別碼欄位將您的值物件儲存為 EF 實體。 然後,它會看起來更像是沒有任何身分識別的值物件,您可以隱藏它的識別碼,以便您明白表示值物件的識別碼在網域模型中不重要。 您可以將識別碼當成 shadow property (shadow 屬性) 使用,隱藏該識別碼。 因為已在 EF 基礎結構層級設定模型中隱藏識別碼的組態,所以對您的網域模型而言,它幾乎是不存在的。
在 eShopOnContainers 的初始版本中 (.NET Core 1.1),已在基礎結構專案中使用 Fluent API,以下列方式在 DbContext 層級實作 EF Core 基礎結構所需要的隱藏識別碼。 因此,從網域模型的觀點而言,識別碼已隱藏,但仍會出現在基礎結構中。
// Old approach with EF Core 1.1
// Fluent API within the OrderingContext:DbContext in the Infrastructure project
void ConfigureAddress(EntityTypeBuilder<Address> addressConfiguration)
{
addressConfiguration.ToTable("address", DEFAULT_SCHEMA);
addressConfiguration.Property<int>("Id") // Id is a shadow property
.IsRequired();
addressConfiguration.HasKey("Id"); // Id is a shadow property
}
不過,該值物件保存在資料庫中,就像是不同資料表中的一般實體。
EF Core 2.0 和更新版本推出後,您可以使用更好的新方法來保存值物件。
使用 EF Core 2.0 和更新版本將植物件保存為自有實體類型
雖然 DDD 標準值物件模式與 EF Core 自有實體類型之間仍有差距,但這是目前使用 EF Core 2.0 和更新版本保存值物件的最佳方式。 本節結尾會列出限制。
EF Core 從 2.0 版開始新增擁有的實體類型功能。
自有實體類型可讓您在自己的所有實體內,對應那些自己身分識別未在網域模型中明確定義並用作屬性的類型,例如值物件。 自有實體類型與其他實體類型共用相同的 CLR 類型 (亦即其僅為一般類別)。 包含定義導覽的實體是擁有者實體。 查詢擁有者時,預設包含擁有的類型。
如果只針對領域模型,自有類型看起來就像不具備任何身分識別。 不過,自有類型在實質上的確具備身分識別,但擁有者導覽屬性屬於此身分識別。
自有類型的執行個體身分識別不完全屬於它們自己。 它包含三個元件:
擁有者的身分識別
指向它們的導覽屬性
如果是自有類型的集合,則為獨立元件 (受 EF Core 2.2 和更新版本支援)。
例如,在 eShopOnContainers 的訂購網域模型中,屬於訂單實體的一部分,Address 值物件在擁有者實體內實作為擁有的實體類型,也就是訂單實體。 Address
是領域模型中未定義任何識別屬性的類型。 它用做訂單類型的屬性,指定特定訂單的送貨地址。
依照慣例,會為擁有的類型建立陰影主索引鍵,而且會使用資料表分割將它對應至與擁有者相同的資料表。 這允許以類似傳統 .NET Framework 的 EF6 使用複雜類型的方式,使用擁有的類型。
請務必注意,EF Core 慣例永遠不會探索到擁有的類型,所以您不必明確宣告它們。
在 eShopOnContainers 的 OrderingContext.cs 檔案中,多個基礎結構組態會套用到 OnModelCreating()
方法中。 其中一個與訂單實體有關。
// Part of the OrderingContext.cs class at the Ordering.Infrastructure project
//
protected override void OnModelCreating(ModelBuilder modelBuilder)
{
modelBuilder.ApplyConfiguration(new ClientRequestEntityTypeConfiguration());
modelBuilder.ApplyConfiguration(new PaymentMethodEntityTypeConfiguration());
modelBuilder.ApplyConfiguration(new OrderEntityTypeConfiguration());
modelBuilder.ApplyConfiguration(new OrderItemEntityTypeConfiguration());
//...Additional type configurations
}
下列程式碼會定義訂單實體的持續性基礎結構:
// Part of the OrderEntityTypeConfiguration.cs class
//
public void Configure(EntityTypeBuilder<Order> orderConfiguration)
{
orderConfiguration.ToTable("orders", OrderingContext.DEFAULT_SCHEMA);
orderConfiguration.HasKey(o => o.Id);
orderConfiguration.Ignore(b => b.DomainEvents);
orderConfiguration.Property(o => o.Id)
.ForSqlServerUseSequenceHiLo("orderseq", OrderingContext.DEFAULT_SCHEMA);
//Address value object persisted as owned entity in EF Core 2.0
orderConfiguration.OwnsOne(o => o.Address);
orderConfiguration.Property<DateTime>("OrderDate").IsRequired();
//...Additional validations, constraints and code...
//...
}
在先前的程式碼中,orderConfiguration.OwnsOne(o => o.Address)
方法指定 Address
屬性是 Order
類型的擁有的實體。
根據預設,EF Core 慣例會將擁有的實體類型的屬性資料庫資料行命名為 EntityProperty_OwnedEntityProperty
。 因此,Address
的內部屬性會出現在 Orders
資料表中,名為 Address_Street
、Address_City
(以此類推 State
、Country
和 ZipCode
)。
您可以附加 Property().HasColumnName()
fluent 方法重新命名這些資料行。 如果發生 Address
是公用屬性的情況,對應會如同下例:
orderConfiguration.OwnsOne(p => p.Address)
.Property(p=>p.Street).HasColumnName("ShippingStreet");
orderConfiguration.OwnsOne(p => p.Address)
.Property(p=>p.City).HasColumnName("ShippingCity");
您可在 fluent 對應中鏈結 OwnsOne
方法。 在下列假設性的範例中,OrderDetails
擁有 BillingAddress
和 ShippingAddress
,它們兩個都是 Address
類型。 然後 Order
類型擁有 OrderDetails
。
orderConfiguration.OwnsOne(p => p.OrderDetails, cb =>
{
cb.OwnsOne(c => c.BillingAddress);
cb.OwnsOne(c => c.ShippingAddress);
});
//...
//...
public class Order
{
public int Id { get; set; }
public OrderDetails OrderDetails { get; set; }
}
public class OrderDetails
{
public Address BillingAddress { get; set; }
public Address ShippingAddress { get; set; }
}
public class Address
{
public string Street { get; set; }
public string City { get; set; }
}
有關擁有的實體類型的其他詳細資料
當您使用 OwnsOne fluent API 將導覽屬性設定為特定類型時,會定義自有類型。
在我們的中繼資料模型中,自有類型的定義由下列項目組成:擁有者類型、導覽屬性,以及自有類型的 CLR 類型。
在我們的堆疊中,自有類型執行個體的身分識別 (金鑰) 是由擁有者類型的身分識別及自有類型的定義所組成。
自有實體的功能
自有類型可以參考其他實體,可以是自有 (巢狀自有類型) 或非自有 (對其他實體的一般參考導覽屬性)。
您可以透過個別的導覽屬性,將相同的 CLR 類型對應為同一個擁有者實體中的不同自有類型。
資料表分割會按慣例設定,但您可以選擇不這麼做,並使用 ToTable 將自有類型對應至不同的資料表。
積極式載入會自動在自有類型上執行,亦即不需要對查詢呼叫
.Include()
。可使用 EF Core 2.1 和更新版本,以屬性
[Owned]
進行設定。可處理自有類型的集合 (使用 2.2 以上版本)。
自有實體的限制
您無法建立自有類型的
DbSet<T>
(設計所致)。您無法對自有類型呼叫
ModelBuilder.Entity<T>()
(目前為設計所致)。不支援選擇性 (亦即可為 null) 的自有類型,這些類型會在相同的資料表中與擁有者對應 (也就是使用資料表分割)。 這是因為對應會分別對各個屬性執行,而 null 複雜值作為一個整體並不會有個別的 sentinel。
繼承對應不支援自有類型,但您應該能夠將兩種同一繼承階層的分葉類型對應為不同的自有類型。 EF Core 不會推論出它們屬於同一階層的事實。
EF6 複雜類型的主要差異
- 資料表分割為選擇性,亦即其可以選擇性地對應至不同的資料表,但仍為自有類型。
其他資源
Martin Fowler。 ValueObject 模式
https://martinfowler.com/bliki/ValueObject.htmlEric Evans: Domain-Driven Design: Tackling Complexity in the Heart of Software. (書籍;包含值物件的探討)
https://www.amazon.com/Domain-Driven-Design-Tackling-Complexity-Software/dp/0321125215/Vaughn Vernon: Implementing Domain-Driven Design. (書籍;包含值物件的探討)
https://www.amazon.com/Implementing-Domain-Driven-Design-Vaughn-Vernon/dp/0321834577/擁有的實體類型
https://learn.microsoft.com/ef/core/modeling/owned-entities陰影屬性
https://learn.microsoft.com/ef/core/modeling/shadow-properties複雜類型和/或值物件。 探討 EF Core GitHub 存放庫 (問題索引標籤)
https://github.com/dotnet/efcore/issues/246ValueObject.cs. eShopOnContainers 中的基底值物件類別。
https://github.com/dotnet-architecture/eShopOnContainers/blob/dev/src/Services/Ordering/Ordering.Domain/SeedWork/ValueObject.csValueObject.cs. CSharpFunctionalExtensions 中的基底值物件類別。
https://github.com/vkhorikov/CSharpFunctionalExtensions/blob/master/CSharpFunctionalExtensions/ValueObject/ValueObject.cs網址類別。 eShopOnContainers 中的範列值物件類別。
https://github.com/dotnet-architecture/eShopOnContainers/blob/dev/src/Services/Ordering/Ordering.Domain/AggregatesModel/OrderAggregate/Address.cs
意見反應
https://aka.ms/ContentUserFeedback。
即將登場:在 2024 年,我們將逐步淘汰 GitHub 問題作為內容的意見反應機制,並將它取代為新的意見反應系統。 如需詳細資訊,請參閱:提交並檢視相關的意見反應