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（）返回字符串的Vector。但私有财产$ vector是整数的向量。当我调用echoFunction并返回值用作函数test（）的参数时。我得到了

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

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

Answer 1

这里有两件事情可以发挥作用：

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

HackLang by Facebook并不严格

1 个答案: