一起详细聊聊C#中的Visitor模式
写在前面
Visitor模式在日常工作中出场比较少，如果统计大家不熟悉的模式，那么它榜上有名的可能性非常大。使用频率少，再加上很多文章提到Visitor模式都着重于它克服语言单分派的特点上面，而对何时应该使用这个模式及这个模式是怎么一点点演讲出来的提之甚少，造成很多人对这个模式有种雾里看花的感觉，今天跟着老胡，我们一起来一点点揭开它的面纱吧。
模式演进
举个例子
现在假设我们有一个简单的需求，需要统计出一篇文档中的字数、词数和图片数量。其中字数和词数存在于段落中，图片数量单独统计。于是乎，我们可以很快的写出第一版代码
使用了基本抽象的版本
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();
}
}运行结果如下，非常简单
但是细看这版代码，会发现有以下问题：
- 所有的DocumentElement派生类必须访问DocumentStatus，根据迪米特法则，这不是个好现象，如果在未来对DocumentStatus有修改，这些派生类被波及的可能性极大
- 统计代码散落在不同的派生类里面，维护不方便
有鉴于此，我们推出了第二版代码
使用了Tpye-Switch的版本
这一版代码中，我们摒弃了之前在具体的DocumentElement派生类中进行统计的做法，直接在统计类中统一处理
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();
}
}
测试结果和第一个版本的代码一样，这一版代码克服了第一个版本中，统计代码散落，具体类依赖统计类的问题，转而我们在统计类中集中处理了统计任务。但同时它引入了type-switch, 这也是一个不好的信号，具体表现在：
- 代码冗长且难以维护
- 如果派生层次加多，需要很小心的选择case顺序以防出现继承层次较低的类出现在继承层次更远的类前面，从而造成后面的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转为它的子类，这是为什么呢？讲到这里，就不能不提一下编程语言中的单分派和双分派
单分派与双分派
大家都知道，多态是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类型，但在运行时会被动态绑定到其实际类型Son并调用到正确的被重写后的函数，这是多态，通过调用函数的对象执行动态绑定。在主流语言，比如C#, C++ 和 JAVA中，编译器在编译类函数的时候会进行扩充，把this指针隐含的传递到方法里面，上面的方法会扩充为
void DoSomething(this, string);
void DoSomething(this, string);
在多态中实现的this指针动态绑定，其实是针对函数的第一个参数进行运行时动态绑定，这个也是单分派的定义。
至于双分派，顾名思义，就是可以针对两个参数进行运行时绑定的分派方法，不过可惜，C#等都不支持，所以大家现在应该能理解为什么上面的代码不能通过编译了吧，上面的代码通过编译器的扩充，变成了
public void Update(DocumentStatus status, ImageElement imageElement)
public void Update(DocumentStatus status, ParagraphElement imageElement)
因为C#不支持双分派，第二参数无法动态解析，所以就算实际类型是ImageElement，但是声明类型是其基类DocumentElement，也会被编译器拒绝。
所以，为了在本不支持双分派的C#中实现双分派，我们需要添加一个跳板函数，通过这个函数，我们让第二参数充当被调用对象，实现动态绑定，从而找到正确的重载函数，我们需要引出今天的主角，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方法，这个方法用来实现双分派，这个方法就是我们前文提到的跳板函数，它的作用就是让第二参数充当被调用对象，第二次利用多态（第一次多态发生在调用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方法，被访问基类通过语言的单分派，动态绑定了正确的被访问子类，接着在子类方法中，将第一参数当做执行对象再调用一次它的方法，根据语言的单分派机制，第一参数也能被正确的动态绑定类型，这样就实现了双分派
这就是Visitor模式的简单介绍，这个模式的好处在于：
- 克服语言没有双分派功能的缺陷，能够正确的解析参数的类型，尤其当想要对一个继承族群类的不同子类定制访问方法时，这个模式可以派上用场
- 非常便于添加访问者，试想，如果我们未来想要添加一个DocumentPriceCount，需要对段落和图片计费，我们只需要新建一个类，继承自DocumentVisitor，同时实现相应的Visit方法就行
希望大家通过这篇文章，能对Visitor模式有一定了解，在实践中可以恰当的使用。
总结
到此这篇关于C#中Visitor模式的文章就介绍到这了,更多相关C# Visitor模式内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！
相关文章
这篇文章主要介绍了C#实现发送简单HTTP请求的方法,涉及C#操作http的技巧,具有一定参考借鉴价值,需要的朋友可以参考下2015-04-04
C#使用yield关键字让自定义集合实现foreach遍历的方法
这篇文章主要介绍了C#使用yield关键字让自定义集合实现foreach遍历的方法,需要的朋友可以参考下2014-08-08
C#中的IList<T>接口是.NET框架中的一种通用接口,它定义了一组在运行时可以使用类型参数T的元素的集合,本文给大家介绍了C#继承IList 接口的设计方法,文中通过代码示例给大家介绍的非常详细,需要的朋友可以参考下2024-02-02
GetMethod 是获取当前 Type 的特定方法,具有多个重载, GetMethod 即使用指定的绑定约束搜索指定方法,本文给大家介绍了C# GetMethod方法的应用实例,需要的朋友可以参考下2024-04-04
C#使用CancellationTokenSource 取消 Task的方法
因为涉及到了日常经常会碰到的取消任务操作，本文主要介绍了C#使用CancellationTokenSource 取消 Task，文中通过代码介绍的非常详细，感兴趣的可以了解一下2022-02-02
这篇文章主要介绍了C# 网络编程之UDP的相关资料，帮助大家更好的理解和使用c#，感兴趣的朋友可以了解下2021-02-02
这篇文章主要介绍了C#实现查杀本地与远程进程的方法,可实现针对特定进程的关闭操作,是C#进程操作的一个典型应用,需要的朋友可以参考下2014-12-12
.Net WInform开发笔记(二)Winform程序运行结构图及TCP协议在Winform中的应用
中午没事，把去年刚毕业那会画的几张图翻出来了，大概介绍Winform应用程序运行的过程，以及TCP协议在Winform中的应用。感兴趣的朋友可以了解下；如果有Windows消息机制等基础，很好理解这两张2013-01-01
这篇文章主要介绍了c# 使用WebRequest实现多文件上传的方法，帮助大家更好的理解和学习使用c#，感兴趣的朋友可以了解下2021-03-03
这篇文章主要给大家介绍了关于C#执行顺序带来的一些潜在问题，文中通过示例代码介绍的非常详细，对大家学习或者使用C#具有一定的参考学习价值，需要的朋友们下面来一起学习学习吧2020-08-08
最新评论