前言

在之前的一篇文章 JavaScript 隱式類型轉(zhuǎn)換規(guī)則中有提到，JavaScript 中的加號(hào)可以用來拼接字符串。本文就具體來介紹一下 V8 是如何來執(zhí)行這一操作的......

V8 是怎么執(zhí)行加法操作的？

當(dāng)有兩個(gè)值相加的時(shí)候，比如:

a+b

通俗理解，V8 會(huì)提供了一個(gè) ToPrimitive 方法，其作用是將 a 和 b 轉(zhuǎn)換為原始數(shù)據(jù)類型，其轉(zhuǎn)換流程如下：

• 先檢測(cè)該對(duì)象中是否存在 valueOf 方法，如果有并返回了原始類型，那么就使用該值進(jìn)行強(qiáng)制類型轉(zhuǎn)換。
• 如果 valueOf 沒有返回原始類型，那么就使用 toString 方法的返回值。
• 如果 vauleOf 和 toString 兩個(gè)方法都不返回基本類型值，便會(huì)觸發(fā)一個(gè) TypeError 的錯(cuò)誤。

將對(duì)象轉(zhuǎn)換為原始類型的流程圖如下所示：

當(dāng) V8 執(zhí)行 1+"2" 時(shí)，因?yàn)檫@是兩個(gè)原始值相加，原始值相加的時(shí)候，如果其中一項(xiàng)是字符串，那么 V8 會(huì)默認(rèn)將另外一個(gè)值也轉(zhuǎn)換為字符串，相當(dāng)于執(zhí)行了下面的操作：

Number(1).toString() + "2"

這里，把數(shù)字 1 偷偷轉(zhuǎn)換為字符串 "1" 的過程也稱為強(qiáng)制類型轉(zhuǎn)換，因?yàn)檫@種轉(zhuǎn)換是隱式的，所以如果我們不熟悉語義，那么就很容易判斷錯(cuò)誤。

我們還可以再看一個(gè)例子來驗(yàn)證上面流程，你可以看下面的代碼：

var Obj = {
    toString() {
      return '200'
    }, 
    valueOf() {
      return 100
    }   
  }
  Obj+3

執(zhí)行這段代碼，你覺得應(yīng)該返回什么內(nèi)容呢？由于需要先使用 ToPrimitive 方法將 Obj 轉(zhuǎn)換為原始類型，而 ToPrimitive 會(huì)優(yōu)先調(diào)用對(duì)象中的 valueOf 方法，由于 valueOf 返回了 100，那么 Obj 就會(huì)被轉(zhuǎn)換為數(shù)字 100，那么數(shù)字 100 加數(shù)字 3，那么結(jié)果當(dāng)然是 103 了。

如果改造一下代碼，讓 valueOf 方法和 toString 方法都返回對(duì)象，其改造后的代碼如下：

var Obj = {
    toString() {
      return new Object()
    }, 
    valueOf() {
      return new Object()
    }   
  }
  Obj+3

再執(zhí)行這段代碼，你覺得應(yīng)該返回什么內(nèi)容呢？因?yàn)?ToPrimitive 會(huì)先調(diào)用 valueOf 方法，發(fā)現(xiàn)返回的是一個(gè)對(duì)象，并不是原生類型，當(dāng) ToPrimitive 繼續(xù)調(diào)用 toString 方法時(shí)，發(fā)現(xiàn) toString 返回的也是一個(gè)對(duì)象，都是對(duì)象，就無法執(zhí)行相加運(yùn)算了，這時(shí)就會(huì)拋出一個(gè)異常，異常如下所示：

Uncaught TypeError: Cannot convert object to primitive value

提示的是類型錯(cuò)誤，錯(cuò)誤原因是無法將對(duì)象類型轉(zhuǎn)換為原始類型。所以說，在執(zhí)行加法操作的時(shí)候，V8 會(huì)通過 ToPrimitive 方法將對(duì)象類型轉(zhuǎn)換為原始類型，最后就是兩個(gè)原始類型相加，如果其中一個(gè)值的類型是字符串時(shí)，則另一個(gè)值也需要強(qiáng)制轉(zhuǎn)換為字符串，然后做字符串的連接運(yùn)算。在其他情況時(shí)，所有的值都會(huì)轉(zhuǎn)換為數(shù)字類型值，然后做數(shù)字的相加。

總結(jié)

在 JavaScript 中，類型系統(tǒng)是依據(jù) ECMAScript 標(biāo)準(zhǔn)來實(shí)現(xiàn)的，所以 V8 會(huì)嚴(yán)格根據(jù) ECMAScript 標(biāo)準(zhǔn)來執(zhí)行。在執(zhí)行加法過程中，V8 會(huì)先通過 ToPrimitive 函數(shù)，將對(duì)象轉(zhuǎn)換為原始字符串或者是數(shù)字類型，在轉(zhuǎn)換過程中，ToPrimitive 會(huì)先調(diào)用對(duì)象的 valueOf 方法，如果沒有 valueOf 方法，則調(diào)用 toString 方法，如果 vauleOf 和 toString 兩個(gè)方法都不返回基本類型值，便會(huì)觸發(fā)一個(gè) TypeError 的錯(cuò)誤。

到此這篇關(guān)于V8實(shí)現(xiàn)字符串拼接的文章就介紹到這了,更多相關(guān)V8 字符串拼接內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評(píng)論