面试题：TypeScript类型推断与泛型结合优化代码

Question

编写一个通用的`identity`函数，它接受一个参数并返回这个参数。要求利用TypeScript的类型推断和泛型，使这个函数在各种类型的参数传入时，都能准确地推断并返回相同类型的值。并且说明在这个过程中，类型推断是如何与泛型相互作用来优化代码简洁性的。

Answer 1

function identity<T>(arg: T): T {
    return arg;
}

在这个过程中，泛型 <T> 定义了一个类型变量。当调用 identity 函数时，TypeScript 根据传入参数的实际类型来推断 T 的具体类型。例如，当调用 identity(42) 时，T 被推断为 number，函数返回值类型也为 number。类型推断与泛型相互作用，使得开发者无需显式指定 T 的类型，大大优化了代码的简洁性，让代码更具通用性，能够适应各种类型参数，而不需要为每种类型单独编写函数。