thisバインディングの決定規則（4つの束縛と優先順位）

this は「呼び出し方」で決まる

多くの言語で this（あるいは self）はクラスのインスタンスに固定されますが、JavaScript の this は 関数がどう呼ばれたか で毎回決まります。同じ関数オブジェクトでも、呼び出しのされ方が違えば this は別物を指します。鍵は 定義時ではなく呼び出し時に評価される こと。これを押さえないと、メソッドをコールバックに渡した瞬間に this が外れる典型バグを読み解けません。基礎は JavaScript と DOM を前提にします。

通常関数の this を決める規則は4つしかありません。既定束縛・暗黙束縛・明示束縛・new束縛 です。そしてアロー関数だけはこの枠組みの外にいて、独自の レキシカル this を持ちます。本記事は、この4束縛の中身と、複数が競合したときの 優先順位 を内部から整理します。

4つの束縛

それぞれ「呼び出し式の形」がトリガーになります。

• 既定束縛（default）：f() のように、ドットも new も call 系もない素の呼び出し。strict モードでは this は undefined、非strict（sloppy）では globalThis（ブラウザなら window）になる。
• 暗黙束縛（implicit）：obj.method() のように ドットの左にオブジェクトがある 呼び出し。this はそのドット直前のオブジェクト（ここでは obj）になる。a.b.c() ならチェーン最後の b が this。
• 明示束縛（explicit）：f.call(ctx) / f.apply(ctx) / f.bind(ctx) で this を 明示的に指定 する。call/apply は即時呼び出し、bind は this を固定した新しい関数を返す。
• new束縛（new）：new F()。新しい空オブジェクトを生成し、それを this として F を実行し、F が明示的にオブジェクトを返さなければその新オブジェクトを返す。

function who() { return this && this.name; }

const o = { name: 'o', who };
who();          // 既定束縛 → strict:undefined / 非strict:globalThis
o.who();        // 暗黙束縛 → o
who.call({ name: 'x' }); // 明示束縛 → {name:'x'}
new who();      // new束縛 → 新規オブジェクト（name未設定）

優先順位：競合したらどれが勝つか

4束縛は同時に当てはまることがあります。そのときの強さは仕様上 一意 で、強い順に並べると次のとおりです。

判定は「上から順に、当てはまる最初のものを採用」と考えると正確です。たとえば bind 済みの関数を obj.method() の形で呼んでも、明示束縛（優先度2）が暗黙束縛（優先度3）に勝つので、this は bind で固定した側のままです。

function who() { return this.name; }
const bound = who.bind({ name: 'bound' });
const o = { name: 'o', m: bound };
o.m();          // 'bound' … 明示(2) > 暗黙(3)

アロー関数は4束縛の外にいる

アロー関数は 自分自身の this を持ちません。call/apply/bind で渡しても、obj.method() で呼んでも、this は変わらない。アロー関数は定義された時点の 外側のレキシカルスコープの this を静的に捕捉し、それを使い続けます。arguments・super・new.target も同様に外側から受け継ぎ、コンストラクタにもできません（new するとエラー）。

const obj = {
  name: 'obj',
  normal() { return (() => this.name)(); }, // 内側アローは normal の this を継承
};
obj.normal();               // 'obj'（normal が暗黙束縛で obj → アローが継承）

const f = () => this;       // 定義位置の this を捕捉
f.call({ name: 'x' });      // 渡しても無視 → 捕捉済みの this のまま

評価の流れを内部から

呼び出し式 expr(args) に出会ったとき、エンジンは概ね次の順で this を決めます。地の文では集合を {new, explicit, implicit, default} のようにインラインコードで書きます。

1. expr を評価して「呼ばれる関数」と「参照のベース」を得る
   - obj.method の形なら base = obj（暗黙束縛の候補）
   - 単なる識別子なら base なし
2. 関数がアローなら → 捕捉済みの [[ThisValue]] を使い、以降は無視して終了
3. new 経由なら → 新オブジェクトを生成し this に（最優先）
4. bind 済みなら → 固定した this を使う（ただし new には負ける）
5. base があれば → base を this に（暗黙束縛）
6. どれでもなければ → strict:undefined / 非strict:globalThis（既定束縛）

ここで効くのが 参照（Reference） という内部概念です。obj.method という式は、評価の途中では「値（関数）＋ベース（obj）」をひとまとめにした参照として扱われ、() を付けて呼ぶ瞬間にベースが this へ供給されます。const f = obj.method のように 一度変数へ代入すると参照がただの関数値に縮退し、ベース情報が失われる ――だから暗黙束縛が消えるのです。this の決定は実行時の最適化対象でもあり、形が安定するほど速くなる事情は JavaScriptエンジンの内部 に通じます。

まとめ