TypeScript如何创建超严格类型实现自定义类型强校验

可以实现。你当前的写法无法触发类型报错，核心原因是TypeScript默认采用结构化类型规则，type LowercaseString = string只是string类型的别名，没有生成独立的类型，因此所有string类型的值都可以直接传入，不会触发校验。
要实现「必须经过指定转换函数才能传入、否则抛类型错误」的效果，有两种成熟方案，你可以根据场景选择。

方案1：品牌标称类型（Branded Type，通用推荐） #

这是TypeScript生态中实现类似其他语言「标称类型」效果的最通用方案，原理是给目标类型加上一个仅在类型层面存在的唯一标记，让它和普通string类型不再兼容。
示例代码：

// 定义带唯一品牌标记的LowercaseString，__lowercaseBrand仅作类型标记，运行时不会实际生成
type LowercaseString = string & { readonly __lowercaseBrand: unique symbol };

// 唯一合法生成LowercaseString的转换函数
function stringToLowercase(input: string): LowercaseString {
  // 注意：原示例的toLowercase是笔误，JS标准方法为toLowerCase
  return input.toLowerCase() as LowercaseString;
}

function displayLowercaseString(input: LowercaseString) {
  // 业务逻辑
}

// 直接传入普通字符串/大写字符串会直接抛出类型错误
displayLowercaseString('UPPERCASE'); 
// ❌ 类型错误：类型“string”的参数不能赋给类型“LowercaseString”的参数

// 只有经过转换函数处理的值才能正常传入
const validInput = stringToLowercase('UPPERCASE');
displayLowercaseString(validInput); // ✅ 类型校验通过

注意点：

• 类型上的__lowercaseBrand是虚拟标记，不需要在运行时给字符串添加该属性，类型断言仅在编译阶段生效，无额外运行时开销
• 该方案是编译时的强约束，正常开发流程下可以强制调用方必须走指定转换函数；如果刻意用as LowercaseString强转普通字符串可以绕过约束，但属于主动破坏类型规则的特殊场景
• 如果需要保证运行时值确实是全小写，只需要在stringToLowercase函数内补充实际的转换/校验逻辑即可，类型约束和运行时逻辑可以完全对齐

方案2：内置Lowercase字面量类型（仅适合字面量传参场景） #

TypeScript 4.1及以上版本提供了内置的字符串字面量工具类型Lowercase<T>，可以在类型层面直接判断字符串字面量是否为全小写，示例如下：

function displayLowercaseString<T extends string>(input: T extends Lowercase<T> ? T : never) {
  // 业务逻辑
}

displayLowercaseString('UPPERCASE'); // ❌ 类型错误：类型“string”不能赋给类型“never”
displayLowercaseString('lowercase'); // ✅ 校验通过

该方案有明显局限性：它只能对直接传入的固定字符串字面量做校验，如果传入的是类型为string的变量，TypeScript无法在静态阶段推断变量的实际内容，会漏过校验，比如：

const upperStr = 'UPPERCASE';
// 此处不会触发类型报错，因为upperStr的类型被推导为string，无法做字面量内容校验
displayLowercaseString(upperStr);

如果你的场景需要覆盖变量传参、强制要求走转换逻辑，优先选择方案1。

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