TBLZ

@xiaoYuanDun 既然都通过返回值了为什么不直接 type IsEqual = (() => T) extends (() => U) ? true : false

@zhaoxiongfei 在你的基础上补充了下: type NonEmptyArray = { [P in (keyof T[] & 0)]: P extends number ? T | undefined : T[][P] } const a: NonEmptyArray = [] // 将出现编译错误 const...

> 目前针对元组内都是一维数组的情况下能够成立，但是如果是多层级的话就不行。比较有局限性。希望宝哥帮忙看一下这种方式是否能够做到通用性。 > > * 第一种： > > ```tsx > type NaiveFlat = T[number] extends any[] ? T[number][number] : T[number] > > // 测试用例： > type NaiveResult = NaiveFlat //...

> 题主你第三种方式,只保留了第一个类型的属性已经将第一个类型与第二个类型相同属性的值的改变,并没有将第二个类型额外的属性添加到新的类型中.