意外的 T_OBJECT_OPERATOR 但没有 TypeChecker 错误 (Hacklang)

Question

<?hh //strict 

---

foreach ($list as $id) {
    $items = new DestinationsByCountry($id);
    $remapped = $items->byKey('destination_id')->map($stringed ==> (int) $stringed);
    $this->ids->addAll($remapped);
}

---

foreach ($list as $id) {
    $this->ids->addAll(
        // ******* error line below *******
        new DestinationsByCountry($id)
            ->byKey('destination_id')
            ->map($stringed ==> (int) $stringed)
    );
}

对于类型检查器来说两者都可以，但第二个导致致命错误

致命错误：语法错误，意外的 T_OBJECT_OPERATOR，期待 ')'

Answer 1

正如上面 cmets 中所指出的，在 PHP 和 Hack 语法中，您需要在 (new DestinationsByCountry($id)) 周围加上括号。

类型检查器不抱怨的原因是it doesn't typecheck code at toplevel。如果这是在函数或方法中，我希望类型检查器会发现错误。如果这段代码实际上在函数或方法中，请file an issue on GitHub。