如何让Flow将两个同为string的自定义类型视为不兼容？

嘿，我完全懂你的需求——就是想让两个底层都是string的自定义类型，比如tUsername和tPassword，变成完全不兼容的，避免像你例子里那样把密码当成用户名传、反过来也一样，还不触发Flow的错误提示对吧？

其实Flow里有两种常用的方法可以实现这个效果，我给你详细说说：

方法一：使用不透明类型（Opaque Types） #

这是最适合你场景的方案，它能让自定义类型在模块外保持“黑盒”，不会暴露底层的原始类型，从而实现互斥。

实现代码如下：

// 定义不透明类型
opaque type tUsername = string;
opaque type tPassword = string;

// 必须通过构造函数来创建对应类型的实例
function createUsername(str: string): tUsername {
  return str;
}

function createPassword(str: string): tPassword {
  return str;
}

// 你的验证函数
function validateUser(user: tUsername, password: tPassword) { }

// ✅ 正确调用：类型匹配
validateUser(createUsername('foo'), createPassword('bar'));

// ❌ 错误调用：Flow会抛出类型不兼容的错误
validateUser(createPassword('foo'), createUsername('bar'));

原理很简单：不透明类型在定义它的作用域之外，Flow只会把它看作一个独立的类型，不会和底层的string或者其他同底层类型的不透明类型兼容，完美解决你的问题。

方法二：使用带标签的精确对象类型 #

如果你能接受给原始值加一层对象包装，这种方法更直观，通过唯一的标签字段来区分不同类型：

// 用精确对象类型+标签字段区分
type tUsername = {| type: 'username', value: string |};
type tPassword = {| type: 'password', value: string |};

function validateUser(user: tUsername, password: tPassword) { }

// ✅ 正确调用
validateUser({ type: 'username', value: 'foo' }, { type: 'password', value: 'bar' });

// ❌ 错误调用：Flow会检测到标签不匹配
validateUser({ type: 'password', value: 'foo' }, { type: 'username', value: 'bar' });

这种方法的好处是类型意图非常明确，一眼就能看出这个值的用途，但缺点是你需要额外处理对象的value字段才能拿到原始字符串。

两种方法都能实现你要的互斥效果，你可以根据自己的代码场景选择～

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