我偶然发现了TypeScript类型的问题,当有条件的泛型出现时,我不能将更窄的类型分配给更广泛的类型。但是,所有泛型参数都是完全实例化的,因此TypeScript应该能够完全解析这两种类型,并根据每个属性的类型对它们进行比较。assignable to type 'boolean'.
// Type 'st
我不明白为什么TypeScript允许在没有指定实际泛型类型参数的情况下实例化泛型类?在下面的示例中,类Foo有一个泛型类型参数T。在行const foo = new Foo()中,可以创建一个新的foo对象,而不必指定泛型类型参数。foo的类型为Foo<unknown>,bar的类型为valueType<unknown>