Môžete vysvetliť, čo je označený ukazovateľ a aká je jeho špeciálnosť?

Označený ukazovateľ je technika optimalizácie používaná v niektorých jazykoch a prostrediach (napríklad iOS/Objective-C), kde sa do samotného ukazovateľa (adresy) ukladajú dodatočné informácie (štítok). Bežne je ukazovateľ adresou v pamäti, ale pretože sú adresy zarovnané na určitú veľkosť (napríklad 4 alebo 8 bajtov), najnižšie bity adresy sú vždy nulové a môžu byť použité na uloženie dodatočnej hodnoty.

Vlastnosťou označených ukazovateľov je, že umožňujú uloženie malých dát priamo do ukazovateľa, bez pridelenia samostatnej pamäťovej oblasti. To zrýchľuje prístup a znižuje spotrebu pamäti.

Príklad: v Objective-C možno pre malé čísla alebo reťazce použiť označený ukazovateľ, kde časť bitov predstavuje adresu objektu, a časť hodnotu alebo vlajku, ktorá indikuje, že nejde o bežný ukazovateľ, ale o "označený".

Týmto spôsobom sú označené ukazovatele efektívnym spôsobom kódovania dodatočných informácií priamo v ukazovateľovi, využívajúc vlastnosti zarovnania adries.