Type hints, Type safe
泊学实操视频
泊学原文链接
PHP 7中最引人注目的新特性之一,无疑是Scalar type hints。我们可以在函数参数和返回值中使用scalar type hints,还可以指定scalar type的推导和匹配方式。
Scalar type hints
Type hints并不是什么新生事物,PHP 5.0第一次引入了type hints特性,允许我们指定函数的参数是一个特定class或interface类型。之后,在PHP 5.1中,我们可以指定参数是一个array type,在PHP 5.4中,我们可以指定参数是一个“可被调用(callable)”的类型(例如:function或Closure)。在经过了对RFC若干次的修改和讨论之后,PHP 7终于把scale type也加入到了type hint中。
PHP 7允许我们在type hints中使用下面这4种scalar type:
bool: true/false;
float: 表示浮点数类型;
int: 表示整数类型;
string: 表示字符串类型;
我们来看一个使用上面这些scalar type hints的例子:
<?php
function sendHttpResponse(int $statusCode, string $statusText) {
}
sendHttpResponse(200, "OK");
sendHttpResponse("404", "File not found");
对于上面的两个调用,是否满足sendHttpResponse的type hints,取决于我们对匹配方式的设置。
Coercive Type
这是PHP 7针对scalar type hints采取的默认方式,即尽可能尝试把参数转换成scalar type hints要求的类型。所以,在sendHttpResponse("404", "File not found")中,"404"会被转换成整数400,让函数得以正常执行。当然,方便总是有代价的,因为类型转换有时会导致精度丢失。我们来看一些常见的例子:
<?php
function coerciveInt(int $a) {
echo "a = ".$a;
}
coerciveInt(1.5); // 1
coerciveInt("100.1"); // 100
coerciveInt("100int"); // 100
function coerciveFloat(float $a) {
echo "a = ".$a;
}
coerciveFloat(1); // 1.0
coerciveFloat("3.14"); // 3.14
coerciveFloat("3.14PI"); // 3.14
在这里,要特别说一下bool类型,它和我们在C++中的处理逻辑类似,一切表达“空值”的概念,例如:0, 0.0, null, "0", ""(空字符串), [](空数组),$uninitializedVar(未经初始化的变量),都会被认为是false,除去这些情况之外的,则会被认为是true。
Strict Type
如果你不希望PHP 7执行上面的类型转换,要求类型严格匹配,你可以手动启用PHP 7的“严格模式”。在这个模式下,任何不严格匹配的类型都会导致抛出\TypeError异常。Strict type只能在web application的中使用,也就是说,如果你在编写一个library,你不能在你的代码里,开启strict type。
启用strict type很简单,在PHP代码中的第一行,写上declare(strict_types=1);。
*“PHP起始标记和declare(strict_types=1);之间,不能有任何内容,namespace必须紧跟在declare语句后面。”
特别提示*
我们来看一些例子,它们都会导致\TypeError异常:
<?php declare(strict_types=1);
function strictInt(int $a) {
echo "a = ".$a;
}
strictInt(1.5); // \TypeError
strictInt("100.1"); // \TypeError
strictInt("100int"); // \TypeError
function strictFloat(float $a) {
echo "a = ".$a;
}
strictFloat(1); // \TypeError
strictFloat("3.14"); // \TypeError
strictFloat("3.14PI"); // \TypeError
Return Type Hints
在PHP 7,我们除了可以type hint函数参数之外,还可以type hint函数的返回值,像下面这样:
<?php
function divisible(int $dividend, int $divider): int {
return $dividend / $divider;
}
divisible(6, 3);
divisible(6, 4);
Return type hints对类型的处理,和参数使用的规则是相同的。默认采用coersive type,当开启strict type之后,不满足约定的类型将会导致\TypeError异常。