可空类型
可空类型主要用于参数类型声明和函数返回值声明。
主要的两种形式如下&＃xff1a;
return 42; // ok}function say(?string $msg) {
if ($msg) {
echo $msg;
}}
从例子很容易理解&＃xff0c;所指的就是通过 ? 的形式表明函数参数或者返回值的类型要么为指定类型&＃xff0c;要么为 null。
此方法也可用于接口函数的定义&＃xff1a;
但有一个需要注意的地方&＃xff1a;如果函数本身定义了参数类型并且没有默认值&＃xff0c;即使是可空的&＃xff0c;也不能省略&＃xff0c;否则会触发错误。如下&＃xff1a;
但是如果以上函数的参数定义为 ?Bar $bar &＃61; null 的形式&＃xff0c;则第三种写法也是可行的。因为&＃61; null 实际上相当于 ? 的超集&＃xff0c;对于可空类型的参数&＃xff0c;可以设定 null 为默认值。
list 的方括号简写
我们知道在 PHP5.4 之前只能通过 array() 来定义数组&＃xff0c;5.4之后添加了 [] 的简化写法(省略了5个字符还是很实在的)。 1, "b" &＃61;> 2, "c" &＃61;> 3); // 5.4 及之后$array &＃61; [1, 2, 3];$array &＃61; ["a" &＃61;> 1, "b" &＃61;> 2, "c" &＃61;> 3];
引申到另外一个问题上&＃xff0c;如果我们要把数组的值赋值给不同的变量&＃xff0c;可以通过 list 来实现&＃xff1a;
是否也可以通过 [] 的简写来实现呢&＃xff1f;
以及下一个特性中会提到的 list 指定 key&＃xff1a; $a, "b" &＃61;> $b, "c" &＃61;> $c] &＃61; $array;
PHP7.1 实现了这个特性。但是要注意的是&＃xff1a;出现在左值中的 [] 并不是数组的简写&＃xff0c;是list() 的简写。
但是并不仅仅如此&＃xff0c;新的 list() 的实现并不仅仅可以出现在左值中&＃xff0c;也能在 foreach 循环中使用&＃xff1a; $x, "y" &＃61;> $y]) {
var_dump($x, $y);
不过因为实现的问题&＃xff0c;list() 和 [] 不能相互嵌套使用&＃xff1a;
list([$a, $b], [$c, $d]) &＃61; [[1, 2], [3, 4]];
// 不合法
[list($a, $b), list($c, $d)] &＃61; [[1, 2], [3, 4]];
// 合法
[[$a, $b], [$c, $d]] &＃61; [[1, 2], [3, 4]];
允许在 list 中指定 key
上文提到过&＃xff0c;新的 list() 的实现中可以指定key&＃xff1a; 1, "b" &＃61;> 2, "c" &＃61;> 3];["a" &＃61;> $a, "b" &＃61;> $b, "c" &＃61;> $c] &＃61; $array;
这也就相当于&＃xff1a;
和以往的区别在于以往的 list() 的实现相当于 key 只能是 0, 1, 2, 3 的数字形式并且不能调整顺序。执行以下语句&＃xff1a; &＃39;1&＃39;, 2 &＃61;> &＃39;2&＃39;];
会得到 PHP error: Undefined offset: 0... 的错误。
而新的实现则可以通过以下方式来调整赋值&＃xff1a; $a, 2 &＃61;> $b) &＃61; [1 &＃61;> &＃39;1&＃39;, 2 &＃61;> &＃39;2&＃39;];
不同于数组的是&＃xff0c;list 并不支持混合形式的 key&＃xff0c;以下写法会触发解析错误&＃xff1a; $keyed) &＃61; $array;
更复杂的情况&＃xff0c;list 也支持复合形式的解析&＃xff1a;
["x" &＃61;> 1, "y" &＃61;> 2],
["x" &＃61;> 2, "y" &＃61;> 1]];
list(list("x" &＃61;> $x1, "y" &＃61;> $y1), list("x" &＃61;> $x2, "y" &＃61;> $y2)) &＃61; $points;
$points &＃61; [
"first" &＃61;> [1, 2],
"second" &＃61;> [2, 1]];
list("first" &＃61;> list($x1, $y1),
"second" &＃61;> list($x2, $y2)) &＃61; $points;
以及循环中使用&＃xff1a;
["x" &＃61;> 1, "y" &＃61;> 2],
["x" &＃61;> 2, "y" &＃61;> 1]];
foreach ($points as list("x" &＃61;> $x, "y" &＃61;> $y)) {
echo "Point at ($x, $y)", PHP_EOL;}
void 返回类型
PHP7.0 添加了指定函数返回类型的特性&＃xff0c;但是返回类型却不能指定为 void&＃xff0c;7.1 的这个特性算是一个补充&＃xff1a;
以下两种情况都可以通过验证&＃xff1a;
定义返回类型为 void 的函数不能有返回值&＃xff0c;即使返回 null 也不行&＃xff1a;
return 1; // Fatal error: A void function must not return a value}
function returns_null(): void {
return null; // Fatal error: A void function must not return a value}
此外 void 也只适用于返回类型&＃xff0c;并不能用于参数类型声明&＃xff0c;或者会触发错误&＃xff1a;
类函数中对于返回类型的声明也不能被子类覆盖&＃xff0c;否则会触发错误&＃xff1a;
public function bar(): void {
}
}
class Foobar extends Foo{
public function bar(): array { // Fatal error: Declaration of Foobar::bar() must be compatible with Foo::bar(): void }}
类常量属性设定
这个特性说起来比较简单&＃xff0c;就是现在类中的常量支持使用 public、private 和 protected修饰了&＃xff1a;
// 常量默认为
public const PUBLIC_CONST &＃61; 0;
// 可以自定义常量的可见范围
private const PRIVATE_CONST &＃61; 0;
protected const PROTECTED_CONST &＃61; 0;
public const PUBLIC_CONST_TWO &＃61; 0;
// 多个常量同时声明只能有一个属性
private const FOO &＃61; 1, BAR &＃61; 2;}
此外&＃xff0c;接口(interface)中的常量只能是 public 属性&＃xff1a;
为了应对变化&＃xff0c;反射类的实现也相应的丰富了一下&＃xff0c;增加了 getReflectionConstant 和getReflectionConstants 两个方法用于获取常量的额外属性&＃xff1a;
const TEST_CONST &＃61; &＃39;test&＃39;;
}
$obj &＃61; new ReflectionClass( "testClass" );
$const &＃61; $obj->getReflectionConstant( "TEST_CONST" );
$consts &＃61; $obj->getReflectionConstants();
多条件 catch
在以往的 try ... catch 语句中&＃xff0c;每个 catch 只能设定一个条件判断&＃xff1a;
// Some code...
}
catch (ExceptionType1 $e) {
// 处理 ExceptionType1}
catch (ExceptionType2 $e) {
// 处理 ExceptionType2}
catch (Exception $e) { // ...}
新的实现中可以在一个 catch 中设置多个条件&＃xff0c;相当于或的形式判断&＃xff1a;
// Some code...}
catch (ExceptionType1 | ExceptionType2 $e) {
// 对于 ExceptionType1 和 ExceptionType2 的处理}
catch (Exception $e) { // ...}
以上就是PHP 7.1 新特性一览的内容&＃xff0c;更多相关内容请关注PHP中文网(www.php.cn)&＃xff01;
本文原创发布php中文网&＃xff0c;转载请注明出处&＃xff0c;感谢您的尊重&＃xff01;
京公网安备 11010802041100号