PHP7声明标量类型以及强类型校验讲解

内容导读

互联网集市收集整理的这篇技术教程文章主要介绍了PHP7声明标量类型以及强类型校验讲解，小编现在分享给大家，供广大互联网技能从业者学习和参考。文章包含3502字，纯文字阅读大概需要6分钟。

内容图文

标量类型声明

PHP从PHP5.0开始已经有对支持class和interface参数类型声明，PHP5.1支持array以及PHP5.4支持callable。这些类型声明让PHP在执行的时候传入正确的参数，让函数签名具有更多的信息。

从PHP7开始，int、float、string和bool会被识别为类型声明，可用于函数返回值类型和参数类型声明

<?php
function sum(int $a,int $b):string {
return $a+$b;
}
var_dump(sum(1,2));

运行以上代码正常
结果为string(1) "3"，弱类型校验模式下如果参数不符合声明类型，将会按照php的规则进行转换

PHP7.1添加了可空类型的声明方式并增加了void做为函数返回值类型，强类型检查模式下定义返回类型为 void 的函数不能有返回值，即使返回 null 也不行：

declare(strict_types=1);
function returns_one(): void {
return 1; // Fatal error: A void function must not return a value
}
function returns_null(): void {
return null; // Fatal error: A void function must not return a value
}

此外 void 也只适用于返回类型，并不能用于参数类型声明，否则会触发错误：

function foobar(void $foo) { 
// Fatal error: void cannot be used as a parameter type
}

可空类型声明

可空类型主要用于参数类型声明和函数返回值声明。

主要的两种形式如下：

function answer(): ?int{
return null; //ok
}function answer(): ?int{
return 42; // ok
}
function say(?string $msg) {
if ($msg) {
echo $msg;
}
}

从例子很容易理解，所指的就是通过 ? 的形式表明函数参数或者返回值的类型要么为指定类型，要么为 null。

此方法也可用于接口函数的定义：

interface Fooable {
function foo(?Fooable $f);
}

但有一个需要注意的地方：如果函数本身定义了参数类型并且没有默认值，即使是可空的，也不能省略，否则会触发错误。

如下：

function foo_nullable(?Bar $bar) {}foo_nullable(new Bar); // 可行
foo_nullable(null); // 可行
foo_nullable(); // 不可行

但是如果以上函数的参数定义为 ?Bar $bar = null 的形式，则第三种写法也是可行的。因为 = null 实际上相当于 ? 的超集，对于可空类型的参数，可以设定 null 为默认值。

类函数中对于返回类型的声明也不能被子类覆盖，否则会触发错误：

class Foo
{
public function bar(): void {
}
}class Foobar extends Foo
{
public function bar(): array { // Fatal error: Declaration of Foobar::bar() must be compatible with Foo::bar(): void
}
}

严格校验模式
strict_types/declare()指令

默认情况下，所有的PHP文件都处于弱类型校验模式。新的declare指令，通过指定strict_types的值（1或者0），1表示严格类型校验模式，作用于函数调用和返回语句；0表示弱类型校验模式。

declare(strict_types=1)必须是文件的第一个语句。如果这个语句出现在文件的其他地方，将会产生一个编译错误，块模式是被明确禁止的。

类似于encoding指令，但不同于ticks指令，strict_types指令只影响指定使用的文件，不会影响被它包含（通过include等方式）进来的其他文件。该指令在运行时编译，不能修改。它的运作方式，是在opcode中设置一个标志位，让函数调用和返回类型检查符合类型约束。

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

以上代码不符合函数的返回值类型声明，将抛出TypeError的错误

<?php
declare(strict_types=1);
function sum(string $a,string $b):string {
return $a+$b;
}
var_dump(sum(1,2));

以上代码不符合函数的参数类型声明，也会抛出错误

有一个例外的是，宽泛类型转换是允许int变为float的，也就是说参数如果被声明为float类型，但是它仍然可以接受int参数。

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

以上代码运行正常

在这种场景下，我们传递一个int参数给到定义接受float的函数，这个参数将会被转换为float。除此之外的转换，都是不被允许的。

相关推荐：

PHP7.2 版本性能介绍

以上就是PHP7声明标量类型以及强类型校验讲解的详细内容，更多请关注Gxl网其它相关文章！

内容总结

以上是互联网集市为您收集整理的PHP7声明标量类型以及强类型校验讲解全部内容，希望文章能够帮你解决PHP7声明标量类型以及强类型校验讲解所遇到的程序开发问题。 如果觉得互联网集市技术教程内容还不错，欢迎将互联网集市网站推荐给程序员好友。

内容备注

版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 gblab@vip.qq.com 举报，一经查实，本站将立刻删除。

内容手机端