泛型类型的 TypeScript 部分

Question

我想将类型定义为显式属性和泛型类型的混合，在匹配键的情况下显式属性优先。以下是我的尝试，但在指示的行上出现错误 - 谁能解释为什么或者这是一个 tsc/编译器错误？

// Takes properties in A and B. For matching properties, the types in A are used.
type Mix<A, B> = {
  [K in keyof B | keyof A]: K extends keyof A
    ? A[K]
    : K extends keyof B
    ? B[K]
    : never
}

type Versionable = { version: number }

function test<T>(): void {
  const version1: Partial<Mix<Versionable, T>>['version'] = 1 // compiles - version type is correctly inferred as number | undefined
  const version2: Partial<Mix<Versionable, T>>['version'] = undefined // compiles
  const version3: Partial<Mix<Versionable, T>>['version'] = '1' // does not compile as expected

  const obj1: Partial<Mix<Versionable, T>> = { version: 1 } // DOES NOT COMPILE.... WHY??
  const obj2: Partial<Mix<Versionable, T>> = { version: undefined } // compiles
  const obj3: Partial<Mix<Versionable, T>> = { version: '1' } // does not compile as expected
  const obj4: Partial<Mix<Versionable, T>> = {} // compiles
  obj4.version = 1 // compiles
}

Answer 1

我认为这里的行为与microsoft/TypeScript#13442 中的行为相同；编译器几乎没有看到可以分配给Partial<SomethingDependingOnAGenericTypeParam> 的具体值，除了具有undefined 类型的属性（这负责obj2 的行为）或空对象（这负责obj4' s 行为）。

这个限制通常是可以辩护的，因为这些分配通常是不安全的：

function unsafeCaught<T extends { a: string }>() {
  const nope: Partial<T> = { a: "" }; // CORRECT error  
}
interface Oops { a: "someStringLiteralType" };
unsafeCaught<Oops>(); // {a: ""} is not a valid Partial<Oops>

（这对obj3 的行为负责。）但是该限制也阻止了某些已知安全的，例如您的，这是专门设计的：

function safeCaught<T extends { a: string }>() {
  const stillNope: { [K in keyof T]?: K extends "a" ? string : T[K] }
    = { a: "" }; // incorrect error
}

（这对obj1 的行为负责。）在这些情况下，编译器根本没有执行此工作所需的分析。 similar issue, microsoft/TypeScript#31070 实际上被认为是一个错误并已修复，但在这种情况下，映射的属性类型是像 number 这样的常量，而在你的情况下它是一个条件类型。并且编译器在验证依赖于未解析的泛型参数的条件类型的可分配性方面已经做得很差。因此，对于您的情况，我会将其归结为 TypeScript 的设计限制，并使用type assertion 来确定您在这种情况下比编译器更了解：

const obj1 = { version: 1 } as Partial<Mix<Versionable, T>>; // okay now

---

奇怪的是，当您写入属性而不是将对象分配给变量时，此限制会放松，因此您最终会得到完全相同的不合理行为而没有错误：

function unsafeUncaught<T extends { a: string }>(val: Partial<T>) {
  val.a = ""; // uh, wait
}
const oops: Oops = { a: "someStringLiteralType" };
unsafeUncaught(oops);

我是not sure why，但这可能是某处的设计决定。因此，以下内容也不会给您任何错误，但这只是巧合，因为它一开始就没有正确检查：

function safeUncaught<T extends { a: string }>(
  val: { [K in keyof T]?: K extends "a" ? string : T[K] }
) {
  val.a = ""; // okay but coincidentally
}

这可能就是您的version1、version2 和version3 以及obj4.version = 1 工作的原因。

---

好的，希望对您有所帮助。祝你好运！

Link to code