C++ как вызвать метод потомка, не определоного в предке?

Question

[LittleFatNinja]

я понимаю что в А нет метода getSome(), но он есть в классе В, а в foo() я как раз и передаю экземпляр класса В

class A {

}

class B : A {
  int getSome();
}

void foo(A& a) {
  a.getSome(); //error: class 'A' has no member 'getSome()'
}

int main() {
   B b();
   foo(b);
}

Answer 1

[Вячеслав]

В класс А добавить виртуальный деструктор:

class A
{
public:
virtual ~A(){}
};

после этого:

void foo(A& a)
{
   if (B* b = dynamic_cast<B*>(&a))
      b->getSome();
}

Comments

[Pavel K]

После dunamic_cast нужен тип и сомневаюсь, что сработает или я испанский лётчик.

[Вячеслав]

Pavel K: Он там был, я просто код не через кнопку code добавлял. Подправил.

[Pavel K]

Пардон, пашет! А теперь объясните КАК???? с++ в очередной раз мне словало мозг. Ну и я полетел...

[Pavel K]

прошу, объясните!

[Pavel K]

Полиморфизм?

[Вячеслав]

Pavel K: dynamic_cast приводит к типу B и вызывает метод. Не знаю как ещё объяснить. Если не может привести к нужному типу возвращает 0, для этого там if.

[Pavel K]

Это то понятно, не понятно почему когда в классе добавляется виртуальная функция начинается такое поведение?

[Вячеслав]

Pavel K: dynamic_cast работает только с полиморфными типами, т.е. с теми у которых есть виртуальные функции

[Pavel K]

Дошло, спасибо!

[Pavel K]

А виртуальный деструктор нужен, что бы утечек памяти не было, когда класс стал виртульным?

[Вячеслав]

Pavel K: В данном конкретном случае я его добавил чтобы класс A стал полиморфным. Можно было любую другую виртуальную функцию.

[Pavel K]

Спасибо, уже нагуглил: habrahabr.ru/post/64280

Answer 2

[monah_tuk]

Для начала: не пишите так.

А так, если классы именно такие, то memory layout у них просто и, грубо, они указывают а одну область памяти. Поэтому поможет простое приведение:

void foo(A& a) {
  //a.getSome(); //error: class 'A' has no member 'getSome()'
  static_cast<B&>(a).getSome(); // All ok.
}

Более того, у вас ещё косяк, такой код:
B b();
это не то, что вы подумали, это объявление функции. Всё что выглядит как функция, крякает как функция - функция. Правильно так:

B b; // дефолтный конструктор не для POD типов вызовется и так

или так:

B b = B(); // Накладных расходов не будет. Будет вызван ТОЛЬКО один консутрутор. Компиляторы не совсем дураки.

Кроме того, надеюсь, класс B описан, на самом деле, как-то так:

class B : <b>public</b> A {
<b>public:</b>
  int getSome();
};

а не так как у вас.

Comments

[LittleFatNinja]

я код упростил, что б нагляднее было
это типа шаблон такой
за ответ спасибо

Answer 3

[Pavel K]

Через приведение типов?
Пардон, не получится - словите эксепшн, т.к. в классе A нет реализации функции.

По-моему никак. Нужно перепродумывать архитектуру.

Либо перенести этот метод в другой класс, от него наследовать A и B а потом уже и можно приведение типов.

Answer 4

[Antony]

Вообще, если ваша функция foo принимает объекты типа A, то она не должна вызывать функции, которых у этого объекта нет. Т.е. грубо говоря класс A задает "интерфейс" для всех потомков, который должны дергать всякие функции foo.

Т.е. в ваш пример должен выглядеть как-то так:

class A {
virtual int getSome()=0;
}

class B : A {
int getSome();
}