Facebook的HackLang并不严格

Question

大家好，

我有问题。我想模拟hacklang中的一些错误。

<?hh
namespace ExsysHHVM;
class HHVMFacade{
    private $vector = Vector {1,2,3};
    public function echoProduct() : Vector<string>{
        return $this->vector;
    }
    public function test(Vector<string> $vector) : void{
        var_dump($vector);
    }
}

函数echoProduct()返回字符串的Vector。但是私有属性$vector是一个整数向量。当我调用echoFunction并将返回值用作函数test()的参数时。我得到

object(HHVector)#35357 (3) { [0]=> int(1) [1]=> int(2) [2]=> int(3) }

为什么?

Answer 1

这里有两件事在起作用:

1. 泛型没有被具体化，所以运行时没有关于它们的信息。这意味着运行时只检查你是否返回了一个Vector。

2. $this->vector本身没有键入。这意味着类型检查器(hh_client)将其视为未知类型。未知类型匹配所有内容，因此在期望使用Vector<string>的地方返回未知类型是没有问题的。

   允许您逐渐键入代码。当类型未知时，类型检查器就假定开发人员知道发生了什么。

我要做的第一件事是将文件从部分模式更改为严格模式，这只涉及从<?hh更改为<?hh // strict。这会导致类型检查器抱怨任何丢失的类型信息(以及其他一些事情，比如没有超全局变量，你不能调用非hack代码)。

这会产生错误:

test.hh:6:13,19: Please add a type hint (Naming[2001])

如果将$vector输入Vector<int> (private Vector<int> $vector)，则hh_client将生成:

test.hh:9:16,28: Invalid return type (Typing[4110])
  test.hh:8:44,49: This is a string
  test.hh:6:20,22: It is incompatible with an int
  test.hh:8:44,49: Considering that this type argument is invariant with respect to Vector

这是您期望的错误。您也可以通过简单地将类型添加到$vector而不切换到严格模式来获得此错误，尽管我更喜欢在代码支持的最强模式下编写Hack。

对于最新版本的HHVM，无论何时运行Hack代码，都会调用类型检查器(有一个INI标志可以关闭它)，因此导致类型不匹配也会导致代码执行失败。