- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我想创建一个简单的辅助函数来从这样的对象读取路径:
interface Human {
address: {
city: {
name: string;
}
}
}
const human: Human = { address: { city: { name: "Town"}}};
getIn<Human>(human, "address.city.name"); // Returns "Town"
这个助手在 JS 中很容易创建,但在 TS 中使其类型安全有点复杂。我已经走到这一步了:
type Prev = [never, 0, 1, 2, 3, 4, 5, 6, ...0[]];
type Join<K, P> = K extends string | number
? P extends string | number
? `${K}${"" extends P ? "" : "."}${P}`
: never
: never;
type Path<T, D extends number = 4> = [D] extends [never]
? never
: T extends object
? {
[K in keyof T]-?: K extends string | number
? `${K}` | Join<K, Path<T[K], Prev[D]>>
: never;
}[keyof T]
: "";
function getIn<T extends Record<string, any>>(object: T, path: Path<T>): T {
const parts = path.split(".");
return parts.reduce<T>((result, key) => {
if (result !== undefined && result[key]) {
return result[key];
}
return undefined;
}, object);
}
这是可行的,但这里的错误是 getIn
的返回类型不应该是 T
,而是 T
内部的东西,具体取决于在给定的路径上。所以如果像这样调用:
getIn<Human>(human, "address.city.name"); // Returns "Town"
TypeScript 应该知道返回值是一个字符串,如 Human
接口(interface)中所定义。如果给定 "address.city"
,返回类型应为 City
等。
有什么办法可以保证输入安全吗?
最佳答案
我主要关心的是如何正确输入 getIn()
的调用签名。 。这将是 generic调用签名涉及recursive conditional types使用template literal types解析和操作字符串 literal types 。编译器无法验证返回值是否可分配给如此复杂的类型,因此实现将需要一个或多个 type assertions以避免错误。所有这些意味着:在实现该功能时要小心,以确保您做得正确;编译器不会发现错误,因为你会抛出 as any
放弃直到编译为止。
这是基本计划:
declare function getIn<T extends object, K extends ValidatePath<T, K>>(
object: T,
path: K
): DeepIdx<T, K>;
我们的想法是定义两种实用程序类型:
ValidatePath<T, K>
将采用对象类型 T
和字符串类型 K
代表 T
属性的点线路径。如果K
是 T
的有效路径,然后ValidatePath<T, K>
将相当于 K
。如果 T
的路径无效 ,然后ValidatePath<T, K>
将是一些“接近”K
的有效路径,对于“关闭”的某些定义。希望我们能够constrain K extends ValidatePath<T, K>
这样有效的路径将被接受,无效的路径将生成一条错误消息,建议有效的路径。
DeepIdx<T, K>
将采用对象类型 T
和字符串类型 K
代表 T
属性的点线路径,然后 DeepIdx<T, K>
将是 T
的属性类型在路径 K
.
在定义这些之前,我们必须修复调用签名。编译器几乎肯定会提示 K extends ValidatePath<T, K>
是无效的循环约束。我们可以通过仅约束 K
来解决这个问题至string
然后为 path
编写一个(相当丑陋的)条件类型参数将评估为所需的 ValidatePath<T, K>
。它看起来像这样:
declare function getIn<T extends object, K extends string>(
object: T,
path: K extends ValidatePath<T, K> ? K : ValidatePath<T, K>
): DeepIdx<T, K>;
好的,现在开始实现:
type ValidatePath<T, K extends string> =
K extends keyof T ? K :
K extends `${infer K0}.${infer KR}` ?
K0 extends keyof T ? `${K0}.${ValidatePath<T[K0], KR>}` : Extract<keyof T, string>
: Extract<keyof T, string>
type DeepIdx<T, K extends string> =
K extends keyof T ? T[K] :
K extends `${infer K0}.${infer KR}` ?
K0 extends keyof T ? DeepIdx<T[K0], KR> : never
: never
在这两种情况下,我们都会遍历 K
。如果K
是 T
的键,那么它就是一个有效的路径,我们正在查看 T[K]
属性(property)。如果K
是一条虚线路径,那么我们看K0
部分在第一个点之前。如果这是 T
的键,那么第一部分是有效路径,我们需要递归到 T[K0]
带有零件的路径 KR
第一个点之后。如果K0
不是 T
的键,那么我们有一个无效的路径,所以 Extract<keyof T, string>
是“关闭”有效路径(使用 the Extract<T, U>
utility type 丢弃任何非字符串键)。如果 K
既不是 T
的键也不是虚线路径,那么它是无效的,所以 Extract<keyof T, string>
也是“关闭”有效路径。
好吧,让我们测试一下:
const human: Human = { address: { city: { name: "Town" } } };
const addr = getIn(human, "address");
// const addr: { city: { name: string; }; }
console.log(addr) // {city: {name: "Town"}}
const city = getIn(human, "address.city");
// const city: { name: string; }
console.log(city) // {name: "Town"}
const town = getIn(human, "address.city.name");
// const town: string
console.log(town) // "Town"
getIn(human, "address.city.neam"); // error!
// Argument of type '"address.city.neam"' is not
// assignable to parameter of type '"address.city.name"'
getIn(human, ""); // error!
// Argument of type '""' is not assignable to
// parameter of type '"address"'
getIn({ a: 1, b: 2, c: 3 }, "z") // error!
// Argument of type '"z"' is not assignable to
// parameter of type '"a" | "b" | "c"'.
看起来不错。所有有效路径均被接受,并且输出类型正确。同时,无效路径都会生成错误,从而提出正确路径应该是什么的建议。
关于typescript - 将函数返回值定义为读取对象中路径的类型,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/74705564/
我已经写了并且 npm 发布了这个:https://github.com/justin-calleja/pkg-dependents 现在我正在用 Typescript 编写这个包:https://g
我有一个函数,我想在 TypeScript 中模拟它以进行测试。在我的测试中,我只关心 json和 status .但是,当使用 Jest 的 jest.spyOn 时我的模拟函数的类型设置为返回 h
我正在使用一个库 (Axios),它的包中包含 Typescript 声明。 我想声明一个将 AxiosResponse(在库的 .d.ts 文件中声明)作为参数的函数。我有以下内容: functio
我是 Typescript 的新手。我想使用 将一个 Typescript 文件加载到另一个 Typescript 文件中标签。 我做了一些事情,但它不起作用!请帮助我。 first.ts: imp
为什么我会收到下面屏幕截图中显示的错误? Atom 说我的 tsconfig.json“项目文件包含无效选项”用于 allowJs、buildOnSave 和 compileOnSave。 但是应该允
所以我正在创建一个 TypeScript 库,我可以轻松地将所有生成的 JS 文件编译成一个文件。有没有办法将所有 .ts 和 .d.ts 编译成一个 .ts 文件? 除了支持 JS 的版本(较少的智
Microsoft Research 提供了一种名为Safer TypeScript 的新 TypeScript 编译器变体: http://research.microsoft.com/en-us/
我需要这个来在单个文件中分发 TypeScript 中的库。有没有办法将多个 typescript 文件合并到(一个js文件+一个 typescript 定义)文件中? 最佳答案 要创建一个库,您可以
用例:我想知道一个函数在 typescript 中执行需要多少时间。我想为此目的使用装饰器。我希望装饰器应该返回时间以便(我可以进一步使用它),而不仅仅是打印它。 例如: export functio
我想检查一个类型是否可以为 null,以及它是否具有值的条件类型。 我尝试实现 type IsNullable = T extends null ? true : false; 但是好像不行 type
我的问题是基于这个 question and answer 假设我们有下一个代码: const myFn = (p: { a: (n: number) => T, b: (o: T) => v
我知道双重否定前缀,我知道 TypeScript 的单后缀(非空断言)。 但是这个双后缀感叹号是什么? /.*验证码为(\d{6}).*/.exec(email.body!!)!![1] 取自here
我正在使用以下文件结构在 Webstorm 中开发一个项目 | src | ... | many files | types | SomeInterface |
在 TypeScript 类中,可以为属性声明类型,例如: class className { property: string; }; 如何在对象字面量中声明属性的类型? 我试过下面的代码,但它
我正在寻找一种在不丢失推断类型信息的情况下将 TypeScript 中的文字值限制为特定类型的好方法。 让我们考虑一个类型Named,它保证有一个名字。 type Named = { name:
在 TypeScript 中,我想创建一个联合类型来表示属于一个或多个不同类型的值,类似于 oneOf在 OpenAPI或 JSON Schema .根据a previous answer on a
type Func = (foo:string) => void // function expression const myFunctionExpression:Func = function(f
假设我有一个联合类型,我正在使用类似 reducer 的 API 调用模式,看起来像这样: type Action = { request: { action: "create
我在 typescript 中有以下去抖功能: export function debounce( callback: (...args: any[]) => void, wait: numb
在 Vue3 的 defineComponent 函数中,第一个泛型参数是 Props,所以我在这里使用 Typescript 接口(interface)提供我的 props 类型。喜欢: expor
我是一名优秀的程序员,十分优秀!