Pointers naar meerdere items [*]T

Soms verwijst een pointer niet naar één waarde, maar naar het begin van een reeks waarden die in het geheugen achter elkaar staan. 🧱

Een pointer naar meerdere elementen schrijf je als [*]T. De ster tussen de blokhaken betekent dat hij verwijst naar een onbekend aantal T-waarden achter elkaar.

In tegenstelling tot een slice bevat een pointer naar meerdere elementen geen lengte. Alleen jij weet hoeveel elementen veilig kunnen worden benaderd.

Je kunt een pointer naar meerdere elementen met blokhaken indexeren. run[2] bereikt zo het derde element door vooruit te gaan in het geheugen.

Als je iets optelt bij een pointer naar meerdere elementen, beweegt hij hele elementen vooruit. run + 1 verwijst dus één T verder, niet één byte.

Een *T verwijst precies naar één waarde en kan niet worden geïndexeerd; een [*]T verwijst naar meerdere waarden en ondersteunt indexering en rekenkundige bewerkingen.

Pointers naar meerdere elementen komen vaak voor bij communicatie met C. C geeft dan een kale pointer naar een buffer door, terwijl de lengte apart wordt bijgehouden.

Omdat de lengte onbekend is, wordt indexering van een pointer naar meerdere elementen niet op grenzen gecontroleerd. Te ver lezen is ongedefinieerd gedrag.

Als je de code beheert, is een slice []T veiliger omdat die de lengte bevat. Gebruik [*]T voornamelijk bij C-grenzen.

Zodra je het aantal kent, voeg je een lengte toe met ptr[0..n] om een pointer naar meerdere elementen om te zetten in een veilige slice met grenscontroles.

Zig heeft ook door een sentinel beëindigde vormen, zoals [*:0]u8: een pointer waarvan de reeks eindigt bij een bekende waarde, zoals een nulbyte.

Een pointer naar meerdere elementen [*]T verwijst naar een reeks waarden, ondersteunt indexering en rekenkundige bewerkingen, heeft geen lengte en kan het best naar een slice worden omgezet wanneer dat mogelijk is. 🎯