Discussion :

[Kaluza]

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 :

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
 
 
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 :

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

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

[screetch]

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
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 }; 
};

[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 :

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

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

[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).

[Kaluza]

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

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
#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 :

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

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

[Jean-Marc.Bourguet]

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 :

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

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 >
{
};

[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.

[Kaluza]

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 :

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
#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 ?