Typescript 不理解 T 在特定的复杂自定义类型中扩展接口

Question

所以我使用的是我从这里得到的Paths类型，完全公开，我不完全理解它是如何构建的，它可能会帮助我理解问题，我将在底部实现它。 总之，如果我有接口：

interface Person {
  name: string,
  contacts: {
    email: string,
    phone: string,
  }
}

然后Paths<Person>将导致文字类型的联合：

'name' | 'contacts' | 'contacts.email' | 'contacts.phone'

但是当尝试将它与扩展某种类型的泛型一起使用时，我遇到了奇怪的麻烦。

function foo<T extends Person> {
  let personParamGood: Paths<Person>;
  personParamGood = 'name' // great, works.
  
  let personParamBad: Paths<T>
  personParamBad = 'name' // typescript screams at me
  
}

我得到的类型错误说

error TS2322: Type '"name"' is not assignable to type 'T extends object ? { [K in keyof T]-?: K extends string | number ? `${K}` | Join<K, T[K] extends object ? { [K in keyof T[K]]-?: K extends string | number ? `${K}` | Join<K, never> : never; }[keyof T[K]] : ""> : never; }[keyof T] : ""'.

我不明白为什么， T基本上不应该是Person ？

它确实适用于简单的类型：

function foo<T extends Person> {
  let personParamGood: keyof Person;
  personParamGood = 'name' // great, works.
  
  let personParamGoodToo: keyof T
  personParamGoodToo = 'name' // great, works.
  
}

我的Paths实现：

type Prev = [never, 0, 1, 2, 3, 5, 6, 7, 8, ...0[]];

type Join<K, P> = K extends string | number
  ? P extends string | number
    ? `${K}${'' extends P ? '' : '.'}${P}`
    : never
  : never;

export type Paths<T, D extends number = 10> = [D] extends [never]
  ? never
  : T extends object
  ? {
      [K in keyof T]-?: K extends string | number
        ? `${K}` | Join<K, Paths<T[K], Prev[D]>>
        : never;
    }[keyof T]
  : '';

Answer 1

这是因为T永远不会在function 实现中解析，因为它可以是任何东西。 您在其上添加了extends Person约束，但它仍然可以是扩展Person的任何内容。 实际的T型仅在 function 之外已知。

请注意当您 hover person变量时此代码如何工作：

interface Person {
  name: string,
  contacts: {
    email: string,
    phone: string,
  }
}

interface ExtendedPerson extends Person {
  address: string;
}

declare function foo<T extends Person>(): Paths<T>;

const person = foo<ExtendedPerson>();

但是您将永远无法使T （因此Paths<T> ）解析为 function 实现中的实际类型，这就是 generics 在 Z558B544CF685F39D34E4903E3 中的工作方式。