摘要：以上例程會輸出返回值類型聲明增加了對返回類型聲明的支持。整數除法函數從移植到可為空類型參數以及返回值的類型現在可以通過在類型前加上一個問號使之允許為空。對于函數來說，不是一個合法的返回值。對于返回值，子類可以拓寬父類的或對象返回值類型到。

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

在之前的 PHP 版本中， 必須使用靜態值來定義常量，聲明屬性以及指定函數參數默認值。 現在你可以使用包括數值、字符串字面量以及其他常量在內的數值表達式來 定義常量、聲明屬性以及設置函數參數默認值。

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

使用 ... 運算符定義變長參數函數
現在可以不依賴 func_get_args()， 使用 ... 運算符 來實現 變長參數函數。

以上例程會輸出：
$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中，這被稱為連接運算符。

以上例程會輸出：
6

use function 以及 use const
use 運算符 被進行了擴展以支持在類中導入外部的函數和常量。 對應的結構為 use function 和 use const。

以上例程會輸出：
42
NameSpacef

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

二、從PHP 5.6.x 移植到 PHP 7.0.x
標量類型聲明
標量類型聲明 有兩種模式: 強制 (默認) 和 嚴格模式。 現在可以使用下列類型參數（無論用強制模式還是嚴格模式）： 字符串(string), 整數 (int), 浮點數 (float), 以及布爾值 (bool)。

以上例程會輸出：
int(9)

返回值類型聲明
PHP 7 增加了對返回類型聲明的支持。 類似于參數類型聲明，返回類型聲明指明了函數返回值的類型。可用的類型與參數聲明中可用的類型相同。

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

太空船操作符（組合比較符）
太空船操作符用于比較兩個表達式。當$a小于、等于或大于$b時它分別返回-1、0或1。 比較的原則是沿用 PHP 的常規比較規則進行的。
 "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() 現在有著更好的性能，簡短干練的暫時綁定一個方法到對象上閉包并調用它。
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 5.5 版本中引入的生成器特性構建的。 它允許在生成器函數中通過使用 return 語法來返回一個表達式 （但是不允許返回引用值）， 可以通過調用 Generator::getReturn() 方法來獲取生成器的返回值， 但是這個方法只能在生成器完成產生工作以后調用一次。
整數除法函數 intdiv()

從PHP 7.0.x 移植到 PHP 7.1.x
可為空（Nullable）類型
參數以及返回值的類型現在可以通過在類型前加上一個問號使之允許為空。 當啟用這個特性時，傳入的參數或者函數返回的結果要么是給定的類型，要么是 null 。

以上例程會輸出：
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 不是一個合法的返回值。

以上例程會輸出：
null
int(2)
int(1)


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

類常量可見性
現在起支持設置類常量的可見性。

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

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

list()現在支持鍵名
現在list()和它的新的[]語法支持在它內部去指定鍵名。這意味著它可以將任意類型的數組 都賦值給一些變量（與短數組語法類似）
 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）返回任何對象類型。

允許重寫抽象方法(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,
};