déréférencement
étymologie
nom
traductions
Ce texte est extrait du Wiktionnaire et il est disponible sous licence CC BY-SA 3.0 | Terms and conditions | Privacy policy 0.003
étymologie
De déréférencer avec le suffixe -ment.
nom
Singulier Pluriel déréférencement déréférencements
déréférencement
- 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 (*).
- anglais : dereferencing
- russe : разыменование
Ce texte est extrait du Wiktionnaire et il est disponible sous licence CC BY-SA 3.0 | Terms and conditions | Privacy policy 0.003