类型“ {}”不可分配给类型“ T”

Question

function f1<T extends {[prop: string]: any}}>(a: T = {}) {
    console.log(a)
}

错误：类型'{}'无法分配给类型'T'。

我试图给一个默认值。 即时通讯不试图给T默认类型。

我不确定是什么问题。

Answer 1

考虑以下示例

type A = { [prop: string]: any };
type B = { [prop: string]: any; prop1: string };

B型是否扩展了A型？ 是!

但是以下内容不起作用

let a: A = {};
let b: B = a; // Error

显然，类型A缺少必需的属性prop1 ，因此变量a不可分配给变量b 。

同样的问题与您的功能有关。 当你做

function f1<T extends { [prop: string]: any }>(a: T = {}) {
    console.log(a);
}

编译器说对象{}不可分配给T类型。 如果这样做有效，您可以做

f1<B>();  // a will equal to {} and misses required prop1

这可能看起来不像是错误，因为在f1内部，您仅知道T extends { [prop: string]: any }而对prop1一无所知。 但是考虑是否要返回T ：

function f1<T extends { [prop: string]: any }>(a: T = {}): T {
    console.log(a);
    return a;
}

如果此代码有效，则会引入错误

let bb: B = f1<B>();  // Here bb will be equal to empty object
let s: string = bb.prop1;  // Compiler will not show error, as it thinks that bb has prop1 of type string. But in reality it is undefined.

因此，需要考虑以下解决方案：

1. 删除所有泛型。 类型{ [prop: string]: any }本身是通用的，因此可能满足您的需求

    function f1(a: { [prop: string]: any } = {}) { console.log(a); return a; } 

2. 让a完全可选的。 在这种情况下， a可能等于undefined ，编译器会知道这一点。

    function f1<T extends { [prop: string]: any } = {}>(a?: T) { console.log(a); } 

   如果返回a编译器将告诉您应该返回并集类型（具有undefined ），或在函数主体中检查a并非undefined 。

3. 我认为最坏的情况是使用已经建议的类型转换

    function f1<T extends { [prop: string]: any }>(a: T = {} as T) { console.log(a); } 

   但是要小心，不要忘记在这种情况下可能会错过一些必需的属性。