PHP5.5 ~ PHP7.2 新特性整理

白菜1031發表於2019-02-16
PHP

PHP5.5 ~ PHP7.2 新特性整理

官方文件：http://php.net/manual/zh/appe…

一、從PHP 5.5.x 移植到 PHP 5.6.x

使用表示式定義常量

在之前的 PHP 版本中， 必須使用靜態值來定義常量，宣告屬性以及指定函式引數預設值。 現在你可以使用包括數值、字串字面量以及其他常量在內的數值表示式來 定義常量、宣告屬性以及設定函式引數預設值。

<?php
const ONE = 1;
const TWO = ONE * 2;

class C {
    const THREE = TWO + 1;
    const ONE_THIRD = ONE / self::THREE;
    const SENTENCE = `The value of THREE is `.self::THREE;
}

現在可以通過 const 關鍵字來定義型別為 array 的常量。

<?php
const ARR = [`a`, `b`];

echo ARR[0];

使用 ... 運算子定義變長引數函式

現在可以不依賴 func_get_args()， 使用 … 運算子 來實現 變長引數函式。

<?php
function f($req, $opt = null, ...$params) {
    // $params 是一個包含了剩餘引數的陣列
    printf(`$req: %d; $opt: %d; number of params: %d`."
",
           $req, $opt, count($params));
}

f(1);
f(1, 2);
f(1, 2, 3);
f(1, 2, 3, 4);
?>

以上例程會輸出：

$req: 1; $opt: 0; number of params: 0
$req: 1; $opt: 2; number of params: 0
$req: 1; $opt: 2; number of params: 1
$req: 1; $opt: 2; number of params: 2

使用 ... 運算子進行引數展開

在呼叫函式的時候，使用 … 運算子， 將 陣列 和 可遍歷 物件展開為函式引數。 在其他程式語言，比如 Ruby中，這被稱為連線運算子。

<?php
function add($a, $b, $c) {
    return $a + $b + $c;
}

$operators = [2, 3];
echo add(1, ...$operators);
?>

以上例程會輸出：

6

use function 以及 use const

use 運算子 被進行了擴充套件以支援在類中匯入外部的函式和常量。 對應的結構為 use function 和 use const。

<?php
namespace NameSpace {
    const FOO = 42;
    function f() { echo __FUNCTION__."
"; }
}

namespace {
    use const NameSpaceFOO;
    use function NameSpacef;

