PHP7标量类型声明RFC详解-PHP7

资源魔 2020-07-11 21:06:52 41 0

1、总结

该RFC倡议增加4种新的标量类型申明：int，float，string以及bool，这些类型申明将会以及PHP原来的机制放弃分歧的用法。RFC更保举给每个PHP文件，增加一句新的可选指令（declare(strict_type=1);），让同一个PHP文件内的全副函数挪用以及语句前往，都有一个“严格束缚”的标量类型申明反省。别的，正在开启严格类型束缚后，挪用拓展或许PHP内置函数正在参数解析失败，将孕育发生一个E_RECOVERABLE_ERROR级谬误。经过这两个特点，RFC心愿编写PHP可以变患上更精确以及文档化。

保举教程：《PHP教程》

2、细节

标量类型申明：

不增加新的保存字。int、float、string以及bool会被辨认为类型申明，同时制止用作class/interface/trait等的定名。新的用户标量类型申明，经过外部的Fast Parameter Parsing API完成。

strict_types/declare()指令

默许状况下，一切的PHP文件都处于弱类型校验模式。新的declare指令，经过指定strict_types的值（1或许0），1示意严格类型校验模式，作用于函数挪用以及前往语句；0示意弱类型校验模式。

declare(strict_types=1)必需是文件的第一个语句。假如这个语句呈现正在文件的其余中央，将会孕育发生一个编译谬误，块模式是被明白制止的。

相似于encoding指令，但没有同于ticks指令，strict_types指令只影响指定应用的文件，没有会影响被它蕴含（经过include等形式）出去的其余文件。该指令正在运转时编译，不克不及修正。它的运作形式，是正在opcode中设置一个标记位，让函数挪用以及前往类型反省合乎类型束缚。

参数类型申明

该指令影响全副的函数挪用，例如（严格校验模式）：

<?php
declare(strict_types=1);
 
foo(); // strictly type-checked function call
 
function foobar() {
    foo(); // strictly type-checked function call
}
 
class baz {
    function foobar() {
        foo(); // strictly type-checked function call
    }
}

比照（弱校验模式）

<?php
foo(); // weakly type-checked function call
 
function foobar() {
    foo(); // weakly type-checked function call
}
 
class baz {
    function foobar() {
        foo(); // weakly type-checked function call
    }
}

前往类型申明：

指令会影响同一个文件下的一切函数的前往类型. 例如（严格校验模式）:

<?php
declare(strict_types=1);
 
function foobar(): int {
    return 1.0; // strictly type-checked return
}
 
class baz {
    function foobar(): int {
        return 1.0; // strictly type-checked return
    }
}

<?php
 
function foobar(): int {
    return 1.0; // weakly type-checked return
}
 
class baz {
    function foobar(): int {
        return 1.0; // weakly type-checked return
    }
}

弱类型校验行为：

一个弱类型校验的函数挪用，以及PHP7以前的PHP版本是分歧的（包罗拓展以及PHP内置函数）。通常，弱类型校验规定关于新的标量类型申明的解决是相反的，然而，惟一的破例是对NULL的解决。为了以及咱们现有类、挪用、数组的类型申明放弃分歧，NULL没有是默许的，除了非它作为一个参数而且被显式赋值为NULL。

为了给没有相熟PHP现有的弱标量参数类型规定的读者，提供冗长的总结。表格展现没有同类型可以承受以及转换的标量类型申明，NULL、arrays以及resource不克不及承受标量类型申明，因而没有正在表格内。

*只有范畴正在PHP_INT_MIN以及PHP_INT_MAX内的non-NaN float类型能够承受。（PHP7新增，可查看ZPP Failure on Overflow RFC）
?Non-numeric型字符串没有被承受，Numeric型字符串尾随字符串的，也能够被承受，然而会孕育发生一个notice。

?仅当它有__toString办法时能够。

严格类型校验行为：

严格的类型校验挪用拓展或许PHP内置函数，会扭转zend_parse_parameters的行为。特地留意，失败的时分，它会孕育发生E_RECOVERABLE_ERROR而没有是E_WARNING。它遵照严格类型校验规定，而没有是传统的弱类型校验规定。严格类型校验规定长短常间接的：只有当类型以及指定类型申明婚配，它才会承受，不然回绝。

有一个破例的是，广泛类型转换是容许int变成float的，也就是说参数假如被申明为float类型，然而它依然能够承受int参数。

<?php
declare(strict_types=1);
 
function add(float $a, float $b): float {
    return $a + $b;
}
 
add(1, 2); // float(3)

正在这类场景下，咱们通报一个int参数给到界说承受float的函数，这个参数将会被转换为float。除了此以外的转换，都是没有被容许的。

3、例子：

让咱们创立一个函数，让2个数相加。

