Spécialisation totale d'une sous-classe template.

Version imprimable

Bonjour.

Je cherche actuellement à réussir la spécialisation d'une méthode membre d'une sous-classe template :
la déclaration de la classe étant la suivante:
Code:

1 2 3 4 5 6 7 8 9 10 11 12 template <int HiTime> class Cv_Acquisition : Base_Acquisition<CvCapture*> { [...] private : template <bool positive> class WaitOp { void operator()() const;//méthode à spécialiser }; [...] };
et l'implémentation de l'opérateur en question:
Code:

1 2 3 4 5 6 template <int HiTime> template <bool positive> void Cv_Acquisition<HiTime>::WaitOp<positive>::operator()() const { [...] }
Jusqu'ici, pas de problème. mais lorsque j'essaye d'écrire une spécialisation, tout dérape.

En effet, le code
Code:

1 2 3 4 5 template <int HiTime> template <> void Cv_Acquisition<HiTime>::WaitOp<false>::operator()() { }
me renvoie les erreurs:

Citation:

Envoyé par gcc 4.4.1

[...]
/.../Cv_Acquisition.hpp:47: error: invalid explicit specialization before ‘>’ token
/.../Cv_Acquisition.hpp:47: error: enclosing class templates are not explicitly specialized
/.../Cv_Acquisition.hpp:48: error: invalid use of incomplete type ‘class Cv_Acquisition<HiTime>::WaitOp<false>’
/.../Acquisition.h:91: error: declaration of ‘class Cv_Acquisition<HiTime>::WaitOp<false>’
Process terminated with status 1 (0 minutes, 2 seconds)
4 errors, 0 warnings

et si je tente de mettre la spécialisation directement apres la sous classe comme suit:
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 template <int HiTime> class Cv_Acquisition : Base_Acquisition<CvCapture*> { [...] private : template <bool positive> class WaitOp { void operator()() const; }; //SPECIALISATION template <> void WaitOp<false>::operator()() const { [...] } [...] };
j'ai alors droit à l'ereur:

Citation:

Envoyé par gcc 4.4.1

[...]
/.../Acquisition.h:94: error: explicit specialization in non-namespace scope ‘class Cv_Acquisition<HiTime>’
/.../Acquisition.h:95: error: invalid use of incomplete type ‘class Cv_Acquisition<HiTime>::WaitOp<false>’
/.../Acquisition.h:91: error: declaration of ‘class Cv_Acquisition<HiTime>::WaitOp<false>’
Process terminated with status 1 (0 minutes, 2 seconds)
3 errors, 0 warnings

J'avoue ne pas du tout comprendre la raison de ce refus du compilateur... si quelqu'un a une idee....

merci :)

28/06/2010, 13h42
Davidbrcz
Pour la première tentative, je suis presque sûr que pour spécialiser une nested template class, il faut que la classe englobante soit elle même spécialisée.

Le code ci dessous compile comme un charme.
Code:

1 2 3 4 5 6 7 //en dehors de la classe template <> template <> void Cv_Acquisition<5>::WaitOp<false>::operator()() const { }
Après, que ca ne colle pas à ce que tu souhaites, je concoit très bien, je suis tombé sur le même problème avec les fonctions membres template d'une classe template ^^. La seule solution que j'ai trouvée à été de rendre la fonction libre

En ce qui concerne la 2eme tentative, il faut qu'une spécialisation partielle soit dans un namespace et non dans une classe, d'où l'erreur.
28/06/2010, 14h27
méphistopheles
Citation:

Envoyé par Davidbrcz

Pour la première tentative, je suis presque sûr que pour spécialiser une nested template class, il faut que la classe englobante soit elle même spécialisée.

-_-' je l'avais lu quelque part, mais la nouvelle norme n'avait-elle pas prévu d'anuller ce comportement (je ne sait même plus à quoi il est dû...) ?

Citation:

Envoyé par Davidbrcz

La seule solution que j'ai trouvée à été de rendre la fonction libre

j'ai essayé de mettre ma structure en dehors de ma classe, et effectivement, ça compile farpaitement dans ce cas, mais je ne souhaitais pas la rendre publique :? Enfin, à la limite, je peux mettre ça comme une extention de fonctional, du genre
Code:

1 2 template <bool expression, typename TrueFunctor, FalseFunctor> class is_true;
. Boost ne propose-t'il d'ailleurs pas une fonctionalité similaire ? (il me semble en avoir entendu parlé :?

Citation:

Envoyé par Davidbrcz

En ce qui concerne la 2eme tentative, il faut qu'une spécialisation partielle soit dans un namespace et non dans une classe, d'où l'erreur.

En même temps, les namespaces templates n'existent pas -_-' (ou alors, je suis pas au courant)...

Bon, boost ou ma std::functional... a voir...

Edit: pas trouvé dans boost... j'ai du rêver. Bon, ben go ma petite fonction alors.

Bon, je m'en suis sorti avec la fonction is_true. pour ceux que ça intéresserait, je la met ici:

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
//stdFunctionalExtention.h
#ifndef STDFUNCTIONALEXTENTION_H_INCLUDED
#define STDFUNCTIONALEXTENTION_H_INCLUDED
#include <iostream>
/**
* A functor class who call a functor depending of it first template parameter
* All is done at compile time
*/
namespace std
{
  template <bool expression,class RetType, class TrueFunctor,class FalseFunctor>
  struct is_true
  {
    inline RetType operator()() const;
  };
 
 
  ///True generic case
  template <class RetType,class TrueFunctor, class FalseFunctor>
  struct is_true<true,RetType,TrueFunctor,FalseFunctor>
  {
    TrueFunctor t;
    inline RetType operator()() const
    {
      t();
    }
  };
  ///False Generic case
  template <class RetType,class TrueFunctor, class FalseFunctor>
  struct is_true<false,RetType,TrueFunctor,FalseFunctor>
  {
    FalseFunctor f;
    inline RetType operator()() const
    {
      f();
    }
  };
 
  ///void RetType True case
  template <class TrueFunctor, class FalseFunctor>
  struct is_true<true,void,TrueFunctor,FalseFunctor>
  {
    TrueFunctor t;
    inline void operator()() const
    {
      t();
    }
  };
  ///void RetType False case
  template <class TrueFunctor, class FalseFunctor>
  struct is_true<false,void,TrueFunctor,FalseFunctor>
  {
    FalseFunctor f;
    inline void operator()() const
    {
      f();
    }
  };
}
 
#endif // STDFUNCTIONALEXTENTION_H_INCLUDED
 
 
#endif // STDFUNCTIONALEXTENTION_H_INCLUDED

Par contre, je me suis aperçu d'une chose bizarre avec la complétion automatique de codeblock, c'est qu'apparement, il y aurait déjà un is_true, et même des is_polymorphic, is_typename derriere le mot cle std... mais impossible de trouver la moinde doc là dessus... et pas de conflict non plus, mais je suppose que c'est dans des headers spécifiques... c'est peut-être une fonction de C++0x implémentée dans gcc...je vais poser une question là dessus.

Merci ;)

edit: rectification. ils existent tous sauf is_true qui est de mon cru. je n'en avait jamais entendu parler c'est tout.