概念位置

copyWith 對資料袋（DTO、API model、UI state）是正確工具——欄位組合全部合法、逐欄位覆寫語意清晰。但對有領域方法的 entity、copyWith 是繞過不變式的逃生口：領域方法從「唯一路徑」降級成「建議路徑」、稽核軌跡開始出洞。判準是型別有沒有「不允許任意組合的欄位」——有，copyWith 就不該讓那些欄位 public 可寫。多數專案的 copyWith 由 freezed 生成、不是手寫——這也是它對所有型別一視同仁套用的原因。

Nullable 欄位的三態缺口

copyWith 在 nullable 欄位上有一個 Dart 型別系統的缺口：String? isbn 只有兩態（有值 / null），而 copyWith 需要三態——「不改這欄」「改成某值」「清空成 null」。前兩態沒問題，第三態表達不出來。通用的補償手法是哨兵物件（sentinel），freezed 生成的 copyWith 內部就是用同樣的技巧。

設計責任

收窄的方向分三層：value object / DTO / UI state 保留 copyWith；有領域方法的 entity 把 copyWith 改 private 或從參數列移除受約束欄位；測試建構需求不足時修工廠的表達力、不修每一個拼裝點。完整機制見 copyWith 是逃生口，不是設計、教學層見 資料袋與領域模型。

概念位置

freezed 的預設路徑對所有型別一視同仁——它不區分資料袋和有領域方法的 entity。每個被 @freezed 標記的 class 都會得到全欄位的 public copyWith、包含狀態欄位與稽核欄位。這是生態推力：規範說「請走領域方法」、工具預設給全欄位 copyWith——規範和預設衝突時、預設會贏。

設計責任

在 entity 上使用 freezed 時、需要額外措施收窄 copyWith 的開放程度：把 copyWith 改 private、或從參數列移除受約束的欄位。freezed 的 sealed union 在枚舉分層上有正面價值——exhaustive switch 讓「忘記決定新成員歸哪類」在編譯期就走不通。結構細節見 Freezed 三層結構解剖。

概念位置

Extension type 是實作 value object 語意封閉的一種載體。金額用 extension type 包 Decimal：開放的運算限於領域有意義的集合（加減、乘數量、乘倍率），差集裡的誤用（金額乘金額）在編譯期就走不通。跟用 class 包裝的差異：class 有 runtime 身份（is Money 為 true）但有 overhead；extension type 零 overhead 但 runtime 是透明的。這條分野也決定了誰適合搭 copyWith——extension type 沒有 runtime 物件可覆寫欄位，逐欄位覆寫語意只在 class 路徑上成立。

設計責任

Extension type 的 subtype 決策要在設計時做好——它是底層型別的 subtype（寬鬆：可以隱式 upcast 回底層型別）還是獨立型別（嚴格：只能顯式拆封）。前者方便、但封裝邊界弱；後者安全、但每個需要底層型別的銜接點都要顯式拆封。顯式拆封的出口要有語意明確的名字（如 toDecimal()），見 建構路徑設計。Migration 案例見 Money 三段遷移。