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能起作用)
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(); // 执行非严格模式 } }