TypeScript中能否创建仅通过类型守卫生成的专属类型？

我尝试通过正则类型守卫为模板字面量无法处理的复杂字符串实现类型安全，现有代码示例如下：

type Foo = string;
function isFoo(str: string): str is Foo {
    return /.../.test(str);
}
function useFoo(foo: Foo) {...}

问题在于普通字符串仍可传入useFoo函数。我知道可以在useFoo内部调用isFoo处理不匹配情况，但希望能告知TypeScript：某类型T可作为U使用，但仅能通过类型守卫转换为T，而非直接赋值。请问这是否可行？

这是可行的，核心是让Foo成为仅能通过类型守卫构造的标称类型，避免它和普通string直接兼容（TypeScript是结构类型系统，直接type Foo = string会让两者等价）。下面是两种实用实现方式：

方式一：带Brand标记的标称类型 #

给Foo添加一个编译时存在、运行时消失的标记属性，让TypeScript认为它和普通string是不同类型：

// 用交叉类型添加仅编译时有效的brand标记
type Foo = string & { __brand: 'Foo' };

function isFoo(str: string): str is Foo {
    // 替换为你的实际正则校验逻辑
    return /^[a-z]+$/.test(str);
}

function useFoo(foo: Foo) {
    console.log(foo);
}

// 测试示例
const normalStr = "123";
useFoo(normalStr); // 编译报错：普通string无法赋值给Foo

const validStr = "abc";
if (isFoo(validStr)) {
    useFoo(validStr); // 正常通过，类型守卫已将validStr推断为Foo
}

// 仅当主动用类型断言时才能绕过（不推荐，属于开发者主动放弃类型安全）
useFoo("abc" as Foo);

方式二：只读元组包装标称类型 #

如果不想用Brand标记，也可以用只读元组来区分类型：

type Foo = readonly [string];

function isFoo(str: string): str is Foo {
    return /^[a-z]+$/.test(str);
}

function useFoo(foo: Foo) {
    console.log(foo[0]); // 使用时取元组第一个元素即可
}

// 测试示例
const validStr = "abc";
if (isFoo(validStr)) {
    useFoo(validStr); // 正常通过
}

useFoo("123"); // 编译报错：普通string无法赋值给readonly [string]

关键说明 #

• 标称类型仅在编译时生效，运行时不会有额外性能开销（Brand标记会被编译移除，元组转换也无运行时成本）。
• 这种方式强制Foo只能通过isFoo类型守卫生成，完全满足“仅能通过类型守卫转换，不能直接赋值”的需求。
• 类型断言（as Foo）是唯一的绕过方式，但这是开发者主动选择的不安全操作，需自行负责。

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