数需要动态绑定。public void foo(java.util.List<String> list) {codice_1是一个接口，因此codice_2必须引用到它的子类型。它是引用到codice_3，codice_4或codice_1的其它子类型？codice_6实际引用到的方法在运行时之前也是未知的。C语言中，这种动态绑定可以通过调用一个函数指针类型的变量或表达式，其值直到运行时求值之前都是未知的。
重绑定与变异.重绑定不能与变异混淆：考虑下面Java代码：Li