我一直在尝试理解双重调度模式并且遇到了困难。我终于尝试了一个示例程序来帮助自己理解。这是要点。但是后来我决定在没有双重调度的情况下尝试它,并且解决方案看起来并没有比平时更糟糕。我究竟做错了什么?
编辑:根据建议,我在这里发布了这个问题。保留此链接以进行重定向。
我一直在尝试理解双重调度模式并且遇到了困难。我终于尝试了一个示例程序来帮助自己理解。这是要点。但是后来我决定在没有双重调度的情况下尝试它,并且解决方案看起来并没有比平时更糟糕。我究竟做错了什么?
编辑:根据建议,我在这里发布了这个问题。保留此链接以进行重定向。
在单一分派中——你在大多数现代 OO 语言中看到的——一个方法是基于单个对象的运行时类型分派的。这显示为点运算符(在 ruby、java、javascript 等中)或箭头运算符(perl、c++)。
# look, ma single dispatch!
# method on obj's run-time type that is called
dentist.work_on(patient)
那么,双重分派将基于两个对象的运行时类型。这看起来有几种方式;该方法应该存在于哪个对象上?
# Hmm, this looks weird.
# Is the method in to dentist.class or patient.class?
(dentist, patient).do_dentistry()
# okay, this looks more familiar; the method lives on obj1.class
# This only works in static-typed languages which support double dispatch
# in which you declare the type of the method parameters.
dentist.work_on(patient)
class Dentist
def work_on(Adult patient); ...; end
def work_on(Child patient); ...; end
end
像 groovy 这样具有多个调度的语言概括了上面的第二个示例;他们在选择运行哪种方法时会考虑所有参数的运行时类型。例如,参见这篇关于 groovy 和多分派的博客文章。
大多数现代 OO 语言只有单次分派,而多分派模式试图将多分派的好处引入语言。它甚至适用于像 ruby 这样的动态语言。它通过连续执行两次单次调度来工作。第一个方法调用将调用第二个对象的方法。
class Dentist
def work_on(patient)
patient.dispatch_work(self)
end
def work_on_adult(patient)
drill_as_hard_as_you_can(patient)
end
def work_on_child(patient)
use_bubble_gum_toothpaste(patient)
give_toothbrush_to(patient)
end
end
class Doctor
def work_on(patient)
patient.dispatch_work(self)
end
def work_on_adult(patient)
do_checkup(patient)
end
def work_on_child(patient)
assure_presence_of(patient.guardian)
ask_questions_to(patient.guardian)
do_checkup(patient)
give_cheap_toy_to(patient)
end
end
class Adult
def dispatch_work(dentist)
dentist.work_on_adult(self)
end
end
class Child
def dispatch_work(dentist)
dentist.work_on_child(self)
end
end
双分派模式就是我所说的低级模式,因为其他模式都是建立在它之上的。例如,访问者模式在很大程度上依赖于双重调度模式。
更新刚刚看到你的要点。您的第一个要点并不是真正进行双重调度。当然,您分派了两次,但您并没有改变第二次分派中的行为。要将其更改为双重调度,我会做这样的事情。
class Chicken
def make_dispatch dish
dish.make_with_chicken self
end
end
class Beef
def make_dispatch dish
dish.make_with_beef self
end
end
module Dish
def make meat
meat.make_dispatch self
end
end
class Sandwich
include Dish
def make_with_chicken chicken
puts "Grilled Chicken Sandwich"
end
def make_with_beef beef
puts "Roast Beef Sandwich"
end
end
class Stew
include Dish
def make_with_chicken chicken
puts "Thai curry"
end
def make_with_beef beef
puts "Beef stew"
end
end
class Casserole
include Dish
def make_with_chicken chicken
puts "Chicken Pot Pie--or something"
end
def make_with_beef beef
puts "Shepard's Pie"
end
end
Sandwich.new.make(Chicken.new)
Stew.new.make(Chicken.new)
Casserole.new.make(Beef.new)