令人期待的 PHP7.4

PHP 7.4 是下一个 PHP 7 的次要版本,预计将于 2019 年 11 月 28 日发布到 General Availability。让我们来了解下 PHP 7.4 新增的功能,这些新功能将使 PHP 更快,更可靠。

当然,更令我期待是 PHP 8。因为 JIT 的一些提议,已经获得批准,这可能成为 PHP 的又一个里程碑。

PHP 7.4 有什么新功能?

  • 支持数组内解包 - 数组扩展运算符
  • 箭头函数 2.0 (更加简短的闭包)
  • NULL 合并运算符
  • 弱引用
  • 协变返回和逆变参数
  • 预加载

数组表达式中引入 Spread 运算符

自PHP 5.6起可用,参数解包是将数组和Traversable解包为参数列表的语法。要解压一个数组或Traversable,必须以 ...(3点)为前缀,如下例所示:

  function test(...$args) { var_dump($args); }
  test(1, 2, 3);

然而PHP 7.4 RFC建议将此功能扩展到数组中去定义:

  $arr = [...$args];

Spread 运算符的第一个好处就是性能,RPC 文档指出:

Spread 运算符应该比 array_merge 拥有更好的性能。这不仅仅是 Spread 运算符是一个语法结构,而 array_merge 是一个方法。还是在编译时,优化了高效率的常量数组

Spread运算符的一个显着优点是它支持任何可遍历的对象,而该array_merge函数仅支持数组。

以下是数组中参数带有 Spread 运算符的示例:

  $parts = ['apple', 'pear'];
  $fruits = ['banana', 'orange', ...$parts, 'watermelon'];
  var_dump($fruits);

如果在PHP 7.3或更早版本中运行此代码,PHP会抛出一个Parse错误:

  Parse error: syntax error, unexpected '...' (T_ELLIPSIS), expecting ']' in /app/spread-operator.php on line 3

相反,PHP 7.4将返回一个数组

  array(5) {
    [0]=>
    string(6) "banana"
    [1]=>
    string(6) "orange"
    [2]=>
    string(5) "apple"
    [3]=>
    string(4) "pear"
    [4]=>
    string(10) "watermelon"
  }

RFC声明我们可以多次扩展同一个数组。此外,我们可以在数组中的任何位置使用Spread Operator语法,因为可以在spread运算符之前或之后添加常规元素。因此,以下代码将按预期工作:

  $arr1 = [1, 2, 3];
  $arr2 = [4, 5, 6];
  $arr3 = [...$arr1, ...$arr2];
  $arr4 = [...$arr1, ...$arr3, 7, 8, 9];

也可以将函数返回的数组作为参数,放到新数组中:

  function buildArray(){
    return ['red', 'green', 'blue'];
  }
  $arr1 = [...buildArray(), 'pink', 'violet', 'yellow'];

PHP 7.4输出以下数组:

  array(6) {
    [0]=>
    string(3) "red"
    [1]=>
    string(5) "green"
    [2]=>
    string(4) "blue"
    [3]=>
    string(4) "pink"
    [4]=>
    string(6) "violet"
    [5]=>
    string(6) "yellow"
  }

我们也可以使用生成器

  function generator() {
    for ($i = 3; $i <= 5; $i++) {
        yield $i;
    }
  }
  $arr1 = [0, 1, 2, ...generator()];

但不允许通过引用传递的方式。请考虑以下示例:

  $arr1 = ['red', 'green', 'blue'];
  $arr2 = [...&$arr1];

如果我们尝试通过传递引用的方式,PHP会抛出以下Parse错误:

  Parse error: syntax error, unexpected '&' in /app/spread-operator.php on line 3

如果第一个数组的元素是通过引用存储的,那么它们也通过引用存储在第二个数组中。这是一个例子:

  $arr0 = 'red';
  $arr1 = [&$arr0, 'green', 'blue'];
  $arr2 = ['white', ...$arr1, 'black'];

这是我们用PHP 7.4获得的:

  array(5) {
    [0]=>
    string(5) "white"
    [1]=>
    &string(3) "red"
    [2]=>
    string(5) "green"
    [3]=>
    string(4) "blue"
    [4]=>
    string(5) "black"
  }

箭头函数 2.0 (简短闭包)

在 PHP 中,匿名函数被认为是非常冗长且难以实现和难以维护的,RFC建议引入更简单,更清晰的箭头函数(或简短闭包)语法,这样我们就可以简洁地编写代码。

在 PHP 7.4 以前:

  function cube($n){
    return ($n * $n * $n);
  }
  $a = [1, 2, 3, 4, 5];
  $b = array_map('cube', $a);
  print_r($b);

