面试题：TypeScript中泛型函数的类型推断示例分析

Question

请分析以下TypeScript代码中泛型函数的类型推断过程，并说明函数返回值的类型。 ```typescript function identity<T>(arg: T): T { return arg; } let result = identity(10); ```

Answer 1

1. 类型推断过程：
   • 当调用 identity(10) 时，TypeScript 编译器会根据传入的实参 10 进行类型推断。因为 10 的类型是 number，所以编译器推断出泛型类型参数 T 为 number。
2. 函数返回值的类型：
   • 根据泛型函数 identity 的定义 function identity<T>(arg: T): T，返回值的类型与传入参数的类型相同。由于推断出 T 为 number，所以函数 identity(10) 的返回值类型是 number。