C++

héritage multiple, surcharge de fonction avec même nom

Recherche :

Mot : Pseudo : Filtrer
Bas de page
Auteur	Sujet : héritage multiple, surcharge de fonction avec même nom

frenchtoucco

Salut,

Code :

#include <iostream>
using namespace std;
template <typename Type>
class reel
{
Type date;
void f(Type arg)
{
cout << arg << endl;
}
};
template <typename Type1,typename Type2>
class A:public reel<Type1>,public reel<Type2>
{
};
int main(){
A<float,double> b;
b.f(3.0f);
}

IL y a pas possiblité de faire un code comme ça ? Le compilo me marque error:call to f ambigu...

Merci.

Message édité par frenchtoucco le 24-01-2009 à 18:43:16

---------------
je connais tout, je ne sais rien, seule certitude, à vouloir trop on finit par tout perdre.

Publicité

Taz

bisounours-codeur

Et c'est quoi ta question ? Tu t'attends à ce qu'il se passe quoi ?

frenchtoucco

Qu'il réussisse à appeler la fonction f en fonction du type d'argument passé
Je voudrais savoir comment modifier le code, pour que le compilo sache quelle fonction appeler

Message édité par frenchtoucco le 24-01-2009 à 18:55:53

---------------
je connais tout, je ne sais rien, seule certitude, à vouloir trop on finit par tout perdre.

Joel F

Real men use unique_ptr

sauf que double et float sont covnertible l'un vers l'autre donc pour lui, en suivant la One Conversion Rule, il peut prendre les deux.

Message cité 1 fois

frenchtoucco

mais avec char et float c'est pareil aussi

---------------
je connais tout, je ne sais rien, seule certitude, à vouloir trop on finit par tout perdre.

Un Programmeur

Code :

#include <iostream>
using namespace std;
template <typename Type>
class reel
{
public:
Type date;
void f(Type arg)
{
cout << arg << endl;
}
};
template <typename Type1,typename Type2>
class A:public reel<Type1>,public reel<Type2>
{
using reel<Type1>::f;
using reel<Type2>::f;
};
int main()
{
A<float,double> b;
b.f(3.0f);
}

Le choix de la fonction à appeler se fait en trois temps. Premièrement, la determination d'une portée ou trouver la fonction, deuxièmement résolution de la surcharge, troisièmement, contrôle d'accès.

Ici, l'ambiguïté est dans la première étape. Pour la résoudre, j'importe les noms dans la classe A donc il n'y a plus d'ambiguité de portée -- et la résolution de surcharge fonctionne comme on s'y attends. Mais donne une erreur puisque les fonctions ne sont pas accessible -- donc j'ai ajouté le public.

C'est un effet de la même règle, mais un peu plus subtil, qui empèche le code suivant de compiler

Code :

struct A { void f(double*) {} };
struct B: A { void f(int*) {}};
int main() {
B b;
b.f((double*)0);
}

Message édité par Un Programmeur le 24-01-2009 à 20:07:21

Un Programmeur

Joel F a écrit :

sauf que double et float sont covnertible l'un vers l'autre donc pour lui, en suivant la One Conversion Rule, il peut prendre les deux.

Il y a une voie sans conversion du tout, elle devrait être préférée. Mais la résolution de surcharge ne considère les
fonctions que dans une portée, et ici il y a ambiguité sur la portée à considérer. Ma solution consiste à introduire
une portée où les deux fonctions sont présentes.

Un appel b.f() -- où la résolution de surcharge n'est pas possible -- devrait donner la même erreur.

frenchtoucco

bienvu merci et il faut mettre les using en public aussi dans A

---------------
je connais tout, je ne sais rien, seule certitude, à vouloir trop on finit par tout perdre.

Joel F

Real men use unique_ptr

arf j'avais loupé la résolution de portée :E

frenchtoucco

punaise ça craint, on peut pas faire du using avec de la génération de code automatique et les type lists. c'est à dire construire une hiérarchie de classe en métaprog, et avoir dans la classe la plus dérivée, les directives using permettant d'utiliser les différentes méthodes de même nom (les utiliser avec un objet de type "classe la plus dérivée" ), se situant dans les différents niveaux de la hierarchie ?

Message cité 1 fois

---------------
je connais tout, je ne sais rien, seule certitude, à vouloir trop on finit par tout perdre.

Publicité

Joel F

Real men use unique_ptr

à voir avec inherit_linearly de MPL ou les variantes de Alexandrescu

Message cité 1 fois

Un Programmeur

frenchtoucco a écrit :

Si j'ai bien compris, c'est possible (la qualification de portee d'un nom importe par une using-declaration peut etre un parametre template) mais les contraintes sont telles que ce ne doit pas etre utilisable. Pour deux raisons:
- les using-declarations ont besoin de connaitre le nom (on ne peut pas tout importer avec, ce n'est pas des using-directives et on ne peut pas importer un nom donne par un parametre template)
- on ne peut pas mettre dans une using-declaration un nom non present dans la portee dont on importe.

Joel F a écrit :

à voir avec inherit_linearly de MPL ou les variantes de Alexandrescu

Ca enleve l'ambiguite due a la determination de portee. Mais les fonctions trouvees dans la portee privilegiee vont masquer les autres, menant au probleme de mon deuxieme exemple.

Message cité 1 fois
Message édité par Un Programmeur le 26-01-2009 à 09:55:31

frenchtoucco

Un Programmeur a écrit :

- les using-declarations ont besoin de connaitre le nom (on ne peut pas tout importer avec, ce n'est pas des using-directives et on ne peut pas importer un nom donne par un parametre template)

voilà le problème est là, c'est que les noms (nom de la classe+paramètre template associé) sont connus au fur et à mesure des appels récursfis. Et comme les directives using ne peuvent pas être mis en place à l'éxécution via l'appel à une fonction "init" ,( i.e: ça fait parti de la définition de la classe.) c'est un peu l'impasse

---------------
je connais tout, je ne sais rien, seule certitude, à vouloir trop on finit par tout perdre.

Joel F

Real men use unique_ptr

utilise un coup de BOOST_PP magic au lieu de faire de la meta-prog par type sinon.

frenchtoucco

ok je vais regarder de ce côté là

---------------
je connais tout, je ne sais rien, seule certitude, à vouloir trop on finit par tout perdre.

FORUM HardWare.fr

Programmation

C++

héritage multiple, surcharge de fonction avec même nom

Sujets relatifs
fonction executable par asp	[Access] Fonction "SOMME" dans un etat qui ne fonctionne pas
Afficher certaines balises xml en fonction de leurs attributs	[HTML] Pblm fonction "Z Index"
retour de fonction par référence et chainage d'opération	Problèmes avec la fonction mail (mails HTML)
Lister les différents champs d'un parametre d'une fonction. Possible ?	fonction prédéfinie de décalage en xilinx
Créer une page de dispatch en php en fonction de l'url saisie	Fonction ou variable PHP pour racine du site?
Plus de sujets relatifs à : héritage multiple, surcharge de fonction avec même nom

Page générée en 0.083 secondes