А является ли УБ каст указателя на одну структуру к

Question

А является ли УБ каст указателя на одну структуру к

указателю на другую, если у них одинаковые поля?
Предположим, компиляция происходит в рамках одного проекта одним компилятором с одинаковыми настройками

#c #embedded #programming #russian

0

20.11.2020

27 ответов

16 просмотров

Vlad

если это два никак не связанных типа, что, видимо, так, то да

0

20.11.2020

Dmitriy [Отпуск] Автор вопроса

Danya🔥
Да вроде, мы же не в Си)

Вот это уже интереснее: в Си - не УБ?

0

20.11.2020

Danya🔥

Dmitriy [Отпуск]
Вот это уже интереснее: в Си - не УБ?

Насколько я знаю я нет

0

20.11.2020

Vlad

Vlad
если это два никак не связанных типа, что, видимо,...

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

0

20.11.2020

d7d1cd

Vlad
если это два никак не связанных типа, что, видимо,...

То есть, один и тот же компилятор может их (типы) создать по-разному?

0

20.11.2020

Dmitriy [Отпуск] Автор вопроса

Danya🔥
Насколько я знаю я нет

Благодарю)

0

20.11.2020

Vlad

d7d1cd
То есть, один и тот же компилятор может их (типы) ...

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

0

20.11.2020

Dmitriy [Отпуск] Автор вопроса

Vlad
ничто ему не запрещает, насколько я знаю как мысл...

Тогда следующий вопрос. Допустим, у нас есть некоторая struct Data (POD, конечно), определенная в общем хедере. Я её побайтово сериализую в буфер, и, например, отправляю его в драйвер ядра. Исходники драйвера используют тот же самый хедер с определением структуры. Можно ли кастить указатель на буфер к Data* при одинаковых настройках выравнивания при компиляции драйвера и пользовательского приложения?

0

20.11.2020

Ilya Zviagin

Конечно это УБ.

0

20.11.2020

Ilya Zviagin

Dmitriy [Отпуск]
Вот это уже интереснее: в Си - не УБ?

И в С уб.

0

20.11.2020

Ilya Zviagin

Dmitriy [Отпуск]
Тогда следующий вопрос. Допустим, у нас есть некот...

Это можно точно, потому что буфер был получен изначально как память именно этого типа данных

0

20.11.2020

Vlad

Dmitriy [Отпуск]
Тогда следующий вопрос. Допустим, у нас есть некот...

1) pod понятие не очень точное для текущего стандарта. в этом случае требование звучит как trivially copyable 2) сразу кастить указатель на буфер к указателю на Data нельзя. надо создать объект Data сначала

0

20.11.2020

Dmitriy [Отпуск] Автор вопроса

Vlad
1) pod понятие не очень точное для текущего станда...

И скопировать в него буфер?

0

20.11.2020

Dmitriy [Отпуск] Автор вопроса

Vlad
1) pod понятие не очень точное для текущего станда...

Да, будем считать trivially copyable

0

20.11.2020

Ilya Zviagin

Vlad
1) pod понятие не очень точное для текущего станда...

Так он туда будет его копировать.

0

20.11.2020

Dmitriy [Отпуск] Автор вопроса

Ilya Zviagin
Это можно точно, потому что буфер был получен изн...

Но про выравнивание я неслучайно уточнил...

0

20.11.2020

Ilya Zviagin

Dmitriy [Отпуск]
И скопировать в него буфер?

Ну это чисто формально, под стандарту чтобы типа там началась время жизни этого объекта. Фактически это не нужно. (Если pod у нас)

0

20.11.2020

Ilya Zviagin

Dmitriy [Отпуск]
Но про выравнивание я неслучайно уточнил...

Ты вроде как хотел копировать туда, при чем тут выравнивание?

0

20.11.2020

Dmitriy [Отпуск] Автор вопроса

Ilya Zviagin
Так он туда будет его копировать.

Можно даже не копировать, а передать указатель на объект структуры в качестве указателя на буфер

0

20.11.2020

Ilya Zviagin

Dmitriy [Отпуск]
Можно даже не копировать, а передать указатель на ...

Можно

0

20.11.2020

Dmitriy [Отпуск] Автор вопроса

Ilya Zviagin
Ты вроде как хотел копировать туда, при чем тут вы...

Например, в VS для usermode-приложений стоит автоматическое определение выравнивания. Для дров по умолчанию указано 8. Понятно, что мы должны чекнуть размер буфера , но вдруг структур в буфере будет несколько и его общий размер окажется кратным размеру структуры, ожидаемому драйвером - получим неприятности

0

20.11.2020

Vlad

Dmitriy [Отпуск]
И скопировать в него буфер?

да если выравнивание и размеры совпадают, то объект получит нужное вам значение, которое соответствует представлению (байтам), которое вы копируете

0

20.11.2020

Ilya Zviagin

Dmitriy [Отпуск]
Например, в VS для usermode-приложений стоит автом...

А что за автоматическое выравнивание, если оно вообще не обязательное на интеле?

0

20.11.2020