Преобразование объектов базового класса в производный класс

РЕДАКТИРОВАТЬ: я дополнил примеры, чтобы сделать их более понятными.

Ретрансляция на бросках обычно является признаком плохого дизайна. У гипса есть свое место, но, похоже, это не так.

Вам нужно спросить себя, что вы хотите делать с объектами, хранящимися в cBodyParts. Конечно, вы будете делать разные вещи с Hand или с Head, но вы, вероятно, можете как-то их абстрагировать: это то, что делают виртуальные функции. Итак, вдобавок к тому, что вы уже написали для своих классов, вам просто понадобится дополнительная виртуальная функция в них:

class BodyPart
{
  // Same as you wrote, plus:
public:
  virtual void InitialisePart() = 0; // Pure virtual: each body part must say how to process itself
  virtual void CalibrateJoints() {} // Override it only if the body part includes joints
}

class Head : public BodyPart
{
  // Same as you wrote, plus:
public:
  virtual void InitialisePart() {
    // Code to initialise a Head
  }
  // Since a Head has no joints, we don't override the CalibrateJoints() method
}

class Hand : public BodyPart
{
  // Same as you wrote, plus:
public:
  virtual void InitialisePart() {
    // Code to initialise a Hand
  }
  virtual void CalibrateJoints() {
    // Code to calibrate the knuckles in the hand
  }
}

И тогда вам больше не нужны никакие приведения. Например:

for (BodyPart::BodyPartPtr part : cBodyParts) {
  part->InitialisePart();
  part->CalibrateJoints(); // This will do nothing for Heads
}

Как видите, вообще никаких бросков и все будет нормально работать. Эта схема расширяема; если позже вы решите, что вам нужны дополнительные классы, наследующие от BodyPart, просто напишите их, и ваш старый код будет работать корректно:

class Torso : public BodyPart
{
public:
  virtual void InitialisePart() {
    // Code to initialise a Torso
  }
  // The Torso has no joints, so no override here for CalibrateJoints()

  // Add everything else the class needs
}

class Leg : public BodyPart
{
public:
  virtual void InitialisePart() {
    // Code to initialise a Leg
  }
  virtual void CalibrateJoints() {
    // Code to calibrate the knee
  }

  // Add everything else the class needs
}

Теперь вам не нужно изменять код, который вы написали ранее: цикл for выше будет работать правильно, а Torso или Leg он найдет без необходимости обновления.

Бедренная кость соединена с бедренной костью...

Я так понимаю, у вас есть какой-то состав всех частей тела, возможно, Body класса.

Что вы хотите, чтобы тело делало?

• Визуализировать себя
• сериализовать
• Выведите его объем, или ограничивающую рамку, или какую-либо другую метрику.
• Переориентируется в ответ на ввод
• Ответ на инверсно-кинематической физической модели

Список, наверное, можно продолжить. Если вы точно знаете, что вы хотите, чтобы Body делал, вы можете поместить эту функцию в базовый класс BodyPart, а Body выполнить итерацию по составной иерархической структуре всех связанных частей тела, вызывая, например, render.

Альтернативой является использование Visitor, который фактически является способом динамического добавления методов к статической иерархии наследования.

Как указал Керрек С.Б., это вообще невозможно, но ради ответа на фактический вопрос dynamic_cast это то, что вы ищете.

Используйте виртуальные функции, они значительно упростят вашу задачу.

В противном случае вы можете добавить несколько методов для различения разных типов. Однако делайте это только в том случае, если вы не можете сделать это другим способом, т.е. если вы не можете сделать это через виртуальные функции.

Пример 1:

// in BodyPart; to be reimplemented in derived classes
virtual bool isHand() const { return false; }
virtual bool isHead() const { return false; }

// in Hand (similar to what will be in Head)
bool isHand() const { return true; }

// How to use:
BodyPart::pointer ptr = humanBodyVector[42]; // one item from the array
if(ptr->isHand())
    processHand(/*cast to hand*/)
else if(ptr->isHead())
    // ...

Пример 2: пусть производные классы обрабатывают приведение

// in BodyPart; to be reimplemented in derived classes
virtual Hand* toHand() const { return 0; }
virtual Head* toHead() const { return 0; }

// in Hand (similar to what will be in Head)
Hand* toHand() const { return this; }