如何防止TypeScript类成员在运行时出现与声明类型不符的情况

为什么TypeScript不会自动转换赋值的类型 #

TypeScript的类型系统是编译期静态检查工具，本身不提供任何运行时能力：

• 所有你写的类型注解、类成员类型声明、接口定义，在编译成JavaScript后都会被完全移除，运行时执行的就是无类型的原生JS代码。
• 你给构造函数参数声明了any类型，相当于直接关闭了TypeScript对这个参数的所有类型校验：编译器不会检查map.TEST的类型是否匹配myArray的Array<number>声明，直接允许赋值操作。
• JavaScript本身是动态类型语言，变量的类型完全由实际赋值的值决定，不存在根据提前声明自动转换类型的逻辑：你给myArray赋值字符串它就是字符串类型，赋值数组就是对象类型，和编译前的TS类型声明没有任何关系。

如何避免不确定输入的类型不匹配问题 #

可以从编译约束、运行时校验两个层面做防控：

• 优先禁用隐式any，给所有参数声明明确类型：比如把构造函数的入参类型从any改为明确的{ TEST?: Array<number> }，编译期就能提前发现传入错误结构的参数。
• 对于完全不确定的外部输入（比如接口响应、用户上传数据、第三方SDK返回值），不要用any，优先用unknown类型，再配合类型守卫做运行时校验，确认类型符合预期后再赋值，示例如下：

// 自定义类型守卫判断是不是数字数组
function isNumberArray(val: unknown): val is Array<number> {
  return Array.isArray(val) && val.every(item => typeof item === 'number')
}

class TestClass {
  myArray: Array<number>

  constructor(map: unknown) {
    // 先校验参数结构
    if (typeof map !== 'object' || map === null || !('TEST' in map)) {
      throw new Error('参数结构不符合要求')
    }
    // 再校验目标字段类型
    if (isNumberArray(map.TEST)) {
      this.myArray = map.TEST
    } else {
      // 类型不符合可选择抛错，或者手动转成预期类型
      throw new Error('TEST字段必须是数字数组')
    }
  }
}

• 复杂场景可以用运行时校验库（比如Zod、Yup）提前定义数据结构schema，自动做输入校验，减少手动写类型守卫的冗余代码。
• 开启TypeScript严格模式（strict: true），强制打开noImplicitAny、strictNullChecks等校验规则，从编译层面减少类型漏洞。

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