前端 TypeScript 面试题, TypeScript 的内置工具类型 NoInfer 有什么作用?

Step 1

Q:: TypeScript 的内置工具类型 NoInfer 有什么作用？

A:: TypeScript 的 NoInfer 是一种高级的内置工具类型，用于在泛型中阻止 TypeScript 推断一个类型参数。通常在使用泛型时，TypeScript 会根据上下文自动推断类型参数的类型。然而，在某些情况下，开发者希望明确地指定类型，而不希望 TypeScript 对类型参数进行推断，这时 NoInfer 就能派上用场。通过将类型包裹在 NoInfer 中，可以防止 TypeScript 在特定场景下对其进行自动推断，从而确保类型的准确性和代码的可读性。

Step 2

Q:: 如何使用 NoInfer 工具类型来解决类型推断问题？

A:: 使用 NoInfer 可以通过如下方式：假设有一个函数 function process<T>(input: T) {}，你希望确保类型 T 由调用者指定，而不是由 TypeScript 推断。这时，你可以通过 function process<T>(input: NoInfer<T>) {} 的方式来强制指定类型，而不是依赖 TypeScript 的推断。

Step 3

Q:: NoInfer 工具类型的应用场景是什么？

A:: NoInfer 主要用于防止 TypeScript 在复杂的泛型和重载函数中自动推断类型，这通常在需要开发者精确控制类型时特别有用。例如，在开发框架或库时，你可能需要严格指定某些 API 的输入输出类型，避免由于类型推断导致的类型错误或不准确。