不管从事什么行业,现在都是活到老学到老的趋势,特别是我们这堆码农。这回也不用说新技术用不上,光光是PHP文档的学习都会发现非常多的知识点其实自己并没有真正的掌握,比如说这个方法参数的类型声明。上次文章中,关于PHP的方法参数类型约束,我们说过方法参数的类型约束仅限于类、接口、数组或者callable回调函数,其实这是不严谨的,PHP中也有一个严格模式的定义,如果指定了严格模式的话,普通的为方法参数类型指定普通的标量类型也是有效果的。
严格模式的定义:
declare (strict_types = 1);
function testInt(int $a)
{
echo $a, PHP_EOL;
}
testInt(1);
// testInt(1.1); // Fatal error: Uncaught TypeError: Argument 1 passed to testInt() must be of the type int
// testInt('52AABB'); // Fatal error: Uncaught TypeError: Argument 1 passed to testInt() must be of the type int
// testInt(true); // Fatal error: Uncaught TypeError: Argument 1 passed to testInt() must be of the type int
在严格模式下,很明显地看出现在这个方法的参数只能接收 int 类型的值了,其他的类型都无法接收,当然也不会像之前文章说过的那样会发生强制转换。
function testFloat(float $a)
{
echo $a, PHP_EOL;
}
testFloat(1);
testFloat(1.1);
// testFloat('52AABB'); // Fatal error: Uncaught TypeError: Argument 1 passed to testInt() must be of the type int
// testInt(true); // Fatal error: Uncaught TypeError: Argument 1 passed to testInt() must be of the type int
这里需要注意的是,PHP只有 int 和 float,而且 float 是 int 的超集,所以这里是可以传整数过来的,不过上面的 testInt(int $a) 则不能接收 1.1 这样的 float 值。这就涉及到了上下转换的问题,向超集转换是OK的,但是超集向子集转换是就不OK了。
function testString(string $a)
{
echo $a, PHP_EOL;
}
// testString(1); // Fatal error: Uncaught TypeError: Argument 1 passed to testString() must be of the type string
// testString(1.1); // Fatal error: Uncaught TypeError: Argument 1 passed to testString() must be of the type string
testString('52AABB');
// testString(true); // Fatal error: Uncaught TypeError: Argument 1 passed to testString() must be of the type string
这个就不用过多解释了,在非严格模式下我们如果定义 string 类型的接收参数的话,其实是任何类型都可以接收过来做为 string 类型的,这里的类型转换就不多说了,可以说在非严格模式下定义 string 类型的效果跟没有任何定义是一样的。但是严格模式下就不同了,真的是只能接收双引或者单引号之内的字符串内容。
function testBool(bool $a)
{
var_dump($a);
}
testBool(true);
testBool(false);
// testBool('52AABB'); // Fatal error: Uncaught TypeError: Argument 1 passed to testBool() must be of the type bool
// testBool(1); // Fatal error: Uncaught TypeError: Argument 1 passed to testBool() must be of the type bool
布尔值也是同理的,这里我们也只能接收 true 和 false 关键字的值。
最后来介绍个新家伙,除了普通模式下的类、数组、回调函数,严格模式下的各种标量类型声明外,还有一个 iterable 类型的声明,相信大家通过这个单词也能看出来了,可迭代的类型。
function testIterable(iterable $iterator)
{
echo gettype($iterator), ':', PHP_EOL;
foreach ($iterator as $it) {
echo $it, PHP_EOL;
}
}
testIterable([1, 2, 3]);
testIterable(new ArrayIterator([1, 2, 3]));
// Generator对象
testIterable((function () {
yield 1;
yield 2;
yield 3;
})());
// testIterable(1); // Fatal error: Uncaught TypeError: Argument 1 passed to testIterable() must be iterable
没错,它包含了数组、实现迭代器接口的类以及生成器相关的内容。也就是所有可用 foreach 迭代的内容都可以传递过来。生成器本身会是一个 Generator 对象,而在学习PHP生成器的使用这篇文章中,我们已经看过这个 Generator 对象的内容,它本身也是实现了 Iterator 接口。
就像开头说过的,原来在严格模式下我们的语法还会有这么大的差异,这回真的是长见识了。我们的学习之路还很长,也希望各位能够持续关注一起加油!!
测试代码:
https://github.com/zhangyue0503/dev-blog/blob/master/php/202003/source/%E5%86%8D%E6%AC%A1%E5%AD%A6%E4%B9%A0%E6%96%B9%E6%B3%95%E5%8F%82%E6%95%B0%E7%B1%BB%E5%9E%8B%E5%A3%B0%E6%98%8E.php
参考文档:
《PHP7编程实战》https://wiki.php.net/rfc/scalar_type_hints_v5https://www.php.net/manual/zh/class.generator.phphttps://wiki.php.net/rfc/iterable