将泛型对象分配给 Partial 类型

Question

过了一会儿，我又开始使用 TypeScript，但我被这个问题困住了。

export class CrossBrowserStorage<T> {
  getValue<P extends keyof T>(
    key: P,
    defaultValue: T[P]
  ): Observable<T[P]> {
    return this.getValues({ [key]: defaultValue }).pipe(map(values => values[key]));
                      ----^ TS2345: Argument of type '{ [x: string]: T[P]; }' is not assignable 
                            to parameter of type 'Partial '
  }

  getValues(keys: Partial<T>): Observable<Partial<T>> {
    return from(browser.storage.sync.get(keys) as Promise<Partial<T>>);
  }
}

TS2345：'{ [x: string]: T[P]; }' 类型的参数不可分配给 'Partial'类型的参数

无法理解如何在保持正确输入的同时解决此问题。

Answer 1

很遗憾，编译器无法为您验证这一点，在这种情况下，您对编译器了解得更多，一个合理的解决方案是使用type assertion：

class Class<T> {
    f<K extends keyof T>(k: K, v: T[K]) {
        const badPartial: Partial<T> = { [k]: v }; // error!
        const goodPartial: Partial<T> = { [k]: v } as Pick<T, K> & Partial<T>; // okay
    }
}

所以这就是你需要做的。但是为什么会这样呢？编译器似乎面临两个主要的绊脚石。

---

第一个绊脚石是，如果键是单个静态已知的文字或唯一符号类型，编译器只知道如何解释计算属性：

const k1 = "a";
const o1 = { [k1]: 123 }; 
// const o1: {[k1]: number};
o1.a; // okay
o1.b; // error

相反，如果键类型是泛型或字符串文字的并集，编译器会将其扩展为 string 并将生成的对象视为带有 string index signature 的对象，结果很奇怪：

const k2 = Math.random() < 0.5 ? "a" : "z";
const o2 = { [k2]: 123 };
// const o2: {[x: string]:number};
o2.a; // no error, but might not exist
o2.b; // no error, but *definitely* doesn't exist

function foo<K extends string>(k3: K) {
    const o3 = { [k3]: 123 };
    // const o3: {[x: string]:number};
    o3.a; // no error, but probably doesn't exist
}

这是 TypeScript 中的一个未解决问题；见microsoft/TypeScript#13948。对于文字联合的情况，应该做的“正确的事情”是什么，这一点很清楚。大概上面的o2 应该是{a: number} | {z: number} 类型。泛型不太清楚。也许上面的o3 应该是Partial<Record<K, number>> 类型。在任何情况下，字符串索引签名都不是很好，并且会破坏您所看到的内容。

---

另一个绊脚石是，即使编译器意识到根据泛型类型T 和K 可以将计算属性分配给某个合适的类型，它也可能无法识别该类型可以分配给Partial<T>。人类很容易看到这一点，但编译器不一定能推断出这种高阶类型操作。关于此的规范公开问题可能是microsoft/TypeScript#28884，其中问题是Pick<T, K> & Omit<T, K> 不被视为与T 兼容，而T 或K 是通用的。对于任何静态已知类型T 和K，编译器可以进行分析：Pick<{a: string, b: string}, "a"> & Omit<{a: string, b: string}, "a"> 确实被视为可分配给{a: string, b: string}。但是一旦你把类型变成泛型，编译器基本上就放弃了。

---

由于这两个原因，让编译器为您验证可分配性的机会很小。我能给出的最佳建议是使用该类型断言并继续前进。

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

Playground link to code