聊聊有關declare(strict_types=1)的有效範圍

本文要為大家介紹關於declare(strict_types=1)的有效範圍，希望對需要的朋友有幫助！

關於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 &#39;A.php&#39;;
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 &#39;A.php&#39;;
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 &#39;B.php&#39;;
var_dump(add(1.0, 2.0));
var_dump(add2(1.0, 2.0));

B.php

<?php
declare(strict_types=1);    //在函数定义部分声明
require_once &#39;A.php&#39;;
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 &#39;B.php&#39;;
var_dump(add2(1.0, 2.0));

B.php

<?php
require_once &#39;A.php&#39;;
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(); // 执行非严格模式
    }
}

推薦學習：《

PHP影片教學》

以上是聊聊有關declare(strict_types=1)的有效範圍的詳細內容。更多資訊請關注PHP中文網其他相關文章！