TypeScript自定义Email类型报错：string无法赋值给Email，如何解决？

问题根源 #

你写的代码有两个核心问题：

1. 矛盾的交叉类型：string & { __email: void } & RegExp这个类型定义完全不合理，没有任何值能同时属于string和RegExp类型，二者无交集。
2. 品牌类型未正确使用：{ __email: void }是TypeScript实现「标称类型」的常用方式（用来区分普通字符串和经过验证的邮箱字符串），但普通字符串不会自动带上这个标记，直接赋值会触发类型不匹配错误。

正确解决方案 #

我们可以用品牌类型+类型断言/工厂函数的方式实现类型级别的邮箱验证，以下是两种常用方案：

方案1：类型守卫（适合分支处理有效/无效值的场景）

// 定义带品牌标记的Email类型，区分普通string和合法邮箱
type Email = string & { __brand: 'email' };

// 邮箱格式正则
const emailRegex = /^[a-zA-Z0-9.!#$%&'*+/=?^_`{|}~-]+@[a-zA-Z0-9](?:[a-zA-Z0-9-]{0,61}[a-zA-Z0-9])?(?:\.[a-zA-Z0-9](?:[a-zA-Z0-9-]{0,61}[a-zA-Z0-9])?)*$/;

// 类型守卫函数：验证字符串是否符合邮箱格式，通过则标记为Email类型
function isEmail(str: string): str is Email {
  return emailRegex.test(str);
}

// 使用示例
const input = 'sdf@gmail.com';
if (isEmail(input)) {
  let a: Email = input; // 此处类型合法，无报错
} else {
  console.log('输入不是有效的邮箱地址');
}

方案2：工厂函数（适合确保变量一定是合法邮箱的场景）

// 定义带品牌标记的Email类型
type Email = string & { __brand: 'email' };

// 邮箱格式正则
const emailRegex = /^[a-zA-Z0-9.!#$%&'*+/=?^_`{|}~-]+@[a-zA-Z0-9](?:[a-zA-Z0-9-]{0,61}[a-zA-Z0-9])?(?:\.[a-zA-Z0-9](?:[a-zA-Z0-9-]{0,61}[a-zA-Z0-9])?)*$/;

// 工厂函数：仅返回合法的Email类型，不合法则抛出错误
function createEmail(str: string): Email {
  if (!emailRegex.test(str)) {
    throw new Error('邮箱格式不合法');
  }
  // 类型断言：告诉TypeScript该字符串已通过验证，属于Email类型
  return str as Email;
}

// 使用示例
const validEmail: Email = createEmail('sdf@gmail.com'); // 正常赋值
// const invalidEmail: Email = createEmail('wrong-email'); // 运行时抛出错误

关键说明 #

• 品牌类型（如{ __brand: 'email' }）的作用是在TypeScript的结构类型系统中，人为区分普通字符串和经过验证的邮箱字符串，避免将未验证的字符串误赋值给Email类型变量。
• 必须通过运行时验证（正则测试）+类型断言/守卫，才能让TypeScript认可普通字符串为Email类型，直接赋值普通字符串会触发类型检查错误。

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