Un pointeur générique est un type de pointeur particulier puisqu'il ne donne pas d'information sur ce qu'il pointe. C'est simplement une adresse vers une zone mémoire.
=== Spécification ===
Il suffit de déclarer un pointeur comme suit
Lexique
identifiant_du_pointeur : pointeur
=== Utilisation ===
Les pointeurs typés sont également des adresses mémoires donc on peut assigner les uns aux autres.
Lexique
p : pointeur
p_T : ^T
Ces opérations sont possibles :
p:=p_T
p_T:=t_T
Cependant, on ne peut utiliser les procédures new() et delete() en leur passant un pointeur générique en paramètre. En effet, le type de la donnée pointée étant inconnu le système d'exploitation de peut savoir combien d'espace réservé.