add.php

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

假如正在离开的文件，咱们能够挪用add函数经过弱类型的形式

<?php
require "add.php";
 
var_dump(add(1, 2)); // int(3)
// floats are truncated by default
var_dump(add(1.5, 2.5)); // int(3)
 
//strings convert if there's a number part
var_dump(add("1", "2")); // int(3)

默许状况下，弱类型申明容许应用转换，通报出来的值会被转换。

<?php
require "add.php";
 
var_dump(add("1 foo", "2")); // int(3)
// Notice: A non well formed numeric value encountered

然而，经过可抉择指令declare开启严格类型校验后，正在这个场景下，相反的挪用将会失败。

<?php
declare(strict_types=1);
 
require "add.php";
 
var_dump(add(1, 2)); // int(3)
 
var_dump(add(1.5, 2.5)); // int(3)
// Catchable fatal error: Argument 1 passed to add() must be of the type integer, float given

指令影响同一个文件下的一切函数挪用，不论这个被调函数能否正在这个文件内界说的，城市采纳严格类型校验模式。

<?php
declare(strict_types=1);
 
$foo = substr(52, 1);
// Catchable fatal error: substr() expects parameter 1 to be string, integer given

标量类型申明也能够用于前往值的严格类型校验：

<?php
 
function foobar(): int {
    return 1.0;
}
 
var_dump(foobar()); // int(1)

正在弱类型模式下，float被转为integer。

<?php
declare(strict_types=1);
 
function foobar(): int {
    return 1.0;
}
 
var_dump(foobar());
// Catchable fatal error: Return value of foobar() must be of the type integer, float returned

4、布景以及实践根底

汗青

PHP从PHP5.0开端曾经有对支持class以及interface参数类型申明，PHP5.1支持array和PHP5.4支持callable。这些类型申明让PHP正在执行的时分传入正确的参数，让函数署名具备更多的信息。

先前已经想增加标量类型申明，例如Scalar Type Hints with Casts RFC，由于各类缘由失败了：

（1）类型转换以及校验机制，关于拓展以及PHP内置函数没有婚配。

（2）它遵照一个弱类型办法。

（3）它的“严格”弱类型修正测验考试，既不餍足严格类型的粉丝希冀，也不餍足弱类型的粉丝。

这个RFC测验考试处理全副成绩。

弱类型以及强类型

正在古代编程言语的实际使用中，有三种次要的办法去反省参数以及前往值的类型：

（1）全严格类型反省（也就是没有会有类型转换发作）。例如F#、GO、Haskell、Rust以及Facebook的Hack的用法。

（2）宽泛原始类型反省（“平安”的类型转换会发作）。例如Java、D以及Pascal。他们容许宽泛原始类型转换（隐式转换），也就是说，一个8-bit的integer能够依据函数参数需求，被隐形转换为一个16-bit的integer，并且int也能够被转换为float的浮点数。其余类型的隐式转换则没有被容许。

（3）弱类型反省（容许一切类型转换，可能会惹起正告），它被无限制地应用正在C、C#、C++以及Visual Basic中。它们测验考试尽可能“没有失败”，实现一次转换。

PHP正在zend_parse_parameters的标量外部解决机制是采纳了弱类型模式。PHP的工具解决机制采纳了宽泛类型反省形式，其实不谋求准确婚配以及转换。

每一个办法各有其优缺陷。

这个提案中，默许采纳弱类型校验机制，同时追加一个开关，容许转换为宽泛类型校验机制（也就是严格类型校验机制）。

为何二者都支持？

今朝为止，年夜局部的标量类型申明的反对者都要求同时支持严格类型校验以及弱类型校验，并不是仅仅支持此中一种。这份RFC，使患上弱类型校验为默许行为，同时，增加一个可选的指令来应用严格类型校验（同一个文件中）。正在这个抉择的面前，有不少个缘由。

PHP社区很年夜一局部人看起来很喜爱全动态类型。然而，增加严格类型校验的标量类型申明将会惹起一些成绩：

（1）惹起显著的纷歧致性：拓展以及PHP内置函数对标量类型参数应用弱类型校验，然而，用户的PHP函数将会应用严格类型校验。

（2）相称一局部人更喜爱弱类型校验，其实不同意这个提案，他们可能会阻止它的施行。

（3）曾经存正在的代码应用了PHP的弱类型，它会遭到影响。假如要求函数增加标量类型申明到参数上，关于现有的代码库，这将年夜年夜添加复杂性，特地是关于库文件。

这里依然有相称于一局部人是喜爱弱类型校验的，然而，增加严格类型校验申明以及增加弱类型校验申明城市惹起一些成绩：

（1）年夜局部偏向于严格类型校验的人将没有会喜爱这个提案，而后阻止它的施行。