TypeScript：索引键用于键入 A，保留键用于键入 B

Question

我需要定义一个类型，允许将预定义的键分配给 type A，并将所有其他键分配给 type B。我试过下面的，但得到以下错误：type Foo = "foo";type Bar = "bar";interface Fuz {  [key: string]: Foo}interface Qux {  display?: Bar}type Bash = Qux & Fuz;// ERROR: TS2322 -- Type '"bar"' is not assignable to '"foo"'const a: Bash = {  display: "bar"};// ERROR: TS2322 -- Type '"foo"' is not assignable to '"bar"'const b: Bash = {  display: "foo"};我想这与写作基本相同：interface Fuz {  // ERROR: TS2411 -- property 'display' of type '"bar"' is not assignable to string index type '"foo"'  display?: Bar  [key: string]: Foo}有没有办法实现上述目标？

Answer 1

考虑这种情况：

interface Fuz {

    // pretend this was valid for a moment

    display: 'bar';

    [k: string]: 'foo';

}

declare let x: Fuz; // lets say we have a variable of type Fuz

let index = 'display' // index is right now type string

let value = x[index]; // x[string] === 'foo' so `typeof value === 'foo'`

let value2 = x['display']; // x['display'] === 'bar' so `typeof value2 === 'bar'`

console.assert(value === value2);

// ERROR: This condition will always return 'false' since the types '"foo"' and '"bar"' have no overlap.

// which is obviously not correct, they are derived from the same property!

正如您所看到的，您提出的定义value显然包含字符串，bar但就打字稿而言，它确实是foo

据我所知，没有办法提供“非明确定义的键”字段，以便x[string]将所有适用的字符串结合起来。

我知道获得您想要的行为类型的唯一方法是指定值是Foo或在字符串键的情况下bar它是Bar，因此字符串索引必须是联合：

interface CorrectFuz {

    bar: 'bar';

    [k: string]: 'bar' | 'foo';

}

可能有一个更好的解决方案，我需要更多关于您的实际用例的信息来了解如何提供帮助。

Answer 2

我需要定义一个类型，允许将预定义的键分配给类型 A，并将所有其他键分配给类型 B

我认为您对 Typescript 的期望是错误的。类型不会被“分配”给任何东西。当您创建类型联合时，您是通过放松类型定义来扩展该变量的可能值，当您创建类型交集时，您是通过扩展类型定义来限制该变量的可能值。