Вопрос по динамическому полиморфизму

@Enfernuz · Регистрация: 11.04.2011

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

Здравствуйте. Прочитал про статический и динамический полиморфизмы.
Возник такой вопрос. Имеем код:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
#include <iostream>
 
class base
{
    ...
    public:
        base(...) { ... };
        virtual ~base(){};
        virtual void DoSmth();
};
 
void base::DoSmth()
{
       cout<<"Base"<<endl; 
}
 
class derived: public base
{
    ...
    public:
        derived(...): base(...) { ... };
        ~derived(){}
        void DoSmth();
};
 
void derived::DoSmth()
{
       cout<<"Derived"<<endl;
}
 
int main()
{
 
    base* p;
    derived d(...);
    p = &d;
    p->DoSmth();
 
    return 0;
}

Почему происходит позднее связывание? Разве на этапе компиляции при вызове метода DoSmth() компилятор не может узнать тип объекта, на который ссылается указатель родительского класса?

@alex_x_x · 03.09.2011, 22:19

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
class Base { public: virtual void f(){} };
 
class A : public Base { public: virtual void f(){std::cout << "A";} };
class B : public Base { public: virtual void f(){std::cout << "B";} };
class C : public Base { public: virtual void f(){std::cout << "C";} };
 
int main()
{
   Base* base = 0;
   switch( rand() % 3 )
   {
       case 0: base = new A; break;
       case 1: base = new B; break;
       case 2: base = new C; break;
   }
   base->f();
}

как вы думаете - какие шансы у компилятора?

@Enfernuz · 03.09.2011, 22:27 **[ТС]**

Я ему не завидую

Просто были наивные сомнения по поводу того, как ведёт себя компилятор, если в коде не встречается "случайных" событий (как в моём примере). Но, судя по всему, в стандарте всё чётко прописано и разницы нет

Спасибо.

@alex_x_x · 03.09.2011, 22:32

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

Новые блоги и статьи Все статьи Все блоги /
Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .
Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .	SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .	SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .

@Enfernuz 22 / 22 / 2 Регистрация: 11.04.2011 Сообщений: 67
	03.09.2011, 22:27 [ТС]
	Я ему не завидую Просто были наивные сомнения по поводу того, как ведёт себя компилятор, если в коде не встречается "случайных" событий (как в моём примере). Но, судя по всему, в стандарте всё чётко прописано и разницы нет Спасибо. 0

@alex_x_x бжни 2473 / 1684 / 135 Регистрация: 14.05.2009 Сообщений: 7,162
	03.09.2011, 22:32
	Enfernuz, способ реализации наследования зависит сугубо от компилятора, но в большинстве случаев, когда мы используем виртуальные функции мы подразумеваем, что на момент выполнения реальный тип нам не известен те такой упрощенный вариант как у вас редко может встретиться может быть компилятор чтото и сооптимизирует, но наврятли, затраты на вызов виртуальных функций не столь уж и велики 0