php实现hack中的Shape特性

用php进行静态类型编程&＃xff0c;估计是我的一个心结。

依次有几篇文章都记录了我的一些探索&＃xff1a;

• 通过指定函数/方法形参类型提高PHP代码可靠性 http://www.cnblogs.com/x3d/p/4285787.html
• 用Yii框架中的collections体验PHP类型化编程 http://www.cnblogs.com/x3d/p/php-typed-programming.html

从PHP 7 开始&＃xff0c;PHP支持函数和方法的参数及返回值的标量类型标注&＃xff0c;逐渐走出了这一步。

但数据传递的过程中&＃xff0c;基础的标量类型很多时候是不够用的。比如参数太多的时候&＃xff0c;一般用数组或对象的方式传递&＃xff0c;二者中用得最多是数组 - 万能的数组&＃xff0c;但数组的结构不明确&＃xff0c;在数据传递的过程中&＃xff0c;对于DTO(Data Transfer Object&＃xff0c;数据传输对象)相应数据结构的理解和验证&＃xff0c;往往需要额外花费不少时间和精力。在我看来&＃xff0c;Hack 语言的Shape类型很好的解决了这个问题。

hack中Shape的用法如下&＃xff1a;

type customer &＃61; shape(&＃39;id&＃39; &＃61;> int, &＃39;name&＃39; &＃61;> string);function create_user(int $id, string $name): customer {return shape(&＃39;id&＃39; &＃61;> $id, &＃39;name&＃39; &＃61;> $name);
}function ts_shape(): void {$c &＃61; create_user(0, "James");var_dump($c[&＃39;id&＃39;]);var_dump($c[&＃39;name&＃39;]);
}ts_shape();
Output
int(0)
string(5) "James"

今天动手实现类似hack中的Shape定义&＃xff0c;hack中shape本质上是一个数组。

Shapes 是一种特殊的别名类型&＃xff0c;代表结构固化的数组 - 固定的键名和类型。定义的Shape可用于类型标注场合。

借助于php的gettype函数&＃xff0c;实现类似强类型的概念&＃xff0c;不做类型casting。

支持php的基本类型&＃xff1a;int、bool、float、string&＃xff0c;及array、object、null。

基本用法:

class Customer extends Shape
{public function __construct(array $data) {parent::__construct([&＃39;id&＃39; &＃61;> self::int, &＃39;name&＃39; &＃61;> self::string, &＃39;categories&＃39; &＃61;> self::array],$data);}
}//数据访问与数组一样&＃xff0c;只是一言不合就会抛异常&＃xff0c;确保在开发阶段&＃xff0c;做好数据类型分析和转换$customer &＃61; new Customer([&＃39;id&＃39; &＃61;> 102, &＃39;name&＃39; &＃61;> &＃39;jimmy&＃39;, &＃39;categories&＃39; &＃61;> [10, 21, 22]]);//如果categories写成categories2&＃xff0c;meta中定义的categories就会被填充一个对应的默认值。$customer[&＃39;id&＃39;] &＃61; 103; //如果传&＃39;103&＃39;就会抛异常
var_dump($customer[&＃39;id&＃39;]);
var_dump($customer[&＃39;categories&＃39;]);
echo count($customer);
var_dump($customer->toArray());//PHP的array强转还不支持魔术方法定制toArray行为&＃xff0c;只能由用户自行调用了

完整代码的查看地址&＃xff1a;https://github.com/web3d/lang/blob/master/src/AppserverIo/Lang/Shape.php