函数值类型的定义可以缺省