PHP7开始支持标量类型声明，强类型语言的味道比较浓。使用这个特性的过程中踩过两次坑：一次是声明boolean类型参数，最近一次是声明double类型参数，都导致运行时出错。为避免以后继续犯类似错误，这几天翻阅了官方文档。本文是看完后对PHP函数的类型声明使用做的总结。
从语法上，PHP的函数定义经过了几个时期：
远古时代（PHP 4）
定义一个函数非常的简单，使用 function name(args) {body}的语法声明。不能指定参数和返回值类型，参数和返回值类型有无限种可能。这是到目前为止最常见的函数声明方式。
数组和引用类型参数值声明（PHP 5）
数组（array）、类（class）、接口（interface）、函数（callable）可以用在函数声明中。从5.6开始，支持常量（包括类常量）为默认参数，以及参数数组（以省略号...为前缀）。例如：
functionsum(...$numbers) {
$sum= 0;
foreach($numbersas$number) {
$sum+= $number;
}
return$sum;
}
注意：如果参数的值可能为null，null必须为参数的默认值，否则调用时会出错。例如：
functionfoo(array$arr= null) {
...
}
标量类型和返回值声明（PHP 7）
函数正式支持标量类型（int, bool, float，string）和返回值类型（可声明类型同参数）声明。从这个版本开始，除了语法差异，函数声明形式上可以做到像强类型语言。
遗憾是如果函数返回值有可能是null，就不能指定返回值类型。例如：
functiongetModel() : Foo {
if($this->_model === null) {
$this->_model = xxxx; // get from db or otherelse
}
return$this->_model; // 如果$this->_model仍是null，运行出错
}
参数和返回值可为null以及void返回类型声明（PHP 7.1）
当参数和返回值类型有可能是null时，类型前以问号（?）修饰，可以解决null值问题（与默认参数不冲突）；类型声明新增iterable，同时还支持void类型返回值。例如：
functiongetModel(?int $id) : ?Foo {
if($id!== null) {
$this->_model = xxxx;
} else{
$this->_model = yyyy;
}
return$this->_model;
}
// 调用
$foo->getModel(null);
$foo->getModel(100);
// 函数声明了参数并且没有提供默认参数，调用时不传入参数会引发错误
// 将函数声明改成 getModel(?int $id = 100) {}，可以不传参数
$foo->getModel();
当函数返回值为void时，函数体的不能return任何东西（return void;的写法也是错误的！），或者可以省略return语句。
functiontest(array$arr) : void {
if(!count($arr) {
return;
}
// 不要return;
array_walk($arr, function($elem) {xxxx});
}
回顾以上历史变更，可以看到在PHP 7.1中函数类型声明已经十分完善（虽然实践中用的不多）。注意，文章说的是参数和返回值类型声明，PHP不保证运行过程中参数类型不变，即下面的代码是合法的：
functionfoo(array $arr) : array {
// change $arr from array to int
$arr = 3;
return[];
}
从这点上看，PHP还是弱类型语言，不能做静态编译。
再说说实践中踩到的坑。根据官方文档，函数参数和返回值类型声明可用的类型有：
● 类/接口
● self，只能用在自身的方法上
● array
● bool
● callable
● int
● float
● string
● iterable
● void(仅用在返回值)
注意列表中并没有boolean和double类型！除非你定义了这两个类型，否则用在参数和返回值中是错误的！
这也是PHP有点蛋疼的地方。平常使用时的double和float两个关键字几乎等同，例如doubleval是floatval的别名，is_double是is_float的别名，转换时用(double)和(float)效果相同。但在用在类型声明就不一样，同样的情况出现在bool和boolean身上。
总结
目前PHP 7.2稳定版已经发布，建议在新项目中尽量使用PHP 7.1及后续版本。为了写出清晰和可维护的代码，推荐声明类型。建议引用类型或者string才使用null值，int/float等标量类型的参数尽量不要用null。func_get_argc等函数，如非必要，尽量不使用。
网友评论