有沒有辦法讓 typescript 使用 typescript 中定義的 object 的寬鍵來鍵入？

Question

const obj: {[key: string]: string} = {foo: 'x', bar: 'y'};

type ObjType = keyof typeof obj;

在不修改obj的類型的情況下，如何讓ObjType只接受“foo”或“bar”而不接受任何字符串？

Answer 1

這不能在 typescript 4.8 上完成。 您不能限制類型，並獲取該類型的更具體版本以在同一分配中使用。

典型的解決方法是使用通用的 function，這有點糟糕。

function makeObj<T extends { [key: string]: string }>(obj: T) {
    return obj
}

const obj = makeObj({foo: 'x', bar: 'y'})

type ObjType = keyof typeof obj // 'foo' | 'bar'

看游樂場

---

但是，下一個版本的 typescript (4.9) 似乎可能包含satisfies運算符。 請參閱此 github 問題

這將允許您應用約束，並一次推斷出更具體的類型。

const obj = {foo: 'x', bar: 'y'} satisfies { [key: string]: string }

type ObjType = keyof typeof obj // 'foo' | 'bar'

看游樂場

---

但無論哪種方式，您都必須修改obj的聲明方式才能使這些工作正常進行。

Answer 2

讓推理完成工作：

const obj = {foo: 'x', bar: 'y'};

type ObjType = keyof typeof obj; //  "foo" | "bar"