上個月下旬PHP社區發布是PHP8第一個，正式版本也將于今年年底發布。PHP8帶來來那個兩個最令人激動的特性：JIT和match表達式。

本文我們要說另一個新引入的語法match表達式語法，可以說是PHP 8引入的最好的功能之一，它使用類似switch的語法。

基本功能

$status = match($request_method) { 
'post' => $this->handlePost(), 
'get', 'head' => $this->handleGet(), 
default => throw new \Exception('Unsupported'), 
}; 

用switch...case做對比，要實現上面的功能，代碼要略繁瑣一點：

switch ($request_method) { 
case 'post': 
$status = $this->handlePost(); 
break; 
case 'get': 
case 'head': 
$status = $this->handleGet(); 
break; 
default: 
throw new \Exception('Unsupported'); 
}; 

相比switch， match會直接返回值，無需中間變量(比如上例中的$status)。

表達式可以返回一個值

在每個分支可以被分配給一個變量。

$name = match(2) { 
1 => 'One', 
2 => 'Two', 
}; 

不必再將返回值分配給其他中變量，匹配的語句返回值可直接從match表達式中返回。

可匹配多個條件

match表達式可能包含一個或多個匹配條件，它們的行為類似于塊中的多個級聯case鍵switch。

match($request_method) { 
'post' => $this->handlePost(), 
'get', 'head' => $this->handleGet(), 
}; 

滿足$request_method === 'get'和$request_method === 'head'兩個條件都會執行$this->handleGet()。

每個分支只能包含一個表達式

與switch可以包含任意數量的表達式的塊不同，一條match語句只能包含一個表達式。

match($name) { 
'XXX' => 
init(); 
doth(); 
}; 

上面的語法錯誤的。=>只能有一個表達式。

隱含的break

match表達式的每個匹配分支僅允許一個表達式，并且無需switch塊一樣的break。

switch ('test') {  
case 'test': 
$this->doTest ();  
case 'send':  
$this->sendmsg ();  
} 

在switch...caser容易犯的錯誤是忘記了break語句，這會使流程直接進入下一分支。在上面的switch塊中，缺少break;語句會使代碼$this->doTest()無法正常執行執行。

match ('test') { 
'test' => $this->doTest (), 
'send' => $this->sendmsg (), 
}; 

match表達式無需顯式break語句即可工作。它只執行一個match分支，并立即返回該值。

default分支

match語句支持一個default分支，該分支工作原理與switch...case塊中的default情況類似。如果沒有其他條件相匹配，將執行default match分支。

match ('DEF') { 
'aaa' => ..., 
'bbb' => ..., 
default => echo 'NO matching: ' . $name, 
}; 
 
// "NO matchin: DEFF" 

match表達式必須符合條件

switch如果沒有匹配case鍵，則block靜默進行代碼流。match表達式沒有。

在match表達式中，必須存在與表達式匹配的條件或default要處理的條件。如果沒有匹配項，而且為設置default分支，match表達式將會引發\UnhandledMatchError異常。

$value = 3; 
match($value) { 
1 => 'One', 
2 => 'Two', 
}; 

上面的代碼執行時候會拋出錯誤：

Fatal error: Uncaught UnhandledMatchError in ... 

match\UnhandledMatchError如果表達式中沒有匹配項，則表達式將引發異常。

\UnhandledMatchError是PHP 8中的新異常類，它擴展了\Error。有關所有PHP核心異常類的完整層次結構。

該類可以很容易地擴展：

class UnhandledMatchError extends \Error {} 

對非強制類型的嚴格匹配

match表達式中最重要的設計選擇之一是它對非強制類型的匹配。

function read(mixed $key): string { 
return match ($key) { 
1 => 'Integer 1', 
'1' => 'String 1', 
true => 'Bool true', 
[] => 'Empty array', 
[1] => 'Array [1]', 
}; 
} 
 
read(1); // "Integer 1" 
read('1'); // "String 1" 

在典型的switch塊中，其大小寫是松散匹配的，即與==。在match表達式中，所有匹配的分支都經過嚴格的比較(===)匹配。

在上面的代碼段中，每個單獨的分支都將匹配其值和類型。

匹配任意表達式

match 表達式允許給定值與表達式匹配。

match($httpst){ 
404 => 'Page not found', 
Response::REDIRECT => 'Redirect', 
$client->getCode() => 'Client Error', 
$response->getCode() => 'Response Error', 
default => 'Unknown error' 
}; 

表達式將按照其排列順序進行求值。

match表達式將嘗試$httpst按以下順序進行匹配：

1. $httpst === 404 
2. $httpst === Response::REDIRECT 
3. $httpst === $client->getCode() 
4. $httpst === $response->getCode() 
5. default 

如果找到正匹配，則將不會對其他分支進行嘗試，直接返回。

match VS switch

向后兼容性影響

match表達式是PHP 8中的新語法。使用match表達式的代碼在較舊的PHP版本中將不起作用。