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

本文给大家介绍关于关于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 4strict_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.phpC.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.phpC.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(); // 执行非严格模式
}
}

php零基础到就业直播视频课:立即学习全程直播 + 实战授课 + 边学 + 边练 + 边辅导

PHP:declare的用法详解

原创2018-05-14 16:04:1910868 + php学习QQ群(点击入群)declare 结构用来设定一段代码的执行指令。declare 的语法和其它流程控制结构相似:

declare (directive) statement

directive 部分允许设定 declare 代码段的行为。目前只认识两个指令:ticks(更多信息见下面 ticks 指令)以及encoding(更多信息见下面 encoding 指令)。

Note: encoding 是 PHP 5.3.0 新增指令。

declare 代码段中的 statement 部分将被执行——怎样执行以及执行中有什么副作用出现取决于 directive 中设定的指令。

declare 结构也可用于全局范围,影响到其后的所有代码(但如果有 declare 结构的文件被其它文件包含,则对包含它的父文件不起作用)。

<?
declare (ticks = 1); //这句这么写表示全局的脚本都做处理
function foo() { //注册的函数
static $no;
$no++;
echo $no."======";
echo microtime()."\\n";
}
register_tick_function("foo"); //注册函数,后面可以跟第2个参数,表示函数的参数
$a = 1;
for($i=0;$i<5;$i++) { //这里的循环也是语句,会做一次判断$i<5的判断执行
$b = 1;
}
?>

declare 调试内部程序使用.先简单说明,declare这个函数只支持一个参数就是ticks,函数表示记录程序块,需配合register_tick_function 函数使用。ticks参数表示运行多少语句调用一次register_tick_function的函数。并且declare支持两种写法:1. declare(ticks = 1); 整个脚本2. declare(ticks = 1) { 内部的代码做记录…}上述代码除了 函数体内,外部都会被执行,运行可以看执行次数和时间. 他跟适合做测试代码段中每一步分的执行时间 和执行次数. declare 必须是全局的,放在程序外部.tick 代表一个事件,事件的定义是在register_tick_function;事件的执行频率是在(ticks=3)。表示事件频率是执行3个才记录一次. microtime() 的打印时间.

php零基础到就业直播视频课:立即学习全程直播 + 实战授课 + 边学 + 边练 + 边辅导

以上就是PHP:declare的用法详解的详细内容,更多请关注钦钦技术栈其它相关文章!

转载至:php中文网【www.php.cn】

版权声明:本文(即:原文链接:https://www.qin1qin.com/catagory/25177/)内容由互联网用户自发投稿贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至 630367839@qq.com 举报,一经查实,本站将立刻删除。

(0)
上一篇 2022年9月23日 下午1:03
下一篇 2022年9月23日 下午1:04
软件定制开发公司

相关阅读

发表回复

登录后才能评论
通知:禁止投稿所有关于虚拟货币,币圈类相关文章,发现立即永久封锁账户ID!