Определение структуры

[mf_fun_mf]

Допустим есть функция, принимающая указатель на структуру (тип).
Есть несколько структур (типов) с различными полями, они все должны обрабатываться данной функцией.

struct a{int x, y;}; struct b{int x;};
a Sa; b Sb;
func(Sa); // Один результат
func(Sb); // Другой результат

Как узнать, что за структуру передали функции?

Добавление дополнительных полей к структурам или определение функцией их размера не предлаать!

[waleri]

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

[mf_fun_mf]

Как не хочется добавлять доп. инфу в структуры или перегружать функции...

[rmv240899]

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

Как не хочется добавлять доп. инфу в структуры или перегружать функции...

И не надо. Юзайте typeid, если это С++.

[mf_fun_mf]

#include <typeinfo.h>

void func(void* ptr)
{
typeid(ptr).name();
typeid(&ptr).name();
}

int a, *pa;
...
func(a); func(pa); func(&a);
...

Кое-что пробовал передовать функции, typeid даёт только "void *" или "void * *". Как правильно её использовать?

[waleri]

Если это C++ напишите две функции:
func(const a& sa) { ... }
func(const b& sb) { ... }

Для того чтоб использовать typeid надо все структуры унаследовать от одного родителя, сделать функцию с указателем на этого родителя и включить в опциях компиляторa RTTI

[_Bers]

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

Если это C++ напишите две функции:
func(const a& sa) { ... }
func(const b& sb) { ... }

Для того чтоб использовать typeid надо все структуры унаследовать от одного родителя, сделать функцию с указателем на этого родителя и включить в опциях компиляторa RTTI

Ну нужно понимать одну вещь: typeid определяет фактический тип объекта двумя способами:

1. Статическим. Если иерархия не содержит виртуальных методов. И в этом случае вычисления происходят времени компиляции.

(в случае автора, он получит типа предка)

2. Динамическим. Если иерархия содержит виртуальные методы. И в этом случае вычисления происходят времени выполнения. RTTI, как известно - тяжелая операция.

(в случае автора, он получит тайп_ид потомка, но тайп_ид - это ещё не потомок, и придётся городить огород, что бы пропасти реакцию функции на тот, или иной тайп_ид).

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

[waleri]

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

1. Статическим. Если иерархия не содержит виртуальных методов. И в этом случае вычисления происходят времени компиляции.

Возможно это зависит от реализации на конкретном компиляторе но насколько я знаю typeid и dynamic_cast<> *всегда* вызывают скрытый виртуальный метод.

[_Bers]

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

Возможно это зависит от реализации на конкретном компиляторе но насколько я знаю typeid и dynamic_cast<> *всегда* вызывают скрытый виртуальный метод.

" Если операнд операции typeid есть разыменованный указатель или ссылка на полиморфный тип, typeid возвращает динамический тип объекта, получаемого по указателю или ссылке на него. Если операнд неполиморфный, typeid вернет объект, представляемый статическим типом. "(ц)


В стандарте не рылся. Но мингв/гцц/судийные компили намекнули мне, что автор цитаты - прав.
И да, кстати, классы, которые не содержат ни одного явного виртуального метода, никаких "скрытых" виртуальных так же не содержат.

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

[waleri]

Уф
class CParent;
class CChild : public CParent;
CParent* ptr = new CChild;
CChild* crash = dynamic_cast<CChild*>(ptr);
typeid(ptr) == ?