Objekt ablaufen lassen bei einer Statusänderung in Rust

Question

Ist es in Rust möglich, einen Kontext für das Verfallen eines Objekts explizit anzugeben? Zum Beispiel einer Grafik Manipulation Code vorstellen, dass so etwas wie dies funktioniert:

// borrow an edge from the graph 
let edge : &Edge = graph.findEdge(...); 
// modify the edge 
let new_edge : &Edge = graph.splitEdge(edge, vertex); 
// the old edge is invalid now, this should be an compiler error now! 
edge.something 

Im Allgemeinen ist es eine Möglichkeit, eine Lebensdauer eines Objekts in einem Zustand oder eine Zustandsänderung zu verbinden?

Answer 1

Wenn Sie Ihren Code mit Ihren Kommentaren abgleichen, erhalten Sie einen Compilerfehler, allerdings nicht an der von Ihnen gewünschten Position. Ihr aktueller Code ist im Grunde this. In diesem Fall sieht split_edge wie folgt aus:

fn split_edge(&self, edge: &Edge) -> &Edge {} 

Dieses Sie entweder die Grafik oder den Rand ändern nicht gestattet. Daher kann diese Funktion die Kante nicht ungültig machen. Wenn Sie sich selbst als wandelbar leihen, erhalten Sie einen Compiler-Fehler, weil Sie bereits selbst als unveränderlich ausleihen:

fn split_edge(&mut self, edge: &Edge) -> &Edge {} 
// error: cannot borrow `graph` as mutable because it is also borrowed as immutable [--explain E0502] 

Sie auch in fehlerfrei laufen würden, wenn Sie Rand statt wandelbar leihen.

Wenn die Kante nicht wirklich ungültig ist, indem Sie sie einfach wiederverwenden möchten, verwenden Sie einfach den Variablennamen edge anstelle von new_edge.

let edge : &Edge = graph.find_edge(); 
let edge : &Edge = graph.split_edge(edge); 

Answer 2

Es gibt zwei Möglichkeiten, das getan werden kann:

1. find_edge kann einen &mut Bezug auf die Kante erzeugen. Dann wird split_edge am Ende den exklusiven Kredit in die Referenz übertragen, die es zurückgibt, so dass es für den Anrufer nicht zugänglich ist.

2. find_edge kann stattdessen take_edge sein. Das heißt, es erzeugt ein nicht kopierbares Objekt, das die Kante darstellt. split_edge, natürlich, wird es verbrauchen.