Wie generische Funktion schreiben

Question

Ich habe eine Schnittstelle, die so aussieht.

interface Value { 
    public function accept<T>(ValueVisitor<T> $visitor): T; 
} 

Da es nur eine Methode ist, möchte ich eine Klasse schreiben, die einen Verschluss in eine Instanz von Value umwandelt.

final class ClosureValue implements Value { 
    public function __construct(
    private (function<T>(ValueVisitor<T>): T) $f 
) {} 

    public function accept<T>(ValueVisitor<T> $visitor): T { 
    $f = $this->f; 
    return $f($visitor); 
    } 
} 

jedoch die <T> in der Art function<T>(ValueVisitor<T>): T ist ein Syntaxfehler. Egal wo ich die <T> setze, wird es nicht analysieren.

Wie kann ich das in Hack schreiben?

Answer 1

Im Moment kann ich nicht versuchen, wenn seine Arbeits aber diese Macht funktioniert:

final class ClosureValue<T> implements Value { 
    public function __construct(
     private (function(ValueVisitor<T>) : T) $myF 
    ) { 

    } 


    public function accept(ValueVisitor<T> $visitor) : T { 
     $fn = $this->myF; 
     return $fn($visitor); 
    } 
} 

Answer 2

Sein für mich gut funktioniert ...

classes.hh

<?hh // strict 

class ValueVisitor<T> 
{ 
    protected T $value; 
    public function __construct(T $new) { $this->value = $new; } 
    public function get(): T { return $this->value; } 
} 

interface Value { public function accept<T>(ValueVisitor<T> $visitor): T; } 

final class ClosureValue<T> implements Value { 
    public function __construct(
    private (function(ValueVisitor<T>) : T) $myF 
) { 

} 

public function accept(ValueVisitor<T> $visitor) : T { 
    $fn = $this->myF; 
    return $fn($visitor); 
} 

// main.hh

<?hh // strict 

class MyClass 
{ 
    public function __construct(
     protected string $myVal 
    ) { } 

    public function getMyVal(): string { return $this->myVal; } 
} 

function main<T>() : void 
{ 
    $visitor = new ValueVisitor(12); 
    $val = new ClosureValue(function(ValueVisitor<int> $f): int { 
     return $f->get(); 
    }); 

    echo $val->accept($visitor); 


    $visitor2 = new ValueVisitor('Foo'); 
    $val2 = new ClosureValue(function(ValueVisitor<string> $f): string { 
     return $f->get(); 
    }); 

    echo $val2->accept($visitor2); 

    $visitor3 = new ValueVisitor(new MyClass("asd")); 
    $val3 = new ClosureValue(function(ValueVisitor<MyClass> $f): MyClass { 
     return $f->get(); 
    }); 

    print_r($val3->accept($visitor2)); 
} 

i ndex.hh

<?hh // partial  

require 'classes.hh'; 
require 'helpers.hh'; 
require 'main.hh'; 

main();