Изменение значения указателя при преобразовании типов

@Renji · Регистрация: 05.06.2014

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

Есть класс Child, унаследованный от класса Parent. Наследование обычное, а не множественное. И Parent, и Child имеют виртуальные функции. Гарантируется ли что при преобразовании Child* в Parent* значение указателя не изменится? То есть, (void*)childPointer==(void*)(Parent*)chi ldPointer.

@jahdjkhasjdhjah · 24.01.2018, 10:26

Вообще было бы довольно странно, если бы значение указателя менялось. У вас есть какие-то аргументы, чтобы так считать?
Указатель вседа указывает на начало класса. Не зависимо от наличия в нем виртуальных функций. Просто в классе с виртуалками появляется таблица этих самых виртуальных функций, которая, если не изменяет память, помещается в начало, сдвигая смещение первого члена класса. А вот без виртуальных функций указатель будет четко попадать на первый член класса. Хотя, это детали реализации конкретного компилятора и в целом это может не совпадать с тем, что я вам описал.
Насколько помнится, приведение к void - это всегда UB и за результат компиль не отвечает. Вся ответственность перекладывается на программиста.

Croessmah · 24.01.2018, 10:37

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

Гарантируется ли что при преобразовании Child* в Parent* значение указателя не изменится?

The order in which the base class subobjects are allocated in the most derived object (4.5) is unspecified.

@alex white · 24.01.2018, 10:40

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

Указатель вседа указывает на начало класса

Разговор про экземпляры

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

которая, если не изменяет память, помещается в начало, сдвигая смещение первого члена класса.

Серьезно, в каждом экземпляре отдельная таблица?

@jahdjkhasjdhjah · 24.01.2018, 11:30

Сообщение от alex white

Серьезно, в каждом экземпляре отдельная таблица?

Где-то было написано, что я шучу? Вообще, это зависит от конкретной реализации конкретным компилятором. Вполне может быть, что в вашем случае, это не так.

Сообщение от alex white

Разговор про экземпляры

А вы умеете создавать указатели на определение класса?

@alex white · 24.01.2018, 11:32

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

Вообще, это зависит от конкретной реализации конкретным компилятором.

Какой компилятор будет пихать целую таблицу в объект, если она идентична для всех объектов одного класса?

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

А вы умеете создавать указатели на определение класса?

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

@jahdjkhasjdhjah · 24.01.2018, 11:36

Сообщение от alex white

Какой компилятор будет пихать целую таблицу в объект, если она идентична для всех объектов одного класса?

https://ru.wikipedia.org/wiki/... 0%BE%D0%B2

Если эта таблица не более 2-х-трех строк, то почему бы нет? По вашему указатель на эту таблицу эффективнее сработает?

Сообщение от alex white

Нет. Но это не дает мне говорить "указатель на класс".

Тем не менее, это дает вам говорить с высока, как будто вы обладаете какими-то сокровенными знаниями и по происхождению из королевской семьи.

@alex white · 24.01.2018, 11:39

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

https://ru.wikipedia.org/wiki/%D0%A2...B4%D0%BE%D0%B2

Ну и? Где вы увидели ТВМ в объекте, а не указатель на неё? Или ТВМ и указатель на ТВМ это то же самое, ровно как объект и класс?

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

Тем не менее, это дает вам говорить с высока, как будто вы обладаете какими-то сокровенными знаниями и по происхождению из королевской семьи.

Ваши галлюцинации оставьте при себе.

@jahdjkhasjdhjah · 24.01.2018, 11:52

Сообщение от alex white

Ну и? Где вы увидели ТВМ в объекте, а не указатель на неё?

ТЫ просмотрел главное:

В стандартах C++ нет четкого определения как должна реализовываться динамическая координация

Существует множество различных способов реализации подобного динамического связывания

и ТВОЕ ЕДИНСТВЕННОЕ знание, как это можно реализовать вовсе НЕ ОЗНАЧАЕТ, что оно ИСТИННО ВСЕГДА. Чао, крошка!

@alex white · 24.01.2018, 12:00

jahdjkhasjdhjah,

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

Зато уверенно сказануть что-то такое это вам право дает. А потом робко добавить что-то там про реализацию. Я исхожу из обычной логики, из которой следует, что инлайнить ТВМ нет никакого смысла, ну максимум если там один метод, и то не факт... Гуляйте.

@jahdjkhasjdhjah · 24.01.2018, 15:00

Сообщение от alex white

Зато уверенно сказануть

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

если не изменяет память

Сообщение от alex white

А потом робко добавить

Извини, что робко ответил.

В следующий раз попытаюсь побрутальнее. )

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»	SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .

@Renji 2784 / 1937 / 570 Регистрация: 05.06.2014 Сообщений: 5,602

	Изменение значения указателя при преобразовании типов 24.01.2018, 07:57. Показов 1913. Ответов 10 Метки нет (Все метки) Есть класс Child, унаследованный от класса Parent. Наследование обычное, а не множественное. И Parent, и Child имеют виртуальные функции. Гарантируется ли что при преобразовании Child* в Parent* значение указателя не изменится? То есть, (void)childPointer==(void)(Parent*)chi ldPointer. 0

@jahdjkhasjdhjah 73 / 86 / 40 Регистрация: 02.11.2017 Сообщений: 379
	24.01.2018, 10:26
	Вообще было бы довольно странно, если бы значение указателя менялось. У вас есть какие-то аргументы, чтобы так считать? Указатель вседа указывает на начало класса. Не зависимо от наличия в нем виртуальных функций. Просто в классе с виртуалками появляется таблица этих самых виртуальных функций, которая, если не изменяет память, помещается в начало, сдвигая смещение первого члена класса. А вот без виртуальных функций указатель будет четко попадать на первый член класса. Хотя, это детали реализации конкретного компилятора и в целом это может не совпадать с тем, что я вам описал. Насколько помнится, приведение к void - это всегда UB и за результат компиль не отвечает. Вся ответственность перекладывается на программиста. 0

Изменение значения указателя при преобразовании типов

Решение