TypeScript如何定义仅含G/C/T/A字符的DNA链字符串类型

TypeScript 原生 string.split('') 方法的默认返回类型为 string[]，普通 string 类型无法约束字符串内部的单个字符范围，因此无法直接赋值给 ("G" | "C" | "T" | "A")[] 类型的变量，可根据实际使用场景选择以下实现方案：

方案1：类型守卫+运行时校验（生产环境首选） #

该方案同时覆盖编译期类型约束和运行时非法值拦截，是最稳妥的实现方式：

const DNA = ['G', 'C', 'T', 'A'] as const;
type DNA = typeof DNA[number];

// 定义带品牌标记的DNA链类型，避免和普通string混用
type DNAStrand = string & { readonly __dnaBrand: unique symbol };

// 校验函数：验证输入字符串是否全部由合法DNA字符组成
function assertDNAStrand(input: string): DNAStrand {
  for (const char of input) {
    if (!DNA.includes(char as DNA)) {
      throw new Error(`Invalid DNA character: ${char}`);
    }
  }
  return input as DNAStrand;
}

// 使用示例
const strand = assertDNAStrand("GACATAGACGCGTTAG");
// 校验通过后可安全断言split返回值
const DNAstring: DNA[] = strand.split('') as DNA[];

如果不想每次手动断言split结果，可以封装专用的拆分方法统一处理：

function splitDNA(strand: DNAStrand): DNA[] {
  return strand.split('') as DNA[];
}

方案2：递归模板字符串类型（TS 4.1+，固定字面量场景） #

如果所有DNA链都是代码中写死的固定字符串字面量，不需要处理动态输入，可以用递归模板字面量类型在编译期自动校验字符串合法性：

const DNA = ['G', 'C', 'T', 'A'] as const;
type DNA = typeof DNA[number];

// 递归定义合法DNA链类型：空串、单个DNA字符、DNA字符拼接合法DNA链
type DNAStrand = '' | DNA | `${DNA}${DNAStrand}`;

// 直接标注类型即可，TS会自动检查字面量是否合法
const strand: DNAStrand = "GACATAGACGCGTTAG"; // 编译通过
// const invalidStrand: DNAStrand = "GACXTT"; // 存在非法字符X，编译直接报错
const DNAstring: DNA[] = strand.split('') as DNA[];

注意：该方案存在类型递归深度限制，字符串过长时可能触发TS类型实例化过深的报错，且无法校验接口返回、用户输入等动态字符串值，仅适合固定字面量场景。

方案3：直接类型断言（仅适合输入100%可信的场景） #

如果可以完全确定输入字符串的所有字符都属于DNA类型，不需要额外校验，可以直接对split结果做类型断言，无需定义额外类型：

const DNA = ['G', 'C', 'T', 'A'] as const;
type DNA = typeof DNA[number];

const strand = "GACATAGACGCGTTAG";
const DNAstring: DNA[] = strand.split('') as DNA[];

注意：该方案完全跳过类型检查，如果字符串中混入非法字符，TS不会给出任何提示，可能引发后续逻辑异常，非可信场景禁止使用。

内容的提问来源于stack exchange，提问作者Art Rosnovsky