Discussion :

[dancingmad]

Bonjour à tous,

dans le projet sur lequel je travaille actuellement, j'ai besoin d'écrire une fonction qui imite le comportement d'un static ou d'un dynamic_cast, selon qu'on est en Débug ou en Release. En clair, je dois écrire une fonction comme ceci :

Code :

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

1
2
3
4
5
6
7
8
9
template< typename T > T safe_cast( expr ) {
#ifdef _DEBUG
T res = dynamic_cast< T >( exp );
ASSERT( res != NULL );
return res;
#else
return static_cast< T >( exp );
#endif
}

Ce bout de code n'est pas valide, car exp n'a pas de type. Comment faire pour spécifier un type générique (comme par exemple l'objet Object en Java) en C++ ?

Par ailleurs j'ai écrit une macro qui fonctionne bien, mais je voudrais éviter d'utiliser ce genre de macros. Merci d'avance !

[stardeath]

Code :

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

1
2
3
4
5
6
7
8
9
template< typename T, typename U > T safe_cast( U expr ) {
#ifdef _DEBUG
    T res = dynamic_cast< T >( expr );
    ASSERT( res != NULL );
    return res;
#else
    return static_cast< T >( expr );
#endif
}

enfin je suppose que ça devrait marcher, c'est de cette manière que sont implémentés les opérateur de cast dans visual studio.

ps: j'ai un compilateur sous la main, et pas moyen de trouver un exemple pour lequel ça compile.

pps: correction dans l'écriture de l'arguement expr.

ppps: finalement j'ai trouvé un exemple qui marche comme ça.

[dancingmad]

En effet ça marche... Mais pourquoi ? J'aurais pensé qu'il était nécessaire de spécifier le paramètre U dans le cast (safe_cast<A*,B*> au lieu de safe_cast<A*>).

Si je comprends bien, le compilo est capable de détecter le type U à partir du paramètre expr, c'est bien ça ?

[Goten]

Dans le cadre d'une fonction si l'argument template est un paramètre de la fonction alors le type est inféré par le mécanisme des templates. (et heureusement j'ai envie de dire).

[dancingmad]

Bien reçu. Merci beaucoup !

[jblecanard]

Dans le cadre d'une fonction si l'argument template est un paramètre de la fonction alors le type est inféré par le mécanisme des templates. (et heureusement j'ai envie de dire).

Ben moi je ne savais pas, j'aurais appris un truc !