CRTP de classes template

Version imprimable

Bonjour à tous.

J'aimerai pouvoir faire du CRTP avec quelque chose d'assez particulier :
- les classes dérivées seront des classes template
- j'ai besoin que la classe de base connaisse les paramètres template des classes dérivées (je veux pouvoir travailler "normalement" avec ces types au sein de la classe de base)
- (EDIT) certaines fonctions de ma classe de base vont devoir renvoyer des choses du type TCRTP<T0, TDIM0>, c'est à dire des classes dérivées TCRTP avec d'autres paramètres template (T0, TDIM0 au lieu de T, TDIM) (voir vis à vis de l'exemple après)

Quelle est la bonne façon de concevoir une telle chose ?

J'ai essayé la chose suivante :
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 template<template<class T, unsigned int TDIM> class TCRTP> class NAbstract { T _data[TDIM]; }; template<typename T, unsigned int TDIM> class NArray : NAbstract< NArray<T, TDIM> > { }; template<typename T, unsigned int TDIM> class NVector : NAbstract< NVector<T, TDIM> > { };
mais ça ne compile pas :
Code:

1 2 3 4 5 main.cpp|5|error: 'T' does not name a type| main.cpp|8|error: type/value mismatch at argument 1 in template parameter list for 'template<template<class T, unsigned int TDIM> class TCRTP> class NAbstract'| main.cpp|8|error: expected a class template, got 'NArray<T, TDIM>'| main.cpp|13|error: type/value mismatch at argument 1 in template parameter list for 'template<template<class T, unsigned int TDIM> class TCRTP> class NAbstract'| main.cpp|13|error: expected a class template, got 'NVector<T, TDIM>'|
Merci beaucoup :ccool:

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
template<class TCRTP> class NAbstract
{
    typename TCTRP::value_type _data[TCTRP::dim];
};
 
template<typename T, unsigned int TDIM> class NArray : NAbstract< NArray<T, TDIM> >
{
 typedef T value_type;
 enum { dim = TDIM };
};
 
template<typename T, unsigned int TDIM> class NVector : NAbstract< NVector<T, TDIM> >
{
 typedef T value_type;
 enum { dim = TDIM }; 
};

13/08/2012, 08h55
Kaluza

Bonjour.

Quand je déclare un NArray<double, 3> avec ce code (d'ailleurs il y a une inversion de lettres TCRTP <-> TCTRP), g++ 4.6.2 me renvoie :

Code:

error: no type named 'value_type' in 'class NArray<double, 3u>'
13/08/2012, 09h05
Jean-Marc.Bourguet

Le seul problème que je vois, c'est qu'il manque public, mais normalement gcc donne un message d'erreur plus clair dans ce cas (disant que le membre est privé ou protégé, pas qu'il n'existe pas).

Non, même avec le public, ça ne compile pas :

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
#include <iostream>
 
template<class TCRTP> class NAbstract
{
    public:
        typename TCRTP::value_type _data[TCRTP::dim];
};
 
template<typename T, unsigned int TDIM> class NArray : NAbstract< NArray<T, TDIM> >
{
    public:
        typedef T value_type;
        enum { dim = TDIM };
};
 
template<typename T, unsigned int TDIM> class NVector : NAbstract< NVector<T, TDIM> >
{
    public:
        typedef T value_type;
        enum { dim = TDIM };
};
 
int main(int argc, char *argv[])
{
    NArray<double, 3> x;
    return 0;
}

g++ 4.6.2 :

Code:

error: no type named 'value_type' in 'class NArray<double, 3u>'

Oops, le type est incomplet... il faut passer le template et les paramètres individuellement. La solution de iammilind sur SO est la bonne voie. Je la recopie ici.
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 template<class T, unsigned int TDIM, template<class, unsigned int> class TCRTP> class NAbstract { T _data[TDIM]; }; template<typename T, unsigned int TDIM> class NArray : NAbstract< T, TDIM, NArray > { }; template<typename T, unsigned int TDIM> class NVector : NAbstract< T, TDIM, NVector > { };

13/08/2012, 10h21
screetch

Ah mince ca ne marche pas pour la recursion comme ca puisque le type n'est pas complet, je m'a gouré :(
sinon, je partais sur la solution de Jean-Marc.

Yes !
Merci beaucoup.

Le code suivant fonctionne (la fonction test est ce qui m'intéressait surtout) et je pense que ça va me permettre de faire tout ce que je voulais :
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 #include <iostream> template<class T, unsigned int TDIM, template<class, unsigned int> class TCRTP> class NAbstract { public: NAbstract() : _data{} {;} ~NAbstract() {;} TCRTP<int, TDIM> test() {return TCRTP<int, TDIM>();} T _data[TDIM]; }; template<typename T, unsigned int TDIM> class NArray : public NAbstract< T, TDIM, NArray > { public: NArray() {;} ~NArray() {;} }; template<typename T, unsigned int TDIM> class NVector : public NAbstract< T, TDIM, NVector > { public: NVector() {;} ~NVector() {;} }; int main(int argc, char *argv[]) { NArray<double, 3> x; x.test(); return 0; }
Certaines personnes évoquent cependant la relative "dangerosité" de passer des paramètres template en double, qui pourrait causer d'éventuels accidents. Y-aurait-il une autre méthode ou pensez vous que celle-ci est très bien ?