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 Fuzlet index = 'display' // index is right now type stringlet 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 的期望是错误的。类型不会被“分配”给任何东西。当您创建类型联合时，您是通过放松类型定义来扩展该变量的可能值，当您创建类型交集时，您是通过扩展类型定义来限制该变量的可能值。