Typescript：什么是“裸类型参数”

当他们在这里说“裸”时，表示存在类型参数而没有将其包装在另一个类型中（例如，数组，元组，函数，promise或任何其他泛型类型）

例如：

type NakedUsage<T> = T extends boolean ? "YES" : "NO"
type WrappedUsage<T> = [T] extends [boolean] ? "YES" : "NO"; // wrapped in a tuple

裸vs非裸的重要性很重要的原因是裸用法在一个联合上分布，这意味着条件类型适用于联合的每个成员，结果将是所有应用程序的联合

type Distributed = NakedUsage<number | boolean > // = NakedUsage<number> | NakedUsage<boolean> =  "NO" | "YES" 
type NotDistributed = WrappedUsage<number | boolean > // "NO"    
type NotDistributed2 = WrappedUsage<boolean > // "YES"

在这里阅读有关条件类型分布的信息。