9.1.7 函数的类型检查