PHP 類繼承 extends 深度解析：final、parent::、靜態綁定與範圍解析操作符實戰

核心語法速覽

class Child extends ParentClass {
    // 1. 單繼承：一個類只能 extends 一個父類
    // 2. 覆寫方法：同名方法會覆蓋父類，除非父類方法標記 final
    // 3. 訪問父類：parent::method() / parent::$property
    // 4. 構造函數：子類可擁有不同參數簽名（不受 E_STRICT 限制）
}

關鍵字 final：封閉擴展點

• final 方法：禁止子類覆寫。適用於核心邏輯、模板方法模式中的固定步驟。
• final 類：禁止被繼承。適用於工具類、值對象、不可變對象。
• 屬性不能用 final（PHP 8.2+ 引入 readonly 替代不可變屬性）。

class PaymentGateway {
    // 核心簽名算法，禁止子類篡改
    final protected function generateSignature(array $params): string {
        ksort($params);
        return hash_hmac('sha256', http_build_query($params), $this->secretKey);
    }
    
    // 模板方法：固定流程，子類只能實現抽象步驟
    final public function pay(float $amount): Result {
        $this->validate($amount);
        $signature = $this->generateSignature(['amount' => $amount]);
        return $this->sendRequest($signature);
    }
    
    abstract protected function validate(float $amount): void;
    abstract protected function sendRequest(string $signature): Result;
}

// class WeChatPay extends PaymentGateway { ... } // 合法
// class HackPay extends PaymentGateway { 
//     protected function generateSignature(...) { ... } // ❌ Fatal Error: Cannot override final method
// }

parent:: 與範圍解析操作符 (::)

:: 稱為「範圍解析操作符」（Paamayim Nekudotayim），用於：

1. 調用父類被覆寫的方法：parent::method()
2. 訪問靜態成員：ClassName::$staticProp、ClassName::CONSTANT
3. 晚期靜態綁定：static::$prop、static::method()（PHP 5.3+）
4. 類名解析：ClassName::class（PHP 5.5+）

parent:: 實戰：構造函數鏈與方法擴展

class BaseController {
    protected array $middleware = [];
    
    public function __construct() {
        $this->middleware = ['auth', 'log'];
    }
    
    public function execute(): void {
        echo "BaseController::execute\n";
    }
}

class ApiController extends BaseController {
    public function __construct() {
        parent::__construct();           // 必須顯式調用父構造函數
        $this->middleware[] = 'rate_limit'; // 擴展而非覆蓋
    }
    
    public function execute(): void {
        parent::execute();               // 調用父邏輯
        echo "ApiController::execute - JSON response\n";
    }
}

$ctrl = new ApiController();
$ctrl->execute();
// 輸出：
// BaseController::execute
// ApiController::execute - JSON response

靜態綁定陷阱：self vs static

這是繼承中最易踩的坑。

class ModelA {
    protected static string $table = 'model_a';
    
    public static function getTable(): string {
        return self::$table; // 編譯期綁定到 ModelA
    }
    
    public static function getTableLate(): string {
        return static::$table; // 運行期綁定到實際調用類
    }
}

class ModelB extends ModelA {
    protected static string $table = 'model_b';
}

echo ModelA::getTable();      // model_a
echo ModelB::getTable();      // model_a ❌ 期望 model_b
echo ModelA::getTableLate();  // model_a
echo ModelB::getTableLate();  // model_b ✅ 正確

規則： 靜態屬性/方法若需多態行為，**必須用 static::（晚期靜態綁定 LSB）**；self:: 永遠指向定義該代碼的類。

覆寫規則與簽名兼容（LSP 里氏替換原則）

進階：Trait 衝突解決與別名

雖非 extends，但常配合使用。同名方法衝突時用 insteadof 與 as：

trait Loggable { public function log(string $msg) { echo "[LOG] $msg\n"; } }
trait Debuggable { public function log(string $msg) { echo "[DEBUG] $msg\n"; } }

class Service {
    use Loggable, Debuggable {
        Debuggable::log insteadof Loggable; // 選用 Debug 版
        Loggable::log as logToFile;         // 別名保留 Log 版
    }
}

$svc = new Service();
$svc->log('hello');      // [DEBUG] hello
$svc->logToFile('file'); // [LOG] file

實戰檢查清單：Code Review 時必查項

• [ ] 是否濫用繼承？**組合優於繼承**（Composition over Inheritance），優先考慮接口 + 委託。
• [ ] 父類是否為抽象類或具體類？具體類繼承易破壞封裝，推薦「抽象基類 + 具體葉子類」。
• [ ] 覆寫方法是否調用 parent::？遺漏導致父類初始化邏輯缺失。
• [ ] 靜態屬性是否用 static::？避免 self:: 導致多態失效。
• [ ] 是否需要 final 封閉關鍵邏輯？防止意外覆寫。
• [ ] 構造函數參數是否過多？考慮 Builder 模式或依賴注入容器。

結語

extends 是雙刃劍：用好能構建清晰的「是一種」層次結構，用錯則產生脆弱的強耦合。**記住三原則：1) 單一職責，父類只做一件事；2) 開閉原則，對擴展開放（非 final）、對修改關閉（final 保護核心）；3) 里氏替換，子類能無縫替換父類。** 遇到「想繼承只為復用代碼」時，請改用 Trait 或組合。