[求助] 类型 { K:V } --> { "type": K , "conf": V } 且约束

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

这是一个创建于 435 天前的主题，其中的信息可能已经有所发展或是发生改变。

问题

enum Type {
    Title = 'Title',
    Input = 'Input',
}

type InputConfType = number;
type TitleConfType = string

// map 1 对 1
type ConfList = {
    [Type.Input]: InputConfType,
    [Type.Title]: TitleConfType,
};


// 想生成一个接口 A, 确保 type 和 conf 获得对应类型, 适用于以下情况

const Input : A ={
    type: Type.Input,
    conf: 11
}

const Title : A ={
    type: Type.Title,
    conf: 'str'
}

// 如果出现有以下情况则报错

const ErrorTemplate : A ={
    type: Type.Input,
    conf: 'str
}

想象中的 A 接口效果类似于, 求解....

interface A < T=ConfList, K=keyof T > {
    type: K;
    conf: T[K]
}

吐槽

Ts 想写完美, 特别是涉及约束真像是戴着镣铐跳舞....
as 一把梭又感觉不太优雅~~~ 🐶

4 条回复 • 2023-10-14 10:36:35 +08:00

Opportunity

2023-10-13 21:19:29 +08:00

https://www.typescriptlang.org/play?#code/KYOwrgtgBAKgngB2FA3gKCrAlgFwDbIC8UA5DLgSQDQZQCSICYOUxJDTO1aAvmmjkTIOzAMIB7EADN4SVlHAQARsABOAbgFDs+YBOmyiUAM45VWEAHN+AehtQIAQwRQAjFECf2m61z9UgDJYpvLomADahgB0IjgAugBc9IxikjJCNOFR5LoJOgR+hjQ8mmgWOGpSjgDGyAD6AIIAPDBQwAAe5SAAJsawQgB8qLSCSIkwmphVqYl+gaYRsZp8PsgAGo0AqoOEtAAUG60doD19cgD8ULsAlKyDDZuDiSDAAG5qN+2dJ7vXt1AWUjUUAASjcLsCoE9XmoVlB6vJ1oZ+vw0HYoIBng0A+K6ABCNAABygCo5QClxoBj5ThVCggDsPQC78lARshADEqUCm0iggHbgwDp+h5ACl6gG8fQDR6uTAEAJgApXQBxcoBTuUA0HKAUYNAK2K-GZwRiiXhxFCtKEYyE0WSOAyTOmblcvAVkmC2QIKpCw01p2AkQtwH1zKkiRIplUJBNqPsgCDNQA55oAvxUADc6ASHMpXLAJhKgFKjQCYqaaQMEAKKqVTiVQwYAQBB4RzlK1qm2jO06zjOw3usxevhAA

这样？

lqzhgood

2023-10-14 00:45:58 +08:00

@Opportunity #1

大佬 NB, 完全没想到可以用辅助类型

我继续简化了一下

```ts
// # 1
interface _A<T extends Type> {
type: T;
conf: ConfList[T];
}

// # 2
type A <U = Type> = (U extends Type ? _A<U> : never)

```

但是还有个疑问

#1 的作用根据传入的泛型返回约束的类型, 返回结果等于
{ type: Type.Input, conf: InputConfType } | { type: Type.Title, conf: TitleConfType}

#2 如果我写成 type A = _A<Type> 为啥就不行呢 ? 这不是和 #2 等价么...

YuJianrong

2023-10-14 03:22:02 +08:00

这是 Conditional Types( 就是这个：x extends TypeA ? A : B ）的特性。
做 Conditional Types 的时候，Typescript 编译器会把 union 分开一个个 map 去算，然后再合成一个 union 。所以

A<Type>
相当于
A<Type.Title | Type.Input>
相当于
(Type.Title extends Type ? _A<Type.Title> : never) | ( Type.Input extends Type ? _A<Type.Input> : never)

你直接 _A<Type> 当然就没有这个效果了。

文档： https://www.typescriptlang.org/docs/handbook/2/conditional-types.html#distributive-conditional-types

lqzhgood

2023-10-14 10:36:35 +08:00

@YuJianrong 受教了谢谢~