高階関数の重要な特性の一つに、計算結果そのものではなく関数自体を戻り値として返す能力があります。この特性を活用することで、処理の実行タイミングを明示的に制御する遅延評価パターンを構築できます。

配列内の数値を合計する処理を例に考えます。即時実行を前提とした従来の書き方は以下の通りです。

function calculateTotal(numbers) {
    return numbers.reduce((accumulator, current) => accumulator + current, 0);
}

calculateTotal([10, 20, 30]); // 60

しかし、条件が揃うまで計算を保留させたいシナリオでは、引数を受け取った瞬間に結果を返す代わりに、計算ロジックをカプセル化した関数を返す設計が有効です。

function deferSum(data) {
    return function execute() {
        return data.reduce((acc, val) => acc + val, 0);
    };
}

const pendingTask = deferSum([10, 20, 30]); // 関数オブジェクトが返される
pendingTask(); // 60

このコードの核心は、内側関数 `execute` が外側関数のスコープにある変数 `data` への参照を保持し続ける点にあります。外部スコープの環境を束縛した関数の組み合わせを**クロージャ（Closure）**と呼びます。クロージャは、関数を実行するまでメモリ上に生存する状態を維持できる強力な構造です。

クロージャを生成するたびに独立した関数インスタンスが作成されるため、同一の引数で呼び出しても参照値は異なります。

const taskA = deferSum([5, 15]);
const taskB = deferSum([5, 15]);
console.log(taskA === taskB); // false

ループ内での変数スコープとバインディング問題

クロージャを利用する際、変数のライフサイクル管理を誤ると予期せぬ動作を引き起こします。以下のようなループ内での関数生成パターンを確認してください。

function buildCalculators() {
    const registry = [];
    for (var idx = 1; idx <= 3; idx++) {
        registry.push(function() {
            return idx * idx;
        });
    }
    return registry;
}

const jobs = buildCalculators();
console.log(jobs[0]()); // 16
console.log(jobs[1]()); // 16
console.log(jobs[2]()); // 16

直感的には `1`, `4`, `9` が期待されますが、実際にはすべて `16` が出力されます。その理由は、生成された関数が変数 `idx` そのものを参照しているためです。JavaScriptの `var` は関数スコープを持つため、ループ終了時には `idx` の値は `4` に更新されています。クロージャは呼び出し実行時に参照する変数の現在の値を読み取るため、すべての関数が最終的な値 `4` を使って計算を行います。

この問題を回避するには、各イテレーションで変数の値を固定化する必要があります。標準的な解決策は、即時関数（IIFE）を用いて引数として値をコピーする方法です。

function buildCalculatorsFixed() {
    const registry = [];
    for (var idx = 1; idx <= 3; idx++) {
        registry.push((function(capturedValue) {
            return function() {
                return capturedValue * capturedValue;
            };
        })(idx));
    }
    return registry;
}

const stableJobs = buildCalculatorsFixed();
console.log(stableJobs[0]()); // 1
console.log(stableJobs[1]()); // 4
console.log(stableJobs[2]()); // 9

上記の `(function(capturedValue) { ... })(idx)` は、関数定義を括弧で囲むことで式として評価させ、直後に引数 `idx` を渡して実行する構文です。これにより、各ループごとに独立したスコープが生成され、当時の値が `capturedValue` として永久に保持されます。

プライベート状態の隠蔽とカプセル化

クロージャの実践的な利点の一つは、データアクセスの厳格な制御です。クラスやアクセサ修飾子に頼らずとも、関数のスコープを利用してプライベート変数をシミュレートできます。

function createSecureCounter(initialValue) {
    let privateState = initialValue || 0;
    return {
        increment: function() {
            privateState++;
            return privateState;
        },
        read: function() {
            return privateState;
        }
    };
}

const counterA = createSecureCounter();
counterA.increment(); // 1
counterA.increment(); // 2

const counterB = createSecureCounter(100);
counterB.increment(); // 101

外部スコープからは `privateState` を直接読み書きすることができません。返されたオブジェクトのメソッドを経由してのみ状態の更新が許可されるため、データの整合性を保証しつつ、実装の詳細を完全に隠蔽できます。

多引数関数の単一引数化（関数ファクトリパターン）

クロージャは、汎用的な多引数関数を特定のユースケースに特化した単一引数の関数群に変換する際にも極めて有用です。これは関数型プログラミングにおけるパーシャルアプリケーションやカーリングの基本概念に対応します。

function createPowerFactory(exponent) {
    return function(base) {
        return Math.pow(base, exponent);
    };
}

const square = createPowerFactory(2);
const cube = createPowerFactory(3);

console.log(square(6)); // 36
console.log(cube(4));   // 64

このアプローチにより、ドメイン固有の計算ロジックを生成する際に引数のバインディングを事前に行え、呼び出し側のコードを簡潔に保ちつつ再利用性を最大化できます。