設計模式:規約模式(Specification-Pattern)

来源:https://www.cnblogs.com/youring2/archive/2019/10/26/Specification-Pattern.html
-Advertisement-
Play Games

“其實地上本沒有路,走的人多了,也便成了路”——魯迅《故鄉》 這句話很好的描述了設計模式的由來。前輩們通過實踐和總結,將優秀的編程思想沉澱成設計模式,為開發者提供瞭解決問題的思路。除此之外,設計模式還是開發者之間溝通的橋梁,是程式員的語言,比如我說這段代碼用的是單例模式,你就知道它的基本實現和用法。 ...


“其實地上本沒有路,走的人多了,也便成了路”——魯迅《故鄉》

這句話很好的描述了設計模式的由來。前輩們通過實踐和總結,將優秀的編程思想沉澱成設計模式,為開發者提供瞭解決問題的思路。除此之外,設計模式還是開發者之間溝通的橋梁,是程式員的語言,比如我說這段代碼用的是單例模式,你就知道它的基本實現和用法。因此非常有必要弄清楚常用的設計模式。

前輩們有很多優秀的設計模式文章和圖書,而本系列是我的學習筆記,我會儘量清晰易懂的將自己知道的分享出來,如果有不准確的地方請及時指正 ^_^

本文來講解《規約模式(Specification-Pattern)》

什麼是規約模式?

規約模式經常在DDD中使用,用來將業務規則(通常是隱式業務規則)封裝成獨立的邏輯單元,從而將隱式業務規則提煉為顯示概念,並達到代碼復用的目的。

講理論就是很枯燥,比如上面這段定義,雖然說明白了什麼是規約模式,但是又引入了兩個概念:隱式業務規則和顯示概念。太無趣了,我決定皮一下子……

  • 什麼是隱式業務規則?假如你開發了一個網站,你的目標用戶是18歲以上人群,你懂的,當地的政策不允許18歲以下瀏覽。那麼你該如何驗證註冊用戶是否符合要求呢?
public ActionResult Register(UserRegisterInfo user){
    if(user.Age < 18){
        throw new Exception("Too young too simple...");
    }
    
    //todo:註冊邏輯
}

在Register方法中if語句就是一條隱式業務規則。

當然這樣寫也能滿足業務規則,但是改天新來一個叫王二的程式員,沒鬧明白為啥要加if判斷、或者沒鬧明白為啥是18,本萬物皆可盤的態度盤了這段代碼,程式仍然照常運行,王二也很開心,但是業務完整性就被破壞了。因此就需要將隱式的業務規則提煉成現實概念。

  • 什麼是顯示概念?顯示概念跟隱式業務規則相對應,意味著我們要把上面代碼中的if判斷提煉出來了。
public ActionResult Register(UserRegisterInfo user){
    var specification = new UserMustBeAdultSpecification();
    if(!specification.IsSatisfiedBy(user)){
        throw new Exception("Too young too simple...");
    }
    
    //todo:註冊邏輯
}

class UserMustBeAdultSpecification {
    private int adultAge;
    public UserMustBeAdultSpecification(int adultAge = 18){
        this.adultAge = adultAge;
    }
    
    public IsSatisfiedBy(UserRegisterInfo user){
        return user.Age > this.adultAge;
    }
}

我們把if判斷提煉成一個顯示概念,用來確認用戶必須是成人。這樣王二來了以後,也不至於揣著明白裝糊塗。

為什麼需要規約模式?

這裡先說一下為什麼需要把隱式業務規則轉變為顯示概念?通常我們的業務規則不會僅僅驗證一下年齡這麼簡單,例如訂單提交,你可能需要驗證用戶賬號是否可用、訂單商品的庫存是否滿足預定量、配送地址是否完整……如果僅僅是通過一連串的if判斷,那就真的太不利於維護了,並且if嵌套的多了代碼難於理解,不好說明白具體意圖。因此需要將隱式業務規則轉換成顯示概念,這也是DDD的要求。

如果上面的例子還不能很好的打動你,我們再舉一個慄子。

你的網站不僅僅需要註冊吧,它可能還有更新用戶信息的功能,更新的時候我們仍然需要確認用戶必須是成人,看吧,提煉的顯示概念再一次派上用場,達到了代碼復用的目的,這樣就滿足了DRY的要求。

另外,規約模式還有一個更加常用的場景,就是進行數據查詢,繼續往下看……

如何實現規約模式?

規約模式要求我們每個規約都要有一個bool IsSatisfiedBy(model)方法,用來驗證模型是否滿足規約要求,我們上面的例子就是典型的規約類,但是沒有進行任何抽象。

規約的另一個更常用的用途是進行數據篩選,而我們的篩選條件通常是複雜的,因此規約還要實現鏈式操作。因此需要進行抽象,到達操作一致的目的。

以下代碼來自codeproject,不喜勿噴,熟悉的直接繞道最後一段。

定義介面:

