黑客类型转换 - 未发出错误

Question

我正在学习 Hack 语言，我想创建一个像这样的特定类型：

    type Points = array<array<int, int>>;

然后我定义了那个函数：

    function printPoint(Points $point){
        var_dump($point[0], $point[1]);
    }

当我将此数组作为参数 ： [0， 0] 传递时，没有发出错误，输出为：

    int(0)
    int(0)

当我传递这个：[[0， 0]， [0， 0]]，输出应该是：

    array(2) {
        [0]=>
            int(0)
        [1]=>
            int(0)
    }
    array(2) {
        [0]=>
            int(0)
        [1]=>
            int(0)
    }

我的问题是：为什么这有效？(我知道这不是通常的问题x((。为什么在第一次测试中没有通知甚至致命类型错误？

谢谢;)

Answer 1

在运行时，泛型将被擦除。这意味着运行时只知道Points是一个数组，而不知道是什么类型的数组。

相反，您希望为此使用类型检查器 - hh_client。使用如下文件：

<?hh
type Points = array<array<int, int>>;
function printPoint(Points $point) {
  var_dump($point[0], $point[1]);
}
function test(): void {
  printPoint([0, 0]);
}

它给出了您期望的错误：

test.php:10:14,14: Invalid argument (Typing[4110])
  test.php:3:21,25: This is an array (used like a hashtable)
  test.php:10:15,15: It is incompatible with an int