Discussion :

[oodini]

Bonjour,

En fonction d'un entier donné, je dois créer un objet d'un type donné. Hop, on va tout droit vers une fabrique.

Mon problème est que je dois refiler le produit de cette fabrique à une fonction qui ne va pas consommer ce produit de manière polymorphique classique, car il utilise un polymorphisme statique.
Le type de l'argument en question est templatisé, et le polymorphisme est implémenté sous forme de respect d'un "concept". Tout est donc géré de manière statique. Et là, on sort hautement du design pattern "fabrique", qui est basé sur le virtualité.

Bref, je dois déterminer à l'exécution un type sans pouvoir faire de polymorphisme dynamique.

Sinon, il y a la possibilité de faire un switch, avec chaque case créant le bon type d'objet, et appelant la fonction en question. Comme la fonction prend 15 arguments (ce n'est pas moi qui l'ai faite !), j'aurais aimé éviter cette solution.

Je vais essayer de voir dans Boost::MPL si on peut indexer dynamiquement une liste de types....

PS : apparemment, le decltype(auto) de C++ 14 aurait pu me sortir d'affaire, mais je suis bloqué à C++11.

[white_tentacle]

J’ai un peu de mal. Soit tu es statique, soit tu es dynamique, mais mixer les deux, ça ne fait pas toujours bon ménage. Surtout, si le type de retour dépend d’un paramètre entier non connu à la compilation, ça veut dire que le type de retour est un variant (pas le choix).

Mais ce dont tu as besoin, ce ne serait pas finalement plutôt un visiteur ? (tu récupères le variant, et le fait de visiter le variant va appeler ta fonction à 15 arguments sur le bon type). Ça t’oblige à écrire les n appels avec 15 arguments, mais il y a probablement moyen de factoriser ça, et ça parait nettement plus propre que le switch.

[oodini]

J’ai un peu de mal. Soit tu es statique, soit tu es dynamique, mais mixer les deux, ça ne fait pas toujours bon ménage. Surtout, si le type de retour dépend d’un paramètre entier non connu à la compilation, ça veut dire que le type de retour est un variant (pas le choix).

C'est effectivement mon problème, mais je n'ai pas accès à toutes les manettes.

Mais ce dont tu as besoin, ce ne serait pas finalement plutôt un visiteur ? (tu récupères le variant, et le fait de visiter le variant va appeler ta fonction à 15 arguments sur le bon type). Ça t’oblige à écrire les n appels avec 15 arguments, mais il y a probablement moyen de factoriser ça, et ça parait nettement plus propre que le switch.

J'ai l'impression que je suis en train de m'en sortir.
L'objet attendu doit en fait être un foncteur. Je suis donc en train de créer une fonction qui me me renvoie un std::function<>, dont le type statique qui m'embête est enrobé grâce à un std::bind (cf mon auter question posée récemment).

Je me retrouve donc avec une fonction constituée d'un switch dont chaque cas fait deux instructions : création de l'instance, puis le return d'un std::bind.

Ça a l'air de fonctionner. Je vous tiens au jus.

[oodini]

OK, je m'en suis sorti grâce au bind. Ainsi, j'ai pu avoir un type de retour commun à tous les types, sans qu'il y ait besoin d'héritage.