Discussion :

[Mat007]

Bonjour,

J'ai une macro que nous appelerons MACRO définie ainsi :

Code :

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

1
2
#define MACRO( derived, base ) \
    struct derived : base

Je souhaite l'utiliser de cette manière :

Code :

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

1
2
3
template< typename T1, typename T2 >
MACRO( my_derived, my_base< T1, T2 > )
{};

Bien sûr la virgule entre T1 et T2 ne plait pas au pré-processeur.

Je suppute qu'il n'y a pas de solution, y compris en modifiant éventuellement la macro (enfin la ligne #2, parce que la #1 est inaltérable) ?

Merci !

MAT.

[ram-0000]

Code :

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

MACRO( my_derived, (my_base< T1, T2 >) )

[Mat007]

Du coup ça fait :

Code :

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

1
2
3
template< typename T1, typename T2 >
struct my_derived : (my_base< T1, T2 >)
{};

Et :

syntax error : '('

MAT.

[dragonjoker59]

Code :

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

1
2
#define MACRO2PARAMS( derived, base, t1, t2 ) \
    struct derived : base< t1, t2 >

Code :

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

1
2
template <typename T1, typename T2>
MACRO2PARAMS( my_derived, my_base, T1, T2)

Cela dit, je ne suis pas sur de comprendre l'intérêt d'une telle macro...

[Mat007]

Code :

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

1
2
#define MACRO2PARAMS( derived, base, t1, t2 ) \
    struct derived : base< t1, t2 >

Malheureusement, je ne peux pas modifier la déclaration des paramètres de la macro (i.e. la ligne #1)...

Cela dit, je ne suis pas sur de comprendre l'intérêt d'une telle macro...

Tu te doutes que je l'ai simplifiée pour extraire un exemple qui se limite au problème que je rencontre.

MAT.

[dragonjoker59]

Alors il ne te reste plus que le typedef (évidemment impossible si tu ne connais pas T1 ou T2)

[Invité]

Il y une astuce que j'ai vu dans gcc qui utilise les macros variadiques... Par contre je ne me souviens plus où ni comment ils faisaient... Sinon tu peux peut-être voir du coté de boost.PP

[3DArchi]

Salut,
Tu dois pouvoir t'en sortir avec Boost.Preprocessor

[screetch]

Code :

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

1
2
3
4
#define COMMA ,
template< typename T1, typename T2 >
MACRO( my_derived, my_base< T1 COMMA T2 > )
{};

mais ca pique les yeux

[3DArchi]

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
#include<boost/preprocessor.hpp>
 
 
template<class T1>
struct my_base1{};
 
 
template<class T1, typename T2>
struct my_base2{};
 
template<class T1, typename T2,typename T3>
struct my_base3{};
 
// mon code
#define MACRO( derived, card, base ) \
    struct derived : BOOST_PP_TUPLE_REM(card) base
 
 
template< typename T1>
MACRO( my_derived1, 1,(my_base1< T1 >) )
{};
 
template< typename T1, typename T2 >
MACRO( my_derived2, 2,(my_base2< T1, T2 >) )
{};
 
template< typename T1, typename T2 ,typename T3>
MACRO( my_derived3, 3,(my_base3< T1, T2, T3 >) )
{};
 
int main()
{
        my_derived1<int> m1;
        my_derived2<int,int> m2;
        my_derived3<int,int,int> m3;
 
    return 0;
}

mais ca pique les yeux

C'est souvent le cas avec Boost.Preprocessor

[Mat007]

Le BOOST_PP_TUPLE_REM n'est pas trop possible parce que ça m'oblige à modifier la manière d'utiliser la macro.
Par contre BOOST_PP_COMMA est une solution de contournement possible, même si oui bien sûr idéalement j'aurais préféré quelque chose de plus lisible.

Merci à vous !

MAT.