public interface ISpecification<T>    {
    bool IsSatisfiedBy(T o);
    ISpecification<T> And(ISpecification<T> specification);
    ISpecification<T> Or(ISpecification<T> specification);
    ISpecification<T> Not(ISpecification<T> specification);
}

每個規約實現四個方法:IsSatisfiedBy()、And()、Or()、Not()。IsSatisfiedBy()方法主要實現業務規則,而其它三個則用來將複合業務規則連在一起。

來看它的抽象實現:

public abstract class CompositeSpecification<T> : ISpecification<T>     
{
    public abstract bool IsSatisfiedBy(T o);

    public ISpecification<T> And(ISpecification<T> specification)       
    {
        return new AndSpecification<T>(this, specification);
    }
    public ISpecification<T> Or(ISpecification<T> specification)        
    {
        return new OrSpecification<T>(this, specification);
    }
    public ISpecification<T> Not(ISpecification<T> specification)       
    {
        return new NotSpecification<T>(specification);
    }
}

對於所有複合規約來說,And()、Or()、Not()方法都是相同的,只有IsSatisfiedBy()方法會有區別。接來下看一下鏈式規約的實現,分別對應And()、Or()、Not()方法:

public class AndSpecification<T> : CompositeSpecification<T>    
{
    ISpecification<T> leftSpecification;
    ISpecification<T> rightSpecification;

    public AndSpecification(ISpecification<T> left, ISpecification<T> right)  {
        this.leftSpecification = left;
        this.rightSpecification = right;
    }

    public override bool IsSatisfiedBy(T o)   {
        return this.leftSpecification.IsSatisfiedBy(o) 
            && this.rightSpecification.IsSatisfiedBy(o);
    }
}

public class OrSpecification<T> : CompositeSpecification<T>    
{
    ISpecification<T> leftSpecification;
    ISpecification<T> rightSpecification;

    public AndSpecification(ISpecification<T> left, ISpecification<T> right)  {
        this.leftSpecification = left;
        this.rightSpecification = right;
    }

    public override bool IsSatisfiedBy(T o)   {
        return this.leftSpecification.IsSatisfiedBy(o) 
            || this.rightSpecification.IsSatisfiedBy(o);
    }
}

public class NotSpecification<T> : CompositeSpecification<T>    
{
    ISpecification<T> specification;

    public AndSpecification(ISpecification<T> specification)  {
        this.specification = specification;
    }

    public override bool IsSatisfiedBy(T o)   {
        return !this.specification.IsSatisfiedBy(o);
    }
}

Linq表達式規約

當規約用於數據查詢時,使用Linq表達式規約將非常有用。但是,這種方式與規約模式的初衷相悖,因為我們再一次把業務規則隱藏在了Linq表達式中。

基於表達式的規約

public class ExpressionSpecification<T> : CompositeSpecification<T>   {
    private Func<T, bool> expression;
    public ExpressionSpecification(Func<T, bool> expression)    {
        if (expression == null)
            throw new ArgumentNullException();
        else
            this.expression = expression;
    }

    public override bool IsSatisfiedBy(T o)   {
        return this.expression(o);
    }
}

看完代碼你會發現,只要你願意,表達式規約能夠滿足你幾乎所有需求。因此說它是一種反模式,是違背初衷的用法。為啥還要列出來呢?對於查詢來說太強大了……此處可以寫一篇《論提升規約模式十倍生產力的方法》。

代碼的用法

我們依然複製codeproject上面的代碼:

class Program
{
    static void Main(string[] args)
    {
        List<Mobile> mobiles = new List<Mobile> { 
            new Mobile(BrandName.Samsung, Type.Smart, 700), 
            new Mobile(BrandName.Apple, Type.Smart), 
            new Mobile(BrandName.Htc, Type.Basic), 
            new Mobile(BrandName.Samsung, Type.Basic) };

        ISpecification<Mobile> samsungExpSpec =
           new ExpressionSpecification<Mobile>(o => o.BrandName == BrandName.Samsung);
        ISpecification<Mobile> htcExpSpec =
           new ExpressionSpecification<Mobile>(o => o.BrandName == BrandName.Htc);
        ISpecification<Mobile> SamsungHtcExpSpec =  samsungExpSpec.Or(htcExpSpec);        
        ISpecification<Mobile> NoSamsungExpSpec = 
          new ExpressionSpecification<Mobile>(o => o.BrandName != BrandName.Samsung);

        var samsungMobiles = mobiles.FindAll(o => samsungExpSpec.IsStatisfiedBy(o));
        var htcMobiles = mobiles.FindAll(o => htcExpSpec.IsStatisfiedBy(o));
        var samsungHtcMobiles = mobiles.FindAll(o => SamsungHtcExpSpec.IsStatisfiedBy(o));
        var noSamsungMobiles = mobiles.FindAll(o => NoSamsungExpSpec.IsStatisfiedBy(o));
    }
}

組合查詢:

