大家好，我是林三心，用最通俗易懂的話講最難的知識點是我的座右銘，基礎是進階的前提是我的初心~

背景

今天在開發項目的時候，我的組員造成了一個BUG，原因是用了一個挺常用的數組方法：ervey，相信大家都見過，或者都用過，它經常跟 some 成雙出現，我們理解這兩個方法是：

• every： 判斷數組每一項是否符合條件
• some： 判斷數組是否至少有一個符合條件

可以通過一個小例子來認識，我準備了一個用戶數組，我分別想做兩件事：

1、判斷是否所有人都成年了

2、判斷是否有人大于20歲

圖片

有坑？

再來項目中搞的代碼吧，邏輯也跟上述例子差不多，就是通過請求獲取一組用戶，并判斷這組用戶是否全都已成年

圖片

但是這個代碼卻出現了BUG，什么呢？就是當 users 是空數組的時候，every 會返回 true！！！不信我們可以看看

圖片

我當時看到了，也感覺挺不解的，按理說，every： 判斷數組每一項是否符合條件，那如果數組為空的話，那就是沒有一個符合條件的，不應是返回 false 嗎，不過先不管，先改BUG 先，后面再去想了，加個長度判斷，先解決BUG先

圖片

空數組，every 返回 true？

我們先來看一下ECMA-262定義的Array.prototype.every

圖片

可以看到，every 是判斷每一次執行循環函數是否有 false 返回，有的話直接返回 false，如果一個 false 都沒有，那就返回 true

關于空數組調用 every() 返回 true 的原因，MDN 網頁 提供了答案：

every 的作用就像數學中的“for all”量詞。特別是，對于空數組，它返回 true。（地球人都知道，空集的所有元素都滿足任何給定的條件。）

空真（Vacuous truth） 是一個數學概念，它意味著若給定條件（稱為前提）不能滿足（比如給定條件不為真），則某事為真。用 JS 的術語來說，every() 返回 true，是因為它無法調用回調。回調表示要測試的條件，如果因為數組中沒有值而無法執行，那么 every() 必須返回 true。

全稱量詞 是數學中一個更大主題的一部分，它允許您對數據集進行推理。考慮到 JS 數組對于執行數學計算的重要性，尤其是類型化數組，為此類操作提供內置支持是有意義的。every() 不是孤例。

改變思維

以前我人為的：every 判斷數組每一項是否符合條件

但是我覺得我不應該那么理解，我應該理解為：every 判斷數組是否至少有一個不符合條件，這么去理解的話，自然就能知道為什么空數組是返回 true了，因為就沒有不符合條件的，當然就是返回 true 啦~