Question

使用打字稿，是否有一种方法可以约束通用类型以仅允许类型object的值？不是数组和其他类型。

例如：

function check<O extends object>(ob: O): O {
  return ob
}

check({}) // should be fine
check([]) // should show error, but does not.

现实世界中可能的用例：

function extend<A extends object, B extends object>(a: A, b: B): A & B {
  return {
    ...a,
    ...b,
  };
}

// This is fine, return type is { x: number } & { y: string }
extend({x: 5}, {y: "str"})

// This should not be allowed
// Return type is number[] & string[]
// Accessing a property yields impossible types like number & string
extend([1,2,3], ["s", "i", "d"])

// More examples for variants which I don't want to allow
extend({}, function() {})
extend({}, new Map())

Answer 1

如果O扩展了any[]，则可以使用条件类型将其添加到参数的参数中。您添加的内容可以确保呼叫将是错误的。我通常会添加字符串文字类型，并将其视为自定义错误消息：

function check<O extends object>(ob: O & (O extends any[] ? "NO Arrays !" : {})): O
function check<O extends object>(ob: O): O {
  return ob
}

check({}) // should be fine
check([]) // error

Answer 2

在较新版本的Typescript中，您可以使用object & Exclude<T, any[]>来表示不能为数组的对象。

有没有一种方法可以将普通类型仅在打字稿中约束为普通对象？

2 个答案: