请教一个 TS 问题，不知能否实现 - V2EX

TypeScript

ts 生态有没有开源的简单的 kv 配置管理项目 - V2EX 你们是怎么学习 typescript 的？ - V2EX 用 Go 移植的 TypeScript 7 要来了 - V2EX TypeScript5.9，仿佛走出草原来到了现代社会 - V2EX Typescript 有没有能对接 AI 的知识库或者文档？能处理稍微复杂点的类型 - V2EX typescript 如何返回一个动态对象类型 - V2EX ts 有没有直接能查看最终类型的方法 - V2EX TypeScript Native 预览版发布了 - V2EX 关于 TypeScript 装饰器和接口的问题，请教一下各位 - V2EX 你们 typescript 用自带枚举还是字符串枚举，感觉字符串枚举类型用起来有点不可靠啊 - V2EX effect-ts - V2EX typescript 达人乱入 - V2EX TypeScript 宣布原生移植计划，性能将提升 10 倍？ - V2EX #笔记#更好的 ts 重载声明方法 - V2EX 使用 satisfies 实现穷举类型保护 - V2EX 装饰器能不能装饰类的所有方法 - V2EX TypeSciprt 类型推断，如何进一步收窄类型？ - V2EX TypeScript 项目打包发布到 npm，如何给方法和接口添加 dts TypeScript 类型推导真强大。 - V2EX 为啥下面这段代码 TS 不报错 - V2EX ts 类型约束+请求参数校验+自动生成 openapi/swagger 文档，这三者目前有整合为一体的最佳实践吗 - V2EX TypeScript 能不能别这么古怪，这行为什么会报错呢？ - V2EX 怎么每次碰到想不通的代码行都出在 TypeScript😢 这行到底哪里有问题？ - V2EX 低估了 typescript 的难度 - V2EX 前端写 nestjs 后端，用 TypeORM 时感到非常困惑，不知道是不是我的理解有问题 - V2EX 我列举了市面上最好的几个 TypeScript 教程，想深入学习 TypeScript 的同学以后不用走弯路了 - V2EX 这样的函数类型定义在 ts 里面叫什么？ - V2EX typescript 如何忽略泛型参数啊？ - V2EX TypeScript 现在的应用场景 - V2EX ==TypeScript 写的 npm 包可以用 javascript 使用包的函数吗 - V2EX react 如何优雅的实现批量删除+二次确认 - V2EX TypeScript 怎么 wrap 一个函数并修改一下返回值？ - V2EX 想请教个 TypeScript 抽象类继承父类的问题。 - V2EX vscode 纯 js 项目有类型推断和成员变量提示，但是如果 ts 混用的话， js 导入就全变成 any 了，请问有办法解决吗这个项目这样定义 Typescript 类型和使用，学到了，有几个问题？ - V2EX 请教一个 Typescript 的问题 - V2EX 这种的类型是不是实现不了(TypeScript) - V2EX 问题一个 typescript 类型包裹问题 - V2EX 遇到了极其诡异的不符合进入 if 条件的要求但是还是进入了 - V2EX typescript 的类型处理 - V2EX 想问问大家 TypeScript 中关于 null 处理的方式 - V2EX 有没有声明 typescript 类型的好办法以及前端样式的健壮性问题 - V2EX typescript 类型断言问题 - V2EX TypeScript 中类型编程简介 - V2EX [求助] 类型 { K:V } --> { "type": K , "conf": V } 且约束 - V2EX 大佬们， vscode 开发 ts，这个地方的提示，怎么修改成中文啊 - V2EX TypeScript 中「类型定义的命名空间」使用 - V2EX 有没有办法把 ts 的 error 报错改成 warning - V2EX [求助] 函数中使用泛型缩小参数类型 - V2EX

jeremye · 2024-12-04 · via TypeScript

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

目前使用以下代码可以正常进行的类型推导，但每定义一个 item 都需要调用一次 defineItem，想要实现一个 defineConfig 方法，省略掉 defineItem，同时保留原先的类型推导。

interface Options<T> {
  a: () => T;
  b: (p: T) => void;
}

function defineItem<T>(options: Options<T>) {
  return options;
}

const config = {
  item1: defineItem({
    a: () => ({ id: 1 }),
    b: (params) => {}, // params 类型是 { id: number }
  }),
  item2: defineItem({
    a: () => ({ name: '1' }),
    b: (params) => {}, // params 类型是 { name: string }
  }),
};

预期的效果

const config = defineConfig({
  item1: {
    a: () => ({ id: 1 }),
    b: (params) => {}, // params 类型是 { id: number }
  },
  item2: {
    a: () => ({ name: '1' }),
    b: (params) => {}, // params 类型是 { name: string }
  },
});

