php7类型约束的意义

在PHP7之前，函数和类方法不需要声明变量类型，任何数据都可以被传递和返回，导致几乎大部分的调用操作都要判断返回的数据类型是否合格。

为了解决这个问题，PHP7引入了类型声明。

目前有两类变量可以声明类型： 形参，返回值。

支持的类型有整形，浮点型，字符串型，布尔型。

如下代码：

<?php
function study(int $get)
{
    return $get;
}
var_dump(study('ddd'));

为了节省代码篇幅，为就不写OOP了，直接以函数为例。

此函数指定了参数类型为int， 而调用的时候传入'ddd'字符串，因此此代码运行会产生Fatal error错误。

而有些情况，PHP总是不那么认真，如下：

<?php
function study(bool $get)
{
    return $get;
}
var_dump(study('ddd'));

指定参数类型为bool，但是传入的字符串被转化成了true，运行后输出的结果为：bool(true)

如要强制性约束类型，可在文件头部添加declare声明：

<?php
declare(strict_types = 1);
function study(bool $get)
{
    return $get;
}
var_dump(study('ddd'));

此时也会产生一个致命错误，因为指定的参数类型为bool但是传入的参数类型为string，只有把'ddd'换成true和false才可以，哪怕是1或0都不行。

接下来介绍一下返回类型声明:

<?php
declare(strict_types = 1);
function study(bool $get) : int
{
    return (int)$get;
}
var_dump(study(true));

形参的括号后面加冒号加类型即可指定方法返回值的类型，指定了什么类型返回的就是什么类型。

同样受declare影响，

如果不做类型强制约束，那么PHP会将返回的数据转化为指定类型的数据再返回，目前差不多只有string无法强转为int才会报错。

如果指定了强制约束，那么PHP将不会进行类型转换，而是进行对比，如类型不同，则报错。

还有，返回值类型，也可指定对象名，则必须返回指定对象的实例，如：

<?php
declare(strict_types=1);

class A
{
    private function __construct($name)
    {
        $this->name = $name;
    }

    static function instance(string $name): A
    {
        return new self($name);
    }
}
var_dump(A::instance('jackie'));

这是PHP7的新特性之一：类型声明。

链接：https://www.php.cn/topic/php7/434818.html