Dlaczego plasterki w strukturze wymagają trwałości, ale nie wektory?

Question

Kiedy zdefiniować następującą strukturę:

struct Test<'a> { 
    a: &'a [i64], 
    b: Vec<i64>, 
} 

Zarówno plaster i wektor zawierać wskaźnik. Dlaczego plasterek wymaga życia, ale nie wektor?

Answer 1

Wektor jest właścicielem jego elementów. Oznacza to, że wektor jest odpowiedzialny za przydzielanie i zwalnianie elementów, na które wskazuje. Żywotność elementów wektorowych jest taka sama jak czas życia samego wektora, więc nie ma potrzeby określania czasu życia dla typu Vec.

Kawałek pożycza elementy wektora lub tablicy, które mogą być przydzielane statycznie lub dynamicznie. Wycinek musi wskazywać czas życia pożyczonych elementów, aby kompilator mógł przeprowadzić niezbędne kontrole bezpieczeństwa.

Innym sposobem wyrażenia tego jest porównywanie sekwencji zdarzeń między dwiema opcjami.

Dla wektora:

1. Vec jest przydzielona. Początkowo nie jest przydzielana pamięć dla elementów (gdy Vec jest pusta).
2. Gdy elementy są dodawane do wektora, pamięć dla elementów jest przydzielana ze sterty. Vec przechowuje wskaźnik do tego magazynu.
3. Po upuszczeniu wektoryzacji pamięć elementów zostanie najpierw zwolniona, a następnie zostanie zwolniony sam Vec.

na kawałek:

1. Część pamięci jest przydzielona do tablicy lub wektor elementów statycznie lub dynamicznie.
2. Plasterek jest przydzielany i inicjalizowany w celu odniesienia się do niektórych lub wszystkich elementów tego magazynu. Plasterek przechowuje wskaźnik do pierwszego elementu.
3. Po upuszczeniu plastra pamięć elementów nie zostaje zwolniona, ponieważ plasterek nie jest jego właścicielem; tylko plasterek zostanie upuszczony.
4. Jeśli pamięć została przydzielona dynamicznie, zostanie ostatecznie zwolniona.

EDIT

Ogólnie rzecz biorąc, przyp życia jest wymagane zapożyczonych wskaźników (&'a X), w rodzaju, które zawierają zapożyczonych wskazówek (X<'a>, gdzie X JeSt struct lub enum że posiada człon, który jest pożyczony wskaźnik) oraz na obiektach/ograniczeniach cech (X+'a, gdzie X jest trait), gdy typy te są używane jako elementy składowe struct lub enum.

Na let wiązaniami i na prawej stronie operatora as, zwykle napisać pożyczonych typy wskaźnika bez adnotacji dożywotnią (czyli po prostu &X), ponieważ kompilator wywodzi się z życia w tej sprawie.

Co trzeba pamiętać jest to, że adnotacje lifetime są konieczne, gdy ma do czynienia z zapożyczonych wskaźników, bezpośrednio lub pośrednio.

Jeśli chcesz dowiedzieć się więcej na temat własności, pożyczek i wcieleń, proponuję przeczytać the Rust Guide's section on pointers jak również Rust References and Lifetimes Guide