12.4 类型变量的限定