ts 中判断的问题

[xiaochengzi6]

1. IsAny
   如果是两个条件类型 T1 extends U1 ? X1 : Y1 和 T2 extends U2 ? X2 : Y2 相关的话，那 T1 和 T2 相关、X1 和 X2 相关、Y1 和 Y2 相关，而 U1 和 U2 相等。

type IsAny<A, B> = (<T>() => T extends A ? 1 : 2) extends (<T>() => T extends B ? 1 : 2) ? true : false 

2. IsNever
   never 在条件类型中也比较特殊，如果条件类型左边是类型参数，并且传入的是 never，那么直接返回 never, 直接去判断的话就会出现这样的问题，使用数组包一下可以避免

type IsNever<A, B> = [T] extends [never] ? true : false 

3. IsAny
   any 在条件类型中也比较特殊，如果类型参数为 any，会直接返回 trueType 和 falseType 的合并：

type TestAny<T> = T extends number ? 1 : 2;

4. IsTuple
   元组类型的 length 是数字字面量，而数组的 length 是 number。

type IsTuple<T> = 
  T extends [...params: infer Eles]
   ? NotEqual<Eles['length'], number>
   : false
  

type NotEqual<A, B> = (<T>() => T extends A ? 1 : 2) extends (<T>() => T extends B ? 1 : 2) ? false : true