Ponteiros para vários itens [*]T

Às vezes, um ponteiro não aponta para um único valor, mas para o início de uma sequência de valores dispostos na memória. 🧱

Um ponteiro para vários itens é escrito como [*]T. O asterisco dentro dos colchetes significa que ele aponta para uma quantidade desconhecida de valores T consecutivos.

Ao contrário de uma fatia, um ponteiro para vários itens não contém comprimento. Somente você precisa saber quantos elementos é seguro acessar.

Você pode indexar um ponteiro para vários itens com colchetes; assim, run[2] alcança o terceiro elemento avançando na memória.

Adicionar algo a um ponteiro para vários itens move-o por elementos inteiros; portanto, run + 1 aponta para um T adiante, não para um byte adiante.

Um *T aponta exatamente para um valor e não pode ser indexado; um [*]T aponta para vários e permite indexação e aritmética.

Ponteiros para vários itens aparecem com frequência ao interagir com C, que passa um ponteiro simples para um buffer cujo comprimento é acompanhado separadamente.

Como o comprimento é desconhecido, a indexação de um ponteiro para vários itens não verifica os limites. Ler além do permitido resulta em comportamento indefinido.

Quando você controla o código, uma fatia []T é mais segura porque reúne o comprimento. Use [*]T principalmente nas fronteiras com C.

Quando souber a quantidade, associe um comprimento com ptr[0..n] para transformar um ponteiro para vários itens em uma fatia segura, com verificação de limites.

Zig também possui formas terminadas por sentinela, como [*:0]u8, um ponteiro cuja sequência termina em um valor conhecido, como um byte zero.

Um ponteiro para vários itens [*]T endereça uma sequência de valores, permite indexação e aritmética, não tem comprimento e deve ser convertido em uma fatia sempre que possível. 🎯