當前位置：首頁 > 编程资源 > 综合教程 >内容正文

综合教程

聊聊有关declare(strict_types=1)的有效范围(OpenGL领域博主)

發(fā)布時間：2023/12/15 综合教程 22 生活家

生活随笔收集整理的這篇文章主要介紹了聊聊有关declare(strict_types=1)的有效范围(OpenGL领域博主) 小編覺得挺不錯的,現在分享給大家,幫大家做個參考.

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

關于declare(strict_types=1)的有效范圍

單個文件時`strict_types`應寫在哪里

基本語法


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

var_dump(add(1.0, 2.0));

登錄后復制

在此狀態(tài)下執(zhí)行獨立時，輸出int（3）

我們提供的是double類型，但php7能很好的處理它,和php5時代沒什么區(qū)別

做了如下變更


<?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

登錄后復制

執(zhí)行結果


$ php B.php
int(3)

登錄后復制

什么!!!!居然能夠執(zhí)行而不報錯!!!!!
原來是B.php并沒有聲明strict_types,所以對于B腳本來說,是默認的松散模式

也就是說,對于strict_types有以下的行為

不管怎么樣,函數定義時的嚴格模式,行為并不會出現什么不同
函數執(zhí)行時的,嚴格模式會出現差異
declare(strict_types=1);的語法本身在A.php文件中完成,而被B.php文件require,而B.php并沒有定義嚴格模式,那么執(zhí)行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

<?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;
}

登錄后復制登錄后復制登錄后復制

執(zhí)行結果如下


$ 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)); 能正確執(zhí)行
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

<?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)以嚴格模式執(zhí)行,但是由于沒有聲明變量,所以沒有任何效果
另一方面,具有add2()定義的B.php處于非嚴格模式

總結

只有在寫declare的文件的執(zhí)行部分才會執(zhí)行嚴格模式,該文件中調用的其它函數(其它文件中的函數)也會被影響

也就是說,哪個文件寫了declare,哪個文件中的所有代碼就需要檢查,即使其中的代碼來自其它文件,同時,即使這個需要檢查的文件還被其它文件調用,也不改變該文件需要檢查的事實


Foo.php

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

class Foo
{
    private $bar;

    public function __construct()
    {
        $this->bar = new Bar; // 執(zhí)行嚴格模式
    }

    public function aaa()
    {
        $this->bar->aaa(); // 執(zhí)行嚴格模式
    }
}

登錄后復制


Bar.php

<?php
// 這個文件strict無效
class Bar
{
    private $moo;

    public function __construct()
    {
        $this->moo = new Moo; // 執(zhí)行非嚴格模式
    }

    public function aaa()
    {
        $this->moo->aaa(); // 執(zhí)行非嚴格模式
    }
}

登錄后復制

以上就是聊聊有關declare(strict_types=1)的有效范圍的詳細內容，更多請關注風君子博客其它相關文章！

综合教程

聊聊有关declare(strict_types=1)的有效范围(OpenGL领域博主)

單個文件時strict_types應寫在哪里

基本語法

strict_types不能寫在腳本中間

兩個文件時strict_types如何產生作用

三個文件時declare(strict_types=1);的作用

在函數定義部分使用declare(strict_types=1);

在主體部分中指定strict_types

總結

總結

單個文件時`strict_types`應寫在哪里

`strict_types`不能寫在腳本中間

兩個文件時`strict_types`如何產生作用

三個文件時`declare(strict_types=1);`的作用

在函數定義部分使用`declare(strict_types=1);`