PHP $this 變數深度解析：從詞法分析到執行期綁定

核心地位

$this 是 PHP 物件導向的核心偽變數，代表「目前執行方法所屬的物件實例」。它不是普通變數，在引擎層有特殊處理。

語法層面的特殊規則

1. 直接賦值會報錯

<?php
$this = 'text'; // Fatal Error: Cannot re-assign $this
?>

編譯器在生成 ZEND_ASSIGN opcode 時檢測到目標為 $this，直接拋錯。

2. 但可透過「變數變數」繞過編譯期檢查

<?php
$name = 'this';
$$name = 'text'; // 執行期成功將 $this 設為 'text'
echo $this; // 輸出 'text' (但此時 $this 已非物件，後續呼叫方法會崩潰)
?>

詞法分析器只見 $$name，不認得是 $this；執行期 ZEND_ASSIGN_DIM / ZEND_ASSIGN_VAR 才解析實際變數名，故繞過編譯期保護。

編譯期：Opcode 特殊標記

每個函式/方法編譯產生一個 zend_op_array，其中 this_var 欄位標記：

• 0：非物件方法（全域函式、靜態方法）
• >0：編譯期偵測到方法內使用 $this，記錄其 CV (Compiled Variable) 索引

靜態方法雖在類別內，但 this_var = 0，故無法使用 $this。

執行期：兩種儲存狀態

流程時序圖

1. new Foo() → ZEND_NEW 建立物件 → 指派給變數 $foo
2. $foo->method() → ZEND_INIT_METHOD_CALL 將物件指標存入 EG(This)
3. ZEND_DO_FCALL_BY_NAME 進入方法 → 建立 zend_execute_data
4. 初始化作用域符號表 → EG(This) 複製為 $this 存入 active_symbol_table
5. 方法內存取 $this->prop → 查 active_symbol_table['this'] → 取得物件 → 存取屬性
6. 方法返回 → 銷毀 execute_data、$this 從符號表移除

靜態方法與晚期靜態綁定 (LSB)

<?php
class A {
  public static function who() { echo 'A'; }
  public static function test() { self::who(); } // 編譯期綁定 A
  public static function testLSB() { static::who(); } // 執行期綁定
}

class B extends A {
  public static function who() { echo 'B'; }
}

B::test();    // A (self 綁定定義處類別)
B::testLSB(); // B (static 綁定實際調用類別)
?>

$this 僅存在於非靜態實例方法；靜態方法用 self、static、parent 存取靜態成員。

常見誤區與除錯

原始碼層級驗證 (PHP 8.3 摘錄)

// zend_compile.c - 編譯期檢查
void zend_check_this_assignment(zend_ast *ast) {
  if (ast->attr & ZEND_AST_IS_THIS) {
    zend_error_noreturn(E_COMPILE_ERROR, "Cannot re-assign $this");
  }
}

// zend_vm_execute.h - 執行期綁定
ZEND_VM_HANDLER(66, ZEND_INIT_METHOD_CALL, SPEC, SPEC) {
  zval *object = GET_OP1_ZVAL_PTR_UNDEF(BP_VAR_R);
  Z_OBJ_P(object)->handlers->get_object_ptr(object); // 取得物件指標
  EG(This) = Z_OBJ_P(object); // 存入全域
  // ... 後續在 zend_execute_ex() 中複製到 active_symbol_table
}

最佳實踐

1. 型別宣告：class Foo { public function bar(): self { return $this; } } 利用 IDE 靜態分析
2. 避免在建構子洩漏 $this：未完全初始化前傳遞 $this 給外部，可能導致不一致狀態
3. Closure 綁定：$fn = function() { return $this->id; }; $bound = Closure::bind($fn, $obj, $obj::class);
4. 測試雙模式：$this->db = $db ?? new RealDB(); 方便注入 Mock

結語

$this 看似簡單，實則貫穿 PHP 編譯器、虛擬機、物件模型核心。理解其「編譯期標記 → 執行期雙重綁定 → 作用域隔離」機制，能從根源解決「物件上下文遺失、靜態/非靜態混淆、Closure 綁定失效」等疑難雜症。