В дизассемблерованном коде отсутствует позднее связывание. Оптимизация?

@Kastaneda · Регистрация: 12.12.2009

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

Добрый день/утро/вечер (нужное подчеркнуть))
Выдалось свободное время и решил немного пописать марсианского кода) В процессе написания пришлось лезть в дизассемблированный листинг и вот, что я там обнаружил - отсутствует позднее связывание для виртуальных функций. Чтоб было понятно о чем речь - вот код:

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
#include<iostream>
class X{
public:
    virtual void f(){std::cout<<"fX\n";}
    virtual void F(){std::cout<<"FX";}
    X(){
        f();
    }
};
class Y:public X{
public: 
        void f(){std::cout<<"fY\n";}
    void F(){std::cout<<"FY\n";}
    Y(){
        f();
    }
 
};
 
 
 
 
int main() {
 Y a;
 a.F();
 void (***ptr)()=(void (***)())&a;
 (**ptr)();//привет 
 (**(*ptr+1))();//с Марса ))
}

Вот, что происходит при вызове a.F():

Assembler
1
2
3
   ;a.F();
   lea         ecx,[a]  
   call        Y::F (1091249h)

т.е. адрес виртуальной функции Y::F() уже известен на стадии компиляции

Так что это - компилятор решил не заморачиваться и вычислил адрес нужной ф-ции (ну типа, код маленький, функций всего две, что я буду лишний код создавать...)) или что-то другое (всмысле может я чего не понимаю) ?

Добавлено через 8 минут
Блин, после сессии глова кругом, туплю...
Вот так будет позднее связывание:

C++
1
2
X *a=new Y;
 a->F();

@niXman · 06.07.2011, 19:26

я так понимаю, вопрос исчерпан?

предположу, что оптимизатор "спалил" что полиморфизм таки не используется, и заоптимизировал код

@Kastaneda · 06.07.2011, 20:21 **[ТС]**

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

я так понимаю, вопрос исчерпан?

Ага)

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

предположу, что оптимизатор "спалил" что полиморфизм таки не используется, и заоптимизировал код

Ну да, нет полиморфизма - нет позднего связывания.

Новые блоги и статьи Все статьи Все блоги /
модель ЗдравоСохранения 8. Подготовка к разному выполнению заданий anaschu 08.04.2026 https:/ / github. com/ shumilovas/ med2. git main ветка * содержимое блока дэлэй из старой модели теперь внутри зайца новой модели 8ATzM_2aurI	Блокировка документа от изменений, если он открыт у другого пользователя Maks 08.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа, разработанного в конфигурации КА2. Задача: запретить редактирование документа, если он открыт у другого пользователя. / / . . .	Система безопасности+живучести для сервера-слоя интернета (сети). Двойная привязка. Hrethgir 08.04.2026 Далее были размышления о системе безопасности. Сообщения с наклонным текстом - мои. А как нам будет можно проверить, что ссылка наша, а не подделана хулиганами, которая выбросит на другую ветку и. . .	Модель ЗдрввоСохранения 7: больше работников, больше ресурсов. anaschu 08.04.2026 работников и заданий может быть сколько угодно, но настроено всё так, что используется пока что только 20% kYBz3eJf3jQ
Дальние перспективы сервера - слоя сети с космологическим дизайном интефейса карты и логики. Hrethgir 07.04.2026 Дальнейшее ближайшее планирование вывело к размышлениям над дальними перспективами. И вот тут может быть даже будут нужны оценки специалистов, так как в дальних перспективах всё может очень сильно. . .	Горе от ума kumehtar 07.04.2026 Эта мне ментальная установка, что вот прямо сейчас, мол, мне для полного счастья не хватает (нужное вписать), и когда я этого достигну - тогда и полный кайф. Одна из самых сильных ловушек на пути. . . .	Использование значений реквизитов справочника в документе, с определенными условиями и правами Maks 07.04.2026 1. Контроль срока действия договора Алгоритм из решения ниже реализован на примере нетипового документа "ЗаявкаНаРаботу", разработанного в конфигурации КА2. Задача: уведомлять пользователя, если. . .	Доступность команды формы по условию Maks 07.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: сделать доступной кнопку (команда формы "ЗавершитьСписание") при. . .

@niXman 3211 / 1459 / 74 Регистрация: 09.08.2009 Сообщений: 3,441 Записей в блоге: 2
	06.07.2011, 19:26
	я так понимаю, вопрос исчерпан? предположу, что оптимизатор "спалил" что полиморфизм таки не используется, и заоптимизировал код 0