Discussion :

[gbdivers]

Bonjour à tous

J'utilise le tag dispatching et la spécialisation partielle pour spécialiser des classes, par exemple en vector :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
class any_tag;
 
template<typename T, typename Tag>
struct vector {};
 
template<typename T>
struct vector<T, any_tag> {};

J'utilise également dans un cas un std::vector comme spécialisation :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
class std_vector_tag;
 
template<typename T>
struct vector<T, std_vector_tag> : private std::vector<T>
{};

Je suis alors obligé d'exposer les fonctionnalités de std::vector :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
vector(size_type n = 0, const T& value= T()) : std::vector<T>(n, value) {}
reference operator[] (size_type n) { return operator[] (n); }
const_reference operator[] (size_type n) const { return operator[] (n); }
// etc.

(j'utilise l'héritage privé puisque le destructeur de std::vector est public et non virtuel)

Peut-on quand même se permettre d'utiliser l'héritage public dans ce cas ? (question purement rhétorique, ça resterait dangereux a priori)

En fait, ce qui m'intéresserait, c'est d'utiliser un template alias pour créer un alias de std::vector dans le cas d'une spécialisation partielle. Par exemple quelque chose comme ça :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
template<class T>
using vector<T, std_vector_tag> = std::vector<T>;

Si quelqu'un a une idée si c'est faisable et comment.
Merci

EDIT : en fait, chez moi (gcc 4.7 ubuntu 11.04), les templates alias et la directive -std=c++11 ne fonctionnent pas alors que normalement, ça devrait fonctionner. Un idée ?

gcc version 4.7.0 20111010 (experimental) [trunk revision 179769] (Ubuntu/Linaro 20111010-0ubuntu1)

gcc: error: unrecognized command line option '-std=c++11'

[gbdivers]

Because an alias-declaration cannot declare a template-id, it is not possible to partially or explicitly specialize a template alias.

donc on peut pas spécialiser un template alias...

A template-id that names a template alias specialization is a type-name.

mais un template alias peut être spécialisé ???

[ehmicky]

Salut,

As-tu essayé avec gcc -std=c++0x ?

[Arzar]

il me semble qu'une spécialisation partielle d'alias n'est en effet pas possible.

En revanche, je pense qu'il est possible d'obtenir ce que tu souhaites en faisant un alias sur un type exposé par une structure intermédiaire, structure qui pourra être elle spécialisée partiellement :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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
 
#include <vector>
#include <iostream>
 
struct std_tag{};
struct user_tag{};
 
template <typename T, typename Tag>
struct vector_imp
{
   // ton vecteur perso
   void push_back_perso(int i)
   {
      std::cout << "i" << std::endl;
   }
};
 
template<typename T, typename Tag>
struct dispatch_vector_type
{
   typedef vector_imp<T, Tag> type;
};
 
 
template<typename T>
struct dispatch_vector_type<T, std_tag>
{
   typedef std::vector<T> type;
}
 
template<typename T, typename Tag = user_tag>
using vector = typename dispatch_vector_type<T, Tag>::type;
 
 
int main()
{
  vector<int> v1;
  v1.push_back_perso(4);
  vector<int, std_tag> v2;
  v2.push_back(4);
}

Le code ci-dessus compile et donne le résultat attendu. Maintenant je crois que je resterais un peu nerveux d'avoir une classe portant le même nom qu'une classe de la STL (et c'est un peu fragile, par exemple il suffit d'ajouter un using namespace std et le code ne compile plus)

Edit:
Je viens de réaliser que le site de Stroustup conseille la même technique :
http://www2.research.att.com/~bs/C++...template-alias

Et pour ce qui es de la spécialisation d'alias, son explication est claire et concise :

Specialization works (you can alias a set of specializations but you cannot specialize an alias)

[gbdivers]

As-tu essayé avec gcc -std=c++0x ?

Je l'ai pas dis car c'était a priori évident que j'avais testé cette option

@Arzar
L'évidence même. On ajoute une indirection qui sera chargé de choisir la bonne structure. Finalement, on a quelque chose de similaire (dans la fonction) à un object generator.
Merci
(ps: j'avais regardé la FAQ de Stroustrup mais trop rapidement manifestement)

[gbdivers]

Par contre, si quelqu'un sait pour le problème d'activation de C++11 avec gcc 4.7 ?

[koala01]

Salut,

Par contre, si quelqu'un sait pour le problème d'activation de C++11 avec gcc 4.7 ?

On fait comme pour les version précédente: en passant l'option -std=c++0x

Ils ont parlé de remplacer celle-ci par -std=c++11 mais ils semblerait que cela n'ai pas encore été fait