13

我一直在尝试理解双重调度模式并且遇到了困难。我终于尝试了一个示例程序来帮助自己理解。这是要点。但是后来我决定在没有双重调度的情况下尝试它,并且解决方案看起来并没有比平时更糟糕。我究竟做错了什么?

编辑:根据建议,我在这里发布了这个问题。保留此链接以进行重定向。

4

1 回答 1

20

在单一分派中——你在大多数现代 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)
于 2013-04-06T03:49:18.897 回答