调用了这么久的 JS 方法是长在对象、类、值本身还是原型链上?
JavaScript 这门语言总是能带给我惊喜,在敲代码的时候习以为常的写法,退一步再看看发现自己其实对很多基操只有表面的使用,而从来没思考过为何要这样操作。
今天整理 JS 代码的时候突然发出灵魂三连问:
为什么有些时候操作对象,可以直接调用对象上的方法,但有些时候我们使用类似
Array.from()
的写法?在对象上调用的方法跟在原型上调用的方法区别是什么?这两者相同么?
为什么 JS 上可以直接在基础类型值上调用对象上面才存在的方法?基础类型值上调用的方法与在对象上调用的方法有区别么?
不同的方法调用方式
瞟了眼我的代码,立马就发现了一个调用类上方法的片段:
在上面的例子里,Object.hasOwn
是一个可以直接调用的方法,但令人困惑的是,当我们尝试直接在对象实例上调用 hasOwn 方法时,却抛出了一个类型错误,是不是有点反直觉? 我仔细想了一想突然发现,其实这只是一个基础 JS 概念的一个外在表现,只不过我们习惯了作为现象使用它,却很少会想到它背后的逻辑。
静态方法与实例方法
其实,我们需要做的只是区分 JavaScript 静态方法和实例方法。
静态方法 是定义在类上的方法,而不是在类的实例上,静态方法内部访问不到this
与实例变量。所以我们只能通过类来调用这些方法,而不能通过一个实例来调用
实例方法 是定义在类的原型上的方法,实例方法内可以访问对象的属性,也可以访问this
,可以直接在实例化对象上调用这些方法
概括来说,上面例子中Object.hasOwn()
是一个需要传参的、在Object
这个类上的静态方法,所以才需要在类上直接调用,而不能在实例对象上调用;但在例如arr.sort()
的调用,实际调用的是实例对象上的方法
至于为何会做如此区分,原因是一个简单的面向对象编程需求:如果一个方法逻辑不涉及对象上的属性,但又逻辑上属于这个类,通过接受参数就可以实现功能的,则可以作为一个类的静态方法存在。但如果它需要直接访问类上属性,直接作为实例方法显然更加妥当。
原型链与方法调用
JavaScript 中的每个对象都有一个原型(prototype)(除了Object.protoype
也就是所有原型的尽头),对象的方法实际上是定义在原型链上的。虽然我们可能是在对象上调用了一个方法,实际上 JavaScript 引擎会沿着原型链查找该方法并调用。
上面的例子里,join
方法是数组的实例方法。实例方法可以直接在数组的实例上调用,也可以通过Array.prototype.join.call
的方式来调用,这俩本质上是一样的。唯一区别是Array.prototype.join.call
允许我们在任何类似数组的对象上调用这个方法,哪怕它不是一个真正的数组。等等?我们可以在不是数组的值上调用join
?是的
所以,在对象上调用实例方法,等同于按照这个对象的原型链一层一层向父类上找同名方法来调用。
基础类型的自动包装
虽然其他支持面向对象编程范式的语言也有类似行为,也就是对基本类型的自动包装和自动拆包,但为了百分百掌握 JavaScript 的行为与他们的异同,还是再来确定一遍吧
每当我们在基本类型值上(例如"hello"
或6
)上调用方法,JavaScript 引擎都会先使用基本类型对应的包装类型对值进行包装,调用对应的方法,最后将包装对象丢掉还原基础类型。这是个引擎内部的隐式操作,所以我们没有任何的感知。
JavaScript 对于以下的基本类型,都有对应的包装类型。可以通过typeof
操作结果是基本类型名还是object
来确认:
string
-String
number
-Number
boolean
-Boolean
symbol
-Object
bigint
-Object
让我们列一下他们基本类型对应包装类型的使用:
所以,在基本类型上调用方法,等同于创建这个基本类型对应的包装类型的对象并调用方法,最后拆包并返回原始类型的值。本质上还是调用了同类型包装行为创建的对象上的方法。
结语
哈哈,原来这个类、对象方法调用现象的原因其实一直都在我的大脑里,这只是面向对象编程中的一个很稀松平常的事实,但平时从来只是使用,还从来没联想过为何他会这样。
不知道你有没有感受到这种编程语言带来的实践经验与基础理论交融的乐趣。在一点点的实践中才会慢慢发现原来看似“这样写就能跑”的一些代码,其实背后都有曾经学习、分析过的程序概念和理论的支撑。这种感受或许就是编程快乐的其中之一个源头吧。
文章转载自:CamWang
评论