[C++] Inheritance / static_cast probleem

[Verwijderd]

Ik ben momenteel bezig met wat oude c++ projecten weer wat nieuw leven in blazen. Het grootste obstakel is dat de meeste compilers behoorlijk wat stricter zijn geworden.

De code ( beetje simplified weer gegeven vanwege de spaghetti vormen van de originele code):

C++:

class Derived1;
class Base {
    Base(const Base &);
    Base & operator=(const Base &);
protected:
    Base() {}
    ~Base() {}

    Derived1 * next; 

    void test();

    friend class Derived1;
    };

class Derived1 :  public Base {
    Derived1(const Derived1 &);
    Derived1 & operator=(const Derived1 &);
protected:
    Derived1() {}
    ~Derived1() {}

    friend class Base;
    };

class OtherBase {
public:
    void call_me() {}
    };

class Derived2 : public OtherBase, private Derived1 {
public:
    Derived2() {}
    ~Derived2() {}
    };

void Base::test() {
    /*dit neemt aan dat er altijd Derived2 type objecten worden opgeslagen in next */
    Derived1 * d1 = next; 
    Derived2 * d2 = static_cast<Derived2*>(d1);
    d2->call_me();
    }

De error:

(icc 9.1) error #1556: conversion from inaccessible base class "Derived1" is not allowed
Derived2 * d2 = static_cast<Derived2*>(d1);

(gcc) error: ‘Derived1’ is an inaccessible base of ‘Derived2’

VC2005/icc 9.0 klaagden er niet over.

Ik ben geen C++ guru en gegeven het feit dat ik deze code niet heb geschreven vraag ik mij af wat ik nou het beste kan doen om het werkend te krijgen. Als ik Derived2 protected of public inherit van Derived1 dan werkt (als in geen compiler errors) weer wel. Maar "klopt" het idee achter de code dan nog wel?

[ Voor 0% gewijzigd door Verwijderd op 27-09-2006 22:03 . Reden: oops... protected werkt niet nee... ]

[.oisyn]

Protected inheritance werkt wel? Vreemd, dat hoort namelijk ook niet. Het is natuurlijk simpel: alleen scopes die toegang hebben tot de private delen van Derived2 (dus Derived2 zelf en eventuele nested classes en friends) kunnen zien dat Derived2 van Derived1 inherit. Base heeft geen toegang tot Derived2 dus die kan de cast ook niet uitvoeren.

Je zou Base::test een friend kunnen maken, of heel Base, of idd de inheritance veranderen. Je app zal niet ineens rare dingen gaan doen, of het idee achter dit ontwerp dan nog stand houdt is eigenlijk niets over te zeggen zonder dat idee te kennen

[Verwijderd]

.oisyn schreef op woensdag 27 september 2006 @ 21:59:
Je zou Base::test een friend kunnen maken, of heel Base, of idd de inheritance veranderen. Je app zal niet ineens rare dingen gaan doen, of het idee achter dit ontwerp dan nog stand houdt is eigenlijk niets over te zeggen zonder dat idee te kennen

Ah ok. Ik snap hem nu. Bedankt. En inderdaad die protected inheritance werkt niet nee. Het idee achter dit ontwerp wil ik eigenlijk gewoon niet weten

[Verwijderd]

.oisyn schreef op woensdag 27 september 2006 @ 21:59:
Je zou Base::test een friend kunnen maken, of heel Base, of idd de inheritance veranderen. Je app zal niet ineens rare dingen gaan doen, of het idee achter dit ontwerp dan nog stand houdt is eigenlijk niets over te zeggen zonder dat idee te kennen

Ok als ik Base::test friend maak van Derived2 dmv

C++:

friend void Base::test(); 

Dan werkt dat voor de intel compiler, maar niet voor gcc

error: ‘void Base::test()’ is protected
test.cpp:39: error: within this context

Dat zou toch moeten werken omdat Derived2 een derived class van Base is (en dus toegang zou moeten hebben tot protected members). Alhoewel misschien zit de private inheritance de zaak te verpesten?

[.oisyn]

Nee, die private inheritance maakts uit; dat is om voor de buitenwereld te verbergen dat Derived2 van Derived1 inherit. Derived2 weet zelf natuurlijk dondersgoed dat het een Derived1 -en dus een Base- is, en hij zou daarom toegang moeten hebben tot Base::test

Welke gcc versie is dat?

[Verwijderd]

.oisyn schreef op donderdag 28 september 2006 @ 01:33:
Nee, die private inheritance maakts uit; dat is om voor de buitenwereld te verbergen dat Derived2 van Derived1 inherit. Derived2 weet zelf natuurlijk dondersgoed dat het een Derived1 -en dus een Base- is, en hij zou daarom toegang moeten hebben tot Base::test

Welke gcc versie is dat?

gcc 4.1.1

Dit werkt niet met gcc:

C++:

class Derived2 : public OtherBase, private Derived1 {
public:
    Derived2() {}
    ~Derived2() {}

    friend void Base::test();
    }; 

Dit werkt wel:

C++:

class Derived2 : public OtherBase, private Derived1 {
public:
    Derived2() {}
    ~Derived2() {}

    friend class Base;
    }; 

[farlane]

Ik snap eerlijk gezgd ook hier weer niet waarom de base class een ref zou moeten hebben naar een child class type. Volgend mij zit er ook hier een fout in het (inheritance) ontwerp.

[Verwijderd]

De "friend void Base::test;" oplossing werkt ook voor Comeau C++. Zou dit een bug in gcc kunnen zijn

[Verwijderd]

farlane schreef op donderdag 28 september 2006 @ 08:53:
Ik snap eerlijk gezgd ook hier weer niet waarom de base class een ref zou moeten hebben naar een child class type. Volgend mij zit er ook hier een fout in het (inheritance) ontwerp.

Ja die snap ik zelf ook niet helemaal. Vooral omdat in de echte code Derived1 een member "const Base * prev;" heeft .