PHP 類型系統演進：從類型提示到嚴格標量聲明

PHP 類型約束經歷了三個階段：無類型 → 類/接口/數組/可調用類型提示 (PHP 5) → 標量類型聲明 (PHP 7) → 聯合類型、混合類型 (PHP 8)。本文系統梳理類型約束機制與 SPL Types 擴展方案。

原生類型提示 (PHP 5.0+)

<?php
class Test {
    // 支持的類型：類名、接口名、array、callable
    public function testArray(array $arr) { print_r($arr); }
    public function testClass(Test1 $obj = null) { print_r($obj); }
    public function testCallable(callable $cb, $data) { call_user_func($cb, $data); }
    public function testInterface(Traversable $it) { echo get_class($it); }
    
    // PHP 7.0+ 標量類型聲明
    public function testScalar(int $id, string $name, float $price, bool $active) {}
    
    // PHP 7.0+ 返回類型聲明
    public function getName(): string { return 'name'; }
    public function getUser(): ?User { return null; } // 可空類型
}

class Test1 {}
$t = new Test();
$t->testArray([1,2,3]);
$t->testClass(new Test1());
$t->testCallable('var_dump', 'hello');
$t->testInterface(new ArrayObject());
?>

標量類型聲明模式對比 (PHP 7.0+)

模式	聲明	行為	適用場景
弱類型 (默認)	function foo(int $a)	自動轉換：foo("123") → int(123)	一般應用，兼容性好
嚴格模式	declare(strict_types=1); function foo(int $a)	嚴格匹配：foo("123") → TypeError	核心庫、關鍵業務、API 契約

<?php
// 嚴格模式必須放在文件第一行
declare(strict_types=1);

function add(int $a, int $b): int {
    return $a + $b;
}

add(1, 2);     // 3
add(1.5, 2.5); // TypeError: float 傳給 int
add("1", "2"); // TypeError: string 傳給 int
?>

SPL Types 擴展：PHP 5 時代的標量類型對象方案

PECL 擴展 spl_types 將標量封裝為對象，實現運行時類型強制：

<?php
// 安裝: pecl install SPL_Types

$int = new SplInt(94);
echo $int; // 94

try {
    $int = 'Try to cast string'; // 嘗試賦值字符串
} catch (UnexpectedValueException $e) {
    echo $e->getMessage(); // Value not an integer
}

echo $int; // 94 (原值保持不變)

// 其他類型
$float = new SplFloat(3.14);
$bool  = new SplBool(true);
$enum  = new SplEnum(['apple', 'banana', 'orange']);
$enum->apple; // 0
$string = new SplString('hello');
?>

現代 PHP 類型系統全景 (PHP 8.0+)

<?php
// 聯合類型
function process(int|float $number): string|array|null {}

// 混合類型
function debug(mixed $data): void {}

// 交集類型 (PHP 8.1+)
function serialize(Countable&JsonSerializable $obj): string {}

// never 返回類型 (PHP 8.1+)
function throwException(): never {
    throw new Exception();
}

// readonly 屬性 (PHP 8.1+)
class DTO {
    public function __construct(
        public readonly string $id,
        public readonly string $name
    ) {}
}
?>

最佳實踐建議

1. 新項目強制嚴格模式：所有文件首行 declare(strict_types=1);
2. 盡可能具體：優先使用具體類/接口，而非 object 或 mixed
3. 返回類型聲明：所有公共方法必須聲明返回類型
4. 避免過度設計：簡單腳本、模板文件可不嚴格
5. 第三方庫兼容：邊界層做類型轉換適配

性能影響

• 類型檢查在 C 層執行，性能開銷微乎其微
• SPL Types 創建對象開銷較大，高頻調用慎用
• 嚴格模式編譯期優化更好 (JIT 友好)