Punteros a varios elementos [*]T

A veces un puntero no contiene la dirección de un solo valor, sino del inicio de una secuencia de valores dispuestos en la memoria. 🧱

Un puntero a varios elementos se escribe [*]T. El asterisco dentro de los corchetes significa que apunta a un número desconocido de valores T consecutivos.

A diferencia de un slice, un puntero a varios elementos no contiene ninguna longitud. Solo usted debe saber cuántos elementos es seguro tocar.

Puede indexar un puntero a varios elementos con corchetes, de modo que run[2] accede al tercer elemento avanzando en la memoria.

Sumar a un puntero a varios elementos lo desplaza en elementos completos, por lo que run + 1 apunta a un T situado más adelante, no a un byte.

Un *T apunta exactamente a un valor y no se puede indexar; un [*]T apunta a varios y admite indexación y aritmética.

Los punteros a varios elementos aparecen a menudo al comunicarse con C, que pasa un puntero sin más a un búfer cuya longitud se controla por separado.

Como se desconoce la longitud, la indexación de un puntero a varios elementos no comprueba los límites. Leer demasiado lejos provoca un comportamiento indefinido.

Cuando controle el código, un slice []T es más seguro porque incluye la longitud. Recurra a [*]T principalmente en los límites con C.

Cuando conozca la cantidad, añada una longitud con ptr[0..n] para convertir un puntero a varios elementos en un slice seguro con comprobación de límites.

Zig también tiene formas terminadas en centinela, como [*:0]u8, un puntero cuya secuencia termina en un valor conocido, como un byte cero.

Un puntero a varios elementos [*]T apunta a una secuencia de valores, admite indexación y aritmética, no tiene longitud y conviene convertirlo en un slice cuando sea posible. 🎯