Discussion :

[Invité]

Salut, je cherche depuis quelque temps déjà un exemple de code simple qui me permettrait de changer un type en un autre en compilation, exactement comme le système des placeholders, mais, avec du type erasure plutôt que avec auto. (qui n'est pas un type et donc, est instockable dans une classe ou bien un contenaire.)

Je ne sais pas si cela est possible à faire en c++ mais si quelqu'un à un exemple je suis toujours preneur.

[Flob90]

Je ne suis pas certain de comprendre ce que tu cherches, mais boost.mpl (ou la méta-programmation de manière générale) me semble répondre à la question.

Un exemple de ce que tu voudrais faire (même si la syntaxe est invalide) permettrait de clarifier ta demande.

[Invité]

Salut, un truc de ce genre :

Code cpp :

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

1
2
3
4
5
6
7
8
9
10
11
12
 
Delegate<void> callback1(ptrfunc1, _1, _2, ...);
Delegate<void> callback2(ptrfunc2, _1, _2, ...);
std::map<std::string, Delegate<void>> callbacks;
callbacks.insert(std::make_pair("CB1", callback1);
callbacks.insert(std::make_pair("CB2", callback2);
callbacks["CB1"].setParam(1, 2, ...)
callbacks["CB2"].setParam(1, 2, ...)
std::map<std::string, Delegate<void>>::iterator it;
for (it = callbakcs.begin(); it != callback.end(), it++)
     it->second();
}

[Flob90]

Je vois pas trop où est le caractère "à la compilation" dans ce que tu présentes. Ce sont des placeholders tout ce qu'il y a de plus normaux.

Tu es en train de vouloir ajouter un système de placeholder à ton delegate ?

[Invité]

Oui en fait c'est ça. Mais je sèche totalement.

Je voudrais par exemple que si je passe un type au foncteur alors ça me retourner une valeur d'un autre type.

Faut que j'utilise des classes de traits qui contienne une fonction qui appelle une fonction en fonction du type passé en paramètre template, c'est ça que fait boost::mpl ?

[Flob90]

Le truc c'est qu'un placeholder ça s'utiliserait pas comme ça. Plutôt :

Code :

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

1
2
3
 
Delegate<void> callback1(ptrfunc1, _1, _2, ...);
callback(1, 2, ...);

Et que pour des raisons de typage, ça ressemblerait plus à :

Code :

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

1
2
3
 
Delegate<void> callback1(ptrfunc1, _1<T1>(), _2<T2>(), ...);
callback(1, 2, ...);

Après pour l'implémentation, faut changer le type stocker dans le tuple pour qu'il erase aussi un placeholder et son utilisation pour lui faire suivre les paramètres d'appel sous forme de void* et qu'il retourne le bon avec le bon type.