C++

[C++] histoire de con(-travariance) marrante

Recherche :

Mot : Pseudo : Filtrer
Bas de page
Auteur	Sujet : [C++] histoire de con(-travariance) marrante

Stroustrup-Junior

Je voulais vérifier un truc en lisant la bible de papa ( :jap: ) et voila que je tombe sur un drôle de fonctionnement (MinGW).

Code :

#include<iostream>
#include<string>
using namespace std;
struct classe_base {
string affiche_base() { return "base"; };
};
struct classe_derive : classe_base {
string affiche_derive() { return "derive"; };
};
int main() {
typedef string (classe_derive::*pfm)();
// verification regle contravariance
{
pfm p_affiche_base( &classe_derive::affiche_base );
// string (classe_base::*p_affiche_base_cast)()( p_affiche_base ); // erreur de compilation
}
{
pfm p_affiche_derive( &classe_derive::affiche_derive );
// string (classe_base::*p_affiche_derive_cast)()( p_affiche_derive ); // erreur de compilation
}
// outrepassons la regle contravariance
{
pfm p_affiche_derive( &classe_derive::affiche_derive );
string (classe_base::*p_affiche_derive_cast)()( static_cast<string (classe_base::*)()>(p_affiche_derive) ); // ok
}
// tentative d'execution en outrepassant la regle de contravariance
{
pfm p_affiche_derive( &classe_derive::affiche_derive );
string (classe_base::*p_affiche_derive_cast)()( static_cast<string (classe_base::*)()>(p_affiche_derive) ); // ok
classe_base c;
classe_derive d;
cout << (c.*p_affiche_derive_cast)() << endl; // ...s'execute et appelle affiche_derive de classe_derive...
cout << (d.*p_affiche_derive_cast)() << endl; // ok
}
}

Je m'attendais à obtenir une erreur pendant l'execution du programme ci-dessus. Pas du tout! Je ne pense pas qu'il s'agisse d'un reel probleme d'implémentation au niveau du compilateur mais plutot d'une optimisation qui, par effet de bord, autorise un tel appel de fonction. La regle de contravariance est respectée dans tous les cas.

Publicité

Harkonnen

Modérateur
Un modo pour les bannir tous

t'es un multi à Taz ? [:dawa]

---------------
J'ai un string dans l'array (Paris Hilton)

Stroustrup-Junior

non à xter, en vacances (lol).

Taz

bisounours-codeur

// outrepassons la regle contravariance

ça veut dire quoi ?

Tamahome

⭐⭐⭐⭐⭐

le C++ caÿ le mal

Stroustrup-Junior

Taz : si j'ai bien compris, le compilateur refuse logiquement de convertir un pointeur de fonction membre d'une classe dérivée en un pointeur de fonction membre de la classe de base corespondante. Avec le cast, j'ai voulu obliger le compilateur à ne pas respecter cette regle.

Taz

bisounours-codeur

et contravariance c'est quoi?

Stroustrup-Junior

Je cite papa Stroustrup : " Une classe dérivée possède, au minimum, les membres hérités de ses classes de base. En fait, elle en possède souvent davantage. Cela siginifie que nous pouvons affecter sans risque le pointeur d'un membre d'une classe de base à celui d'un membre d'une classe dérivée, mais pas le contraire. Cette propriété est souvent nommée contravariance. Par exemple :

Code :

class text : public std_interface {
public:
virtual void print();
}
void (std_interface::*pmi)() = &text::print; // erreur
void (text::*pmt)() = &std_interface::print; // ok

Message édité par Stroustrup-Junior le 21-07-2004 à 19:29:20

Taz

bisounours-codeur

bah je connaissais pas le mot. Ni qu'il y ait besoin de d'établir une règle la dessuer, ça parait naturel.

nraynaud

lol

bah si co/contravariance. la contravariance, c'est ce que font tous les langages car c'est facile à typer, mais ça emmerde touts le développeurs. La covariance, c'est ce dont les développeurs ont besoins mais qu'on sait pas typer.

Publicité

Ace17

C'est pas la covariance qu'on appelle aussi downcast?

Taz

bisounours-codeur

http://fr.wikipedia.org/wiki/Typage_statique

Taz

bisounours-codeur

et vive les multiméthodes

FORUM HardWare.fr

Programmation

C++

[C++] histoire de con(-travariance) marrante

Sujets relatifs
histoire de pointeur	Une histoire de formulaire qui ne passe pas !!!!
[C++] histoire de constructeurs	[comics] histoire de la prog'
[C++] Histoire de membres statiques	Histoire de placement de noeuds et de liens...
une histoire d'allocateur mémoire	[SQL] Une histoire de requete et de date...
Histoire de cookies...	Histoire de chemin relatif...
Plus de sujets relatifs à : [C++] histoire de con(-travariance) marrante

Page générée en 0.082 secondes