En muchos lenguajes, los punteros tienen la restricción adicional de que el objeto que apuntan tiene un tipo específico.