Такое дело:
Есть множество классов, реализующих объекты разных предметных областей.
Все классы являются потомками некоторого класса.
У каждого из объектов есть список подобъектов-наследников базового класса, т.е. он может быть контейнером объектов некоторых классов.
Нужно:
Реализовать механизм проверки: может ли объект класса А находиться в списке подобъектов класса В.
При этом введение нового класса (который может как содержать в себе объекты других классов, так и находиться в списке объектов других классов) не должно подразумевать внесение изменений в уже существующие классы.
Вот такая ботва. Есть мысли?

Че-та я не допонял. Это наверное должно быть все в динамике, но вот мысля такая есть в статике:

Код

/* * = TEMPLATE = */ template <typename T> class IsClass { public:  enum  { YES = 0, NO = !YES }; }; #define IS_CLASS(A1)         \  template<> class IsClass<A1>{  \  public:                             \    enum{ YES = 1, NO = !YES };       \  }; class cMyClass{ public: cMyClass(){}; ~cMyClass(){}; }; class cNoMyClass{ public: cNoMyClass(){}; ~cNoMyClass(){}; }; IS_CLASS(cMyClass); template <typename T> void test (T const& t) {    if (IsClass<T>::YES) {        ptintf("Is My Class");    }    else {        printf("Isn't my class");    } } void main() {    test(cMyClass);    test(cNoMyClass);     }

хитро!
но это не даст ответ на вопрос является ли данный класс потомком заданого.
можно посмотреть как это сделанр в MFC, например, а вообще это метапрограммирование

Смотря в чем пишешь, если в чистом С++, то там механизм RTTI не реализован.
А реализовывать его не так просто . Тут на форуме была тема как это реализовано в MFC (при помощи статических переменных и макросов) весьма ценная статейка была.

Чего-то я тоже непонял. Надо проверить является ли один класс потомком другого? Для этого dynamic_cast можно использовать.

нет. смысл не в том, чтобы понять, является ли класс А потомком класса В.
По большому счету, все классы в описанной задаче являются потомками одного-единственного класса (пусть будет BaseClass)
Как я уже сказал, у каждого из этого множества классов есть список типа:
list <BaseClass> myChildrenList;
вот.
Но проблема в том, что для каждого конкретного класса в этом списке могут быть экземпляры ТОЛЬКО НЕКОТОРЫХ ИЗ множества классов-потомков BaseClass.
Например, есть классы A, B, C. Все они потомки BaseClass (они могут быть и непрямыми потомками, между ними могут быть отношения наследования - не суть важно).
В списке myChildrenList класса A могут находиться экземпляры всех классов (A,B,C, BaseClass)
У экземпляров класса B в этом списке могут быть только экземпляры B и C, а экземпляры классов А и BaseClass быть не могут.
А, например, у С в списке быть не может ничего.
Так вот, нужно реализовать механизм который каким-либо образом определял бы, могут ли экземпляра класса i лежать в списке экземпляра класса j.
Кроме того (самое важное в данной задаче):
пусть мы добавили новый класс D, экземпляры которого, по замыслу, могут находиться в списках всех классов (A,B,C,D, BaseClass). Как это дело реализовать, НИЧЕГО НЕ МЕНЯЯ В УЖЕ СУЩЕСТВУЮЩИХ КЛАССАХ (А, B, C, BaseClass)????

Да и вообще, возможно ли подобное???

На этом форуме в FAQ интереснейшая информация:
http://forum.vingrad.ru/index.php?showtopic=16751

информация интересная, но, тем не менее, к данной задаче ни малейшего отношения не имеет.

Для проверки "является ли один класс производным от другого класса", можно и нужно использовать RTTI. Вот рабочий код, с примерами:

Цитата

/////////////////////////////////////////// // Всего-то и нужно - подключить RTTI в настройках проекта, // добавить один инклюд и написать парочку макросов: #include <typeinfo> #define CLASS_INFO(class_name,base_class) public: \   bool IsDerivedFrom(void *pObjFrom) \   { \     if(typeid(class_name) == typeid(*(class_name*)pObjFrom)) \       return true; \     return dynamic_cast<base_class*>(this)->IsDerivedFrom(pObjFrom); \   } #define CLASS_INFO_ROOT(class_name) private: \   virtual void vvfunc() {} \ public: \   bool IsDerivedFrom(void *pObjFrom) \   { \     if(typeid(class_name) == typeid(*(class_name*)pObjFrom)) \       return true; \     return false; \   } /////////////////////////////////////////// // Создадим иерархию классов для проверки, // в каждый класс включим по макросу class A {   CLASS_INFO_ROOT(A) }; class B: public A {   CLASS_INFO(B,A) }; class C: public B {   CLASS_INFO(C,B) }; /////////////////////////////////////////// // Проверочная функция void Test() {   A objA;   B objB;   C objC;   // вернёт true   bool res = objC.IsDerivedFrom(&objA);   // false   res = objB.IsDerivedFrom(&objC);   // false   res = objA.IsDerivedFrom(&objB);   // true   res = objB.IsDerivedFrom(&objA); }

Добавлено @ 17:33
З.Ы. Этот вопрос подымается довольно часто, поэтому тема добавлена в FAQ по С++.

Цитата(Nastya @ 20.4.2004, 08:46)

Смотря в чем пишешь, если в чистом С++, то там механизм RTTI не реализован. А реализовывать его не так просто . Тут на форуме была тема как это реализовано в MFC (при помощи статических переменных и макросов) весьма ценная статейка была.

не понял ?
какой такой чистый C++ без RTTI ?
может вы путаете со старым стандартом ?