4.3 函数类型