可捕获的致命错误:黑客类型错误

时间:2016-02-08 21:12:43

标签: hacklang

第31页<{3}}上的示例

class Foo<T>  {

    public function add(T $delta): Foo {
        $this->num += $delta;        // line 6
        return $this;
    }

    public function get(): T {
         return $this->num;
    }

    public function __construct(private T $num): void {}
}

$f1 = new Foo(123);
$f1->add(567);
echo $f1->get(), PHP_EOL;

$f2 = new Foo(1.23);
echo $f2->add(5.67)->get(), PHP_EOL;

错误

  

捕获致命错误:黑客类型错误:在example.php第6行输入错误

有什么问题?

HipHop VM 3.11.1(rel)

编译器:tags / HHVM-3.11.1-0-g64d37362bc0b6aee919492ad61cf65ce0a5d5e92

回购架构:8b80ba45250a6669cd610c189dbbb55b6218c2a3

1 个答案:

答案 0 :(得分:2)

如果你运行类型检查器(hh_client),你会收到如下错误:

  

这是一个num,因为它用于算术运算。它与泛型类型T

的值不兼容

这是因为+运算符要求双方都是num类型,但T可以是任何类型。

您可以将constraint添加到T,以便它必须是numclass Foo<T as num>),或者您可以使用num作为键入而不是通用T

使用num将允许您在同一实例中混合浮点数和整数。使用约束,实例只能使用浮点数或整数,但不能同时使用两者。