    echo FOO."
";
    f();
}
?>

以上例程會輸出：

42
NameSpacef

使用 hash_equals() 比較字串避免時序攻擊

二、從PHP 5.6.x 移植到 PHP 7.0.x

標量型別宣告

標量型別宣告 有兩種模式: 強制 (預設) 和 嚴格模式。 現在可以使用下列型別引數（無論用強制模式還是嚴格模式）： 字串(string), 整數 (int), 浮點數 (float), 以及布林值 (bool)。

<?php
// Coercive mode
function sumOfInts(int ...$ints)
{
    return array_sum($ints);
}

var_dump(sumOfInts(2, `3`, 4.1));

以上例程會輸出：

int(9)

返回值型別宣告

PHP 7 增加了對返回型別宣告的支援。 類似於引數型別宣告，返回型別宣告指明瞭函式返回值的型別。可用的型別與引數宣告中可用的型別相同。

<?php

function arraysSum(array ...$arrays): array
{
    return array_map(function(array $array): int {
        return array_sum($array);
    }, $arrays);
}

null合併運算子

由於日常使用中存在大量同時使用三元表示式和 isset()的情況， 我們新增了null合併運算子 (??) 這個語法糖。如果變數存在且值不為NULL， 它就會返回自身的值，否則返回它的第二個運算元。

<?php
// Fetches the value of $_GET[`user`] and returns `nobody` if it does not exist.
$username = $_GET[`user`] ?? `nobody`;
// This is equivalent to:
$username = isset($_GET[`user`]) ? $_GET[`user`] : `nobody`;

// Coalesces can be chained: this will return the first defined value out of $_GET[`user`], $_POST[`user`], and `nobody`.
$username = $_GET[`user`] ?? $_POST[`user`] ?? `nobody`;
?>

太空船操作符（組合比較符）

太空船操作符用於比較兩個表示式。當$a小於、等於或大於$b時它分別返回-1、0或1。 比較的原則是沿用 PHP 的常規比較規則進行的。

<?php
// 整數
echo 1 <=> `1`; // 0
echo 1 <=> 2; // -1
echo 2 <=> 1; // 1

// 浮點數
echo `1.50` <=> 1.5; // 0
echo 1.5 <=> 2.5; // -1
echo 2.5 <=> 1.5; // 1
 
// 字串
echo "a" <=> "a"; // 0
echo "a" <=> "b"; // -1
echo "b" <=> "a"; // 1
?>

通過 define() 定義常量陣列

Array 型別的常量現在可以通過 define() 來定義。在 PHP5.6 中僅能通過 const 定義。

define(`ANIMALS`, [
    `dog`,
    `cat`,
    `bird`
]);

echo ANIMALS[1]; // 輸出 "cat"

Closure::call()

Closure::call() 現在有著更好的效能，簡短幹練的暫時繫結一個方法到物件上閉包並呼叫它。

<?php
class A {private $x = 1;}

// PHP 7 之前版本的程式碼
$getXCB = function() {return $this->x;};
$getX = $getXCB->bindTo(new A, `A`); // 中間層閉包
echo $getX();

// PHP 7+ 及更高版本的程式碼
$getX = function() {return $this->x;};
echo $getX->call(new A);

以上例程會輸出：


1

分組 use 宣告

從同一 namespace 匯入的類、函式和常量現在可以通過單個 use 語句 一次性匯入了。

<?php

// PHP 7 之前的程式碼
use some
amespaceClassA;
use some
amespaceClassB;
use some
amespaceClassC as C;

use function some
amespacefn_a;
use function some
amespacefn_b;
use function some
amespacefn_c;

use const some
amespaceConstA;
use const some
amespaceConstB;
use const some
amespaceConstC;

// PHP 7+ 及更高版本的程式碼
use some
amespace{ClassA, ClassB, ClassC as C};
use function some
amespace{fn_a, fn_b, fn_c};
use const some
amespace{ConstA, ConstB, ConstC};
?>

生成器可以返回表示式

此特性基於 PHP 5.5 版本中引入的生成器特性構建的。 它允許在生成器函式中通過使用 return 語法來返回一個表示式 （但是不允許返回引用值）， 可以通過呼叫 Generator::getReturn() 方法來獲取生成器的返回值， 但是這個方法只能在生成器完成產生工作以後呼叫一次。

整數除法函式 intdiv()

從PHP 7.0.x 移植到 PHP 7.1.x

可為空（Nullable）型別

引數以及返回值的型別現在可以通過在型別前加上一個問號使之允許為空。 當啟用這個特性時，傳入的引數或者函式返回的結果要麼是給定的型別，要麼是 null 。

<?php

function testReturn(): ?string
{
    return `elePHPant`;
}

var_dump(testReturn());

function testReturn(): ?string
{
    return null;
}

var_dump(testReturn());

function test(?string $name)
{
    var_dump($name);
}

test(`elePHPant`);
test(null);
test();

以上例程會輸出：

string(10) "elePHPant"
NULL
string(10) "elePHPant"
NULL
Uncaught Error: Too few arguments to function test(), 0 passed in...

Void 函式

一個新的返回值型別void被引入。 返回值宣告為 void 型別的方法要麼乾脆省去 return 語句，要麼使用一個空的 return 語句。 對於 void 函式來說，NULL 不是一個合法的返回值。

<?php
function swap(&$left, &$right) : void
{
    if ($left === $right) {
        return;
    }

    $tmp = $left;
    $left = $right;
    $right = $tmp;
}

$a = 1;
$b = 2;
var_dump(swap($a, $b), $a, $b);

以上例程會輸出：

null
int(2)
int(1)

Symmetric array destructuring

短陣列語法（[]）現在作為list()語法的一個備選項，可以用於將陣列的值賦給一些變數（包括在foreach中）。

<?php
$data = [
    [1, `Tom`],
    [2, `Fred`],
];

// list() style
list($id1, $name1) = $data[0];

// [] style
[$id1, $name1] = $data[0];

// list() style
foreach ($data as list($id, $name)) {
    // logic here with $id and $name
}

// [] style
foreach ($data as [$id, $name]) {
    // logic here with $id and $name
}

類常量可見性

現在起支援設定類常量的可見性。

<?php
class ConstDemo
{
    const PUBLIC_CONST_A = 1;
    public const PUBLIC_CONST_B = 2;
    protected const PROTECTED_CONST = 3;
    private const PRIVATE_CONST = 4;
}

iterable 偽類

現在引入了一個新的被稱為iterable的偽類 (與callable類似)。 這可以被用在引數或者返回值型別中，它代表接受陣列或者實現了Traversable介面的物件。 至於子類，當用作引數時，子類可以收緊父類的iterable型別到array 或一個實現了Traversable的物件。對於返回值，子類可以拓寬父類的 array或物件返回值型別到iterable。

<?php
function iterator(iterable $iter) : iterable
{
    foreach ($iter as $val) {
        //
    }
}

多異常捕獲處理

一個catch語句塊現在可以通過管道字元(|)來實現多個異常的捕獲。 這對於需要同時處理來自不同類的不同異常時很有用。

<?php
try {
    // some code
} catch (FirstException | SecondException $e) {
    // handle first and second exceptions
}

list()現在支援鍵名

現在list()和它的新的[]語法支援在它內部去指定鍵名。這意味著它可以將任意型別的陣列 都賦值給一些變數（與短陣列語法類似）

<?php
$data = [
    ["id" => 1, "name" => `Tom`],
    ["id" => 2, "name" => `Fred`],
];

// list() style
list("id" => $id1, "name" => $name1) = $data[0];

// [] style
["id" => $id1, "name" => $name1] = $data[0];

// list() style
foreach ($data as list("id" => $id, "name" => $name)) {
    // logic here with $id and $name
}

// [] style
foreach ($data as ["id" => $id, "name" => $name]) {
    // logic here with $id and $name
}

從PHP 7.1.x 移植到 PHP 7.2.x

新的物件型別

這種新的物件型別, object, 引進了可用於逆變（contravariant）引數輸入和協變（covariant）返回任何物件型別。

<?php

function test(object $obj) : object
{
    return new SplQueue();
}

test(new StdClass());

允許重寫抽象方法(Abstract method)

當一個抽象類繼承於另外一個抽象類的時候，繼承後的抽象類可以重寫被繼承的抽象類的抽象方法。

abstract class A
{
    abstract function test(string $s);
}
abstract class B extends A
{
    // overridden - still maintaining contravariance for parameters and covariance for return
    abstract function test($s) : int;
}

擴充套件了引數型別

重寫方法和介面實現的引數型別現在可以省略了。不過這仍然是符合LSP，因為現在這種引數型別是逆變的。

interface A
{
    public function Test(array $input);
}

class B implements A
{
    public function Test($input){} // type omitted for $input
}

允許分組名稱空間的尾部逗號

名稱空間可以在PHP 7中使用尾隨逗號進行分組引入。

use FooBar{
    Foo,
    Bar,
    Baz,
};

相關文章