Discussion :

[NoIdea]

Bonjour, je vois l'intérêt de static_assert (c++0x), mais je ne vois pas comment l'utiliser dans mon cas (je n'ai que trouvé l'exemple de la FAQ de c++0x sur google).

J'ai une fonction, qui prend un pointeur de fonction membre et pointeur vers un objet (ces 2 paramètres sont templates). Puisque gcc me sort une erreur inintelligible quand on passe les mauvais arguments (on se retrouve avec un message d'erreur de 10 lignes avec plein de "instantiated from here"), je voudrais fournir un message d'erreur plus clair dans ce cas :

Le pointeur de fonction membre est du type R(T::*)(Args...)
L'objet est du type O.

J'aimerais faire : static_assert(static_cast<T*>(O*), "Impossible to cast from O.type to T.type in function...");

Sauf que static_cast veut des objets et non des types et que si je met l'objet (au lieu de O*), il dit que ce n'est pas une expression constante.
De plus, comment afficher un O.type et T.type ? Y a t-il un moyen d'afficher le type des paramètre templates ?

Merci à tous.

[EDIT] Je crois qu'il me faudrait un boost::is_convertible. Y a t-il déjà quelque chose comme sa sans utiliser boost ? Je vais regarder comment boost fait...

[Joel F]

static_assert((T*)((O*)(0)), "Impossible to cast from O.type to T.type in function...");

est une façon.

boost::is_convertible utilise la SFINAE dans un contexte de surcharge d'opérateur pour discriminer les cas.

Pourquoi ne pas simplement utiliser boost ici ?

[NoIdea]

Je dois faire une erreur car voici ce que j'ai :

Code :

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

1
2
3
4
5
6
7
template<typename O, typename T, typename R, typename ...Args>
inline MemberFunction1<T,R,Args...> MakeMember(O* Obj, R(T::*Func)(Args...))
{
    static_assert(//Ligne 32
    static_cast<std::pair<double,int>*>//Ligne 33
    ((O*)(Obj)),"test");//Ligne 34
}

Le std::pair<double,int>* est fait pour produire l'erreur (en tant normal, ce sera juste un T*).

Voici l'erreur que j'ai :

error: a cast to a type other than an integral or enumeration type cannot appear in a constant-expression //Il m'indique l'erreur à la ligne 34

et si je fait :

Code :

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

1
2
3
static_assert(//Ligne 32
    static_cast<std::pair<double,int>*>//Ligne 33
    ((O*)),"test");//Ligne 34

error: expected primary-expression before '*' token //Il m'indique l'erreur à la ligne 34.

La première erreur pose problème : T ne sera pas forcément un type de base.

Pourquoi ne pas simplement utiliser boost ici ?

J'aurais bien aimé, mais j'aurais préférer éviter une si grande dépendance juste pour donner des messages d'erreurs plus clairs...


De plus, y a t-il une façon de demander au compilateur d'afficher O.type et T.type ? (Sa permettra à l'utilisateur de ne pas aller chercher ce que sont O et T).

[Goten]

J'aurais bien aimé, mais j'aurais préférer éviter une si grande dépendance juste pour donner des messages d'erreurs plus clairs...

Puisque tu utilises allégrement les variadiques templates (c'est tout à ton honneur ) et autres features du C++0x je suppose que tu peux utiliser :
std::is_convertible<>

quant à afficher les types, le compilo le fera de toute façon.

[NoIdea]

Merci beaucoup, je n'avais pas imaginé que la std propose is_convertible. Sa marche parfaitement.

Juste une question sur static_cast : est-il possible que is_convertible réussisse et static_cast échoue ?

[Joel F]

vu que static_cast<T>(u) fait un bon T(u) ... non

[NoIdea]

Merci. J'avais un doute sur ce que signifiait "convertible"