PHP8.0新功能之Match表示式的使用
上個月下旬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(),};
滿足$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',};
上面的程式碼執行時候會丟擲錯誤:
Fatalerror:UncaughtUnhandledMatchErrorin...
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版本中將不起作用。
到此這篇關於PHP8.0新功能之Match表示式的使用的文章就介紹到這了,更多相關PHP8.0 Match表示式內容請搜尋我們以前的文章或繼續瀏覽下面的相關文章希望大家以後多多支援我們!