déréférencer
Définitions
Déréférencer employé comme verbe
- Ne plus référencer.
- En parlant d'un pointeur ou d'une référence, obtenir l'objet référencé (pointé).
- Résoudre un lien symbolique ; effectuer un traitement sur le fichier ou répertoire vers lequel il pointe, plutôt que sur le lien lui-même.