Der Transferoperator

Die Übergabe an einen owned-Parameter erstellt normalerweise eine Kopie. Wenn Sie mit dem Original jedoch fertig sind, ist Kopieren unnötiger Aufwand. Sie können es stattdessen verschieben. 🚚

MoJos Transferoperator ist das Zirkumflexzeichen ^. Sie setzen es hinter einen Wert, um dessen Eigentümerschaft zu übergeben, statt ihn zu duplizieren.

Fügen Sie beim Aufruf einer Funktion mit einem owned-Parameter ^ hinzu. Der Wert wird übertragen, und es wird keine Kopie erstellt.

Nach einem Transfer ist die Quellvariable nicht mehr gültig. Mojo beendet ihre Lebensdauer, sodass Sie den verschobenen Wert nicht versehentlich verwenden können.

Versuchen Sie, eine Variable nach dem Verschieben zu lesen, weist der Compiler Ihren Code zurück. Diese Prüfung verhindert Use-after-Move-Fehler, bevor sie auftreten.

Beim Verschieben wird lediglich die Eigentümerschaft der vorhandenen Daten übertragen. Es gibt keine tiefe Kopie, was bei großen Zeichenfolgen, Listen oder Puffern besonders wichtig ist.

Ohne ^ kopiert Mojo den Wert in einen owned-Parameter, mit ^ wird er verschoben. Sie entscheiden anhand der Frage, ob Sie das Original noch benötigen.

Das Zirkumflexzeichen funktioniert auch zwischen Variablen. Wenn Sie mit ^ eine Variable aus einer anderen beschreiben, wird der Wert verschoben statt kopiert.

Der Transferoperator ist der natürliche Partner von owned-Parametern. Zusammen drücken sie aus, dass ein Wert sauber und kostengünstig abgegeben wird.

Verschiebungen bieten Ihnen die Effizienz von C, während der Compiler garantiert, dass Sie einen Wert nach seiner Übergabe nie wieder verwenden. Das ist sicher und schnell.

borrowed, inout, owned und der ^-Transfer ermöglichen Ihnen, genau zu steuern, wie Daten durch Ihr Programm fließen – ohne Überraschungen.

Der Transferoperator ^ verschiebt einen Wert, statt ihn zu kopieren, und beendet die Lebensdauer der Quelle. Zusammen mit owned macht er das Abgeben von Daten schnell und sicher. 🎯