lodash源碼分析之baseFindIndex中的運算符優先順序

我悟出權力本來就是不講理的——蟑螂就是海米；也悟出要造反，內心必須強大到足以承受任何後果才行。

——北島《城門開》

本文為讀 lodash 源碼的第十篇，後續文章會更新到這個倉庫中，歡迎 star：pocket-lodash

gitbook也會同步倉庫的更新，gitbook地址：pocket-lodash

作用與用法

baseFindIndex 是內部方法，其作用類似於ES6的 findIndex，查找符合條件的第一個元素的索引。

baseFindIndex 除了從前向後查找外，還可以從後向前查找。

用法如下：

baseFindIndex([3,1,2], function(val, index, array) {
  return val > 1
}, 1) // 從前向後查找，從索引1開始查找，返回2
baseFindIndex([3,1,2], function(val, index, array) {
  return val > 1
}, 1, true) // 從後向前查找，從索引1開始查找，返回3

源碼分析

function baseFindIndex(array, predicate, fromIndex, fromRight) {
  const { length } = array
  let index = fromIndex + (fromRight ? 1 : -1)

  while ((fromRight ? index-- : ++index < length)) {
    if (predicate(array[index], index, array)) {
      return index
    }
  }
  return -1
}

這段代碼再次展示了 lodash 的特點，短小精悍！

這次讀源碼我們從里往外看。

從代碼中很容易看到，predicate 是傳遞進來的函數，在 baseFindIndex 調用該函數，如果返回的結果為真值，則中止查找，返回索引。

運算符優先順序

我們再往外看，看看 while 的迴圈條件：

fromRight ? index-- : ++index < length

現在問題來了，這個三元表達式有兩種可能，一種是：

(fromRight ? index-- : ++index) < length

一種是：

fromRight ? index-- : (++index < length)

究竟是那一種呢？這就要看運算符的優化級了，下麵這個表是 MDN 上的截圖：

這個表將優化級劃分成了20個級別，數字越大，優化級越高。

從表中可以看到，比較運算符的優先順序為11，而三元表達式（條件運算符）的優化級為4，因此可以確定比較運算符的優先順序要比三元表達式的要高，迴圈條件其實等價於第二種寫法。

增減迷局

再往上看，可以看到這句代碼：

let index = fromIndex + (fromRight ? 1 : -1)

在向後查找時， index 減少了1，而向前查找時，index 增加了1，為什麼要這樣做呢？

再結合迴圈條件看下：

fromRight ? index-- : ++index < length

在向前查找時，使用的是 index-- 表達式的運算結果，向後查找時，使用的是 ++index < lenth 表達式的運算結果。

從上表中也可以看出首碼自增比比較運算符的優化級要高。

首碼自增返回的是自增後的結果，而在迴圈條件中就要將索引 index 增加1，這樣會忽略掉第一個需要遍歷的元素，作為補救，在開始遍歷前，需要將 index 減少1。

同理，在向前查找時，需要將索引增加1，因為在遍歷開始時就已經將索引減少1。

那又為什麼向前查找時用的是尾碼自減，而不是用首碼自減呢？

因為在向前查找時，最終要查找到數組索引 0 的位置，尾碼自減返回的是自減前的數值，因此當 index 為 1 時，自減後的 index 為 0 ，但是在迴圈條件中依然拿 1 來進行判斷，所以使得索引 0 得以進入迴圈體。

關於首碼自增/減和尾碼自增/減的區別可以看《lodash源碼分析之自減的兩種形式》。

參考

1. MDN:運算符優先順序

License

署名-非商業性使用-禁止演繹 4.0 國際 (CC BY-NC-ND 4.0)

最後，所有文章都會同步發送到微信公眾號上，歡迎關註,歡迎提意見：

作者：對角另一面