上手并过渡到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的例子：

<?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异常。