V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
lqzhgood
V2EX  ›  TypeScript

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

  •  1
     
  •   lqzhgood · 2023-10-13 13:05:44 +08:00 · 1040 次点击
    这是一个创建于 396 天前的主题,其中的信息可能已经有所发展或是发生改变。

    问题

    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
    lqzhgood
        2
    lqzhgood  
    OP
       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
        3
    YuJianrong  
       2023-10-14 03:22:02 +08:00   ❤️ 1
    这是 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
        4
    lqzhgood  
    OP
       2023-10-14 10:36:35 +08:00
    @YuJianrong 受教了 谢谢~
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   1091 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 24ms · UTC 22:37 · PVG 06:37 · LAX 14:37 · JFK 17:37
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.