Преобразования указателей

@kurlyak · Регистрация: 26.09.2007

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

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
#include <windows.h>
#include <iostream>
 
struct Mammal {
  Mammal() { std::cout << "Mammal::Mammal\n"; }
  virtual ~Mammal() { std::cout << "Mammal::~Mammal\n"; };
  virtual void run() = 0;
  virtual void walk() = 0;
};
 
struct Dog : Mammal {
  Dog() { std::cout << "Dog::Dog\n"; }
  virtual ~Dog() { std::cout << "Dog::~Dog\n"; }
  virtual void run() { std::cout << "Dog::run\n"; }
  virtual void walk() { std::cout << "Dog::walk\n"; }
};
 
typedef void (*FunctionPtr_t)();
 
int main() {
 
    Mammal *m;
    m = new Dog();
 
    DWORD* vtable = *(DWORD**)m;
    FunctionPtr_t func = (FunctionPtr_t)*(vtable+2);
    func();
 
    delete m;
 
    return 0;
}

Я знаю как работают указатели, но мне не ясно как устроено это преобразование в стоке

C++
1
DWORD* vtable = *(DWORD**)m;

То есть как я понял m хранит адрес таблицы виртуальных функций. Почему мы не можем сразу сделать m+2 и вызвать функцию а надо именно такое преобразование *(DWORD**)m? То есть что дают эти две звездочки перед DWORD? Заранее спасибо.

@_stanislav · 27.04.2021, 18:56

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

а надо именно такое преобразование *(DWORD**)m

DWORD** это своего рода хак, который из m имеющий тип Mammal *, делает тип DWORD **, что бы потом можно было применить разыменование * и получит указатель на таблицу виртуальных функций.
То есть в реализации класса Mammal в начале объекта есть указатель на таблицу виртуальных функций, язык C++ не дает стандартных способов доступа к нему, по этому нужно сделать из m указатель на указатель, что бы получить из него указатель на таблицу.

@kurlyak · 27.04.2021, 19:26 **[ТС]**

Спасибо за ответ. А m это в нем и хранится адрес таблицы виртуальных функций? То есть *m указывает на таблицу виртуальных функций, да? Что хранится в m- адрес памяти по которому лежит адрес таблицы вирт. функций, или сразу адрес таблицы вирт. функций?

@TRam_ · 27.04.2021, 19:35

kurlyak, https://ru.wikipedia.org/wiki/... ых_методов

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

адрес памяти по которому лежит адрес таблицы вирт. функций

Оттуда же

После создания объекта указатель на эту виртуальную таблицу, называемый виртуальный табличный указатель или vpointer (также иногда называется vptr или vfptr), добавляется как скрытый член данного объекта (а зачастую как первый член).

Собственно на том, что на использующемся компиляторе он оказался первым, и используется. Но это может не сработать, и вообще данные трюки используются только для объяснения работы компилятора, не более.

Добавлено через 4 минуты
В нормальном применении нужно вместо

C++
1
2
3
    DWORD* vtable = *(DWORD**)m;
    FunctionPtr_t func = (FunctionPtr_t)*(vtable+2);
    func();

использовать

C++
1
m->walk();

@kurlyak · 27.04.2021, 20:10 **[ТС]**

Да, я как раз и разбираюсь как работает компилятор, это у меня учебный пример. А можно по- подробнее что значит каждая звездочка в выражении:

C++
1
*(DWORD**)m

слева первая я так понял мы получаем значение т.е. разыменовываем, внутри скобок одна звездочка значит мы преобразовываем к указателю DWORD.

То есть по идее вот так должно быть

C++
1
2
3
    DWORD* vtable = (DWORD*)m;
    FunctionPtr_t func = (FunctionPtr_t)*(vtable+2);
    func();

@TRam_ · 27.04.2021, 20:28

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

То есть по идее вот так должно быть

Нет, это значит несколько другое.

(DWORD*)m - просто меняем тип адреса с Mammal * на DWORD*
*(DWORD**)m - представляем, что по адресу m лежит значение с адресом, по которому нужно перейти. Соответственно на (DWORD**) говорим о том, что у нас по адресу лежит адрес, а * в начале говорим "перейти по этому адресу, который там лежит"

Добавлено через 3 минуты
Если не понятно, повтори реализацию односвязного списка, там как раз иллюстрируются "прыжки по адресам"

@kurlyak · 27.04.2021, 20:34 **[ТС]**

