Discussion :

[j-jorge]

Bonjour,

Je suis dans une situation où j'appelle une fonction virtuelle dont le resultat peut être d'un type different selon le contexte. J'ai donc déclaré la fonction en mettant boost::any en type de retour. Le problème est que j'ai du mal à restaurer le boost::any dans le type désiré initialement.

Voici en gros mon contexte.

Code :

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

1
2
3
4
5
6
7
8
9
10
11
class context
{
public:
  template<typename T>
  T convert( const std::string& s ) const
  {
    return converter<T>::convert(*this, s);
  }
 
  virtual boost::any custom_convert( const std::string& s ) const = 0;
};

Je demande la conversion d'une chaîne dans un type connu en appelant context::convert<LeType>(s). Selon que je sache faire la conversion moi-même ou pas, une implémentation de la classe converter ci-dessous est choisie (c'est simplifié) :

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
// traite le cas général
template<typename T>
struct converter
{
  T convert( const context& c, const std::string& s ) const;
};
 
// traite le cas particulier d'une référence à un objet quelconque.
template<typename T>
struct converter<const T&>
{
  const T& convert( const context& c, const std::string& s ) const
  {
    // on demande à la classe fille de se charger de la conversion
    const boost::any result = c.custom_convert(s);
 
    // échoue si c.custom_convert a retourné un T* au lieu d'un const T*
    return *boost::any_cast<T>( &result );
  }
};

Le problème est au niveau du return ci dessus. Si le type de la valeur retournée par c.custom_convert(s) n'est pas exactement const T*, alors la conversion échoue. Même si c'est un T*. Ce n'est pas surprenant quand on regarde le code de boost::any, mais je cherche une solution de remplacement.

J'ai essayé plusieurs pistes*:

• remplacer le boost::any_cast<T> par boost::unsafe_any_cast<T>() ;
• faire une sorte de boost::any maison, en gardant l'idée du placeholder/holder<T> et en ajoutant un cast utilisant un dynamic_cast ;
• passer par un void* dans un boost::any maison et utiliser un reinterpret_cast

Aucune n'a été satisfaisante. Soit j'ai un problème avec la présence ou non d'un const dans le type de retour de custom_convert(), soit c'est que le custom_convert me retourne un pointeur sur une classe mère du type attendu, qui pourrait bien se convertir avec un dynamic_cast mais qui ne passe pas avec le holder<T> et ne se reinterpret_cast pas correctement depuis un void*.

La dernière piste que j'ai est de passer le type_info du résultat attendu en paramètre à custom_convert, et imposer à la classe fille de me retourner un résultat ayant exactement le même type_info ou d'échouer. Ça ne me plaît pas beaucoup alors j'aimerais avoir vos avis sur le sujet avant de me lancer.

[poukill]

Boost.Any c'est sympa mais au final on tombe sur des problèmes de ce genre là.
Du coup moi je préfère deux approches:

• type maison avec erasure et visitor. C'est à dire un type de base maison, puis je fais dériver tous mes types ensuite.
• boost.Variant et boost::static_visitor

[Flob90]

Est ce que ca a un sens qu'un utilisateur décide de retourner un T* et non un const T* dans le custon_convert ? Si c'est pas le cas je choisirais d'imposer cette condition dans le contrat.

[j-jorge]

Boost.Any c'est sympa mais au final on tombe sur des problèmes de ce genre là.
Du coup moi je préfère deux approches:

• type maison avec erasure et visitor. C'est à dire un type de base maison, puis je fais dériver tous mes types ensuite.
• boost.Variant et boost::static_visitor

J'ai regardé un peu le boost.Variant mais je n'ai pas de limite sur les types possibles, du coup boost.Any semblait plus pertinant.

Est ce que ca a un sens qu'un utilisateur décide de retourner un T* et non un const T* dans le custon_convert ? Si c'est pas le cas je choisirais d'imposer cette condition dans le contrat.

Oui oui, ça a tout à fait un sens. Éventuellement je peux faire deux custom_convert, un qui attend un const et un qui attend un non const, mais je ne pense pas que ça résolve le cas où j'ai une classe B qui hérite de A, j'attends un B* et on me retourne un A*.

[j-jorge]

Bon j'ai avancé un peu, je m'en suis finalement sorti en utilisant des void* et des static_cast. Je pense que je bidouillerai avec un union le jour où j'aurai besoin que le custom_convert ne retourne pas un pointeur.

Je sens bien que ce genre de pratique va me donner des erreurs de segmentation dans quelques mois, quand j'aurai oublié, et que je vais galérer à trouver que ça vient de là…

