Функции

Стрелочные функции дают краткий синтаксис => и, что важно, не имеют собственных this, arguments, super и new.target — они наследуют this лексически из окружающей области видимости. Их также нельзя использовать как конструкторы с new, и у них нет prototype, поэтому они подходят для колбэков, но не для методов объекта, которым нужен свой this.

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

Функции — это значения, как и любые другие: их можно присвоить переменной, передать как аргумент, вернуть из другой функции и хранить в массиве или объекте. Именно это даёт колбэки, функции высшего порядка и обработчики событий вроде addEventListener('click', handler).

Все три задают this функции указанному объекту. call вызывает её сразу с аргументами, перечисленными по отдельности; apply вызывает её сразу, но принимает аргументы единым массивом; bind не вызывает — он возвращает новую функцию с навсегда зафиксированным this (и ведущими аргументами), чтобы вызвать её позже.

Функция высшего порядка принимает одну или несколько функций как аргументы, возвращает функцию или делает и то, и другое. Она опирается на то, что функции — значения первого класса. Методы массива map, filter и reduce — встроенные примеры, принимающие колбэк, а фабрика функций, возвращающая настроенную функцию, — это случай с возвратом.

this определяется тем, как функция вызвана, а не где определена. При вызове obj.method() this равен obj (неявная привязка). При обычном вызове this — глобальный объект в нестрогом режиме или undefined в строгом (привязка по умолчанию). У стрелки нет своего this, и она берёт его лексически из окружающей области видимости.

IIFE (Immediately Invoked Function Expression — немедленно вызываемое функциональное выражение) — это функция, выполняющаяся в момент своего определения, записываемая как (function () { ... })(). Обёртка кода в неё создаёт приватную область видимости: объявленные внутри переменные не видны снаружи, что позволяло не засорять глобальное пространство имён до того, как блочные let/const и ES-модули сделали это почти ненужным.

bind возвращает совершенно новую функцию (экзотическую bound-функцию), которая при вызове запускает оригинал с this, навсегда зафиксированным на привязанном значении, плюс любые заранее заданные ведущие аргументы. Оригинал сразу не вызывается.

Замыкания обеспечивают приватность данных и паттерн модуля (IIFE, возвращающий методы над приватными переменными), фабрики функций и колбэки с состоянием. Классическая ловушка — баг захвата в цикле: цикл с var делит одну привязку, поэтому все колбэки видят финальное значение, тогда как let даёт каждой итерации свою. Замыкания также удерживают захваченные переменные, рискуя утечкой памяти, если их держать живыми.

Есть приоритет: new делает this свежим экземпляром; явные call/apply/bind (жёсткая привязка) задают его указанному объекту и побеждают неявную; obj.method() делает this получателем; обычный вызов по умолчанию даёт глобальный объект или undefined в строгом режиме. Стрелка игнорирует всё это — у неё нет своего this, и она берёт его лексически оттуда, где была определена.