Typescript 根据一个成员变动推断另一个成员的类型

[WynneChan]

各位大佬，假设有这样一个 IMessage 的 interface，然后需要通过 type 的值来推断 value 的值。有这种可能性吗

enum MessageEnum{ IMAGE:'image', Text:'text' }

interface IMessage{ type:MessageEnum, value:IMessageContentMap[这里是 type 的值] }

interface IMessageContentMap{ [MessageEnum.IMAGE]:string; [MessageEnum.Text]:number; }

[noe132]

interface A { type: 'A', data: number }
interface B { type: 'B', data: string }

if (a.type === 'B') {
a.data // number
}

以你的例子

enum MessageEnum { IMAGE = 'image', Text = 'text' }

interface IMessage <T extends MessageEnum>{
type: T,
value: IMessageContentMap[T]
}

interface IMessageContentMap {
[MessageEnum.IMAGE]: string
[MessageEnum.Text]: number
}

let a = <T extends MessageEnum>(p: IMessage<T>) => {}

a({
type: MessageEnum.Text,
value: 2,
})


a({
type: MessageEnum.Text,
value: 2, // Type 'string' is not assignable to type 'number'.
})

[noe132]

第 5 行写错了，应该是 a.data // string

[aguesuka]

IMessage 你要的就是是经典的 Dependent pair types (Sigma-type), 它是 dependent type, 中文依值类型, 可以将第一个项作为第二个项的类型 (allow the type of the second component of a pair
to vary depending on the choice of the first component.)

[aguesuka]

据我所知没有支持依赖类型的工业语言

[johnwood]

type IMessage =
| {
type: MessageEnum.IMAGE;
value: string;
}
| {
type: MessageEnum.Text;
value: number;
};

[WynneChan]

@noe132 1 楼大佬这种方式只能用于函数时好像，我目前是把这个定为了一个数组，用了 swtich 去判断 type，这时候就推不出具体的 value 了。
@johnwood 最终还是改用大佬的这种 type 或的形式去做了