关于declare(strict_types=1)的有效范围

declare(strict_type=1);是php7引入的 严格类型检查模式的指定语法

单个文件时strict_types应写在哪里

基本语法

<?php
function add(int $a, int $b): int
{
    return $a + $b;
}

var_dump(add(1.0, 2.0));

在此状态下执行独立时，输出int（3）

咱们提供的是double类型，但php7能很好的处理它,和php5时代没什么区别

作了以下变动

<?php
declare(strict_types=1);    //加入这句

function add(int $a, int $b): int
{
    return $a + $b;
}

var_dump(add(1.0, 2.0));

有TypeError产生,以下

PHP Fatal error:  Uncaught TypeError: Argument 1 passed to add() must be of the type integer, float given, called in /Users/hiraku/sandbox/stricttypes/A.php on line 9 and defined in /Users/hiraku/sandbox/stricttypes/A.php:4
Stack trace:
#0 /Users/hiraku/sandbox/stricttypes/A.php(9): add(1, 2)
#1 {main}
  thrown in /Users/hiraku/sandbox/stricttypes/A.php on line 4

strict_types不能写在脚本中间

declare语法不能写在脚本的中间,以下写法是错误的

<?php
function add(int $a, int $b): int
{
    return $a + $b;
}

declare(strict_types=1);

var_dump(add(1.0, 2.0));

产生以下错误

PHP Fatal error:  strict_types declaration must be the very first statement in the script in /Users/hiraku/sandbox/stricttypes/A.php on line 7

Fatal error产生,这甚至不是Throwable,而是编译过程当中产生的错误

一样,与上述例子类似的位置,也不能使用以下语法

<?php
declare(strict_types=1) {
  //...
}

PHP Fatal error:  strict_types declaration must not use block mode in /Users/hiraku/sandbox/stricttypes/A.php on line 2

两个文件时strict_types如何产生做用

以下代码

A.php脚本在开头声明严格模式

A.php脚本

<?php
declare(strict_types=1);
function add(int $a, int $b): int
{
    return $a + $b;
}

A.php被B.php文件require,以下

B.php脚本

<?php
require 'A.php';
var_dump(add(1.0, 2.0));    //注意这里键入的是1.0和2.0浮点数,而A.php声明须要int

执行结果

$ php B.php
int(3)

什么!!!!竟然可以执行而不报错!!!!!
原来是B.php并无声明strict_types,因此对于B脚原本说,是默认的松散模式

也就是说,对于strict_types有如下的行为

• 无论怎么样,函数定义时的严格模式,行为并不会出现什么不一样
• 函数执行时的,严格模式会出现差别
• declare(strict_types=1);的语法自己在A.php文件中完成,而被B.php文件require,而B.php并无定义严格模式,那么执行require的文件(B.php)不会变成严格模式

上述解释就如以下代码所示,理论上A.php文件的严格模式已经关闭了,然而仅仅是B.php文件设定了declare(strict_types=1);,那么即便A.php没有设定严格模式,但A.php被B.php引用了,就对A.php使用严格模式

A.php

<?php
function add(int $a, int $b): int
{
    return $a + $b;
}

B.php

<?php
declare(strict_types=1);

require 'A.php';
var_dump(add(1.0, 2.0));

$ php B.php
PHP Fatal error:  Uncaught TypeError: Argument 1 passed to add() must be of the type integer, float given, called in /Users/hiraku/sandbox/stricttypes/B.php on line 4 and defined in /Users/hiraku/sandbox/stricttypes/A.php:2

三个文件时declare(strict_types=1);的做用

在函数定义部分使用declare(strict_types=1);

再增长一个require,试试3个文件嵌套

C.php → B.php → A.php

C.php

<?php
require_once 'B.php';
var_dump(add(1.0, 2.0));
var_dump(add2(1.0, 2.0));

B.php

<?php
declare(strict_types=1);    //在函数定义部分声明
require_once 'A.php';
function add2($a, $b)
{
    return add($a, $b);
}

A.php

<?php
function add(int $a, int $b): int
{
    return $a + $b;
}

执行结果以下

$ php C.php 
int(3)
PHP Fatal error:  Uncaught TypeError: Argument 1 passed to add() must be of the type integer, float given, called in /Users/hiraku/sandbox/stricttypes/B.php on line 7 and defined in /Users/hiraku/sandbox/stricttypes/A.php:2

• var_dump(add(1.0, 2.0)); 能正确执行
• var_dump(add2(1.0, 2.0));产生TypeError错误

也就是说,declare(strict_types=1);会按照以下方式变化

• 定义函数自己的文件,并不能产生效果
• 在定义的函数中调用其它函数,严格模式能产生效果(B.php使用了strict_types=1,同时B.php调用了A.php,因此A.php能起做用)

在主体部分中指定strict_types

不在B.php中途位置指定strict_types,而在主要部分即C.php指定,strict模式对全部的都有效吗?然而,事实上strict模式只有在引用的地方有效

C.php → B.php → A.php

C.php

<?php
declare(strict_types=1);    //主体部分声明
require_once 'B.php';
var_dump(add2(1.0, 2.0));

B.php

<?php
require_once 'A.php';
function add2($a, $b)
{
    return add($a, $b);
}

A.php

<?php
function add(int $a, int $b): int
{
    return $a + $b;
}

$ php C.php 
int(3)

• C.php中使用strict_types=1,所以add2(1.0,2.0)以严格模式执行,可是因为没有声明变量,因此没有任何效果
• 另外一方面,具备add2()定义的B.php处于非严格模式

总结

只有在写declare的文件的执行部分才会执行严格模式,该文件中调用的其它函数(其它文件中的函数)也会被影响

也就是说,哪一个文件写了declare,哪一个文件中的全部代码就须要检查,即便其中的代码来自其它文件,同时,即便这个须要检查的文件还被其它文件调用,也不改变该文件须要检查的事实

Foo.php

<?php
// 这个文件的strict有效
declare(strict_types=1);

class Foo
{
    private $bar;

    public function __construct()
    {
        $this->bar = new Bar; // 执行严格模式
    }

    public function aaa()
    {
        $this->bar->aaa(); // 执行严格模式
    }
}

Bar.php

<?php
// 这个文件strict无效
class Bar
{
    private $moo;

    public function __construct()
    {
        $this->moo = new Moo; // 执行非严格模式
    }

    public function aaa()
    {
        $this->moo->aaa(); // 执行非严格模式
    }
}