面试题：TypeScript 类型体操之条件类型嵌套

Question

实现一个类型 `NestedIf`，它接受三个类型参数 `A`、`B`、`C`。如果 `A` 是 `true`，则返回 `B`；否则，如果 `A` 是 `false`，则返回 `C`。但这里要求 `B` 和 `C` 本身也应该是条件类型。例如，当 `A = true`，`B = true extends false? 'yes' : 'no'`，`C = false extends true? 'ok' : 'not ok'` 时，`NestedIf<A, B, C>` 应该返回 `'no'`。

Answer 1

type NestedIf<A extends boolean, B, C> = A extends true ? B : C;