Восходящее преобразование массива производного класса к родительскому?

@GoshaRubi · Регистрация: 18.09.2018

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

Есть два класса base_Class(родитель) и derived_Class(потомок)
Есть некая виртуальная функция в base_Class которая принимает в качестве параметра массив объектов класса f(base_Class **mass)
Чтобы воспользоваться данной функцией для производного класса, необходимо привести массив производного класса к массиву родительского
Массивы: base_Class *baseMass[100], derived_Class *derivedMass[100]
Как произвести такое приведение типов?

@rat0r · 06.01.2020, 20:00

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

ты ничего не путаешь?

Нет.

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

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

Самое прямое.

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

какое вообще отношение твоя ссылка имеет к strict aliasing rules?

Эм... Ты не в курсе, что называют strict aliasing rule(s)?

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

поведение представленного тобою фрагмента кода вполне себе определенно.
а вот что будет дальше,
когда ты попробуешь использовать результат reinterpret_cast<base**>(&dptr) - это вопрос.

Другое дело. А то "[каст] derived** в base** … классифицируется как UB"…
Сам каст — не UB.

@hoggy · 06.01.2020, 20:22

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

http://eel.is/c++draft/basic.lval#11

кстати, почему твой источник не полный?

у тебя там всего 3 варианта легального доступа.

хотя должно быть гораздо больше:

Document Number: N4659
Date: 2017-03-21
Revises: N4640

6.10 Lvalues and rvalues [basic.lval]

8 If a program attempts to access the stored value of an object through a glvalue of other than one of the
following types the behavior is undefined:56
(8.1) — the dynamic type of the object,
(8.2) — a cv-qualified version of the dynamic type of the object,
(8.3) — a type similar (as defined in 7.5) to the dynamic type of the object,
(8.4) — a type that is the signed or unsigned type corresponding to the dynamic type of the object,
(8.5) — a type that is the signed or unsigned type corresponding to a cv-qualified version of the dynamic type
of the object,
(8.6) — an aggregate or union type that includes one of the aforementioned types among its elements or nonstatic data members (including, recursively, an element or non-static data member of a subaggregate or
contained union),
(8.7) — a type that is a (possibly cv-qualified) base class type of the dynamic type of the object,
(8.8) — a char, unsigned char, or std::byte type

http://www.open-std.org/jtc1/s... /n4659.pdf

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

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

Эм... Ты не в курсе, что называют strict aliasing rule(s)?

я то в курсе.
а вот ты похоже - нет.

давай, расскажи нам, что именно называют strict aliasing rule(s)

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

Самое прямое.

а я говорю что вообще никакого.
что ты сейчас несешь какой то бред.

Про C++ алиасинг, ловкие оптимизации и подлые баги

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

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

Другое дело. А то "[каст] derived** в base** … классифицируется как UB"…
Сам каст — не UB.

я так и написал.
сам каст - не UB, даже если он некорректный.

однако, если каст - не корректный, то именно он провоцирует UB.
он является причиной всей последующей трагической цепочки событий.

@rat0r · 06.01.2020, 20:24

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

кстати, почему твой источник не полный?

Он полный, в том смысле, что он покрывает все возможные ситуации.

Кликните здесь для просмотра всего текста

