déréférencement
É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 ?] »