1.5 有类型变量