Wskaźniki na wiele elementów [*]T

Czasami wskaźnik wskazuje nie jedną wartość, lecz początek ciągu wartości ułożonych w pamięci. 🧱

Wskaźnik do wielu elementów zapisuje się jako [*]T. Gwiazdka w nawiasach oznacza, że wskazuje on nieznaną liczbę kolejnych wartości T.

W przeciwieństwie do wycinka wskaźnik do wielu elementów nie zawiera długości. Tylko Pan/Pani musi wiedzieć, ilu elementów można bezpiecznie dotknąć.

Wskaźnik do wielu elementów można indeksować za pomocą nawiasów, więc run[2] sięga trzeciego elementu, przesuwając się w pamięci.

Dodanie wartości do wskaźnika do wielu elementów przesuwa go o całe elementy, więc run + 1 wskazuje o jeden typ T dalej, a nie o jeden bajt.

*T wskazuje dokładnie jedną wartość i nie można go indeksować; [*]T wskazuje wiele wartości oraz obsługuje indeksowanie i arytmetykę.

Wskaźniki do wielu elementów często pojawiają się podczas komunikacji z C, które przekazuje zwykły wskaźnik do bufora, a długość śledzi oddzielnie.

Ponieważ długość jest nieznana, indeksowanie wskaźnika do wielu elementów nie sprawdza zakresu. Odczyt zbyt daleko oznacza niezdefiniowane działanie.

Gdy ma Pan/Pani kontrolę nad kodem, bezpieczniejszy jest wycinek []T, ponieważ zawiera długość. Po [*]T należy sięgać głównie na granicach z C.

Gdy znana jest liczba elementów, można dołączyć długość za pomocą ptr[0..n], zamieniając wskaźnik do wielu elementów na bezpieczny wycinek ze sprawdzaniem zakresu.

Zig ma także formy zakończone sentinelami, takie jak [*:0]u8 — wskaźnik, którego ciąg kończy się na znanej wartości, na przykład bajcie zero.

Porównaj wycinek []T ze wskaźnikiem do wielu elementów [*]T. Czego brakuje wskaźnikowi do wielu elementów?

Wskaźnik do wielu elementów [*]T wskazuje ciąg wartości, obsługuje indeksowanie i arytmetykę, nie ma długości i najlepiej zamienić go na wycinek, gdy jest to możliwe. 🎯