Operator transferu

Przekazanie do parametru owned zwykle tworzy kopię. Jeśli jednak nie potrzebujesz już oryginału, kopiowanie jest niepotrzebne. Możesz go zamiast tego przenieść. 🚚

Operatorem transferu w Mojo jest symbol daszka ^. Umieszcza się go za wartością, aby przekazać jej własność zamiast ją duplikować.

Dodaj ^ podczas wywoływania funkcji z parametrem owned. Wartość zostanie przeniesiona i nie powstanie kopia.

Po przeniesieniu zmienna źródłowa jest już nieważna. Mojo kończy jej czas życia, więc nie można przypadkowo użyć przeniesionej wartości.

Spróbuj odczytać zmienną po jej przeniesieniu, a kompilator odrzuci kod. To sprawdzenie zapobiega błędom użycia po przeniesieniu, zanim program się uruchomi.

Przeniesienie tylko przekazuje własność istniejących danych. Nie ma głębokiej kopii, co ma duże znaczenie w przypadku dużych napisów, list lub buforów.

Bez ^ Mojo kopiuje wartość do parametru owned, a z ^ ją przenosi. Decyzja zależy od tego, czy nadal potrzebujesz oryginału.

Daszek działa również między zmiennymi. Zapisanie jednej zmiennej na podstawie drugiej z użyciem ^ przenosi wartość zamiast ją kopiować.

Operator transferu jest naturalnym uzupełnieniem parametrów owned. Razem jasno i tanio wyrażają przekazanie wartości.

Przenoszenie zapewnia wydajność znaną z C, a kompilator gwarantuje, że nie uzyskasz dostępu do wartości po jej przekazaniu. To rozwiązanie jest bezpieczne i szybkie.

borrowed, inout, owned oraz transfer ^ pozwalają dokładnie kontrolować, jak dane przepływają przez program, bez niespodzianek.

Operator transferu ^ przenosi wartość zamiast ją kopiować, kończąc czas życia źródła. W połączeniu z owned umożliwia szybkie i bezpieczne przekazywanie danych. 🎯