Как работает dynamic_cast

@Farada · Регистрация: 01.05.2015

Author24 — интернет-сервис помощи студентам

Почему все if-ы срабатывают?

C++

void print(Shape *shape)
{
    if (dynamic_cast<Point*>(shape))
    {
        cout << "Point\n";
    }
 
    if (dynamic_cast<Circle*>(shape))
    {
        cout << "Circle \n";
    }
    
    // else
    {
        cout << "Unknown figure\n";
    }
}
 
main()
{
    Shape *shape = new Circle(1,2,3);
    print(shape);
 
}

@DrOffset · 01.05.2015, 13:51

Сообщение от Farada

Почему все if-ы срабатывают?

Потому что объект Circle является сразу и Point и Shape. Ты сам так написал, значит так и будет

Наследование-то ведь такое у тебя?

C++

1
2
3

class Point {};
class Shape : public Point {};
class Circle : public Shape {};

@nmcf · 01.05.2015, 13:53

DrOffset, а как ты это понял, не видя иерархию?

@Farada · 01.05.2015, 13:55 **[ТС]**

У меня Другое наследование

C++

1
2
3

class Shape{};
class Point : public Shape{};
class Circle : public Point{};

@DrOffset · 01.05.2015, 14:02

Сообщение от Farada

У меня Другое наследование

Суть в общем-то не особо поменялась.

Добавлено через 39 секунд

Сообщение от nmcf

а как ты это понял, не видя иерархию?

Телепатия.
Помехи только на линии. Видишь два класса местами поменялись

.

Добавлено через 2 минуты
Farada, Ты говоришь этим кодом:
Есть класс Shape,
Есть класс Point, который является Shape,
Есть класс Circle, который является Point.
dynamic_cast работает как часы. Что ты написал, то он и показал

@Farada · 01.05.2015, 14:07 **[ТС]**

Как же определить фигуру?

@nmcf · 01.05.2015, 14:21

Сделай виртуальную функцию, которая для каждого класса будет возвращать какое-то своё значение.

@DrOffset · 01.05.2015, 14:31

Farada,
Можно ввести виртуальный метод type() который будет возвращать идентификатор нужного типа в виде числа, например. Потом это число проверить.
Можно воспользоваться механизмом RTTI, в C++ см. описание typeid, <type_info> в своем учебнике.

Но вообще все это неправильно. Начиная с того, что наследование у тебя не особо верное. Как круг может быть одновременно точкой? Или ты физику описываешь этой иерархией (все можно представить материальной точкой)? Но в таком случае почему точка наследуется от класса фигура? В общем, это все странно.
Второе. Если уж ты связался с наследованием, то для таких задачек грамотно использовать полиморфизм, а не касты и проверки типов. То есть, если тебе надо в функции print вывести фигуру, то в иерархии должен быть виртуальный метод print, реализованный для каждого типа фигуры соответствующе.

@Kastaneda · 01.05.2015, 14:36

Сообщение от Farada

Как же определить фигуру?

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

@Melg · 01.05.2015, 14:40

Farada, Идея полиморфизма в её реализации через наследование и виртуальные функции предполагает осознанный отказ кода, который работает с указателем/ссылкой на базовый класс от любых предположений/попыток определения типа, который реализует виртуальные методы базового класса. Чаще всего, если в коде, Вам потребовалось из базового класса, путем перебора или считыванием явного флага находить конкретный тип, и работать с этим типом - вероятно Вы используете средства языка не совсем корректно. (За исключением быть может типов-контейнеров-объединений, типа boost::variant/boost::any/QVariant.

В приведенном Вами примере, вам следовало у базового типа создать метод, описывающий фигуру:

C++

class Shape {
virtual ~Shape() = default;
  virtual std::string Description() const {
    return "Unknown figure\n";
  }
};

А в классах наследниках, переопределить этот метод, по своему усмотрению:

C++

class Point : public Shape {
  virtual std::string Description() const override {
    return "Point\n";
  }
};

Таким образом, в коде, который пытается вывести на экран описание было бы написано:

C++

1
2
3

void Print(Shape *shape) {
  std::cout << shape->Description();
}

Таким образом любой из элементов иерархии можно было бы протестировать на предмет выдаваемого описания, с другой стороны метод print был бы открыт для расширения, но закрыт для изменения (open/close principle из SOLID).

@nmcf 7793 / 6560 / 2984 Регистрация: 14.04.2014 Сообщений: 28,672
	01.05.2015, 13:53	3
	DrOffset, а как ты это понял, не видя иерархию? 0

@DrOffset 18844 / 9843 / 2408 Регистрация: 30.01.2014 Сообщений: 17,285
	01.05.2015, 14:02	5
	Сообщение от Farada У меня Другое наследование Суть в общем-то не особо поменялась. Добавлено через 39 секунд Сообщение от nmcf а как ты это понял, не видя иерархию? Телепатия. Помехи только на линии. Видишь два класса местами поменялись . Добавлено через 2 минуты Farada, Ты говоришь этим кодом: Есть класс Shape, Есть класс Point, который является Shape, Есть класс Circle, который является Point. dynamic_cast работает как часы. Что ты написал, то он и показал 1

@Farada 0 / 0 / 0 Регистрация: 01.05.2015 Сообщений: 3
	01.05.2015, 14:07 [ТС]	6
	Как же определить фигуру? 0

@nmcf 7793 / 6560 / 2984 Регистрация: 14.04.2014 Сообщений: 28,672
	01.05.2015, 14:21	7
	Сделай виртуальную функцию, которая для каждого класса будет возвращать какое-то своё значение. 0

@DrOffset 18844 / 9843 / 2408 Регистрация: 30.01.2014 Сообщений: 17,285
	01.05.2015, 14:31	8
	Farada, Можно ввести виртуальный метод type() который будет возвращать идентификатор нужного типа в виде числа, например. Потом это число проверить. Можно воспользоваться механизмом RTTI, в C++ см. описание typeid, <type_info> в своем учебнике. Но вообще все это неправильно. Начиная с того, что наследование у тебя не особо верное. Как круг может быть одновременно точкой? Или ты физику описываешь этой иерархией (все можно представить материальной точкой)? Но в таком случае почему точка наследуется от класса фигура? В общем, это все странно. Второе. Если уж ты связался с наследованием, то для таких задачек грамотно использовать полиморфизм, а не касты и проверки типов. То есть, если тебе надо в функции print вывести фигуру, то в иерархии должен быть виртуальный метод print, реализованный для каждого типа фигуры соответствующе. 0

@Kastaneda 5231 / 3204 / 362 Регистрация: 12.12.2009 Сообщений: 8,116 Записей в блоге: 2
	01.05.2015, 14:36	9
	Сообщение от Farada Как же определить фигуру? Суть полиморфизма в том, что таких задач по определению класса не должно возникать. Код должен быть полиморфным. Если такая задача есть, значит архитектура не правильная. 0

	01.05.2015, 14:40