Discussion :

[Rodrigue]

Bonjour,

J'essaye de migrer un logiciel coder sous VS2005 et utilisant le CLR en "Win32". Le code C++ est presque standard si ce n'est qu'il utilise des blocs try finally. Y-a-t'il moyen de faire en sorte que le compilo les supportent? Par exemple en ajoutant du code qui déclare ces blocs... je n'ai pas envie de modifier tout le code qui est relativement bien écrit!

Je vous remercie par avance!

[loufoque]

Il y a des techniques à base de macros il me semble. Voir du côté de Boost ou de Loki.

[Rodrigue]

Je viens de faire des recherches dans le code de boost et mis à part dans les fichiers token_ids.hpp et wave_config.hpp de Boost.Wave, je ne vois rien!

[Luc Hermitte]

Même avec des simples macros, cela me parait difficile à faire. Ce qui est dans le finally est toujours exécuté.

J'imagine qu'adapter le code à des idiomes plus C++ (le RAII quoi) serait trop couteux en énergie ?

[Rodrigue]

Oui, je n'ai pas envie d'avoir à tout modifier!

[r0d]

Tu pourrais peut-être tenter une réécriture de tes fichiers sources avec un outil comme Bison par exemple?

[loufoque]

Même avec des simples macros, cela me parait difficile à faire. Ce qui est dans le finally est toujours exécuté.

Je ne vois pas ce qu'il y a de particulièrement difficile.
Il suffit de générer un objet avec un destructeur qui fait le code voulu.

Tu trouveras sûrement des trucs en cherchant BOOST_FINALLY sur les newsgroups de boost, et sinon il y a les ScopeGuard de Loki je crois.

[Luc Hermitte]

?? Comment tu définis une classe locale à une fonction? Comment tu l'initialises pour qu'elle s'approprie les ressources locales qu'elle devra libérer ?
Avec juste une macro qui s'appelle TRY et sa copine FINALLY, ce n'est pas possible.

Il faut réaliser des initialisations (dans le TRY) qui sont fonction des ressources qui seront libérées (chacune à sa façon) dans le FINALLY. Je ne vois même pas comment c'est possible de réaliser cela avec deux macros dépourvues de paramètres -- afin de respecter le 0 refactorisation.

C'est au développeur de réfléchir pour tout encapsuler manuellement dans des ScopedGuard (vieil article du CUJ dispo depuis le site de l'auteur (Andrei Alexandrescu))

[loufoque]

?? Comment tu définis une classe locale à une fonction?

Elle n'a pas besoin d'être locale, seule l'instance l'est.

Comment tu l'initialises pour qu'elle s'approprie les ressources locales qu'elle devra libérer ?

Il suffit que l'objet prenne une référence vers toutes les variables locales voulues.
Il y a aussi la possibilité d'utiliser des closures...

[Luc Hermitte]

OK, on ne parle pas de la même chose.
Je suis d'accord que le RAII est la façon C++ de procéder, et qu'il ne trouvera pas d'autres solutions.

Je disais, il n'y a (*) aucun moyen avec des macros de remplacer simplement les __try __finally propres à son outil. Il faut obligatoirement adapter le code (pour le migrer manuellement vers du RAII) pour obtenir les mêmes comportements.

(*) du moins, je n'en vois pas.