ISpecification<Mobile> complexSpec = (samsungExpSpec.Or(htcExpSpec)).And(brandExpSpec);

非Linq用法:

public class PremiumSpecification<T> : CompositeSpecification<T>
{
    private int cost;
    public PremiumSpecification(int cost) {
        this.cost = cost;
    }
 
    public override bool IsSatisfiedBy(T o) {
        return (o as Mobile).Cost >= this.cost;
    }
}

組合用法:

ISpecification<Mobile> premiumSpecification = new PremiumSpecification<Mobile>(600);
ISpecification<Mobile> linqNonLinqExpSpec = NoSamsungExpSpec.And(premiumSpecification); 

探討:與CQRS的衝突,該如何選擇?

在《CQRS vs Specification pattern》中,作者指出,規約模式提倡將驗證和查詢復用同一個邏輯單元,而在CQRS中,驗證是在Command中的邏輯,查詢是在Query中的邏輯,CQRS提倡命令和查詢進行分離,從而構建低耦合的系統。

那麼該如何選擇呢?是選擇SRP還是放棄DRY?

參考資料


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • JavaScript Math 對象允許您對數字執行數學任務。 實例 Math.PI; // 返回 3.141592653589793 實例 Math.round() Math.round(x) 的返回值是 x 四捨五入為最接近的整數: 實例 Math.round(6.8); // 返回 7 Mat ...
  • 原文地址:https://www.cnblogs.com/SamWeb/p/8417940.html 昨天看了一篇vue的教程,作者用async/ await來發送非同步請求,從服務端獲取數據,代碼很簡潔,同時async/await 已經被標準化,也是需要學習一下了。 先說一下async的用法,它作為 ...
  • 問題描述: 在IE8及以下版本時,點擊label標簽無法自動觸發checkbox的click事件,導致無法產生希望的效果。 原HTML代碼: 1 $("input:checkbox[name='menu']").each(function (index, element) { 2 $(this).c ...
  • *** 【Layer】 ****************************************************************************************************************************Layer彈窗:layer. ...
  • 1、定義: 跨域,指的是瀏覽器不能執行其他網站的腳本。它是由瀏覽器的同源策略造成的,是瀏覽器施加的安全限制。 那麼問題來了,什麼是同源策略呢? 同源策略:功能變數名稱,協議,埠相同。 例:同一瀏覽器的兩個tab頁中分別打開來百度和谷歌的頁面 當瀏覽器的百度tab頁執行一個腳本的時候會檢查這個腳本是屬於哪個 ...
  • HTML只是簡寫全寫是(Hyper Text Markup Language)表示的是:超文本標記語言; HTML5表示的是html的第5次重大修改的第5個版本,(而html5是W3C和WHATWG合作的結果) WHATWG指的是網頁超文本應用技術小組是一個以推動網路HTML5為標準而成立的組織。在 ...
  • 示例代碼托管在: "http://www.github.com/dashnowords/blogs" 博客園地址: "《大史住在大前端》原創博文目錄" 華為雲社區地址: "【你要的前端打怪升級指南】" [TOC] 關於 和`transform`的動畫性能的話題,機會總是會涉及到 “合成層” 或者 “ ...
  • 異常處理是 Java 開發中的一個重要部分,是為了處理任何錯誤狀況,比如資源不可訪問,非法輸入,空輸入等等。Java 提供了幾個異常處理特性,以try,catch 和 finally 關鍵字的形式內建於語言自身之中。Java 編程語言也允許創建新的自定義異常,並通過使用 throw 和 throws ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發(一):使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說,近來想嘗試開發一款安卓APP,考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP,畢竟是使用Visual Studio開發工具,使用起來也比較的順手,結合微軟官方的教程進行了安卓 ...
  • 前言 QuestPDF 是一個開源 .NET 庫,用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫,它徹底改變了我們生成 PDF 文檔的方 ...
  • 項目地址 項目後端地址: https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址: ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址: http://tree ...
  • 話不多說,直接開乾 一.下載 1.官方鏈接下載: https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe,運行開始下載SQL server; 二. ...
  • 前言 隨著物聯網(IoT)技術的迅猛發展,MQTT(消息隊列遙測傳輸)協議憑藉其輕量級和高效性,已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫,為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog支持多種接收器用於日誌存儲,增強器用於添加屬性,LogContext管理動態屬性,支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項,適用於不同需求。 ...
  • 目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據,爬取信息時需要模擬瀏覽器行為,否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下: 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • 1.前言 什麼是熱更新 游戲或者軟體更新時,無需重新下載客戶端進行安裝,而是在應用程式啟動的情況下,在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR,Xlua,ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles,Addressable, ...
  • 本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺,其實像阿裡雲,騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後,它會送 ...
  • 通過以下方式可以高效,並保證數據同步的可靠性 1.API設計 使用RESTful設計,確保API端點明確,並使用適當的HTTP方法(如POST用於創建,PUT用於更新)。 設計清晰的請求和響應模型,以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...