类型以表示具有特定类型键的父级

Question

我使用此代码将 ChildClass 类型的属性动态分配给 ParentClass

export type KeyOfValueType<T, U> = {
  [V in keyof T]: T[V] extends U ? V : never
}[keyof T];

class ChildClass {
  public name: string;
}

class ParentClass {
  public child: ChildClass;
}

class Setter {
  public propName: KeyOfValueType<ParentClass, ChildClass>;

  public setProp(parent: ParentClass, child: ChildClass) {
    parent[this.propName] = child; // <== No Error
  }
}

如果我尝试制作“通用”setter，则会出现错误：

class GenericSetter<T, U> {
  public propName: KeyOfValueType<T, U>; // No Error
  public setProp(parent: T, child: U) {
    parent[this.propName] = child; // <== Error U is not assignable to T[{[V in keyof T]: T[V] extends U ? V : never}]
  }
}

class Setter extends GenericSetter<ParentClass, ChildClass> {
  public setProp(parent: ParentClass, child: ChildClass) {
    parent[this.propName] = child; // <== No Error with Parent propName
  }
}

Answer 1

这基本上是一个设计限制，请参阅 microsoft/TypeScript#30728 。 编译器不会对依赖于泛型类型参数的条件类型做太多的可分配性分析。 也许这可以改进，但它会在类型检查器的复杂性和编译时间方面付出一些代价，并且只有一小部分专门做这种事情的用户才能看到任何好处。 所以我不会指望它发生。

---

有两种通用的方法来解决这个问题：一种是尝试找到另一种方式来表达类型约束，以便编译器可以验证您的代码，另一种是使用类型断言来告诉编译器不要担心，并且你保证你正在做的事情的安全。 在后一种情况下，您应该非常小心，首先您所做的实际上是安全的。

值得注意的是，您的通用 setter 代码并不安全：

const oops = new GenericSetter<{ a: string }, string | number>()
oops.propName = "a";
const myParent = { a: "bar" };
oops.setProp(myParent, 123);
console.log(myParent.a.toUpperCase()); // no compiler error, but at runtime:
// TypeError: myParent.a.toUpperCase is not a function

您的KeyOfValueType<T, U>走错了路：它给了您T的键，从中可以安全地读取U类型的值，但是您需要T的键，可以安全地写入U类型的值. 因此你想要这样的东西：

type KeyOfValueTypeForWriting<T, V> = {
  [K in keyof T]: [V] extends [T[K]] ? K : never
}[keyof T];

class FixedGenericSetter<T, U> {
  public propName!: KeyOfValueTypeForWriting<T, U>;
  public setProp(parent: T, child: U) {
    parent[this.propName] = child; // same error as before
  }
}

const okay = new FixedGenericSetter<{ a: string }, string | number>()
okay.propName = "a"; // error here now

现在至少你只能将propName设置为一个 key safe 来写入，而且okay.propName = "a"是一个错误，因为你不能安全地写string | number string | number到{a: string} a属性。

尽管如此， setProp()的可分配性错误仍然存​​在，所以让我们尝试通过我之前提到的两种方法来修复它。 最简单且破坏性最小的修复方法是类型断言：

class FixedGenericSetterAsserted<T, U> {
  public propName!: KeyOfValueTypeForWriting<T, U>;
  public setProp(parent: T, child: U) {    
    parent[this.propName] = child as any as T[KeyOfValueTypeForWriting<T, U>]; // assert
  }
}

这可以快速清除错误，但将安全责任放在您身上。 或者您可以重构类型，以便没有未解析的条件类型，如下所示：

class FixedGenericSetterRefactored<K extends PropertyKey, U> {
  public propName!: K;
  public setProp(parent: Record<K, U>, child: U) {
    parent[this.propName] = child;
  }
}

const fine = new FixedGenericSetterRefactored<"a", string>()
fine.propName = "a";
fine.setProp({ a: "okay" }, "works"); 

这也可以正常工作，但您的T泛型类型参数已消失并替换为K ，即T的相关键。 它更安全，但您可能有其他一些用例，为什么需要指定T而不是K （尽管类型推断通常可以缓解这种情况）。

无论哪种方式都应该适合你。 好的，希望有帮助； 祝你好运！

代码链接