Warum gibt Edge keinen DirectedEdge zurück?

Question

Ich habe bei der Verwendung von Merkmalen auf ein Problem gestoßen. Der folgende Code überschreibt newEdge mithilfe eines Merkmals.

Die ersten beiden Behauptungen zeigen das Verhalten ohne das DirectedGraph-Merkmal. Das nächste Merkmal zeigt das erwartete Verhalten mit DirectedGraph, aber die Methode des Merkmals scheint in der letzten Anweisung nicht verwendet zu werden.

Die letzte Bestätigung schlägt fehl mit.

Ich fragte mich, wie ich dieses Verhalten beheben könnte, damit die letzte Behauptung passieren kann.

Answer 1

Hier ist, was semantisch in def dgraph = new Graph() as DirectedGraph passiert:

class MyProxy implements DirectedGraph { 
    Graph myGraph 

    MyProxy(Graph graph) { 
     myGraph = graph 
    } 

    def invokeMethod(String name, Object args) { 
     myGraph.invokeMethod(name, args) 
    } 
} 

def dgraph = new MyProxy(new Graph()) 

Ein solches Objekt implementiert eine Eigenschaft und die Delegierten alle nicht definierten Anrufe ursprüngliche Objekt, das heißt Graph Instanz.

assert dgraph.newEdge() instanceof DirectedEdge funktioniert, weil newEdge Methode von der Eigenschaft abgeleitet ist.
assert dgraph.edge() instanceof DirectedEdge schlägt fehl, weil es keine edge Methode gibt, wird dieser Aufruf an die ursprüngliche Graph Instanz delegiert, die wiederum keine Kenntnisse über Proxy-Wrapper hat.

class Edge {} 

class DirectedEdge extends Edge {} 

class Graph { 
    def edge() { newEdge() } 
    def newEdge() { new Edge() } 
} 

class DirectedGraph extends Graph { 
    def newEdge() { new DirectedEdge() } 
} 

def graph = new Graph() 
assert graph.newEdge() instanceof Edge 
assert graph.edge() instanceof Edge 

def dgraph = new DirectedGraph() 
assert dgraph.newEdge() instanceof DirectedEdge 
assert dgraph.edge() instanceof DirectedEdge