TypeScript具有扩展和默认参数的通用约束

Question

所以我试图写一个函数，它有一个泛型，它扩展了一个特定的对象，从而约束了它。接下来，我想将这个泛型与参数的定义一起使用，以生成一个新的“增强”参数。这一切都很好，但一旦我想引入一个默认值的参数TypeScript抱怨如下消息（这在操场上的一些不同的变化）：

功能：

const test1 = <T extends { foo?: string }>(options: T & { bar?: boolean } = {foo: 
''}) => {
    console.log(options);
}

错误：

类型“{foo:string；}”不可分配给类型“T”

编译器警告我，我可能想使用foo，实际上我做到了。是简单地不可能以这种方式使用泛型，还是这是TypeScript中的一个错误？

Answer 1

这些初始化都不起作用的原因是您无法初始化您不知道的东西。考虑下面的呼叫：

test1<{ foo: string, goo: boolean}>();

泛型参数对函数有效，但它有一个额外的属性，goo，这是强制性的，但在选项的默认值中未指定。这就是编译器抱怨赋值的原因，你不知道T的最终形状，你只知道它的最低要求，所以你不能构建一个与T兼容的对象

如果您同意选项没有在泛型类型参数上指定所有必需属性，则可以使用类型断言

const test1 = <T extends { foo?: string }>(options: T & { bar?: boolean } = <any>{foo: ''}) => {
    console.log(options);
}

Answer 2

定义时键入T是未知的，因此编译器会抛出此错误，您无法初始化您不知道的内容。我可以想到一些变通方法，但不确定它们对您的案例有多大用处。

您可以保持类型T不变，并对options参数使用联合类型，如下所示：

const test1 = <T> (options: T | { bar?: boolean } | { foo?: string } = { foo: '' }) => {
  console.log(options);
};

另一种解决方法是使用类型断言并手动告诉编译器初始值设定项属于它需要的类型：

const test2 = <T extends { foo?: string }>(options: T & { bar?: boolean } = { foo: '' } as T & { bar?: boolean }) => {
  console.log(options);
};

但请记住，这些只是变通方法，无论何时必须使用变通方法，它都意味着设计中的缺陷。也许你可以重新审视你的逻辑并改进它，以消除对这些变通方法的需求。或者，您可以跳过参数初始化，添加options.foo=options.foo || '';作为函数中的第一行代码。只是一些想法。