PHP 7.4允许使用更简洁的语法,上面的函数可以重写如下:

  $a = [1, 2, 3, 4, 5];
  $b = array_map(fn($n) => $n * $n * $n, $a);
  print_r($b);

目前,由于语言结构,匿名函数(闭包)可以使用 use 继承父作用域中定义的变量,如下所示:

  $factor = 10;
  $calc = function($num) use($factor){
    return $num * $factor;
  };

但是在PHP 7.4中,父级作用域的值是通过隐式捕获的(隐式按值的作用域进行绑定)。所以我们可以用一行来完成一下这个函数:

  $factor = 10;
  $calc = fn($num) => $num * $factor;

父级作用域定义的变量可以用于箭头函数,它跟我们使用 use 是等价的,并且不可能被父级所修改。

新语法是对语言的一个很大改进,因为它允许我们构建更易读和可维护的代码。

NULL 合并运算符

由于日常使用中存在大量同时使用三元表达式和 isset()的情况, 我们添加了null合并运算符 (??) 这个语法糖。如果变量存在且值不为NULL, 它就会返回自身的值,否则返回它的第二个操作数。

  $username = $_GET['user'] ?? ‘nobody';

这段代码的作用非常简单:它获取请求参数并设置默认值(如果它不存在)。但是在 RFC 这个例子中,如果我们有更长的变量名称呢?

  $this->request->data['comments']['user_id'] = $this->request->data['comments']['user_id'] ?? 'value';

长远来看,这段代码可能难以维护。因此,旨在帮助开发人员编写更直观的代码,这个 RFC 建议引入 null合并等于运算符(null_coalesce_equal_operator)??=,所以我们可以敲下面这段代码来替代上面的这段代码:

  $this->request->data['comments']['user_id'] ??= ‘value’;

如果左侧参数的值为null,则使用右侧参数的值。

注意,虽然 coalesce运算符??是一个比较运算符,但??=它是赋值运算符。

类型属性 2.0

类型的声明,类型提示,以及指定确定类型的变量传递给函数或类的方法。其中类型提示是在 PHP5 的时候有的一个功能,PHP 7.2 的时候添加了 object 的数据类型。而 PHP7.4 更是增加了主类属性声明,看下面的例子:

  class User {
    public int $id;
    public string $name;
  }

除了 voidcallable 外,所有的类型都支持:

  public int $scalarType;
  protected ClassName $classType;
  private ?ClassName $nullableClassType;

为什么不支持 voidcallable?下面是 RFC 的解释

The void type is not supported, because it is not useful and has unclear semantics.
不支持void类型,是因为它没用,并且语义不清晰。

The callable type is not supported, because its behavior is context dependent.
不支持callable类型,因为其行为取决于上下文。

因此,我们可以放心使用 boolintfloatstringarrayobjectiterableselfparent,当然还有我们很少使用的 nullable 空允许 (?type)

所以你可以在 PHP7.4 中这样敲代码:

  // 静态属性的类型
  public static iterable $staticProp;

  // var 中声明属性
  var bool $flagl

  // 设置默认的值
  // 注意,只有 nullable 的类型,才能设置默认值为 null
  public string $str = "foo";
  public ?string $nullableStr = null;

  // 多个同类型变量的声明
  public float $x, $y;

如果我们传递不符合给定类型的变量,会发生什么?

  class User {
    public int $id;
    public string $name;
  }

  $user = new User;
  $user->id = 10;
  $user->name = [];

  // 这个会产生一个致命的错误
  Fatal error: Uncaught TypeError: Typed property User::$name must be string, array used in /app/types.php:9

弱引用

在这个 RFC 中,提议引入WeakReference 这个类,弱引用允许编码时保留对对象的引用,该引用不会阻止对象被破坏; 这对于实现类似于缓存的结构非常有用。

该提案的作者 Nikita Popov 给出的一个例子:

  $object = new stdClass;
  $weakRef = WeakReference::create($object);

  var_dump($weakRef->get());
  unset($object);
  var_dump($weakRef->get());

  // 第一次 var_dump
  object(stdClass)#1 (0) {}

  // 第二次 var_dump,当 object 被销毁的时候,并不会抛出致命错误
  NULL

协变返回和逆变参数

