TypeScript中参数是否会类型错误？类型守卫是否冗余？

这个问题戳中了从JavaScript转TypeScript时最容易混淆的核心点——TS的类型系统是纯编译时的，完全不具备运行时的类型校验能力，所以哪怕你给参数加了: Bar的注解，运行时依然可能传入错误类型的变量。下面就具体说说哪些机制会触发这种情况：

常见触发场景 #

• 与原生JavaScript代码交互
  如果你的TS代码被纯JS文件调用，或者引入了未做类型声明的JS模块，那JS代码可以毫无限制地传入任意类型的值。比如一个JS文件里直接写doSomething("我不是Bar实例")，TS编译时根本管不到这段代码，运行时就会直接进入函数。

• 滥用类型断言（Type Assertion）
  有人为了绕过TS的编译检查，强行用as Bar把一个不符合类型的变量断言成Bar。比如：

  const fakeBar = { name: "fake" } as Bar;
  doSomething(fakeBar);
  

  编译时TS不会报错，但运行时fakeBar根本不是Bar的实例，没有Bar原型链上的方法和属性。

• 序列化/反序列化操作
  从API、本地存储获取的JSON数据，解析后只是普通的JavaScript对象，哪怕你给它注解成Bar类型，它也不会自动变成Bar的实例。比如：

  const barData = await fetch("/api/get-bar").then(res => res.json());
  // 这里用as Bar断言，但barData本质是普通对象
  doSomething(barData as Bar);
  

  这种情况下，barData并不满足instanceof Bar的校验。

• 使用any/unknown类型绕过检查
  如果代码里用了any类型，TS会完全放弃类型检查。比如：

  function riskyCall(input: any) {
    doSomething(input); // TS不会拦着你传任意类型
  }
  riskyCall(123);
  

  哪怕用unknown类型，如果没有先做严格的类型守卫就传入，也会导致运行时类型错误。

• 原型链被篡改的极端情况
  虽然很少见，但如果运行时Bar的原型被修改，或者有人手动构造了一个“形似但神不似”的对象：

  const fakeBar = Object.create(null);
  Object.assign(fakeBar, new Bar()); // 拷贝了Bar的属性，但原型链不对
  doSomething(fakeBar); // TS会认为它符合Bar类型，但instanceof会返回false
  

总结 #

如果你的函数可能在上述场景下被调用，那原来的守卫子句绝对不是冗余的——它是运行时最后一道防线。哪怕是纯TS项目，开启了严格模式，也不能完全避免运行时类型错误（比如序列化场景）。

当然，如果你的函数只在严格类型约束的TS内部代码中被调用，且完全不会接触到外部数据或JS代码，那风险会低很多，但依然不能100%保证。要不要保留守卫子句，取决于你对运行时安全性的要求。

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