Итак имеем структуру для теста:


Далее в программе пытаюсь посмотреть:



Получаю в ответ:



Компилятор IAR ARM, статьи читал, что делаю не так, или я чего то не понял?

Текст дефайна offsetof можно найти в хидерах и понять как он работает. В offsetof первым аргументом задаётся ТИП структуры. А не сама структура. Обычно перед объявлением структуры (как переменной) объявляется её тип внутри typedef. При объявлении структур (как типа или переменной) можно задаеть ещё один идентификатор, относящийся к типу, сразу после слова struct. Получится struct name1 {...} name2. В дальнейшем name1 с предворяющим словом struct будет означать тип структуры, в которой имя объявлено. Тогда можно написать number = offsetof(struct name1, data0); Естественно, имя name1 заменить на более подходящее.

Уточню, что в компиляторе не проверял. Может быть какой-то заругается, если не реализовали приведение к типу структур вида (struct name).

Сообщение отредактировал GetSmart - Jan 24 2016, 13:13

В хидере stddef.h макрос описан так:


Пробовал и такой способ - number = offsetof(struct name1, data0); , то же ругается - Error[Pe393]: pointer to incomplete class type is not allowed.
В статьях люди его используют, точно в так же как и я пытаюсь, но вот результат почему - то разный

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

Ну вот например - offsetof - embedded, по этой статье пробовал применить на практике. Но вот результат у нас разный

Вариант из первого поста этой ветки будет работать, но далеко не во всех компиляторах.
например
https://ru.wikipedia.org/wiki/Stddef.h


Точнее может работать. Если в стандарте соответствующей ревизии или расширении, которое поддерживает компилятор внятно написано, что offsetof первым аргументом принимает не только типы, но и переменные.

Сообщение отредактировал GetSmart - Jan 24 2016, 13:26

Полное объявление типа структуры выглядит так:
В плюсах есть более короткая запись
После такого объявления компилятор знает имена, размеры и взаимное расположение членов и вы можете использовать offsetof:

Просто объявление struct имя_типа; - неполное (incomplete) объявление типа. После такого объявления компилятор знает, что где-то будет объявлен такой тип и что этот тип будет структурой. Что будет в этой структуре он не знает, максимум, что он может вам позволить после такого объявления - объявить указатель на эту структуру и присваивания с этим указателем. Ни содержания этой структуры, ни размера ее он не знает, поэтому даже инкремента или декремента такого указателя он сделать не может, не говоря уже о доступе к членам этой структуры.

объявление struct { список членов } имя; объявляет структуру безымянного типа и переменную "имя" этого типа. Поэтому вы не можете использовать "имя" в offsetof, ибо это имя переменной, а не типа.

В обычных Сях возможно объявление struct имя_типа { здесь список членов } имя_переменой; Здесь имя_типа - тоже неполное объявление типа, оно позволяет вставить в структуру указатель на нее же (используется для организации связанных списков), но не более того.

В первом сообщении темы нужно было объявить тип структуры и переменную этого типа:
И вот после этого можно было использовать offsetof():

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

Далее -



number = 10, как и должно быть, проверил еще на целевом union (для которого все затевалось), то же работает. Спасибо! Но опять же получается это именно фишка IARа?

Полное объявление как раз состоит из двух имён. И после такого полного объявления хоть типа, хоть сразу переменной можно ниже по тексту создавать такие же переменные. То есть после такого полного объявления выше по коду можно объявлять так

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

упд

Возможно более. Т.к. и вне структуры можно создавать через первое имя переменные с типом этой структуры. А это значит, что пара struct name1 должна означать (преобразовываться в) тип структуры и по логике должна съедаться во всех местах, принимающих тип. В т.ч. в type-cast. Иначе это какая-то необоснованная кастрация.

Сообщение отредактировал GetSmart - Jan 24 2016, 13:50

Сергей, спасибо за развернутый ответ - не знал об этой осбенности - думал если объявил структуру, то компилятор знает о ней все. Еще раз спасибо - одним пробелом меньше.

Не совсем понял, а может и я неточно выразился. Да, после такого объявления можно писать struct name1 var1,var2;, а вот писать name1 var1,var2; нельзя, то есть name1 как бы еще не совсем тип. Полным типом он станет в сочетании с ключевым словом struct и мне кажется проще написать один раз typedef, чем засорять потом весь остальной исходник дополнительным struct в каждом месте, где нужно упомянуть тип.

Станет. Должен становиться. Но у ИАРа видимо своё мнение на этот счёт.

упд
То есть логичнее всего считать первое имя типом структуры из области видимости слова struct. И пара struct name1 должна преобразовываться в полноценный тип, съедаемый везде.

Сообщение отредактировал GetSmart - Jan 24 2016, 14:11

ГЦЦ согласен с ИАРом. Точнее они оба согласны со стандатром, но вам виднее:



P.S. поправил, для полного совпадения

О таком применении речи не было. Только в паре со struct. Чуть выше дополнил.

Поддержу.
Без typedef только объявления анонимных вложенных структур, это все для чего нужны кастрированные варианты.