一起詳細聊聊C#中的Visitor模式
寫在前面
Visitor模式在日常工作中出場比較少，如果統(tǒng)計大家不熟悉的模式，那么它榜上有名的可能性非常大。使用頻率少，再加上很多文章提到Visitor模式都著重于它克服語言單分派的特點上面，而對何時應該使用這個模式及這個模式是怎么一點點演講出來的提之甚少，造成很多人對這個模式有種霧里看花的感覺，今天跟著老胡，我們一起來一點點揭開它的面紗吧。
模式演進
舉個例子
現(xiàn)在假設我們有一個簡單的需求，需要統(tǒng)計出一篇文檔中的字數(shù)、詞數(shù)和圖片數(shù)量。其中字數(shù)和詞數(shù)存在于段落中，圖片數(shù)量單獨統(tǒng)計。于是乎，我們可以很快的寫出第一版代碼
使用了基本抽象的版本
abstract class DocumentElement
{
public abstract void UpdateStatus(DocumentStatus status);
}
public class DocumentStatus
{
public int CharNum { get; set; }
public int WordNum { get; set; }
public int ImageNum { get; set; }
public void ShowStatus()
{
Console.WriteLine("I have {0} char, {1} word and {2} image", CharNum, WordNum, ImageNum);
}
}
class ImageElement : DocumentElement
{
public override void UpdateStatus(DocumentStatus status)
{
status.ImageNum++;
}
}
class ParagraphElement : DocumentElement
{
public int CharNum { get; set; }
public int WordNum { get; set; }
public ParagraphElement(int charNum, int wordNum)
{
CharNum = charNum;
WordNum = wordNum;
}
public override void UpdateStatus(DocumentStatus status)
{
status.CharNum += CharNum;
status.WordNum += WordNum;
}
}
class Program
{
static void Main(string[] args)
{
DocumentStatus docStatus = new DocumentStatus();
List<DocumentElement> list = new List<DocumentElement>();
DocumentElement e1 = new ImageElement();
DocumentElement e2 = new ParagraphElement(10, 20);
list.Add(e1);
list.Add(e2);
list.ForEach(e => e.UpdateStatus(docStatus));
docStatus.ShowStatus();
}
}運行結果如下，非常簡單
但是細看這版代碼，會發(fā)現(xiàn)有以下問題：
- 所有的DocumentElement派生類必須訪問DocumentStatus，根據(jù)迪米特法則，這不是個好現(xiàn)象，如果在未來對DocumentStatus有修改，這些派生類被波及的可能性極大
- 統(tǒng)計代碼散落在不同的派生類里面，維護不方便
有鑒于此，我們推出了第二版代碼
使用了Tpye-Switch的版本
這一版代碼中，我們摒棄了之前在具體的DocumentElement派生類中進行統(tǒng)計的做法，直接在統(tǒng)計類中統(tǒng)一處理
public abstract class DocumentElement
{
//nothing to do now
}
public class DocumentStatus
{
public int CharNum { get; set; }
public int WordNum { get; set; }
public int ImageNum { get; set; }
public void ShowStatus()
{
Console.WriteLine("I have {0} char, {1} word and {2} image", CharNum, WordNum, ImageNum);
}
public void Update(DocumentElement documentElement)
{
switch(documentElement)
{
case ImageElement imageElement:
ImageNum++;
break;
case ParagraphElement paragraphElement:
WordNum += paragraphElement.WordNum;
CharNum += paragraphElement.CharNum;
break;
}
}
}
public class ImageElement : DocumentElement
{
}
public class ParagraphElement : DocumentElement
{
public int CharNum { get; set; }
public int WordNum { get; set; }
public ParagraphElement(int charNum, int wordNum)
{
CharNum = charNum;
WordNum = wordNum;
}
}
class Program
{
static void Main(string[] args)
{
DocumentStatus docStatus = new DocumentStatus();
List<DocumentElement> list = new List<DocumentElement>();
DocumentElement e1 = new ImageElement();
DocumentElement e2 = new ParagraphElement(10, 20);
list.Add(e1);
list.Add(e2);
docStatus.ShowStatus();
}
}
測試結果和第一個版本的代碼一樣，這一版代碼克服了第一個版本中，統(tǒng)計代碼散落，具體類依賴統(tǒng)計類的問題，轉而我們在統(tǒng)計類中集中處理了統(tǒng)計任務。但同時它引入了type-switch, 這也是一個不好的信號，具體表現(xiàn)在：
- 代碼冗長且難以維護
- 如果派生層次加多，需要很小心的選擇case順序以防出現(xiàn)繼承層次較低的類出現(xiàn)在繼承層次更遠的類前面，從而造成后面的case永遠無法被訪問的情況，這造成了額外的精力成本
嘗試使用重載的版本
有鑒于上面type-switch版本的問題，作為敏銳的程序員，可能馬上有人就會提出重載方案：“如果我們針對每個具體的DocumentElement寫出相應的Update方法，不就可以了嗎？”就像下面這樣
public class DocumentStatus
{
//省略相同代碼
public void Update(ImageElement imageElement)
{
ImageNum++;
}
public void Update(ParagraphElement paragraphElement)
{
WordNum += paragraphElement.WordNum;
CharNum += paragraphElement.CharNum;
}
}
//省略相同代碼
class Program
{
static void Main(string[] args)
{
DocumentStatus docStatus = new DocumentStatus();
List<DocumentElement> list = new List<DocumentElement>();
list.Add(new ImageElement());
list.Add(new ParagraphElement(10, 20));
list.ForEach(e => docStatus.Update(e));
docStatus.ShowStatus();
}
}
看起來很好，不過可惜，這段代碼編譯失敗，編譯器會抱怨說，不能將DocumentElement轉為它的子類，這是為什么呢？講到這里，就不能不提一下編程語言中的單分派和雙分派
單分派與雙分派
大家都知道，多態(tài)是OOP的三個基本特征之一，即形如以下的代碼
public class Father
{
public virtual void DoSomething(string str){}
}
public class Son : Father
{
public override void DoSomething(string str){}
}
Father son = new Son();
son.DoSomething();
son 雖然被聲明為Father類型，但在運行時會被動態(tài)綁定到其實際類型Son并調用到正確的被重寫后的函數(shù)，這是多態(tài)，通過調用函數(shù)的對象執(zhí)行動態(tài)綁定。在主流語言，比如C#, C++ 和 JAVA中，編譯器在編譯類函數(shù)的時候會進行擴充，把this指針隱含的傳遞到方法里面，上面的方法會擴充為
void DoSomething(this, string);
void DoSomething(this, string);
在多態(tài)中實現(xiàn)的this指針動態(tài)綁定，其實是針對函數(shù)的第一個參數(shù)進行運行時動態(tài)綁定，這個也是單分派的定義。
至于雙分派，顧名思義，就是可以針對兩個參數(shù)進行運行時綁定的分派方法，不過可惜，C#等都不支持，所以大家現(xiàn)在應該能理解為什么上面的代碼不能通過編譯了吧，上面的代碼通過編譯器的擴充，變成了
public void Update(DocumentStatus status, ImageElement imageElement)
public void Update(DocumentStatus status, ParagraphElement imageElement)
因為C#不支持雙分派，第二參數(shù)無法動態(tài)解析，所以就算實際類型是ImageElement，但是聲明類型是其基類DocumentElement，也會被編譯器拒絕。
所以，為了在本不支持雙分派的C#中實現(xiàn)雙分派，我們需要添加一個跳板函數(shù)，通過這個函數(shù)，我們讓第二參數(shù)充當被調用對象，實現(xiàn)動態(tài)綁定，從而找到正確的重載函數(shù)，我們需要引出今天的主角，Visitor模式。
Visitor模式
Visitor is a behavioral design pattern that lets you separate algorithms from the objects on which they operate.
翻譯的更直白一點，Visitor模式允許針對不同的具體類型定制不同的訪問方法，而這個訪問者本身，也可以是不同的類型，看一下UML
在Visitor模式中，我們需要把訪問者抽象出來，以方便之后定制更多的不同類型的訪問者
抽象出DocumentElementVisitor，含有兩個版本的Visit方法，在其子類中具體定制針對不同類型的訪問方法
public abstract class DocumentElementVisitor
{
public abstract void Visit(ImageElement imageElement);
public abstract void Visit(ParagraphElement imageElement);
}
public class DocumentStatus : DocumentElementVisitor
{
public int CharNum { get; set; }
public int WordNum { get; set; }
public int ImageNum { get; set; }
public void ShowStatus()
{
Console.WriteLine("I have {0} char, {1} word and {2} image", CharNum, WordNum, ImageNum);
}
public void Update(DocumentElement documentElement)
{
documentElement.Accept(this);
}
public override void Visit(ImageElement imageElement)
{
ImageNum++;
}
public override void Visit(ParagraphElement paragraphElement)
{
WordNum += paragraphElement.WordNum;
CharNum += paragraphElement.CharNum;
}
}
在被訪問類的基類中添加一個Accept方法，這個方法用來實現(xiàn)雙分派，這個方法就是我們前文提到的跳板函數(shù)，它的作用就是讓第二參數(shù)充當被調用對象，第二次利用多態(tài)（第一次多態(tài)發(fā)生在調用Accept方法的時候）
public abstract class DocumentElement
{
public abstract void Accept(DocumentElementVisitor visitor);
}
public class ImageElement : DocumentElement
{
public override void Accept(DocumentElementVisitor visitor)
{
visitor.Visit(this);
}
}
public class ParagraphElement : DocumentElement
{
public int CharNum { get; set; }
public int WordNum { get; set; }
public ParagraphElement(int charNum, int wordNum)
{
CharNum = charNum;
WordNum = wordNum;
}
public override void Accept(DocumentElementVisitor visitor)
{
visitor.Visit(this);
}
}
這里，Accept方法就是Visitor模式的精髓，通過調用被訪問基類的Accept方法，被訪問基類通過語言的單分派，動態(tài)綁定了正確的被訪問子類，接著在子類方法中，將第一參數(shù)當做執(zhí)行對象再調用一次它的方法，根據(jù)語言的單分派機制，第一參數(shù)也能被正確的動態(tài)綁定類型，這樣就實現(xiàn)了雙分派
這就是Visitor模式的簡單介紹，這個模式的好處在于：
- 克服語言沒有雙分派功能的缺陷，能夠正確的解析參數(shù)的類型，尤其當想要對一個繼承族群類的不同子類定制訪問方法時，這個模式可以派上用場
- 非常便于添加訪問者，試想，如果我們未來想要添加一個DocumentPriceCount，需要對段落和圖片計費，我們只需要新建一個類，繼承自DocumentVisitor，同時實現(xiàn)相應的Visit方法就行
希望大家通過這篇文章，能對Visitor模式有一定了解，在實踐中可以恰當?shù)氖褂谩?/p>
總結
到此這篇關于C#中Visitor模式的文章就介紹到這了,更多相關C# Visitor模式內容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關文章希望大家以后多多支持腳本之家！
相關文章
這篇文章介紹了C#使用Log4.net記錄日志文件的方法，文中通過示例代碼介紹的非常詳細。對大家的學習或工作具有一定的參考借鑒價值，需要的朋友可以參考下2022-04-04
C#利用win32 Api 修改本地系統(tǒng)時間、獲取硬盤序列號
這篇文章主要介紹了C#利用win32 Api 修改本地系統(tǒng)時間、獲取硬盤序列號的方法及代碼分享,需要的朋友可以參考下2015-03-03
這篇文章主要介紹了C#控制臺程序中使用官方依賴注入的實現(xiàn)，文中通過示例代碼介紹的非常詳細，對大家的學習或者工作具有一定的參考學習價值，需要的朋友們下面隨著小編來一起學習學習吧2020-04-04
這篇文章主要介紹了c# 模擬線性回歸的示例，幫助大家利用c#進行機器學習，感興趣的朋友可以了解下2020-10-10
分享WCF文件傳輸實現(xiàn)方法---WCFFileTransfer
這篇文章主要介紹了分享WCF文件傳輸實現(xiàn)方法---WCFFileTransfer,需要的朋友可以參考下2015-11-11
這篇文章主要介紹了C# 多進程打開PPT的示例教程，幫助大家更好的理解和使用c#,感興趣的朋友可以了解下2021-01-01
這篇文章主要介紹了WPF設置窗體可以使用鼠標拖動大小的方法,涉及針對窗口的操作與設置技巧,具有很好的借鑒價值,需要的朋友可以參考下2014-11-11
這篇文章主要介紹了C#中方法的直接調用、反射調用與Lambda表達式調用對比,本文著重講解了方法的三種調用方法以及它們的性能對比,需要的朋友可以參考下2015-06-06
輕松學習C#的基礎入門，了解C#最基本的知識點，C#是一種簡潔的，類型安全的一種完全面向對象的開發(fā)語言，是Microsoft專門基于.NET Framework平臺開發(fā)的而量身定做的高級程序設計語言，需要的朋友可以參考下2015-11-11
本篇文章是對C#中內存管理以及優(yōu)化的方法進行了詳細的分析介紹，需要的朋友參考下2013-05-05