如何为工厂函数生成的字符串实现强自定义类型约束

你可以利用TypeScript的**品牌类型（Branded Types）**实现这个需求——通过给工厂生成的字符串附加一个编译时专属的"标记"，让TypeScript将其与普通字符串区分开，从而在编译阶段拦截非法传入的普通字符串，且完全不会增加运行时开销。

具体实现代码 #

// 定义带品牌标记的专属类型：交叉string和一个唯一的只读属性
type MyData = string & { readonly __brand: 'MyData' };

let i = 0;
function gen_id(): MyData {
    // 将生成的字符串断言为MyData类型，仅编译时生效
    return `hello__${i++}` as MyData;
}

function hello(_: MyData) {
    console.log(_.split('__')[1]);
}

hello(gen_id()); // 正常通过编译

hello('world'); // 触发编译错误：类型"string"不能赋值给类型"MyData"

原理说明 #

品牌类型借助TypeScript的结构类型系统，通过添加一个仅存在于编译阶段的只读属性，让MyData与普通string形成类型差异。运行时这个属性不会真的出现在字符串上，只是用来在编译时约束类型来源——只有经过工厂函数gen_id生成并断言的字符串，才能被识别为MyData类型，普通字符串无法通过类型检查。

如果需要进一步约束字符串的格式（比如必须符合hello__xxx的结构），还可以结合类型守卫做更严格的校验，但如果仅需要限制来源（只能由工厂生成），上述方案已经足够满足需求。

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