第 1 条附言 · 2024 年 12 月 5 日

最终想要实现的效果如下，其中的 method1 可以动态，并且可以再定义 method2、method3...，c 的参数和返回值分别约束为 a 与 b 的返回值，defineModule 的返回值类型就保留原本的结构，如果这样设计不能实现的话，有没有更好的方式来设计这个 API 呢？

type Module<T, K> = {
  method1: {
    a: () => T
    b: () => K
    c: (params: T) => K
  }
}

const module = defineModule({
  method1: {
    a: () => ({ id: 1 }),
    b: () => ({ id: 1, name: 'test' }),
    // c: (params: { id: number; }) => { id: number; name: string; }; }
    c: (params) => {}
  }
})

/*
module: {
  method1: {
    a: () => {
        id: number;
    };
    b: () => {
        id: number;
        name: string;
    };
    c: (params: {
        id: number;
    }) => {
        id: number;
        name: string;
    };
  }
}
*/

function defineModule<T, K>(module: Module<T, K>) {
  return module
}

bagel 2024 年 12 月 4 日

Partial?

cheerxl 2024 年 12 月 4 日

```typescript
function defineConfig<T>(options: Record<string, Options<T>>) {
return options;
}

const config = defineConfig<Record<string, any>>({
item1: {
a: () => ({ id: 1 }),
b: (params) => {}, // params 类型是 { id: number }
},
item2: {
a: () => ({ name: '1' }),
b: (params) => {}, // params 类型是 { name: string }
},
});
```

ltaoo1o 2024 年 12 月 4 日

问了下 GPT ，稍微调整了下

```
interface Options<T> {
a: () => T;
b: (p: T) => void;
}

type DefineConfig<T> = {
[K in keyof T]: Options<T[K]>;
};

function defineConfig<T extends Record<string, any>>(config: DefineConfig<T>): T {
return config;
}

// 使用 defineConfig 定义配置对象
const config = defineConfig({
item1: {
a: () => ({ id: 1 }),
b: (params) => {
console.log(params.id); // params 类型是 { id: number }
},
},
item2: {
a: () => ({ name: '1' }),
b: (params) => {
console.log(params.name);
// params 类型是 { name: string }
},
},
});

```

muben 2024 年 12 月 4 日

```ts
interface Options<T extends any> {
a: () => T;
b: (p: T) => void;
}

type ConfigType<T extends Record<string, Options<any>>> = {
[K in keyof T]: {
a: () => T[K]['a'];
b: (p: ReturnType<T[K]['a']>) => void;
};
};

function defineConfig<T extends Record<string, Options<any>>>(options: T): ConfigType<T> {
return options;
}

const config = defineConfig({
item1: {
a: () => ({ id: 1 }),
b: (params) => {}, // params 类型是 { id: number }
},
item2: {
a: () => ({ name: '1' }),
b: (params) => {}, // params 类型是 { name: string }
},
});

config.item1.b({ id: 1 }); // ok
config.item1.b({ name: '1' }); // error

config.item2.b({ id: 1 }); // error
config.item2.b({ name: '1' }); // ok
```

jeremye 2024 年 12 月 4 日

@li1218040201 非常感谢，但是不太能理解 DefineConfig 中的 T[K] 传给 Options 后，T 为什么被推导为
```typescript
{
item1: {
id: number;
};
item2: {
name: string;
};
}
```

ltaoo1o 2024 年 12 月 4 日

@jeremye 我有自己的理解，但解释不了，你的需求和小程序 Page({}) 传参，参数有各种提示类似，看看 miniprogram-type 包。也可以找找 vite 这种框架，有 defineConfig 方法，参考它们的类型声明。

jeremye 2024 年 12 月 4 日

@xzyDeathGun 4 楼的那个返回值类型是正确的，但是传入 defineConfig 的参数不是正确的，在定义 config 时，params 的类型是 any ，可能是我的表达不够准确，初衷是帮助开发者在定义 config 时获得更友好的类型提示。

AV1 2024 年 12 月 4 日

function defineConfig<T>(config: {
[Property in keyof T]: {
a: () => T[Property]
b: (p: T[Property]) => void
}
}) {
return config
}

@jeremye 只能说 ts 过于牛逼，令人恐惧，居然能从 config 反推 T 的结构🤣

jeremye 2024 年 12 月 5 日

@li1218040201 #8 之前只关注到了参数的类型，现在发现返回值类型也是 `{ item1: { id: number; }; item2: { name: string; }; }`, 似乎没办法保留参数原本的类型

此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。原文来自 — 版权归原作者所有。

推荐订阅源

TypeScript