为什么在这种情况下 TypeScript 类型推断会失败？

Question

我想了解为什么类型S1 never ，但是当我删除label或customRef属性时，我得到了string正确结果。 当我删除value和label属性时，我得到了unknown 。

export interface BaseInputProps<TStored> {
  value: TStored;
  customRef?: (selfProps: this) => void;
}

export interface TestInput extends BaseInputProps<string> {
  label: string;
}

type InferStoredType<T> = T extends BaseInputProps<infer TT> ? TT : never;

type S1 = InferStoredType<TestInput>;

这里发生了什么？

打字稿版本 3.7.5。 在 Typescript 操场上的工作方式相同。

Answer 1

它与结构差异和弱类型有关。 因此，让我们了解您在所有情况下的问题

情况 1：默认情况下，从不

当您尝试使用interface BaseInputProps<string>扩展interface TestInput时，它将尝试检查所有属性类型是否兼容，但在这种情况下customRef?: (selfProps: this) => void; type (selfProps: this)=> void不能赋值给string ，反之亦然。 这就是为什么它是虚假继承的原因，因为 S1 never

情况二：去掉label和customRef，是string

当您删除 label 和 customRef interface BaseInputProps和interface TestInput将被排除在一个强制属性value ，因此它将正确推断类型。

案例3：当你移除value和label时，它是未知的

当您删除值和标签时， interface BaseInputProps和interface TestInput将被排除在外，只有可选属性，并且在这种情况下打字稿无法保证类型。

不过，为什么这种变化是有意的，这是一个问题。 但是，看看它将涉及的规范更改的范围，我想很难看到这方面的变化。

请阅读本文以了解更多关于弱类型和条件类型的信息。