6.3.4 推断函数的编写