On ne peut pas avoir des membres template virtuels. Ils posent des problèmes à la fois dans le modèle de généricité du C++ -- comment spécialiser explicitement une telle bête --, dans le modèle d'implémentation, et peut-être des problèmes plus généraux -- je me pose quelques questions, j'ai des voies de solution mais j'ai pas travaillé les détails. Il va falloir que je regarde à nouveau OCaml.Envoyé par Woufeil
Ça, je n'ai jamais prétendu que le système de type du C++ était le plus robuste et le plus insubvertible qui soit...Pour le transtypage des pointeurs, c'est particulier...
Pas nécessairement. Sur les machines adressables par mots (il y en a encore quelques unes), on peut avoir besoin des pointeurs "gras" pour implémenter le modèle mémoire du C++ qui suppose un adressage par byte.Je suppose que quoi qu'il en soit, un pointeur occupe une place constante dans la mémoire
Tu n'es pas un peu distrait là?(un octet pour les processeurs 32 bits si je ne m'abuse).
Partager