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

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

为什么？我期待一些错误，因为类型不匹配。

Answer 1

这里有两件事在起作用：

泛型没有具体化，所以运行time 没有关于它们的信息。这意味着运行time 仅检查您返回的是 Vector.
$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 标志可将其关闭），因此导致类型不匹配也会导致代码执行失败。

Facebook 的 HackLang 并不严格

HackLang by Facebook is not strict

hhvm

hacklang