Conditional types và infer hoạt động thế nào? Distributive conditional type là gì?

Ví dụ

main.ts · sửa được▶ Chạy

type ElementOf<T> = T extends readonly (infer U)[] ? U : never; type Unwrap<T> = T extends Promise<infer U> ? Unwrap<U> : T; // distributive: ToArray<string | number> = string[] | number[] type ToArray<T> = T extends unknown ? T[] : never; // không distributive: (string | number)[] type ToArrayBoxed<T> = [T] extends [unknown] ? T[] : never; const x: ElementOf<number[]> = 5; const y: Unwrap<Promise<Promise<string>>> = "s"; const z: ToArray<string | number> = ["a"]; const w: ToArrayBoxed<string | number> = ["a", 1]; console.log(x, y, z, w);

• infer chỉ dùng được trong mệnh đề extends của conditional type. Có thể suy luận nhiều vị trí, ví dụ T extends (...args: infer A) => infer R.
• ReturnType, Parameters, Awaited, Exclude, Extract đều là conditional type.
• Exclude<T, U> = T extends U ? never : T hoạt động nhờ distribution: never biến mất khỏi union.
• Đệ quy conditional type (như Unwrap) có giới hạn độ sâu; TS có tail-recursion optimization cho dạng cụ thể.