7.3.3 子类型和函数的返回类型