如何在TypeScript中限制context仅为指定函数生成的字符串？

要实现context只能由指定函数生成、禁止直接赋值普通字符串的约束，你可以利用TypeScript的品牌类型（Branded Types）——这是一种在编译时区分相同基础类型（比如都是string）但语义不同的类型的技巧。

具体实现步骤： #

1. 定义带品牌的ContextString类型
   给string类型附加一个唯一的“品牌”标识，让TypeScript将其与普通string区分开：

   // 方式1：使用字面量品牌
   type ContextString = string & { __brand: 'ContextString' };
   
   // 更安全的方式2：使用Symbol作为品牌（避免命名冲突）
   const ContextBrand = Symbol('ContextBrand');
   type ContextString = string & { [ContextBrand]: never };
   

2. 修改getContext函数的返回类型
   让函数明确返回带品牌的类型，通过类型断言把生成的字符串转为ContextString：

   type ContextProps = {
     a: string;
     b: string;
     c: string;
   };
   
   function getContext(props: ContextProps): ContextString {
     const { a, b, c } = props;
     return `${a} [ ${b} / ${c} ]` as ContextString;
   }
   

3. 定义MyProps类型
   将context的类型指定为ContextString：

   type MyProps = {
     context: ContextString;
     // 其他属性
   };
   

效果验证： #

• 合法赋值（通过编译）：

  const validProps: MyProps = {
    context: getContext({ a: "test", b: "ABC", c: "123" }),
  };
  

• 非法赋值（编译报错）：

  const invalidProps: MyProps = {
    context: "some other string", // 错误：类型“string”不能赋值给类型“ContextString”
  };
  

为什么之前的写法无效？ #

• type ContextString = string只是string的别名，TypeScript的结构类型系统会认为两者完全兼容，无法区分。
• interface ContextString extends String是字符串包装对象类型，和原始string类型不兼容——不仅普通字符串赋值会报错，getContext返回的原始字符串也无法赋值给它，不符合需求。

注意事项： #

品牌类型仅在编译时生效，运行时不会真的给字符串添加额外属性，因此不会带来性能开销。如果需要运行时验证，可以在getContext函数中加入格式检查（比如正则匹配生成的字符串格式）。

内容的提问来源于stack exchange，提问作者Josh M.