php7 strict type,上手并过渡到PHP7（2）——必须传递int, string, bool参数？没问题

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的例子：

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，让函数得以正常执行。当然，方便总是有代价的，因为类型转换有时会导致精度丢失。我们来看一些常见的例子：

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异常：

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函数的返回值，像下面这样：

function divisible(int $dividend, int $divider): int {

return $dividend / $divider;

}

divisible(6, 3);

divisible(6, 4);

Return type hints对类型的处理，和参数使用的规则是相同的。默认采用coersive type，当开启strict type之后，不满足约定的类型将会导致\TypeError异常。