Why Two Kinds of Binding?

• Why not just dynamic?

  • efficiency
  • conceptual model

• Efficiency

  • Program must keep track of which sort of objects it has (increased overhead).

• Conceptual Model

  • When you make a function non-virtual, you declare that it shouldn't be redefined. (Of course, sometimes you change your mind later.)