如何限制索引类型的可能值？

Question

我们可以声明index signature来强制对象的属性为特定类型，如下所示

const LOOKUP: {
  [key: string]: { name: string, age: number };
} = {
  isaac: { name: 'isaac', age: 20 },
  whatever: {name: 'whatever', age: 17}
};

但是，我想限制key 的可能值，所以下面是我的尝试

尝试 1

type PossibleName = 'isaac' | 'john';

const LOOKUP: {
  [key: PossibleName]: { name: string, age: number };
} = {
  isaac: { name: 'isaac', age: 20 },
  whatever: {name: 'whatever', age: 17}
};

上面的尝试碰到下面的错误

索引签名参数类型不能是文字类型或泛型类型。考虑改用映射对象类型。

尝试 2

type PossibleName = 'isaac' | 'john';

const LOOKUP: {
  [key in PossibleName]: { name: string, age: number };
} = {
  isaac: { name: 'isaac', age: 20 },
};

并且尝试 2 在下面遇到错误

类型 '{ isaac: { name: string; 中缺少属性 'john'年龄：数字； }; }' 但在 '{ isaac: { name: string; 类型中是必需的年龄：数字； };约翰：{名称：字符串；年龄：数字； }; }'

我可以通过使键可选如下来解决它

type PossibleName = 'isaac' | 'john';

const LOOKUP: {
  [key in PossibleName]?: { name: string, age: number };
} = {
  isaac: undefined,
};

它确实允许不声明john，但同时允许isaac 和john 的值undefined，这不是我想要的。

我的目标是，如果我定义了isaac 或john，则值不应接受undefined，而必须是{ name: string, age: number} 类型，想知道这是否可能？

Answer 1

type PossibleName = 'isaac' | 'john';
type Person = { name: string }
type MyType = {
  [K in PossibleName]: { [k in K]: Person }
}[PossibleName] | { [K in PossibleName]: Person }

不好看，随便找个办法滥用TS引擎。这将产生{john: Person} | {isaac: Person}| {isaac: Person; john: Person}

Playground