- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我有一个工厂函数 createF
,它接受 JSON 模式作为输入,并输出一个返回适合该模式的对象的函数 f
,它看起来像:
const createF = (schema) => { /* ... */ }
type T1 = number;
const f1: T1 = createF({
type: 'integer',
});
type T2 = {
a: number;
b?: string;
[key: string]: any;
};
const f2: T2 = createF({
type: 'object',
required: ['a'],
properties: {
a: { type: 'number' },
b: { type: 'string' },
},
});
f1
和 f2
始终返回形状类似于 T1
和 T2
的对象> 分别,但它们没有键入:没有编写 createF
,以便 TS 推断出 f1
和 f2
的正确类型。是否可以重写 createF
来实现它?如果是,怎么办?
我知道可以 have a return type that depends on parameters通过使用函数重载,但在我的例子中,所有可能的输入都是 JSON 模式,我不知道如何将函数重载解决方案扩展到这种情况。
目前,我使用json-schema-to-typescript在编译时围绕 createF
创建的函数生成类型,但这并不理想。
一些避免 XY problem 的上下文:我实际上正在构建oa-client ,一个基于 OpenAPI 规范创建助手的库,其中包含架构。在运行时,创建的助手仅接受并返回模式中定义的对象;但在 TS 层上没有类型 - 我必须使用模式来使用节点脚本编写 TS,这并不理想,特别是因为 oa-client 的目标就是不进行代码生成。
最佳答案
我想说这看起来需要大量工作,具体取决于您希望编译器能够为您完成多少工作。我不确定 json 模式是否存在一组现有的 TS 类型,这些类型足够丰富以表示从模式到输出类型的关系,因此您可能需要自己构建一些。以下是专门针对您的 f1
和 f2
示例定制的草图;其他用例可能需要对此处提供的代码进行一些修改/扩展,并且毫无疑问存在一些边缘情况,其中事情不会按照您想要的方式进行。我将呈现的代码的目的是展示一种通用方法,而不是针对任意 json 模式的完全成熟的解决方案。
这是 Schema
的一种可能定义,它是与 json 架构对象相对应的类型:
type Schema =
{ type: 'number' | 'integer' | 'string' } |
{
type: 'object',
required?: readonly PropertyKey[],
properties: { [k: string]: Schema }
};
Schema
具有 string literal types 的某个并集的 type
属性。 ,如果该 type
是 object
,那么它还有一个 properties
属性,它是键到其他 Schema
的映射code> 对象,并且它可能有一个 required
属性,它是一个键名称数组。
可以使用conditional type将Schema
转换为类型。 。有趣的部分是 object
类型,它占据了下面代码的大部分复杂性:
type SchemaToType<S extends Schema> =
S extends { type: 'number' | 'integer' } ? number :
S extends { type: 'string' } ? string :
S extends { type: 'object', properties: infer O, required?: readonly (infer R)[] } ? (
RequiredKeys<
{ -readonly [K in keyof O]?: O[K] extends Schema ? SchemaToType<O[K]> : never },
R extends PropertyKey ? R : never
> & { [key: string]: any }) extends infer U ? { [P in keyof U]: U[P] } : never :
unknown;
type RequiredKeys<T, K extends PropertyKey> =
Required<Pick<T, Extract<keyof T, K>>> & Omit<T, K>
对于对象类型,SchemaToType
查找 properties
和 required
属性,并使用 properties 中的键生成对象类型
以及递归地将 SchemaToType
应用于其属性的值。一开始这是完全可选的,但我们使用 required
属性键,并将全可选对象转换为需要这些键的对象。有很多utility types在那里使用:Pick
、Omit
、Extract
、Required
等。详细写出它是如何工作的需要很长时间,但重点是您可以以编程方式将 Schema
的子类型转换为类型。
现在我们给 createF
输入以下内容:
declare function createF<S extends Schema>(s: S): () => SchemaToType<S>;
并对其进行测试......但首先请注意,编译器通常会将您的架构对象类型扩展得太多而无用。如果我这样写:
const tooWideSchema = {
type: 'object', required: ["a"], properties: { a: { type: 'number' } }
};
编译器会推断它是这种类型:
// const tooWideSchema: {
// type: string; required: string[]; properties: { a: { type: string; }; };
// }
糟糕,编译器忘记了我们关心的东西:我们需要 "object"
和 "a"
和 "number"
,而不是字符串
!所以接下来我将使用 const
assertions要求编译器保持传入模式对象的推断类型尽可能窄:
const narrowSchema = {
type: 'object', required: ["a"], properties: { a: { type: 'number' } }
} as const;
as const
有很大的不同:
// const narrowSchema: {
// readonly type: "object";
// readonly required: readonly ["a"];
// readonly properties: {
// readonly a: {
// readonly type: "number";
// };
// };
//}
该类型有足够的细节来进行我们的转换......所以让我们测试一下:
const f1 = createF({
type: 'integer',
} as const);
const t1 = f1();
// const t1: number
const f2 = createF({
type: 'object',
required: ["a"],
properties: {
a: { type: 'number' },
b: { type: 'string' },
},
} as const);
const t2 = f2();
/* const t2: {
[x: string]: any;
a: number;
b?: string | undefined;
} */
t1
的类型推断为 number
,t2
的类型推断为 {[x:字符串]:任意; a: 数字' b?: 字符串 |未定义}
。这些本质上与您的 T1
和 T2
类型相同...耶!
这样就完成了演示。正如我上面所说,请注意其他用例和边缘情况。也许您会通过这种方法取得进展,或者最终您可能会发现使用类型系统来实现此目的太脆弱和丑陋,而原始的代码生成解决方案更适合您的需要。不管怎样,祝你好运!
关于javascript - 输入基于作为参数传递的 JSON 模式的函数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/61859360/
简而言之:我想从可变参数模板参数中提取各种选项,但不仅通过标签而且通过那些参数的索引,这些参数是未知的 标签。我喜欢 boost 中的方法(例如 heap 或 lockfree 策略),但想让它与 S
我可以对单元格中的 excel IF 语句提供一些帮助吗? 它在做什么? 对“BaselineAmount”进行了哪些评估? =IF(BaselineAmount, (Variance/Baselin
我正在使用以下方法: public async Task Save(Foo foo,out int param) { ....... MySqlParameter prmparamID
我正在使用 CodeGear RAD Studio IDE。 为了使用命令行参数测试我的应用程序,我多次使用了“运行 -> 参数”菜单中的“参数”字段。 但是每次我给它提供一个新值时,它都无法从“下拉
我已经为信用卡类编写了一些代码,粘贴在下面。我有一个接受上述变量的构造函数,并且正在研究一些方法将这些变量格式化为字符串,以便最终输出将类似于 号码:1234 5678 9012 3456 截止日期:
MySql IN 参数 - 在存储过程中使用时,VarChar IN 参数 val 是否需要单引号? 我已经像平常一样创建了经典 ASP 代码,但我没有更新该列。 我需要引用 VarChar 参数吗?
给出了下面的开始,但似乎不知道如何完成它。本质上,如果我调用 myTest([one, Two, Three], 2); 它应该返回元素 third。必须使用for循环来找到我的解决方案。 funct
将 1113355579999 作为参数传递时,该值在函数内部变为 959050335。 调用(main.c): printf("%d\n", FindCommonDigit(111335557999
这个问题在这里已经有了答案: Is Java "pass-by-reference" or "pass-by-value"? (92 个回答) 关闭9年前。 public class StackOve
我真的很困惑,当像 1 == scanf("%lg", &entry) 交换为 scanf("%lg", &entry) == 1 没有区别。我的实验书上说的是前者,而我觉得后者是可以理解的。 1 =
我正在尝试使用调用 SetupDiGetDeviceRegistryProperty 的函数使用德尔福 7。该调用来自示例函数 SetupEnumAvailableComPorts .它看起来像这样:
我需要在现有项目上实现一些事件的显示。我无法更改数据库结构。 在我的 Controller 中,我(从 ajax 请求)传递了一个时间戳,并且我需要显示之前的 8 个事件。因此,如果时间戳是(转换后)
rails 新手。按照多态关联的教程,我遇到了这个以在create 和destroy 中设置@client。 @client = Client.find(params[:client_id] || p
通过将 VM 参数设置为 -Xmx1024m,我能够通过 Eclipse 运行 Java 程序-Xms256M。现在我想通过 Windows 中的 .bat 文件运行相同的 Java 程序 (jar)
我有一个 Delphi DLL,它在被 Delphi 应用程序调用时工作并导出声明为的方法: Procedure ProduceOutput(request,inputs:widestring; va
浏览完文档和示例后,我还没有弄清楚 schema.yaml 文件中的参数到底用在哪里。 在此处使用 AWS 代码示例:https://github.com/aws-samples/aws-proton
程序参数: procedure get_user_profile ( i_attuid in ras_user.attuid%type, i_data_group in data_g
我有一个字符串作为参数传递给我的存储过程。 dim AgentString as String = " 'test1', 'test2', 'test3' " 我想在 IN 中使用该参数声明。 AND
这个问题已经有答案了: When should I use "this" in a class? (17 个回答) 已关闭 6 年前。 我运行了一些java代码,我看到了一些我不太明白的东西。为什么下
我输入 scroll(0,10,200,10);但是当它运行时,它会传递字符串“xxpos”或“yypos”,我确实在没有撇号的情况下尝试过,但它就是行不通。 scroll = function(xp
我是一名优秀的程序员,十分优秀!