这种情况下typescript怎么定义类型？

Question

const modules = {
  nameA: {
    a: '123',
    b: '456'
  },
  nameB: {
    a: 'abc',
    b: 'def'
  }
}

interface ModuleInterface {
  name: keyof typeof modules; // 这里提示的是 "nameA" | "nameB"
  value:  // 这个地方想根据上面name来决定，如果是nameA就提示 "123" | "456"，如果是nameB就提示"abc" | "def"
}

问题就是上面ModuleInterface里面value怎么定义类型？

Answer 1

const modules = {
    nameA: {
        a: '123',
        b: '456'
    },
    nameB: {
        a: 'abc',
        b: 'def'
    }
} as const;

type Modules = typeof modules;

interface ModuleInterface<T extends keyof Modules> {
    name: T
    value: Modules[T][keyof Modules[T]]
}

let A: ModuleInterface<'nameA'> = 0 as any;
const AName = A.name;
type ANameType = typeof AName;
const AValue = A.value;
type AValueType = typeof AValue;

let B: ModuleInterface<'nameB'> = 0 as any;
const BName = B.name;
type BNameType = typeof BName;
const BValue = B.value;
type BValueType = typeof BValue;

Answer 2

我觉得 TypeScript 把类型整得太灵活了，以致于开发者有无数种想法，所有一些应该动态检查的类型全都想用静态检查来实现 —— 问题是值都不确定，静态怎么检查得出来。如果值确定，那照样写一个 interface 不就完了。