hhvm - Facebook 的 HackLang 并不严格

Question

你好，

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

<?hh
namespace Exsys\HHVM;

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() 返回字符串向量。但是私有(private)属性 $vector 是整数 Vector。当我调用 echoFunction 并将返回值用作函数 test() 的参数时。我明白了

object(HH\Vector)#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 标志可以关闭此功能)，因此导致类型不匹配也会导致代码执行失败。