6.6.3 无法实例化类型变量