void, passé par template, comme type d'argument d'une fonction

**cs_ntd** · 04/05/2010, 21h38

Bonjour à tous,

Je ne m'explique pas ce problème :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
template<class T1, class T2>
class C
{
public:
    typedef T1 (*Fptr)(void); //La ligne importante
    Fptr fptr;
};
 
int main()
{
    C<void,void> c;
    return 0;
}

(Je sais que je n'utilise pas T2 pour l'instant).
Ce code fonctionne parfaitement. En revanche:

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 T1, class T2>
class C
{
public:
    //T2 à la place de void pour le type de l'argument
    typedef T1 (*Fptr)(T2); //invalid parameter type `void'
    Fptr fptr; //invalid parameter type `void'
};
 
int main()
{
    C<void,void> c;
    return 0;
}

Ce code ne fonctionne pas, j'ai mis les erreurs en face des lignes que le compilateur incrimine.

C'est peut-être tout bête, mais j'aimerais savoir la subtilité qui empeche la 2ème version de fonctionner -_-'

Merci d'avance de votre aide...

**Joel F** · 04/05/2010, 21h44

T f(void) n'est qu'un raccourci de retrocompatibilité pour T f()

tu ne peux pas passer de type void de cette façon, il faut que tu spécialise ton template.

**cs_ntd** · 04/05/2010, 22h38

Merci de ta réponse rapide

Que f(void) soit "un raccourci de retrocompatibilité" pour f(), pourquoi pas, mais je ne vois qaund même pas la raison profonde qui m'empeche de faire ça enfin bon

Et après ba... spécialiser mon template je sais pas trop comment faire la.

Le principe est que j'ai besoin d'une classe qui contient un pointeur sur une fonction, pour laquelle je ne connais ni le type de retour, ni le type du paramètre.

Du coup, spécialiser pour <void, void>, c'est possible, mais j'oublie de ce fait tous les autres cas (quand T1 != void).

A moins que je puisse avoir une syntaxe de ce genre la : C<T><void>, et spécialiser uniquement quand la 2ème partie est à void? Mais je ne vois pas comment...

**cs_ntd** · 04/05/2010, 23h03

Ok j'ai raconté n'importe quoi juste avant

Donc tout betement en faisant :

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
 
template<class T1, class T2>
class D
{
    public:
    typedef T1 (*Fptr)(T2);
    Fptr fptr;
};
 
template<class T>
class D<T,void>
{
    public:
    typedef T (*Fptr)();
    Fptr fptr;
};
 
int main()
{
    D<void,void> c;
    return 0;
}

ça à l'air de marcher (du moins ça compile). En fait c'est pas si affreux

.

N'empeche. Ca aurait été plus simple si j'avais pu directement passer le type void

Merci de la suggestion, je vais passer ça en résolu vu que j'arrive à faire plus ou moins ce que je veux...

**3DArchi** · 09/05/2010, 00h55

Salut,

Envoyé par cs_ntd

N'empeche. Ca aurait été plus simple si j'avais pu directement passer le type void

C'est parfois plus simple de passer par une classe trait pour construire ton type et ne pas avoir à faire de spécialisation partielle de ta classe de départ si elle contient plus de code :

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
namespace details
{
    template<typename T1, typename T2>
    struct c_td_trait
    {
        typedef T1 (*type)(T2);
    };
    template<typename T1>
    struct c_td_trait<T1,void>
    {
        typedef T1 (*type)(void);
    };
}
template<class T1, class T2>
class C
{
 
public:
    //T2 à la place de void pour le type de l'argument
    typedef typename details::c_td_trait<T1,T2>::type Fptr;
    Fptr fptr;
};

**cs_ntd** · 09/05/2010, 16h04

Salut, merci de tes précisions.

Du coup c'est exactement ce que j'ai fait, comme j'avais pas envie de réécrire 2 fois ma classe...

Par contre je ne savais pas que ça portait un nom spécial cette "technique" (classe trait c'est ça ?).

Code :

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

typedef typename details::c_td_trait<T1,T2>::type Fptr;

Saurais tu me dire pourquoi il faut ajouter typename ? Je l'avais pas mis au début, le compilo ma dit qu'il fallait le mettre.
Je l'ai mis et ça a marché

mais je sais pas pourquoi ^^