上个月下旬PHP社区发布是PHP8第一个,正式版本也将于今年年底发布。PHP8带来来那个两个最令人激动的特性:JIT和match表达式。关于PHP8 JIT有很多材料已经予以论述,我们不再赘述,参考鸟哥的blog(风雪之隅)文章可以学习。
本文我们要说另一个新引入的语法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',};
echo $name; // "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();};
上面的语法缺点的。=>只能有一个表达式。
隐含的breakmatch表达式的每个匹配分支仅许可一个表达式,并且无需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 === 4042. $httpst === Response::REDIRECT3. $httpst === $client->getCode()4. $httpst === $response->getCode()5. default
如果找到正匹配,则将不会对其他分支进行考试测验,直接返回。
match VS switch向后兼容性影响match表达式是PHP 8中的新语法。利用match表达式的代码在较旧的PHP版本中将不起浸染。