Absence d'opérateur de typeOf en C ++ 03?

Il est défini comme suit:

#define BOOST_TYPEOF(Expr) \
boost::type_of::decode_begin<BOOST_TYPEOF_ENCODED_VECTOR(Expr) >::type

Il utilise simplement la magie du compilateur. Comme, GCC's __ typeof __ . Pour les compilateurs qui ne fournissent pas une telle magie, il fournit une émulation capable de détecter le type d'expressions , mais échoue avec des types complètement inconnus.

Une implémentation éventuelle pourrait être de disposer d'une liste de fonctions qui acceptent une expression d'un type donné, puis d'expédier de ce type à un numéro à l'aide d'un modèle de classe. Pour que le modèle de fonction renvoie le numéro en tant qu'entité de la compilation, nous le mettons dans une dimension de matrice xxx

alors cela passe de ce numéro au type, de sorte que notre emul_typeof pourrait nommer directement le type. Donc, pour enregistrer un type, nous écrivons xxx

ayant cela en place, vous pouvez écrire xxx

chaque fois que vous avez besoin de enregistrer un type, vous écrivez xxx

bien sûr, vous trouverez maintenant que vous avez besoin d'un mécanisme pour accepter vecteur , où vous ne le faites pas savoir t à l'avance, puis il obtient un complexe arbitraire. Vous pouvez créer un système dans lequel les chiffres signifient plus qu'un simple type. Cela pourrait probablement fonctionner: xxx

Ceci pourrait détecter des types tels que int et également des types tels que partagé_ptr d'autres mots, des types qui ne sont pas des spécialisations de modèle de classe et des spécialisations de modèle de classe avec un argument de modèle, en faisant une sorte de mappage systématique

• Si le premier numéro donne 1, le deuxième numéro spécifie un type; sinon
• Le premier numéro spécifie un modèle et le deuxième numéro de son premier type d'argument de modèle

  de sorte que cela devient xxx

  Nous devons également modifier le modèle Dispatch et diviser en deux versions, illustrée ci-dessous. , à côté du register_temp1 pour enregistrer des modèles d'un argument xxx

  enregistrant le modèle std :: vecteur modèle et INT Les variantes ressemblent maintenant à xxx

  Vous souhaitez probablement également enregistrer plusieurs numéros avec chaque type, un chiffre pour chaque combinaison de const / volatile ou peut avoir besoin de plus qu'un nombre par type d'enregistrement * , & et tel. Vous souhaitez également prendre en charge vecteur > , vous avez donc besoin de plusieurs numéros pour l'argument de modèle, rendant également build_type appeler de manière récursive. Comme vous pouvez créer une longue liste d'entiers arbitraires, vous pouvez également encoder n'importe quoi dans cette séquence, donc c'est juste à votre créativité sur la manière de représenter ces choses.

  à la fin, vous êtes probablement réinvestir BOOST_TYPEOF :)