А! Вот оно что! Я понял, спасибо. Значит m это указатель, те ячейка памяти, она хранит адрес другой ячейки памяти, а в этой другой ячейке- адрес таблицы вирт.функций. И две звездочки в скобках- это значит мы по цепочке указателей обращаемся ко второй ячейке памяти (которая хранит адрес таблицы вирт.функ.) и разыменовываем эту вторую ячейку памяти (то есть звездочка перед скобками) что бы получить из нее адрес таблицы вирт. функ. Вроде так.

@_stanislav · 27.04.2021, 20:43

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

То есть по идее вот так должно быть

оно было бы так если бы m не был указателем.

C++
1
2
3
4
5
6
7
8
9
10
int main() {
 
    Dog m;
 
    DWORD* vtable = (DWORD*)&m;
    FunctionPtr_t func = (FunctionPtr_t)*(vtable+2);
    func();
 
    return 0;
}

Добавлено через 1 минуту

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

И две звездочки в скобках- это значит мы по цепочке указателей обращаемся ко второй ячейке памяти

хорошая интерпретация!

@kurlyak · 27.04.2021, 22:34 **[ТС]**

Я для наглядности сделал чуть чуть по другому, тоже работает, но теперь не ясно DWORD p1 это адрес второй ячейки памяти? Если да, то что значит (DWORD*)p1 - это значит что мы берем значение из второй ячейки памяти (то есть таблица виртуальных функций), или что? Что значит это преобразование из DWORD p1 в указатель (DWORD*)p1? Или это значит, что мы преобразовываем адрес p1 в указатель и извлекаем из него значение вроде разыменовываем?

C++
1
2
3
4
5
6
    DWORD *p = (DWORD*)m;
    DWORD p1 = *p;
    DWORD *vtable = (DWORD*)p1;
    
    FunctionPtr_t func = (FunctionPtr_t)*(vtable+2);
    func();

@DrOffset · 27.04.2021, 23:52

kurlyak,

C++
1
2
3
    DWORD *p = (DWORD*)m; // интерпретируем m как указатель на DWORD. 
    DWORD p1 = *p; // Берем некое значение типа DWORD - целое, используя разыменование p
    DWORD *vtable = (DWORD*)p1; // Интерпретируем целое число с предыдущего шага как указатель.

если по смещению относительно m реально лежит какой-то указатель, то мы получим его значение в vtable. Это если конечно в DWORD на данной платформе указатель поместится без потерь (что далеко не факт).

Вообще же использование DWORD для хранения значения указателя здесь не нужно. Зачем, если можно сразу использовать тип указателя, как сделано было в стартовом посте.

Добавлено через 13 минут

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

C++
1
2
3
4
5
6
    Mammal *m;
    m = new Dog();
 
    DWORD* vtable = *(DWORD**)m;
    FunctionPtr_t func = (FunctionPtr_t)*(vtable+2);
    func();

C++
1
2
3
typedef DWORD* vptr_type;
 
vptr_type vtable = *(vptr_type*)m;

Code
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
                  объект типа Mammal
---------------------------------------------
|  DWORD* vptr  |         ...               |
---------------------------------------------
|
|
V
 
m - указатель на Mammal (Mammal*)
 
|
|
V
 
p - указатель на DWORD* (DWORD**)
 
|
|
V
 
*p - значение vptr (DWORD*)

@kurlyak · 28.04.2021, 12:31 **[ТС]**

C++
1
2
3
4
5
DWORD *p = (DWORD*)m; //преобразуем Mammal к DWORD
    DWORD p1 = *p; //разыменовываем указатель то есть получаем адрес второй ячейки памяти где таблица вирт.функ.
    DWORD *vtable = (DWORD*)p1; //адрес второй ячейки памяти p1 интерпретируется как адрес памяти? или как разыменованый указатель?
    
    FunctionPtr_t func = (FunctionPtr_t)*(vtable+2);

то есть тут

C++
1
DWORD *vtable = (DWORD*)p1;

vtable равно то что по адресу хранится на который указывает p1, или vtable равно p1 как адрес?

@TRam_ · 28.04.2021, 12:39

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

vtable равно то что по адресу хранится на который указывает p1

Адресу, который содержится (записан) в p1

@kurlyak · 28.04.2021, 13:38 **[ТС]**

А почему эти два кода работают одинаково, несмотря что разное количество звездочек в указателях?

C++
1
2
3
4
5
DWORD *p = (DWORD*)m;
DWORD *vtable = (DWORD*)*p;
    
FunctionPtr_t func = (FunctionPtr_t)*(vtable+2);
func();

C++
1
2
3
4
5
DWORD **p = (DWORD**)m;
DWORD *vtable = (DWORD*)*p;
    
FunctionPtr_t func = (FunctionPtr_t)*(vtable+2);
func();

