虚函数调用时的动态分派。由于多态对象的具体类型在运行前是未知的，因此被执行函数需要动态绑定。public void foo(java.util.List<String> list) {codice_1是一个接口，因此codice_2必须引用到它的子类型。它是引用到codice_3，codice_4或codice_1的其它子类型？codice_6实际引用到的方法在运行时之前也是未知的。C语言中，这种动态绑定可以通过调用一个函数指针类型的变量或表达式，其值直到运行时求值之前都是未知的。Section: