上個(gè)月下旬PHP社區(qū)發(fā)布是PHP8第一個(gè)，正式版本也將于今年年底發(fā)布。PHP8帶來(lái)來(lái)那個(gè)兩個(gè)最令人激動(dòng)的特性：JIT和match表達(dá)式。

本文我們要說(shuō)另一個(gè)新引入的語(yǔ)法match表達(dá)式語(yǔ)法，可以說(shuō)是PHP 8引入的最好的功能之一，它使用類似switch的語(yǔ)法。

基本功能

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

用switch...case做對(duì)比，要實(shí)現(xiàn)上面的功能，代碼要略繁瑣一點(diǎn)：

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

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

表達(dá)式可以返回一個(gè)值

在每個(gè)分支可以被分配給一個(gè)變量。

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

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

可匹配多個(gè)條件

match表達(dá)式可能包含一個(gè)或多個(gè)匹配條件，它們的行為類似于塊中的多個(gè)級(jí)聯(lián)case鍵switch。

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

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

每個(gè)分支只能包含一個(gè)表達(dá)式

與switch可以包含任意數(shù)量的表達(dá)式的塊不同，一條match語(yǔ)句只能包含一個(gè)表達(dá)式。

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

上面的語(yǔ)法錯(cuò)誤的。=>只能有一個(gè)表達(dá)式。

隱含的break

match表達(dá)式的每個(gè)匹配分支僅允許一個(gè)表達(dá)式，并且無(wú)需switch塊一樣的break。

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

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

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

match表達(dá)式無(wú)需顯式break語(yǔ)句即可工作。它只執(zhí)行一個(gè)match分支，并立即返回該值。

default分支

match語(yǔ)句支持一個(gè)default分支，該分支工作原理與switch...case塊中的default情況類似。如果沒(méi)有其他條件相匹配，將執(zhí)行default match分支。

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

match表達(dá)式必須符合條件

switch如果沒(méi)有匹配case鍵，則block靜默進(jìn)行代碼流。match表達(dá)式?jīng)]有。

在match表達(dá)式中，必須存在與表達(dá)式匹配的條件或default要處理的條件。如果沒(méi)有匹配項(xiàng)，而且為設(shè)置default分支，match表達(dá)式將會(huì)引發(fā)\UnhandledMatchError異常。

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

上面的代碼執(zhí)行時(shí)候會(huì)拋出錯(cuò)誤：

Fatal error: Uncaught UnhandledMatchError in ... 

match\UnhandledMatchError如果表達(dá)式中沒(méi)有匹配項(xiàng)，則表達(dá)式將引發(fā)異常。

\UnhandledMatchError是PHP 8中的新異常類，它擴(kuò)展了\Error。有關(guān)所有PHP核心異常類的完整層次結(jié)構(gòu)。

該類可以很容易地?cái)U(kuò)展：

class UnhandledMatchError extends \Error {} 

對(duì)非強(qiáng)制類型的嚴(yán)格匹配

match表達(dá)式中最重要的設(shè)計(jì)選擇之一是它對(duì)非強(qiáng)制類型的匹配。

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表達(dá)式中，所有匹配的分支都經(jīng)過(guò)嚴(yán)格的比較(===)匹配。

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

匹配任意表達(dá)式

match 表達(dá)式允許給定值與表達(dá)式匹配。

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

表達(dá)式將按照其排列順序進(jìn)行求值。

match表達(dá)式將嘗試$httpst按以下順序進(jìn)行匹配：

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

如果找到正匹配，則將不會(huì)對(duì)其他分支進(jìn)行嘗試，直接返回。

match VS switch

向后兼容性影響

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