déréférencement

Définition, traduction, prononciation, anagramme et synonyme sur le dictionnaire libre Wiktionnaire.

Français[modifier le wikicode]

Étymologie[modifier le wikicode]

(Siècle à préciser) De déréférencer avec le suffixe -ment.

Nom commun [modifier le wikicode]

Singulier Pluriel
déréférencement déréférencements
\de.ʁe.fe.ʁɑ̃s.mɑ̃\

déréférencement \de.ʁe.fe.ʁɑ̃s.mɑ̃\ masculin

  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[modifier le wikicode]

Traductions[modifier le wikicode]

Prononciation[modifier le wikicode]