20.3.2 理解函数模板类型推断