Hack 语言会支持函数重载多态吗？

Question

我试图弄清楚如何在 Hack 中实现访问者模式。它显然需要函数重载多态，但正如我所测试的，这个例子：

<?hh // strict
class Visitor {
    public function visit(string $s) : void {}
    public function visit(int $i) : void {}
}

产生通常的 PHP 的

Fatal error: Redeclared method Visitor::visit in hh-polymorphism.php on line 4

既然这个失败了，那么我想问一下将来是否有计划支持这个？或者有什么因素会阻止它的实施？

Answer 1

我们几乎肯定不会在 Hack 中出现重载，as I explained in this feature request。你可以在那里看到详细的答案，但问题的关键在于它会完全破坏与普通 PHP 的互操作性，甚至是部分模式——你需要完整的类型信息才能真正解决我们无法解决的重载问题除了 100% 严格模式外，我们承诺我们有。 （还有其他原因，请参阅该链接。）

对于您的示例，您总是可以这样做，利用 mixed 和 Hack 的流量敏感性：

<?hh // strict
class Visitor {
  public function visitString(string $s): void {
    // ...
  }
  public function visitInt(int $i): void {
    // ...
  }
  public function visit(mixed $m): void {
    if (is_int($m)) {
      $this->visitInt($m);
    } else if (is_string($m)) {
      $this->visitString($m);
    } else if (...) {
      ...
    } else {
       invariant_violation('Unexpected type in visitor: %s', gettype($m));
    }
  }
}