déréférencement

Nom commun — 2 sens

déréférencement

Nom communMasculin

\de.ʁe.fe.ʁɑ̃s.mɑ̃\

Étymologie De déréférencer avec le suffixe -ment.

1

Suppression d’un objet sur une liste de références.

  • Ce déréférencement vient compléter le blocage des sites terroristes et pédopornographiques, également voté en novembre et mis en œuvre depuis le début du mois de février.Martin Untersinger, « Les sites terroristes et pédopornographiques peuvent désormais être supprimés de Google », Le Monde.fr, 5 mars 2015
2

Programmation Accès à la valeur référencée par un pointeur, synonyme d'indirection.

  • En C/C++, l'opérateur de déréférencement, ou d'indirection, est l'astérisque (*).
Antonymes
référencement

Article dérivé du Wiktionnaire, sous licence CC BY-SA 4.0 — liste des auteurs.