Array.prototype.every() 容易被忽视的一个细节

every 方法

Array.prototype.every()

定义：every() 方法测试一个数组内的所有元素是否都能通过指定函数的测试。它返回一个布尔值。

思考

every() 方法作用与一个空数组，返回结果是什么？

• 废话不多说，直接上代码

function isNumber(value) {
    return typeof value === "number";
}


[1].every(isNumber);            // true
["1"].every(isNumber);          // false
[1, 2, 3].every(isNumber);      // true
[1, "2", 3].every(isNumber);    // false
[].every(isNumber);             // true 
[].every(() => true);           // true
[].every(() => false);          // true  

注意最后三行，every() 方法作用于空数组，总是返回 true

every 和数学中的全称量词"任意（∀）"类似。特别的，对于空数组，它只返回 true。（这种情况属于无条件正确，因为空集的所有元素都符合给定的条件。）

原理

源码

Array.prototype.every = function(callbackfn, thisArg) {


    const O = this;
    const len = O.length;


    if (typeof callbackfn !== "function") {
        throw new TypeError("Callback isn't callable");
    }


    let k = 0;


    while (k < len) {
        const Pk = String(k);
        const kPresent = O.hasOwnProperty(Pk);


        if (kPresent) {
            const kValue = O[Pk];
            const testResult = Boolean(callbackfn.call(thisArg, kValue, k, O));


            if (testResult === false) {
                return false;
            }
        }


        k = k + 1;
    }


    return true;
};