Spécialisation template

Spécialisation template - C++ - Programmation

Marsh Posté le 02-06-2009 à 23:25:37    

Bonjour,
 
Le code suivant est extrait de boost (boost/exception/exception.hpp).
 

Code :
  1. template <class Tag,class T>
  2.     class error_info;
  4.     typedef error_info<struct tag_throw_function,char const *> throw_function;
  5.     typedef error_info<struct tag_throw_file,char const *> throw_file;
  6.     typedef error_info<struct tag_throw_line,int> throw_line;
  8.     template <>
  9.     class
  10.     error_info<tag_throw_function,char const *>
  11.         {
  12.         public:
  13.         typedef char const * value_type;
  14.         value_type v_;
  15.         explicit
  16.         error_info( value_type v ):
  17.             v_(v)
  18.             {
  19.             }
  20.         };
  22.     template <>
  23.     class
  24.     error_info<tag_throw_file,char const *>
  25.         {
  26.         public:
  27.         typedef char const * value_type;
  28.         value_type v_;
  29.         explicit
  30.         error_info( value_type v ):
  31.             v_(v)
  32.             {
  33.             }
  34.         };
  36.     template <>
  37.     class
  38.     error_info<tag_throw_line,int>
  39.         {
  40.         public:
  41.         typedef int value_type;
  42.         value_type v_;
  43.         explicit
  44.         error_info( value_type v ):
  45.             v_(v)
  46.             {
  47.             }
  48.         };


 
Je me pose deux questions :
 

  • Pourquoi utiliser le mot clef struct pour les lignes typedef error_info< struct ... ?
  • Il me semble que template <> ... est utilisé pour faire une spécialisation totale du template mais visiblement un seul des deux types est spécifié. Est-ce licite d'écrire un truc comme ça ?


Merci d'avance pour vos réponses.

Reply

Marsh Posté le 02-06-2009 à 23:25:37   

Reply

Marsh Posté le 03-06-2009 à 07:08:30    

1/ structure localisée sans existence hors du typedef
2/ moi je vois 2 types par specialisation ....

Message cité 1 fois
Reply

Marsh Posté le 03-06-2009 à 08:55:05    

Joel F a écrit :


2/ moi je vois 2 types par specialisation ....


Dans le cas de la première spécialisation le deuxième type est un const char*, mais  tag_throw_function c'est quoi ?

Message cité 1 fois
Reply

Marsh Posté le 03-06-2009 à 09:11:33    

c'est une struct vide ça permet juste de faire de 'la surcharge' et d'aller dans la spécialisation de template adéquate. c'est une astuce quoi en somme!


Message édité par frenchtoucco le 03-06-2009 à 09:17:17

---------------
je connais tout, je ne sais rien, seule certitude, à vouloir trop on finit par tout perdre.
Reply

Marsh Posté le 03-06-2009 à 11:24:16    

geo la frite a écrit :


Dans le cas de la première spécialisation le deuxième type est un const char*, mais  tag_throw_function c'est quoi ?


 
la struct définie juste au dessus

Reply

Sujets relatifs:

Leave a Replay

Make sure you enter the(*)required information where indicate.HTML code is not allowed