Возможно ли реализовать цикл по структурам разных типов?

[Josefina]

Вот такой вопрос 

Есть 12 структур. В каждой из этих 12 структур есть абсолютно одинаковое поле.
Хотелось бы создать цикл, пройтись по всем структурам и инициализировать данное поле.

Можно ли такое реализовать? 

[Dale]

Все 12 структур разные, совпадает только одно из полей?

[baldr]

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

[Алексей++]

на первый взгляд (хотя, ТЗ не полное):
1) виртуальный общий предок
2) функция обратного вызова

[Dale]

Если отбросить плюсы вместе с красотой, можно попробовать хак в стиле чистого C.

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

[baldr]

Dale, ИМХО это опасно и не очень красиво...

[Алексей++]

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

да, это обязательно так и в C++, если только нет виртуальных функций (а в C их и нет). Я когда-то виртуальными не пользовался и делал именно так - по общей сигнатуре выбирал нужный тип и преобразовывал ))

[Dale]

А о какой красоте вообще может идти речь, когда принципиально разные сущности обрабатываются единым образом? В таких случаях применяется только популярный критерий "зато работает".

[baldr]

Dale, а как только придет другой инженер поддерживать эту конструкцию и допишет свое поле в начало одной из структур - все магическим образом перестанет работать. Причем не сразу, скорее всего..

[Dale]

Dale, а как только придет другой инженер поддерживать эту конструкцию и допишет свое поле в начало одной из структур - все магическим образом перестанет работать. Причем не сразу, скорее всего..

Совершенно верно. Обработка различных сущностей единым образом - это в большинстве случаев дефект проектирования, который обязательно выйдет боком. Нельзя по единому рецепту выпекать торты, вулканизировать покрышки и выплавлять чугун лишь на том основании, что все три технологии используют термообработку. Точнее, конечно, можно, но вот результат...

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

[baldr]

Промелькнула мысль...
Josefina, а эти структуры - случаем, не часть SOAP-запроса?

[Josefina]

Ого, сколько написали 

Dale, да, все структуры разные, совпадает только одно из полей. Где можно про описанный Вами хак почитать по подробнее? Как оно на практике реализуется..

Алексей1153++, про виртуального предка можно чуть по подробней))

baldr, эти структуры являются регистрами модема, значения которых считываются/устанавливаются)

[Dale]

эти структуры являются регистрами модема

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

[Алексей++]

и предложеный мной хак не имеет смысла.

... как и виртуальные функции тоже )

Josefina, код описания структур покажи

[Josefina]

пример:

Код:

typedef union{
	unsigned long val;
	struct{
		unsigned pch_on	  :2;
		unsigned reserve1	  :2;
		unsigned ppm_on	  :1;
		unsigned reserve2	  :10;
		unsigned synth_pch	  :2;
		unsigned synth_ppm :3;
		unsigned reserve3	  :12
	}inc;
}reg_18012;

поле, о котором идет речь - val
во всех структурах оно имеет один и тот же тип и размер)

[Dale]

А общее поле, стало быть, val?

[Josefina]

А общее поле, стало быть, val?

да-да-да)))

[rukia]

а нельзя создать класс-предок с виртуальными методами set_val/get_val , потом кажду структуру обернуть в класс-потомок, реализовать для каждой из 12 те методоты и затем в цикле перебрать объекты, вызывая set_val?

[Алексей++]

Josefina, а по какой сигнатуре различать типы ?

[Dale]

А общее поле, стало быть, val?

да-да-да)))

Ну вот и славненько. Потому что на самом деле это не структура, а объединение, в котором беззнаковое длинное целое val накладывается на остальные поля. Никакие хаки не понадобятся - все эти объединения одного типа и могут быть обработаны единообразно.

[Dimka]

Это ж вообще не структура, это просто unsigned long, к которому можно всё это привести.

[Josefina]

Спасибо за ответы    все оказалось очень просто 

[Dale]

Ну и попутно совет, раз уж вопрос имеет отношение к аппаратным регистрам устройства.

Лучше в таких случаях избегать использования типов с непонятной разрядностью вроде int и т.п. Используйте типы с гарантированной разрядностью. Например, в данном случае гораздо лучше подойдет тип int32_t как в плане переносимости, так и в плане читаемости программы (разумеется, если компилятор его поддерживает, но в противном случае и браться за программирование устройств с его помощью не следует).

[npak]

А всеж-таки лучше сделать общего предка, вынести поле val в него.