为何这些TypeScript类型断言未被标记错误？

类型断言的本质是绕过类型检查 #

TypeScript里的as或尖括号断言，核心作用就是告诉编译器「我确定这个值的类型就是我断言的样子，不用你检查」。只要两种类型属于同一基础类型的子类型（比如都是string的字面量类型），编译器就不会阻止这种断言——哪怕实际值和目标字面量不匹配，它默认开发者自己清楚风险。

你的例子里，Hello是'hello'字面量，helo是string或'helo'字面量，都属于string体系，所以断言时不会报错。

函数传参报错是正常类型检查 #

调用greet(helo)时没加断言，TypeScript会严格执行类型兼容性检查：string或'helo'显然不等于'hello'，所以直接抛出错误。这是常规的类型校验逻辑，和断言的「放行逻辑」完全是两回事。

如何强制检查这种断言？ #

如果想让这种明显值不匹配的断言也报错，别用普通断言，改用类型守卫来验证值的正确性：

type Helo = 'helo';
type Hello = 'hello';

let helo: Helo = 'helo';

// 类型守卫：判断值是否符合Hello类型
function isHello(str: string): str is Hello {
  return str === 'hello';
}

// 只有通过守卫验证，才能赋值给Hello类型变量
if (isHello(helo)) {
  let hello = helo; // 这里类型自动转为Hello
} else {
  console.error('值不符合Hello类型');
}

要是非得用断言又想触发错误，可以先转成unknown再做双重断言（但这是更极端的绕过方式，不推荐）：

// 这种写法会报错，因为unknown到Hello没有直接兼容性
let hello = helo as unknown as Hello;

补充：字面量类型的兼容性逻辑 #

哪怕把Helo改成'helo'字面量类型，'helo'和'hello'都是string的子类型，TypeScript依然允许断言。因为编译器认为存在「运行时值可能被修改为符合目标类型」的场景，所以不会直接拦截。

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