Другое дело, что текст слегка кривой, т.к. dynamic type это свойство выражений (http://eel.is/c++draft/defns.dynamic.type, http://eel.is/c++draft/defns.dynamic.type.prvalue), а не объектов. Но в этом смысле разницы между https://timsong-cpp.github.io/... sic.lval#8 и http://eel.is/c++draft/basic.lval#11 нет.

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

у тебя там всего 3 варианта легального доступа.
хотя должно быть гораздо больше:

Кому должно? Почему должно?

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

я то в курсе.
а вот ты похоже - нет.

Лол…

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

а я говорю что вообще никакого.
что ты сейчас несешь какой то бред.
Про C++ алиасинг, ловкие оптимизации и подлые баги

Типа, ссылка доказывает что я не в курсе, а ты — в курсе?
Сам-то пробовал читать, что там написано?

@hoggy · 06.01.2020, 20:56

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

Он полный, в том смысле, что он покрывает все возможные ситуации.

как именно он покрывает следующий кейс:

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

(8.7) — a type that is a (possibly cv-qualified) base class type of the dynamic type of the object,

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

Кому должно? Почему должно?

не тупи.
если не хочешь нормально общаться - не общайся.
только не нужно тупить.
ты прекрасно понял, что я имел ввиду.

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

Типа, ссылка доказывает что я не в курсе, а ты — в курсе?

типа по ссылке - качественный материал.
автор очень толково объясняет,
что за алиасинг такой, и с чем его едят.

ссылку привел, на случай,
если наш диалог будут читать люди,
которые не в курсе о каком алиасинге пошла речь.

однако, тот факт что ты тупо проигноировал:

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

давай, расскажи нам, что именно называют strict aliasing rule(s)

как бе...
я конечно ничего не хочу сказать.
но это подозрительно.

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

Сам-то пробовал читать, что там написано?

да ты за меня не переживай.
ты лучше попробуй объяснить как ты додумался до такого бреда:

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

Даже если у base* и der* одинаковый размер, читать значение из объекта типа der* через glvalue с типом base* это банально нарушение т.н. strict aliasing rules.

и мне вот очень интересно:
как по твоему должен работать типичный полиморфизм?

C++
1
2
base* ptr = &der;
work(ptr);

@rat0r · 06.01.2020, 21:12

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

как именно он покрывает следующий кейс:

(8.7) — a type that is a (possibly cv-qualified) base class type of the dynamic type of the object

А зачем покрывать невозможный кейс???

Сообщение от http://eel.is/c++draft/basic.lval#11.note-1

[ Note: Unlike in C, C++ has no accesses of class type. — end note]

Нет доступа через glvalue of class type — нет смысла говорить, будет ли behavior (un)defined в случае доступа через glvalue of class type.

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

не тупи.
если не хочешь нормально общаться - не общайся.
только не нужно тупить.
ты прекрасно понял, что я имел ввиду.

Нет, не понял. Опять что-то про переход на красный свет?
Если нет, то обоснуй, почему в "моём" источнике должны быть пункты которых там нет.

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

типа по ссылке - качественный материал.
автор очень толково объясняет,
что за алиасинг такой, и с чем его едят.

Ты вроде начал с того, что я не знаю, что принято называть strict aliasing rule(s). И кинул ссылку.
Которая подтверждает что моё понимание что называют strict aliasing rule(s) правильное.

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

однако, тот факт что ты тупо проигноировал:

давай, расскажи нам, что именно называют strict aliasing rule(s)

как бе...
я конечно ничего не хочу сказать.
но это подозрительно.

По твоей ссылке написано, что именно называют strict aliasing rule(s). И "моя" ссылка этому не противоречит. Так что ХЗ что там тебе подозрительно.

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

Даже если у base* и der* одинаковый размер, читать значение из объекта типа der* через glvalue с типом base* это банально нарушение т.н. strict aliasing rules.

и мне вот очень интересно:
как по твоему должен работать типичный полиморфизм?

C++
1
2
base* ptr = &der;
work(ptr);

а мне вот очень интересно:
где в этом коде чтение значения из объекта типа der* через glvalue с типом base*?

@Azazel-San · 06.01.2020, 21:17

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

где в этом коде чтение

Я, вот так, еще почитываю тему и для большей ясности, я бы, наверное, хотел уточнить, что имеется ввиду под "чтением" (в этом конкретном случае)?
Разыменование указателя?

@hoggy · 06.01.2020, 21:29

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

Нет доступа через glvalue of class type — нет смысла говорить, будет ли behavior (un)defined в случае доступа через glvalue of class type.

не понятно.

приведи пример.

что такое "glvalue of class type"
и почему через него нет доступа к объекту.

@rat0r · 06.01.2020, 21:29

Сообщение от Azazel-San

Я, вот так, еще почитываю тему и для большей ясности, я бы, наверное, хотел уточнить, что имеется ввиду под "чтением" (в этом конкретном случае)?

Это

@hoggy · 06.01.2020, 21:30

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

где в этом коде чтение значения из объекта типа der* через glvalue с типом base*?

C++
1
2
3
4
void work(base* p)
{
    p->access();
}

@rat0r · 06.01.2020, 21:36

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

Нет доступа через glvalue of class type…

не понятно.
приведи пример.

Пример чего? Доступа через glvalue of class type? Как я должен привести пример того, чего нет?

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

что такое "glvalue of class type"

Ты не знаешь что такое glvalue или что такое class type?

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

и почему через него нет доступа к объекту.

Так стандарт C++ написан.

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

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

где в этом коде чтение значения из объекта типа der* через glvalue с типом base*?

C++
1
2
3
4
void work(base* p)
{
 p->access();
}

Это троллинг тупостью?

@hoggy · 06.01.2020, 21:41

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

Пример чего? Доступа через glvalue of class type? Как я должен привести пример того, чего нет?

ты в состоянии по-русски объяснить что такое glvalue of class type ?
я вот нефига не понял, что имеется ввиду под этим словосочетанием.
или ты только ссылки можешь скидывать?

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

Ты не знаешь что такое glvalue или что такое class type?

я понимаю что это по отдельности.
а вот всё вместе: glvalue of class type
как это вообще может выглядеть - не понятно.

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

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

Это троллинг тупостью?

ладно.
зайдём с другой стороны.

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

Даже если у base* и der* одинаковый размер, читать значение из объекта типа der* через glvalue с типом base* это банально нарушение т.н. strict aliasing rules.

показывай.
приведи пример как такое вообще может быть.

@rat0r · 06.01.2020, 21:59

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

я понимаю что это по отдельности.
а вот всё вместе: glvalue of class type
как это вообще может выглядеть - не понятно.

Напиши, как ты понимаешь это по-отдельности и, если ты понимаешь правильно, поймёшь, как это выглядит не по-отдельности.

@zayats80888 · 06.01.2020, 22:06

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

приведи пример как такое вообще может быть.

C++
1
2
3
4
    int i_val{};
    float f_val{};
    f_val = *reinterpret_cast<float*>(&i_val);// так нельзя(справа то самое чтение glvalue)
    std::memcpy(&f_val, &i_val, sizeof(i_val));// так можно(если размеры объектов равны)

@rat0r · 06.01.2020, 22:11

Не по теме:

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

std::memcpy(&f_val, &i_val, sizeof(i_val));// так можно(если размеры объектов равны)

Я бы не стал уверенно утверждать, что "можно". Но это довольно "скользкая" тема.

@hoggy · 06.01.2020, 22:14

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

int i_val{};
float f_val{};
f_val = *reinterpret_cast<float*>(&i_val);// так нельзя
std::memcpy(&f_val, &i_val, sizeof(i_val));// так можно(если размеры объектов равны)

понял.

https://rextester.com/FSAJT55695

C++
1
2
3
4
5
6
7
8
9
10
#include <iostream>
 
int main() 
{
   char data[sizeof(int)];
   int* i = new (data) int;
   *i = 33;
 
   std::cout << *reinterpret_cast<int*>(data);
}

Code
1
2
3
4
5
source_file.cpp: In function ‘int main()’:
source_file.cpp:9:45: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
    std::cout << *reinterpret_cast<int*>(data);
                                             ^
33

теперь такой пример:
https://rextester.com/SPY59337

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
#include <iostream>
 
struct base
{
    virtual ~base(){}
    virtual void foo(){ std::cout << "base::foo()\n"; }
    int v = 3;
};
 
struct der: base
{
    virtual void foo(){ std::cout << "der::foo()\n"; }
    int w[100];
};
 
 
int main()
{
    der d;
    der* p = &d;
    base* b = reinterpret_cast<base*>(p);
    b->foo();
}

никаких ворнингов.

если rat0r, имел ввиду именно такой кейс,
тогда пусть объяснит на каком основании он решил,
что здесь имеет место быть нарушению алиасинга.

я считаю, что компилятор не агриццо на нарушение алиасинга,
потому что и нет никакого нарушения.

сам же доступ к объекту попадает под правило:

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

(8.7) — a type that is a (possibly cv-qualified) base class type of the dynamic type of the object,

@zayats80888 · 06.01.2020, 22:22

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

der* p = &d;
base* b = reinterpret_cast<base*>(p);

он про это(наверное)

C++
1
base** b = reinterpret_cast<base**>(&p)

@hoggy · 06.01.2020, 22:25

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

он про это
base** b = reinterpret_cast<base**>(&p)

а я думаю он про это:

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

Даже если у base* и der* одинаковый размер, читать значение из объекта типа der* через glvalue с типом base* это банально нарушение т.н. strict aliasing rules.

@rat0r · 06.01.2020, 22:26

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

никаких ворнингов.

Ты стандарт по (кривым) ворнингам учишь?
Вот код "с ворнингом" скомпиленный другой (более новой) версией GCC https://wandbox.org/permlink/0aFslORONG3p4MNn
"никаких ворнингов."

Теперь ты перестанешь думать, что там нарушение strict aliasing rule(s)?

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

если rat0r, имел ввиду именно такой кейс,
тогда пусть объяснит на каком основании он решил,
что здесь имеет место быть нарушению алиасинга.

Нет, не такой кейс. zayats80888 написал правильно:

C++
1
2
base** b = reinterpret_cast<base**>(&p);
(*b)->foo();

@zayats80888 · 06.01.2020, 22:28

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

а я думаю он про это

ну правильно, если в моём примере заменить int и float на base* и der*

IGPIGP · 06.01.2020, 22:45

zayats80888, да. Речь о преобразовании. Когдв функция принимает указатель на первый элемент (он тоже указатель) она уже не читает указатель на указатель. Она его использует для доступа. Это и есть выражение P/Q и не важно индексно или через адресную арифметику идёт получение ссылки на элемент. А чтение происходит уже самого элемента - то есть указателя Derived* в Base*. Доступ для чтения получается через ссылку полученную из P/Q - указателя на указавтель, да. Но там нет чтения. А указатель Base* гарантирует приём на чтение Derived*. И количество базовых роли не должно играть (одиночное/множественное наследование).
То есть, несмотря на то, что стандарт запрещает P->Q (similarity) но дело вряд ли в нарушеннии strict aliasing. Вопрос кастинга (B**)->(D**) неприятен/скользок. Но непонятен в данном кейсе. Где он может создать проблему?

Добавлено через 5 минут
То есть, если до конца идти - то вопрос почему нет неявного преобразования. Я помню у Страуструпа хороший кусок посвящён тому что он показывет что зависимые типы вроде list<Base*> и list<Derived*> не преобразуются (это не указатель в указатель). В чём то кейс похож, в чём-то нет.

Новые блоги и статьи Все статьи Все блоги /
Часы электронные Uhbif79 12.08.2026 Выкладываю программу часов. Программа позволяет: 1. Использовать системное время и дату, 2. Есть возможность вводить время и дату вручную. 3. Реализованы 2 будильника: начало и конец рабочего дня. . . .	Часы с будильником на основе класса QLCDNumber Uhbif79 12.08.2026 Всем добрый день, выкладываю программу часов с будильником на основе класса QLCDNumber. Здесь я пробовал самостоятельно создавал классы, впервые столкнулся с видимостью переменной одного класса из. . .	Установка MinGW GCC 16.2 и CMake 8Observer8 10.08.2026 VK Видео: https:/ / vkvideo. ru/ video-240781534_456239017 YouTube: eY5-5PyI9NM Текстовая версия	Неделя из жизни имитационной модели склада: мои кривые руки растут, откуда надо anaschu 10.08.2026 Неделя из жизни имитационной модели склада: как я почти написал неправильную логику и что с этим делать Работаю сейчас над учебно-рабочим проектом: строю в AnyLogic имитационную модель процессов. . .
Калькулятор для расчета родства russiannick 07.08.2026 1. Задача: Создать калькулятор для расчета родства. Родственных связей существует 8 ступеней, такие как: p - отец P - мать q - муж Q - жена b - брат B - сестра s - сын S - дочь	Мир по моей воле kumehtar 07.08.2026 Когда-то кажется, что всё просто. Ты весь такой светлый. Причиняешь добро. Борешься за справедливость в этом тёмном мире. Потом начинаешь замечать одну неприятную вещь. Почти каждый хороший. . .	Кредитный калькулятор Maks 05.08.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .	У нас сейчас поговорку "Опять 25" нужно переделать на "Опять +35". kumehtar 04.08.2026 С ностальгией вспоминаю времена моего детства, когда у нас и правда +25 - была максимальная температура летом. Раньше +25 °C реально казались вершиной жары, когда можно было весь день пропадать на. . .

@GoshaRubi 0 / 0 / 0 Регистрация: 18.09.2018 Сообщений: 4

	Восходящее преобразование массива производного класса к родительскому? 03.01.2020, 22:54. Показов 7466. Ответов 114 Метки ООП, с++ (Все метки) Есть два класса base_Class(родитель) и derived_Class(потомок) Есть некая виртуальная функция в base_Class которая принимает в качестве параметра массив объектов класса f(base_Class *mass) Чтобы воспользоваться данной функцией для производного класса, необходимо привести массив производного класса к массиву родительского Массивы: base_Class baseMass[100], derived_Class *derivedMass[100] Как произвести такое приведение типов? 0

IGPIGP Комп_Оратор) $Эксперт по математике/физике$ 9007 / 4708 / 630 Регистрация: 04.12.2011 Сообщений: 14,003 Записей в блоге: 16
	06.01.2020, 22:45
	zayats80888, да. Речь о преобразовании. Когдв функция принимает указатель на первый элемент (он тоже указатель) она уже не читает указатель на указатель. Она его использует для доступа. Это и есть выражение P/Q и не важно индексно или через адресную арифметику идёт получение ссылки на элемент. А чтение происходит уже самого элемента - то есть указателя Derived* в Base. Доступ для чтения получается через ссылку полученную из P/Q - указателя на указавтель, да. Но там нет чтения. А указатель Base гарантирует приём на чтение Derived. И количество базовых роли не должно играть (одиночное/множественное наследование). То есть, несмотря на то, что стандарт запрещает P->Q (similarity) но дело вряд ли в нарушеннии strict aliasing. Вопрос кастинга (B)->(D) неприятен/скользок. Но непонятен в данном кейсе. Где он может создать проблему? Добавлено через 5 минут* То есть, если до конца идти - то вопрос почему нет неявного преобразования. Я помню у Страуструпа хороший кусок посвящён тому что он показывет что зависимые типы вроде list<Base> и list<Derived> не преобразуются (это не указатель в указатель). В чём то кейс похож, в чём-то нет. 0