Проблема с методом при наследовании

[rommster]

Добрый день. Проблема такая: есть базовый класс, в нём метод - возвращающий ссылку на объект данного класса:

Base & foo() {return *this;}

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

Вот пример:

class Base
{

public:
	Base(int x): myX(x) {};
	Base & foo() 
	{
		// оределённые действия в функции
		return *this;
	}
private:
	int myX;
};

class Child : public Base
{

public:
	Child(int x, int y): Base(x), myY(y){};
private:
	int myY;
};

int main()
{
	Child source(1, 2);
	Child copy = source.foo(); // ошибка, т.к. функция возвращает Base&

        return 0;
}

[counter]

а откуда ваш базовый класс узнает о наследниках?

[Пепел Феникса]

// ошибка, т.к. функция возвращает Base&

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

а так, гляньте:
http://programmersforum.ru/showthread.php?t=129110

[pproger]

2Пепел Феникса

приведение типов не отменяли.

срезку тоже

[Пепел Феникса]

срезку ?

[Сыроежка]

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

Добрый день. Проблема такая: есть базовый класс, в нём метод - возвращающий ссылку на объект данного класса:

Base & foo() {return *this;}

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

Вот пример:

class Base
{

public:
	Base(int x): myX(x) {};
	Base & foo() 
	{
		// оределённые действия в функции
		return *this;
	}
private:
	int myX;
};

class Child : public Base
{

public:
	Child(int x, int y): Base(x), myY(y){};
private:
	int myY;
};

int main()
{
	Child source(1, 2);
	Child copy = source.foo(); // ошибка, т.к. функция возвращает Base&

        return 0;
}

Это делается с помощью виртуальных функций.

class Base
{
public:
...

	virtual Base & foo() 
	{
		// оределённые действия в функции
		return *this;
	}
...
};

class Child : public Base
{

public:
... 
 	Child & foo() 
	{
		// оределённые действия в функции
		return *this;
	}
..
};

[Пепел Феникса]

Сыроежка, разве Child::foo не должна быть так же виртуальной?

[Сыроежка]

Сообщение от Пепел Феникса

Сыроежка, разве Child::foo не должна быть так же виртуальной?

Насколько мне известно, она и является виртуальной. Ключевое слово virtual достаточно указать только в базовом классе.