déréférencement
Français
Étymologie
- (Siècle à préciser) De déréférencer avec le suffixe -ment.
Nom commun
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
- 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
Traductions
- Anglais : dereferencing (en)
- Russe : разыменование (ru)
Prononciation
- France (Vosges) : écouter « déréférencement [Prononciation ?] »
- France (Vosges) : écouter « déréférencement [Prononciation ?] »
Cet article est issu de Wiktionary. Le texte est sous licence Creative Commons – Attribution – Partage à l’identique. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.