协变和逆变
百度百科的解释

  • Invariant(不变): 包好了所有需求类型
  • Covariant(协变):类型从通用到具体
  • Contravariant(逆变): 类型从具体到通用

    目前,PHP主要具有Invariant的参数类型,并且大多数是Invariant的返回类型,这就意味着当我是 T 参数类型或者返回类型时,子类也必须是 T 的参数类型或者返回类型。但是往往会需要处理一些特殊情况,比如具体的返回类型,或者通用的输入类型。

    RFC的这个提案就提议,PHP7.4 添加协变返回和逆变参数,以下是提案给出来的例子:

    协变返回:

    interface Factory {
      function make(): object;
    }
    
    class UserFactory implements Factory {
      // 将比较泛的 object 类型,具体到 User 类型
     function make(): User;
    }

    逆变参数:

    interface Concatable {
      function concat(Iterator $input); 
    }
    
    class Collection implements Concatable {
      // 将比较具体的 `Iterator`参数类型,逆变成接受所有的 `iterable`类型
      function concat(iterable $input) {/* . . . */}
    }

    预加载

    这个RFC 是由 Dmitry Stogov 提出的,预加载是在模块初始化的时候,将库和框架加载到OPCache中的过程,如下图所示

    PHP生命周期(图片来源:PHP Internals)

    引用他的原话:

    On server startup – before any application code is run – we may load a certain set of PHP files into memory – and make their contents “permanently available” to all subsequent requests that will be served by that server. All the functions and classes defined in these files will be available to requests out of the box, exactly like internal entities.

    服务器启动时 - 在运行任何应用程序代码之前 - 我们可以将一组PHP文件加载到内存中 - 并使得这些预加载的内容,在后续的所有请求中“永久可用”。这些文件中定义的所有函数和类在请求时,就可以开箱即用,与内置函数相同。

    预加载由 php.iniopcache.preload 进行控制。这个参数指定在服务器启动时编译和执行的PHP脚本。此文件可用于预加载其他文件,或通过opcache_compile_file()函数

    这在性能上有很大的提升,但是也有一个很明显的缺点,RFC 提出来了

    preloaded files remain cached in opcache memory forever. Modification of their corresponding source files won’t have any effect without another server restart.

    预加载的文件会被永久缓存在 opcache 内存中。在修改相应的源文件时,如果没有重启服务,修改就不会生效。

PHP7.4 又将废弃什么功能呢?

  • 更改连接运算符的优先级

更改连接运算符的优先级

目前,在PHP中 + , - 算术运算符和 . 字符串运算符是左关联的, 而且它们具有相同的优先级。例如:

  echo "sum: " . $a + $b;

在PHP 7.3 中,此代码生成以下警告:

  Warning: A non-numeric value encountered in /app/types.php on line 4

这是因为这段代码是从左往右开始的,所以等同于:

  echo ("$sum: " . $a) + $b;

针对这个问题,这个RFC建议更改运算符的优先级,使 . 的优先级低于 +- 这两个运算符,以便在字符串拼接之前始终执行加减法。所以这行代码应该等同于以下内容:

  echo "$sum: " . ($a + $b);

这个提案分为两步走:

  • 从 PHP7.4 开始,当遇见 + -. 在没有指明执行优先级时,会发出一个弃用通知。
  • 而真正调整优先级的这个功能,会在 PHP8 中执行

    弃用左关联三元运算符

    在PHP中,三元运算符与许多其他语言不同,它是左关联的。而根据Nikita Popof的所说:对于在不同语言之间切换的编程人员来说,会令他们感到困扰。

    比如以下的例子,在 PHP 中是正确的:

    $b = $a == 1 ? 'one' : $a == 2 ? 'two' : $a == 3 ? 'three' : 'other';

    它会被解释为:

    $b = (($a == 1 ? 'one' : $a == 2) ? 'two' : $a == 3) ? 'three' : 'other';

    对于这种复杂的三元表现形式,它很有可能不是我们希望的方式去工作,容易造成错误。因此,这个RFC 提议删除并弃用三元运算符的左关联使用,强制编程人员使用括号。

    这个提议分为两步执行:

  • 从 PHP7.4 开始,没有明确使用括号的嵌套三元组将抛出弃用警告。
  • 从PHP 8.0开始,将出现编译运行时错误。
本作品采用《CC 协议》,转载必须注明作者和本文链接
本帖由系统于 4年前 自动加精
讨论数量: 6

很好,很强大

4年前 评论

这是跟js学了吗?

4年前 评论

虽然前面几个有弄弄的es6的味道,但确实更方便了

4年前 评论

腾讯要是开发语言了,估计跟很多都很像吧。

4年前 评论

预加载的文件会被永久缓存在 opcache 内存中。在修改相应的源文件时,如果没有重启服务,修改就不会生效。

这个很坑吧

4年前 评论

讨论应以学习和精进为目的。请勿发布不友善或者负能量的内容,与人为善,比聪明更重要!