Функции, передаваемые методу

, отличаются от функций, передаваемых методам и Знакомые уже значение, индекс и массив передаются им во втором, третьем и четвертом аргументах. А в первом аргументе передается накопленный результат свертки. При первом вызове в первом аргументе функции передается начальное значение, переданное методу reduce во втором аргументе. Во всех последующих вызовах передается значение, полученное в результате предыдущего вызова функции. В первом примере, из приведенных выше, функция свертки сначала будет вызвана с аргументами 0 и 1. Она сложит эти числа и вернет 1. Затем она будет вызвана с аргументами 1 и 2 и вернет 3. Затем она вычислит 3+3=6, затем 6+4=10 и, наконец, 10+5=15. Это последнее значение 15 будет возвращено методом

Возможно, вы обратили внимание, что в третьем вызове, в примере выше, методу

передается единственный аргумент: здесь не указано начальное значение. Когда метод вызывается без начального значения, как в данном случае, в качестве начального значения используется первый элемент массива. Это означает, что при первом вызове функции свертки будут переданы первый и второй элементы массива. В примерах вычисления суммы и произведения точно так же можно было бы опустить аргумент с начальным значением.

Вызов метода

с пустым массивом без начального значения вызывает исключение . Если вызвать метод с единственным значением - с массивом, содержащим единственный элемент, и без начального значения или с пустым массивом и начальным значением - он просто вернет это единственное значение, не вызывая функцию свертки.

Метод

действует точно так же, как и метод reduce, за исключением того, что массив обрабатывается в обратном порядке, от больших индексов к меньшим (справа налево). Это может потребоваться, если операция свертки имеет ассоциативность справа налево, например:

Обратите внимание, что ни

ни не принимают необязательный аргумент, определяющий значение внутри функции свертки. Его место занял необязательный аргумент с начальным значением. Если потребуется вызывать функцию свертки как метод конкретного объекта, можно воспользоваться методом .

Следует отметить, что методы

и , описанные выше, являются своеобразной разновидностью операции свертки массива. Однако они отличаются от тем, что стремятся завершить обход массива как можно раньше и не всегда проверяют значения всех его элементов.

В примерах, представленных до сих пор, для простоты использовались числовые массивы, но методы

и могут использоваться не только для математических вычислений. Взгляните на функцию в примере 6.2. Она вычисляет «объединение» двух объектов и возвращает новый объект, имеющий свойства обоих. Эта функция принимает два объекта и возвращает другой объект, т. е. она действует как функция свертки, поэтому ее можно использовать с методом и обобщить операцию создания объединения произвольного числа объектов:

Напомню, что, когда два объекта имеют свойства с одинаковыми именами, функция

использует значение свойства второго аргумента, т.е. и могут давать разные результаты при использовании с функцией union:

Методы

и отыскивают в массиве элемент с указанным значением и возвращают индекс первого найденного элемента или -1, если элемент с таким значением отсутствует. Метод выполняет поиск от начала массива к концу, а метод – от конца к началу.

В отличие от других методов, описанных в этом разделе, методы

и не принимают функцию в виде аргумента. В первом аргументе им передается искомое значение. Второй аргумент является необязательным: он определяет индекс массива, с которого следует начинать поиск. Если опустить этот аргумент, метод начнет поиск с начала массива, а метод – с конца. Во втором аргументе допускается передавать отрицательные значения, которые интерпретируются как смещение относительно конца массива, как в методе : значение -1, например, соответствует последнему элементу массива.