JavaScript 继承体系下的类型推断与检测

作者：袖梨 2026-07-16

JavaScript无传统继承类型体系，类型判断基于值、构造函数、原型链及TS静态结构；原生推断看值而非父类，typeof粗略，instanceof查原型链，可靠检测用Array.isArray()或Object.prototype.toString.call()；TS引入继承相关类型推断，支持协变、联合类型、泛型传递及this类型增强。

JavaScript 本身没有传统面向对象语言中的“继承类型体系”，它的类型推断与检测不依赖类继承关系，而是基于运行时值、构造函数、原型链和静态结构（如 TypeScript）来判断。理解这一点，才能避开把 Java/C# 的继承思维套用到 JS 上产生的误解。

JS 原生类型推断：只看值，不看“父类”

JavaScript 是动态类型语言，变量没有编译期类型声明，也没有继承意义上的“子类类型”。所谓“类型推断”，实际是引擎根据当前赋的值推测其基础类型（number/string/object 等），或根据历史使用模式做执行优化（如 V8 对数组元素类型的推测）。

typeof 返回的是基本类型标签（如 "string"、"function"），但对所有对象（包括 Array、Date、RegExp、自定义 class 实例）都返回 "object"
instanceof 检查的是原型链上是否存在某个构造函数的 prototype，它反映的是“是否由某构造器创建并继承其原型”，不是类型继承体系，而是原型链路径
Array.isArray()、Object.prototype.toString.call() 这些才是更可靠的内置类型识别方式，它们不依赖用户代码，也不受原型篡改影响

TypeScript 中的继承相关类型推断

TypeScript 在 JS 基础上引入了静态类型系统，支持 class 继承，并据此进行更丰富的类型推断：

子类实例变量会被推断为子类类型，但可赋值给父类类型变量（协变）
方法重写后，调用时仍按静态类型决定可用属性——比如 let a: Animal = new Dog(); a.bark() 会报错，因为 Animal 没有 bark 方法
联合类型推断常见于多态场景：const pets = [new Dog(), new Cat()] 推断为 (Dog | Cat)[]，而非 Animal[]，除非显式标注
泛型类继承中，类型参数会沿继承链传递，子类可进一步约束或扩展父类泛型参数

检测对象“真实类型”的实用策略

在运行时区分不同对象，不能只靠 instanceof（易被污染）或 typeof（太粗略），应组合使用：

立即学习“Java免费学习笔记（深入）”；

对内置对象：优先用专用检测方法 —— Array.isArray()、isFinite()、Date.prototype.isPrototypeOf(d)
对自定义类实例：用 obj.constructor.name（需确保未被覆盖）或 Object.getPrototypeOf(obj).constructor.name
通用安全方案：用 Object.prototype.toString.call(obj)，它返回形如 "[object Date]" 的字符串，稳定且不可伪造
避免踩坑：null 的 typeof 是 "object"；new String('x') 是 object 类型；箭头函数没有 prototype，无法用 instanceof 检测