什么是Smalltalk中的"无界动态多态"

Eug*_*ene 2 polymorphism smalltalk

什么是Smalltalk中的"无界动态多态"?有人能提供一个例子吗?

本书中提到了:C++模板:完整指南,p.238.

Ste*_*ont 7

参见 C++:通过继承实现的多态性是有界的和动态的:

  • 有界意味着参与多态行为的类型的接口是由公共基类的设计预先确定的(该概念的其他术语是侵入性的或侵入性的).
  • 动态意味着接口的绑定在运行时完成(动态).

通过模板实现的多态性是无限的和静态的:

  • 无界意味着参与多态行为的类型的接口不是预定的(该概念的其他术语是非侵入性的或非侵入性的).
  • 静态意味着接口的绑定在编译时完成(静态).

在Smalltalk中,对象可以决定是否以及如何对在运行时发送的消息作出反应.