Добавлено через 25 минут
Так вы мне скажите, m хранит адрес таблицы вирт.функ. или m хранит адрес другой ячейки памяти, и эта другая ячейка памяти хранит адрес табл. вирт. функ.?

@TRam_ · 28.04.2021, 13:40

Не совсем. Адрес может не поместиться в DWORD при компиляции в 64-битной системе, в результате при выполнении *p у тебя часть адреса потеряется из-за переполнения. И первый вариант не сработает.

@DrOffset · 28.04.2021, 14:06

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

m хранит адрес таблицы вирт.функ. или m хранит адрес другой ячейки памяти, и эта другая ячейка памяти хранит адрес табл. вирт. функ.?

Как я уже выше сказал, m хранит адрес объекта типа Mammal. У этого объекта в составе есть указатель (на таблицу виртуальных функций), он располагается первым относительно начала объекта. Таким образом получается, что адрес всего объекта и адрес этого указателя численно совпадают. Поэтому мы можем сделать приведение m к адресу указателя (адрес указателя - это указатель на указатель, т.е. две звездочки). Когда мы разыменуем получившийся двойной указатель после этого приведения, мы получим значение адреса таблицы виртуальных функций и сможем использовать его для доступа к функциям.
Если вы внимательно перечитаете что выше было написано, то вы увидите, что вся эта информация там уже содержится.

@kurlyak · 28.04.2021, 18:01 **[ТС]**

То есть мы указатель m приводим к (DWORD*) потом разыменовываем и еще раз приводим к (DWORD*) и получаем указатель на таблицу вирт.функ. как строчка кода ниже:

C++
1
DWORD* vtable = (DWORD*)*(DWORD*)m;

А вот в этом случае звездочка разыменования относится к первому указателю который хранит указатель на таб.вирт.функ. Как разобраться к чему относится звездочка разыменования тут?

C++
1
DWORD* vtable = *(DWORD**)m;

Алексей1153 · 28.04.2021, 18:05

kurlyak, * разыменовывает то, что справа, с учётом приоритета операторов

если приоритеты не помнишь (я вот не всегда помню), его всегда можно точно задать при помощи скобок

@TRam_ · 28.04.2021, 18:07

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

Как разобраться к чему относится звездочка разыменования тут?

К разыменовыванию указателя на указатель. По смыслу ровно то же самое что первое, только после разыменования адрес помещается не в переменную типа DWORD, а сразу в переменную типа DWORD *

Новые блоги и статьи Все статьи Все блоги /
Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .	Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Учёным и волонтёрам проекта «Einstein@home» удалось обнаружить четыре гамма-лучевых пульсара в джете Млечного Пути Programma_Boinc 01.01.2026 Учёным и волонтёрам проекта «Einstein@home» удалось обнаружить четыре гамма-лучевых пульсара в джете Млечного Пути Сочетание глобально распределённой вычислительной мощности и инновационных. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .
Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .

@kurlyak 14 / 14 / 8 Регистрация: 26.09.2007 Сообщений: 919
	27.04.2021, 19:26 [ТС]
	Спасибо за ответ. А m это в нем и хранится адрес таблицы виртуальных функций? То есть *m указывает на таблицу виртуальных функций, да? Что хранится в m- адрес памяти по которому лежит адрес таблицы вирт. функций, или сразу адрес таблицы вирт. функций? 0

@kurlyak 14 / 14 / 8 Регистрация: 26.09.2007 Сообщений: 919
	27.04.2021, 20:34 [ТС]
	А! Вот оно что! Я понял, спасибо. Значит m это указатель, те ячейка памяти, она хранит адрес другой ячейки памяти, а в этой другой ячейке- адрес таблицы вирт.функций. И две звездочки в скобках- это значит мы по цепочке указателей обращаемся ко второй ячейке памяти (которая хранит адрес таблицы вирт.функ.) и разыменовываем эту вторую ячейку памяти (то есть звездочка перед скобками) что бы получить из нее адрес таблицы вирт. функ. Вроде так. 0

@TRam_ зомбяк 1585 / 1219 / 345 Регистрация: 14.05.2017 Сообщений: 3,940
	28.04.2021, 13:40
	Не совсем. Адрес может не поместиться в DWORD при компиляции в 64-битной системе, в результате при выполнении `*p` у тебя часть адреса потеряется из-за переполнения. И первый вариант не сработает. 0

Алексей1153 фрилансер 6446 / 5641 / 1128 Регистрация: 11.10.2019 Сообщений: 15,007
	28.04.2021, 18:05
	kurlyak, * разыменовывает то, что справа, с учётом приоритета операторов если приоритеты не помнишь (я вот не всегда помню), его всегда можно точно задать при помощи скобок 1