打字稿通用以使对象仅具有名称列表中的键（但不一定全部）

Question

我想要的是

我有一个已知值的类型

type Possibilities = "a" | "b" | "c"

并且希望能够创建只能具有属于该类型的键的对象，但不一定是所有的。

并且还防止每个道具的类型输出为string | undefined string | undefined

因为它旨在用于具有固定值的常量。 并且 TS 已经可以推断出正确的类型：

所以，它应该接受：

const mine = {
    a: "this",
    b: "and",
    c: "that"
}
const yours = {
    b: "it"
}

但不应该：

// not known key ( 'x' )
const theirs = {
    a: "these",
    x: "those"
}
// preferably - empty object
const noOnes = {}

---

我试过了：

• 如果我执行以下操作之一

  const mine: Record<Possibilities, string>; const mine: {[key in Possibilities]: string};

  它说 obj 必须拥有所有的密钥。 错误的。

• 如果我做其中之一

  const mine: Partial<Record<Possibilities, string>>; const mine: {[key in Possibilities]?: string};

  它只允许我设置一些，但是，类型作为string | undefined string | undefined 。 即使“铸造”对象as const 。

• Pick<>或Omit<> ，对于创建的每个“实例”，都会产生预期的结果，但这很麻烦，而且有点重复自己（需要在类型上写"a", "b"...并再次谈及价值）。 此外，至少在这里， Omit<>甚至不会自动完成可能的值。 在使用大多数可能性时，通过需要选择很多或“盲目地”省略，使其变得更加困难和/或容易出错。

我有一种感觉，通过使用可以扩展类型的泛型，解决方案很接近......但无法弄清楚。

- - 编辑 - -

@tokland 评论把我带到了一个“几乎就在那里”的解决方案

type AtLeastOne<T, U = {[K in keyof T]: Pick<T, K> }> = Partial<T> & U[keyof U]

type Possibilities = "a" | "b" | "c"

let mine: AtLeastOne<Record<Possibilities, string>>;

这强制对象具有 a、b 或 c 属性。 禁止它有未知的道具。 并正确输出道具的类型不是“可能未定义”

但是当设置了多个允许的道具时它会崩溃

Answer 1

我认为这就是您要完成的任务：

// Here you can include all the keys you want
enum Possibilities {
    a = "a",
    b = "b",
    c = "c",
}

type OtherType = {
    [key in Possibilities]?: {}; // here the sign ? allows you to set the keys as optional
}
// valid
let A: OtherType = {
    a: {}
}
// valid
let C: OtherType = {
    a: {},
    b: {},
    c: {},
}

// also valid
let B: OtherType = {}

您可以查看此内容以获取有关该主题的更多说明