类型脚本:什么是“裸类型参数”

当他们在这里说naked时,它们意味着类型参数不被包装在另一个类型(即数组、元组、函数、promise或任何其他泛型类型)中而存在。

前任:

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

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

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

读 here 关于条件类型分发。