литые Производные * const на базу * const

Question

Редактировать - Поместите вопрос в контекст немного больше.

Дано:

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

Когда я пытаюсь реализовать

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

он не работает. const_cast не имеет смысла для меня, поскольку я не хочу, чтобы изменить константность, и я не изменить то, что я указываю на, так почему же тогда г ++ сказать мне

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

? Если я откажусь от литья, в нем будет указано:

no matching function for call to ‘Alice::Alice(Derived* const)’ 

Если бы кто-нибудь мог пролить свет на это, было бы очень благодарно.

Answer 1

Проблема заключалась в том, что Derived был неполным типа, т.е. вперед объявлена. Боюсь, я давал каждому трудно :( Ответ выскочил, когда Кирил Kirow предложил использовать динамический литыми, на которой г ++ выплюнул это немного более полезным ошибку:

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

К сожалению, Я объявил вперед Derived, но я не понял, что это было актуально, и было скрыто несколько заголовков дальше, и это могло бы заставить меня размещать здесь слишком много кода. Извините всех, но я надеюсь, что это по крайней мере поможет кому-то другому позже.

Answer 2

Вам не нужны никакие броски. У вас есть константные указатели, а не указатели на объекты const. И законно присваивать адрес производного объекта указателю на базу без приведения.

Answer 3

У меня есть теория. Что делать, если во время деривации вы случайно забыли указать, что вывод является общедоступным? В этом случае он будет закрыт по умолчанию, и вышеуказанное преобразование будет недоступным.

Вы уверены, что вы написали

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

?
Возможно, вы забыли публикацию? Просто теория ...

Answer 4

У вас есть несвязанные типы Alice и Base. Измените конструктор Alice, чтобы взять Base*.

Кстати, я подозреваю, что у вас есть const мест размещения неправильно.

Приветствия & HTH.,

Answer 5

компилируется отлично на г ++ 4.4.3, нет даже предупреждения:

#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

Единственная проблема заключается в том, что Alice::Alice является закрытым в Alice. Bob не имеет доступа к Alice::Alice.

Нет никаких проблем с отливом. На самом деле вам не нужен static_cast.Он должен быть преобразован неявно.

У вас есть static_cast, за исключением избыточного квалификатора const в целевом типе. То, что const просто не имеет смысла, но это не ошибка.

Почему ваш компилятор выпускает эти странные сообщения об ошибках, мне непонятно. Я подозреваю, что введенный вами код является поддельным.

Answer 7

Хотя я не уверен (слишком мало контекста) Я думаю, что вы могли бы иметь в виду Base константный * и Производный сопз *.

Base const * является указателем на постоянный базовый объект. Base * const - постоянный указатель на модифицируемый базовый объект.