《Hack与HHVM权威指南》——2.3 类型消除

本节书摘来自华章出版社《Hack与HHVM权威指南》一书中的第2章,第2.3节,作者 Owen Yamauchi,更多章节内容可以访问云栖社区“华章计算机”公众号查看。

2.3 类型消除

泛型是非常纯正的类型检查器级别的结构体,HHVM几乎完全不知道它的存在注2。事实上,当HHVM运行一段泛型代码的时候,真实的效果就像把所有的类型形参和类型实参都去除。这种行为称为类型消除(type erasure)。
对于泛型实体定义内的类型形参,这里有“关于你什么能做及什么不能做的”的重要结论。对于类型形参,你唯一能做的一件事是在类型标注中使用它。这里你不能对类型形参做某些其他类型可以的事情。例如:
进行实例化,例如new T()。
把它当作作用域使用,例如T::someStaticMethod()、T::$someStaticProperty,或T::SOME_CONSTANT。
把它当作类型实参,例如:在function f(T $value)中。
把它放置在instanceof的右边,例如:在$value instanceof T中。
强制转化为该类型,例如:在(T)$value中。
在catch代码段中在一个类名的位置使用它,例如:

function f<Texc>(): void {
  try {
    something_that_throws();
  } catch (Texc $exception) {??// 错误 
    // ...
  }

在一个静态属性值的类型上使用它,例如:
class SomeClass<T> {
// 也是非法的,因为这个属性并没有初始化,
// 但这里并没有可能的任何合法初始值

  public static T $property;
}

当类型形参被用作类型标注时,它们在运行环境中并非是强制实现的。在本例中,我们使用了耦合模式,因此在函数f()内的方法调用上类型检查器不会报告任何错误。

<?hh //ded
class GenericClass<T> {
  public function takes_type_param(T $x): void {
  }
  public function takes_int(int $x): void {
  }
}
function f(GenericClass<int> $gc): void {

// 下面的所有调用都会有类型检查错误
// 但这个文件是解耦模式的

// 没有运行时错误
$gc->takes_type_param('a string');
// 运行时错误:可捕获的致命错误

  $gc->takes_int('a string');
}
上一篇:刚刚,马云在贵阳说大数据精准扶贫要从教育和医疗入手(演讲全文+视频)


下一篇:springboot使用rabbitmq fanout路由模式