关于typescript:TS-分析字符串实现-Commanderjs-自动强类型

数字误认作字符,字符串误认作数组,Promise 没有 await 就取值,这些问题在 TypeScript 里把每个类型都定义对了就不会呈现,还会有很好的编辑提醒。

但写命令行工具,定义一个某类型的选项时,一边要传参如 .option("-d, --dev"),一边要标注类型如 { dev: boolean },两个中央须要手动同步。繁琐易错,怎么办?TypeScript 早在 4.1 就能够设计剖析字符串生成类型了。

当初,通过 @commander-js/extra-typings 就能够主动失去字符串中设计的命令构造。

import { program } from '@commander-js/extra-typings';

program
  .argument("<input>")
  .argument("[outdir]")
  .option("-c, --camel-case")
  .action((input, outputDir, option) => {
    // input 是 string
    // outputDir 是 string | undefined
    // option 是 { camelCase?: true | undefined }
  });

本文介绍 @commander-js/extra-typings 用到的关键技术。

必须 / 可选,单个 / 数个

必须 / 可选参数 往往形如 <xxx> / [xxx],其中 xxx 为参数名。
参数名以 ... 结尾时,示意该参数能够蕴含多个取值。

对于这样的字符串,应用 extends 关键字即可设计条件对应类型。

// S 取 "<arg>" 得 true
// S 取 "[arg]" 得 false
type IsRequired<S extends string> =
  S extends `<${string}>` ? true : false;

// S 取 "<arg...>" 得 true
// S 取 "<arg>" 得 false
type IsVariadic<S extends string> =
  S extends `${string}...${string}` ? true : false;

选项名

选项名时常有精简写法,如 -r 可能示意 --recursive。作为命令行选项时通常应用 - 配合小写字母的命名形式,在代码中则罕用驼峰命名法。

对于应用 逗号+空格 来提前搁置精简写法的选项,能够应用 infer 关键字推导模板文字递归化简。

// S 取 "-o, --option-name" 得 "option-name"
type OptionName<S extends string> =
  S extends `${string}, ${infer R}`
    ? OptionName<R> // 去除逗号,空格,及之前的内容
    : S extends `-${infer R}`
      ? OptionName<R> // 去除结尾的 "-"
      : S;

将短线 - 转换为驼峰命名,能够联合 Capitalize

// S 取 "option-name" 得 "optionName"
type CamelCase<S extends string> =
  S extends `${infer W}-${infer R}`
    ? CamelCase<`${W}${Capitalize<R>}`>
    : S;

变长参数

参数长度不定的函数,参数能够通过开展类型元组来定义类型。

type Args = [boolean, string, number];

type VarArgFunc = (...args: Args) => void;

const func: VarArgFunc = (arg1, arg2, arg3) => {
  // arg1 为 boolean
  // arg2 为 string
  // arg3 为 number
};

类型元组能够贮存在类参数中,并同样通过开展运算符 ... 来联合新元素。

declare class Foo<Args extends unknown[] = []> {
  concat<T>(arg: T): Foo<[...Args, T]>;
  run((...args: Args) => void): void;
}

const foo = new Foo()
  .concat(1)
  .concat("str")
  .concat(true);

foo.run((arg1, arg2, arg3) => {
  // arg1 为 number
  // arg2 为 string
  // arg3 为 boolean
});

限度

实现 @commander-js/extra-typings 遇到的最大阻碍,在于对 this 信息的保留。在变长参数一节,每次 concat 增加信息都须要返回一个新实例,能不能应用 &mixin 等其余技术联合 this 呢?目前实测后果是 不能,TS 在这类实测中,非常容易报错或卡死,不卡死时在某些中央会提醒 TS 查看陷入死循环,不卡死不报错时往往是陷入了无响应的状态。

相干记录能够在原实现 PR #1758 · tj/commander.js 中找到。

这样的限度也在 @commander-js/extra-typings 的介绍中有所体现,因为类型定义中每次都是返回一个新实例,

  • CommandOptionArgument 为基拓展子类时可能很难失去很好的类型反对;
  • 每步操作须要在上步操作的返回值上执行,以应用正确残缺的类型信息。

【腾讯云】轻量 2核2G4M,首年65元

阿里云限时活动-云数据库 RDS MySQL  1核2G配置 1.88/月 速抢

本文由乐趣区整理发布,转载请注明出处,谢谢。

您可能还喜欢...

发表回复

您的电子邮箱地址不会被公开。 必填项已用*标注

此站点使用Akismet来减少垃圾评论。了解我们如何处理您的评论数据