déréférencement
التعريفات والمعاني
== Français ==
=== Étymologie ===
(Siècle à préciser) De déréférencer avec le suffixe -ment.
=== Nom commun ===
déréférencement \de.ʁe.fe.ʁɑ̃s.mɑ̃\ masculin
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)
(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
==== Traductions ====
=== Prononciation ===
France (Vosges) : écouter « déréférencement [Prononciation ?] »
France (Vosges) : écouter « déréférencement [Prononciation ?] »