Задать указатель на контейнер

[EUGY]

Всех с наступающим.....
Вот как щас задам вопрос....

Есть иерархия, пляшущая от одного базового класса, условно такого:

class base
{
	base * pcontainer;
	
	base * setcontainer()
	{
		return NULL; // временно так
	}
public:
	base() : pcontainer( setcontainer() )
	{

	}
	virtual size_t mysize()	{ return sizeof(base);	}
};

Наследники выглядят приблизительно так:

class somecls : public base
{
	base agregate1;
	base agregate2;
	//... итд
public:
	size_t mysize() 	{ return sizeof(somecls); }
};

class anothercls : public somecls
{ 
	base agregate11;
	somecls agregate12;
	//... итд
public:
	size_t mysize() 	{ return sizeof(anothercls); }
};

Задача такая,
задать произвольному числу агрегатов указатель на контейнер. Как решить общий случай?

все решение должно быть только здесь:
base * setcontainer()
{
return NULL; // временно так
}

Интуитивно вижу, что решить можно, но пока не догоняю.

[Rififi]

EUGY

задать произвольному числу агрегатов указатель на контейнер. Как решить общий случай?

Этот указатель у них и так уже есть, неявно, и никаких setcontainer не нужно.
внутри, класса-агрегата, например конструктора:

somecls* p =
	reinterpret_cast<somecls*>(
		reinterpret_cast<char*>(this) - offsetof(somecls, agregate1)
		);

[EUGY]

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

[Perchik71]

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

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

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

GetAddressMethod(Func: String): Pointer;

её можно вызывать даже в вонючем и самом отдалёном классе внука.. допустим TImage.
при этом этой функции не мешает искать адрес методов всех дедов и бабушек.

[EUGY]

Может я не правильно объяснил.
Совсем с элементарного начну..
Вот структура:

struct S
{
	int y;
        int x;
};


int main()
{
	
	S s;
	int x = 1;
	s.x = 2;
        void * p1 = &x;
        void * p2 = &S.x;
}

переменная x объявленная в структуре и отдельно от нее это ведь разные разные экземпляры одного типа. Как зная только указатель, выяснить принадлежит ли это какому-то контейнеру или отдельно.
Структура знает свои поля, но как поле должно определить свой контейнер, если он вообще есть.
Продолжая аналогию, тот же вопрос можно задать о классах.
Класс это та же структура. Используя только конструктор базового класса, как выяснить принадлежность поля.

Я навскидку накидал решение в лоб, но что-то не нравится.

base * setcontainer()
	{
		static std::vector<base*> array;
		base * testcontainer = array.size() ?  array.back() : NULL;
		if ( NULL == testcontainer || this <= testcontainer)
		{
			testcontainer = NULL;
			array.clear();
		}
		else if (testcontainer)
		{
			char* maxadr = (char*)testcontainer + testcontainer->mysize() - mysize();
			if ((char*) this >  maxadr)
			{
				array.pop_back();
				if (array.size())
					return setcontainer();
			}
		}
		array.push_back(this);
		return testcontainer;
	}

[Perchik71]

static std::vector<base*> array;
		base * testcontainer = array.size() ?  array.back() : NULL;

здесь всегда NULL
хотя нее
должен сработать array.back()
и только array.back().
но поскольку массив пустой бэкать там собственно нечего.
/------------------

Как зная только указатель, выяснить принадлежит ли это какому-то контейнеру или отдельно.

можно попробовать в структуре огранизовать empty().

size_t start = this;
size_t end = start + sizeof(*this);
return ((start <= p)&&(p<=end));

типо ссылка в районе памяти. но лучше использовать memcmp

[EUGY]

Я такой принцип проверки и написал, если this попадает в диапазон предыдущего
prevthis + sizeof(*prevthis) то поле принадлежит контейнеру. А так как классы имеют древовидную структуру, то нужно где-то хранить пройденные узлы. Вот функция их рекурсивно просматривает. Код-то работает, меня сам принцип смущает.

[waleri]

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

static std::vector<base*> array;
		base * testcontainer = array.size() ?  array.back() : NULL;

здесь всегда NULL
хотя нее
должен сработать array.back()
и только array.back().
но поскольку массив пустой бэкать там собственно нечего.

Массив пустой только в первый вызов, потом в нем уже будут данные.

[waleri]

Я не понимаю, что мешает передавать указатель на контейнер явно, при создании вложенного объекта?

[EUGY]

Я не понимаю, что мешает передавать указатель на контейнер явно, при создании вложенного объекта?

Мешает количество вложенных объектов и варианты перегруженных конструкторов контейнеров. Монструозно выходит.

class CONTEINER1: public base
{
	base a1;
	base a2;
	base a3;

	base b1;
	base b2;
	base b3;
	
	CONTEINER1(base* pprevcont) :
	a1(this), a2(this),... 
	{
		pconteiner = pprevcont;
	}

	CONTEINER1(): a1(this), a2(this),...
	CONTEINER1(int): a1(this), a2(this),...

};

И такой кошмар для всех наследников.
Вот я и хочу, используя только один конструктор базового класса задать всем вложенным объектам нужный указатель на корневой объект.
Еще была мысль в базовом классе проинициализировать диапазон адресов this + sizeof(*this) нужными данными, подобно тому, как в дебажных версиях память заполняется всякими там 0xCCCCCCCC.
Но как быть с проверкой валидности указателя.