Au passage, est-ce que ça a un sens de faire un dynamic_cast<T*>( static_cast<T*>(v) ), où v serait un void*. Que se passe-t-il si v ne peut vraiment pas être casté en T* ? le dynamic_cast va le remarquer ou ça va planter ?

[Flob90]

Tu peux toujours appliquer un static_cast sur void* pour obtenir le type que tu veux, par contre si le type n'est pas bon ca risque de planter à l'execution.

Ton dynamic_cast sert à rien, ton static_cast va te retourner un T* et caster de T* à T* avec un dynamic_cast (c'est spécifié dans la norme), ca ne fait rien. (n3126, section 5.2.7, paragraphe 3).

[Emmanuel Deloget]

Bon j'ai avancé un peu, je m'en suis finalement sorti en utilisant des void* et des static_cast. Je pense que je bidouillerai avec un union le jour où j'aurai besoin que le custom_convert ne retourne pas un pointeur.

Je sens bien que ce genre de pratique va me donner des erreurs de segmentation dans quelques mois, quand j'aurai oublié, et que je vais galérer à trouver que ça vient de là…

Au passage, est-ce que ça a un sens de faire un dynamic_cast<T*>( static_cast<T*>(v) ), où v serait un void*. Que se passe-t-il si v ne peut vraiment pas être casté en T* ? le dynamic_cast va le remarquer ou ça va planter ?

C'est surtout que ça va marcher dans certains cas, et pas dans d'autres - par exemple si le void* pointe sur une instance d'une classe héritant de plusieurs classes. L'héritage multiple peut poser des problèmes lors d'un case vers void* et en retour de void*.

Pour ton problème spécifique, je penses que tu en demande trop à boost.any. Tu peux toujours jouer avec const_cast<> pour gérer le const, mais tu ne feras pas changer le type statique d'une variable aussi aisément ; si tu as un objet de type A* stocké, alors tu obtiendras un objet de type A* en sortie, et il faudra faire le dynamic_cast toi même.

[Flob90]

J'arrive pas à voir l'interet à retourner desfois quelque chose de constant et desfois quelque chose qui ne l'est pas ! Je ne sais pas si Custom_convert sert ailleurs, mais si ce n'est pas le cas, alors c'est clair que tu peux imposer de retourner quelque chose de constant.

En testant j'ai remarqué des erreures dans ton code, notamment l'utilisation de Convert comme méthode statique alors qu'elle ne l'est pas, et c'est surment const T* et pas T dans any_cast (ou alors je n'ai pas compris comment tu te sers de ton code, tu pourrais poster un exemple de classe dérivant de Context pour tester ?)

[j-jorge]

J'arrive pas à voir l'interet à retourner desfois quelque chose de constant et desfois quelque chose qui ne l'est pas ! Je ne sais pas si Custom_convert sert ailleurs, mais si ce n'est pas le cas, alors c'est clair que tu peux imposer de retourner quelque chose de constant.

Pour situer un peu le tout, il s'agit d'une évolution de ce que j'avais fait pour cet article. En gros, j'ai des classes qui « exportent » des fonctions pouvant être ensuite appelées selon une chaîne de caractères représentant le nom de la fonction, et en passant un tableau de chaînes de caractères représentant les paramètres. Le problème de l'implémentation de l'article est que les appels sont restreints à un seul contexte (le paramètre du partron de classe de base_exportable) et j'ai besoin aujourd'hui de faire des appels dans des contextes différents.

Si les paramètres attendus sont de type simples (entier, réel, booléen ou chaîne), je fais la conversion directe de la chaîne. Pour les autres types, je suppose que la chaîne représente un identifiant qui pourra être converti selon le contexte dans le type attendu par la fonction : c'est le boulot de la fonction virtuelle custom_convert(). Le paramètre attendu peut être un const ma_classe& tout comme un ma_classe& et il faut surtout que ça soit compatible avec le type retourné par custom_convert().

En testant j'ai remarqué des erreures dans ton code, notamment l'utilisation de Convert comme méthode statique alors qu'elle ne l'est pas, et c'est surment const T* et pas T dans any_cast (ou alors je n'ai pas compris comment tu te sers de ton code, tu pourrais poster un exemple de classe dérivant de Context pour tester ?)

Le code est un peu brouillon, j'ai voulu simplifier pour l'exemple. Je peux donner les liens vers le dépôt svn du projet. Voici l'implémentation actuelle du converter, ainsi qu'une utilisation aux lignes 137-138 de ce fichier et l'équivalent de custom_convert dans ce fichier.