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异常。
原文:
https://segmentfault.com/a/1190000004150197