rzut Pochodny * const do Bazy * const

Question

Edytuj - Umieść pytanie w kontekście nieco więcej.

Dane:

struct Base 
{ 
    ... 
}; 
struct Derived : public Base 
{ 
    ... 
}; 
class Alice 
{ 
    Alice(Base *const _a); 
    ... 
}; 
class Bob : public Alice 
{ 
    Bob(Derived *const _a); 
    ... 
}; 

Kiedy próbuję wdrożyć

Bob::Bob(Derived *const _d) : Alice(static_cast<Base*const>(_d)) { } 

to nie działa. const_cast nie ma sensu do mnie jak nie chcę, aby zmienić constness, a ja nie zmienia, co mam wskazując, więc dlaczego wtedy nie g ++ mi

invalid static_cast from type ‘Derived* const’ to type ‘Base* const’ 

? Jeśli pominię rzutowanie, będzie to oznaczać, że ktoś może rzucić na to jakiekolwiek światło. Byłoby to bardzo doceniane.

Answer 1

Problem polegał na tym, że pochodne był niekompletny rodzaju, to znaczy do przodu uznany. Obawiam się, że już daje każdemu ciężko :( Odpowiedź pojawiła się, gdy Kiril Kirow proponuje stosując dynamiczną odlewu, na której g ++ wypluł to nieco bardziej pomocne błąd:

error: cannot dynamic_cast ‘_d’ (of type ‘struct Derived* const’) to type ‘struct Base* const’ (source is a pointer to incomplete type) 

Niestety, Napisałem już o Derived, ale nie zdawałem sobie sprawy, że to jest istotne, i zostało ukryte kilka nagłówków w dół, co spowodowałoby, że wysłałem tu zbyt dużo kodu, przepraszam wszystkich, ale mam nadzieję, że to przynajmniej pomoże później komuś innemu.

Answer 2

Nie potrzebujesz żadnej obsady. Masz wskaźniki const, a nie wskaźniki do obiektów const. I legalne jest przypisywanie adresu obiektu pochodnego do wskaźnika do bazy bez rzutowania.

Answer 3

Mam teorię. Co się stanie, jeśli podczas derywacji przypadkowo zapomnisz określić, że wyprowadzenie jest publiczne? W tym przypadku domyślnie byłby on prywatny, a powyższa konwersja byłaby niedostępna.

Na pewno napisał

class Derived : ***public*** Base {...} 

?
A może zapomniałeś publicznych? Tylko teoria ...

Answer 4

Masz niepowiązanych typów Alice i Base. Zmień konstruktor Alice, aby uzyskać Base*.

Przy okazji, I podejrzewam, że ma niewłaściwe miejsca docelowe const.

zdrowie & HTH.,

Answer 5

To kompiluje doskonale na g ++ 4.4.3, nie ma nawet ostrzeżenia:

#include <iostream> 

struct Base 
{ 
    Base() 
    { 
    } 
}; 

struct Derived : public Base 
{ 
    Derived() {} 
}; 

class Alice 
{ 
public: 
    Alice(Base *const _a) 
    { 
     std::cout << "Alice::Alice" << std::endl; 
    } 
}; 

class Bob : public Alice 
{ 
public: 
    Bob(Derived *const _a) 
     : Alice(static_cast< Base * const >(_a)) 
    { 
     std::cout << "Bob::Bob" << std::endl; 
    } 
}; 

int main() 
{ 
    Derived* pDer = new Derived(); 
    Bob b(pDer); 
    return 0; 
} 

Answer 6

Jedynym problemem jest to, że Alice::Alice jest prywatne w Alice. Bob nie ma dostępu do Alice::Alice.

Nie ma żadnych problemów z obsadą. W rzeczywistości nie potrzebujesz do tego static_cast.Powinien być niejawnie konwertowany.

Aktualnie posiadana wersja static_cast jest ważna, z wyjątkiem nadmiarowego kwalifikatora const w typie docelowym. Ten const po prostu nie ma sensu, ale nie jest błędem.

Nie jest dla mnie jasne, dlaczego Twój kompilator wydaje te dziwaczne komunikaty o błędach. Podejrzewam, że opublikowany przez Ciebie kod jest fałszywy.

Answer 7

Chociaż nie jestem pewien (zbyt mało kontekstu) Myślę, że masz na myśli Baza const * i pochodnego const *.

Baza const * to wskaźnik do stałego obiektu Base. Baza * const to stały wskaźnik do modyfikowalnego obiektu Base.