[转载]双分派模式

-- 以下为转载内容 ---

在《GoF 23种设计模式模式解析附C++实现源码》和《设计模式解析之—Visitor模式》中,我给出了Visitor模式的诠释和示例实现源码。
个人觉得例子和解析还是能够比较清晰地为学习和掌握Visitor模式提供一些信息,但是对于其中的一个重要知识没有很好地解释,
这就是multi-dispatch(多分派),multi-dispatch(多分派)是Visitor模式的关键,实际上Visitor模式就是提供了一种multi-dispatch(多分派)
中的double dispatch(双分派)的实现方式。

double dispatch(双分派)是multi-dispatch(多分派)的特例,由于Visitor模式涉及的是double dispatch(双分派),
因此这里仅仅讨论double dispatch(双分派)的内容。实际上double dispatch(双分派)是一种很经典的技术,但是当前
的主流的面向对象程序设计语言(例如C++/Java/C#等)都并不支持多分派,仅仅支持单分派(single dispatch)。

单分派(single dispatch)的含义比较好理解,单分派(single dispatch)就是说我们在选择一个方法的时候仅仅需要根
据消息接收者(receiver)的运行时型别(Run time type)。实际上这也就是我们经常提到的多态的概念(当然C++中的函
数重载也是Sigle dispatch的一种实现方式)。举一个简单的例子,我们有一个基类A,A有一个虚方法f(可被子类override),
D1和D2是A的两个子类,在D1和D2中我们覆写(override)了方法f。
这样我们对消息f的调用,需要根据接收者A或者A的子类D1/D2的具体型别才可以确定具体是调用A的还是D1/D2的f方法。

double dispatch(双分派)则在选择一个方法的时候,不仅仅要根据消息接收者(receiver)
的运行时型别(Run time type),还要根据参数的运行时型别(Run time type)。
当然如果所有参数都考虑的话就是multi-dispatch(多分派)。也举一个简单的例子,
同于上面单分派中例子,A的虚方法f带了一个C型别的参数,C也是一个基类,C有也有两个具体子类E1和E2。
这样,当我们在调用消息f的时候,我们不但要根据接收者的具体型别(A、D1、D2),
还要根据参数的具体型别(C、E1、E2),才可以最后确定调用的具体是哪一个方法f。
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值