déréférencement
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
- 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[modifier le wikicode]
Traductions[modifier le wikicode]
- Anglais : dereferencing (en)
- Russe : разыменование (ru)
Prononciation[modifier le wikicode]
- France (Vosges) : écouter « déréférencement [Prononciation ?] »
- France (Vosges) : écouter « déréférencement [Prononciation ?] »