PHP 8.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(), 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版本中将不起作用。