Гость
Войти | Профиль | Очистить
Целевая тема:
Создать новую тему:
Автор:
Действия ...
Форумы / C++ [игнор отключен] [закрыт для гостей] / Правильно ли это? / 11 сообщений из 11, страница 1 из 1
26.07.2007, 17:43
    #34686979
батрак
батрак
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Правильно ли это?
Код: plaintext
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
template <class T> class Base
{	public:
		 virtual T*const Self(){	cout << "Base "; 
		                                return static_cast<T*const>(this);}
};

template <class T> class Derived :public Base<Derived<T> >
{	public:
		 virtual Derived<T>*const Self(){	cout << "Derived "; 
							return static_cast<Derived<T>*const>(this);}
};
int _tmain(int argc, _TCHAR* argv[])
{
	Derived<int> derived;
	derived.Self();
	static_cast<Base<Derived<int> > >(derived).Self();
}
На экран выводит:Derived Base
Правильно ли это ведь virtual T*const Self() и virtual Derived<T>*const Self() - по сути одно и тоже после вывода компилятором типа T и следовательно по правилу виртуальных перегруженных при наследовании функций должны получать на экране: Derived Derived
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
26.07.2007, 17:56
    #34687020
Akh
Akh
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Правильно ли это?
Твой оператор static_cast<Base<Derived<int> > > производит "срезку" объекта. Т.е. теперь ты имеешь объект по значению базового класса. Поэтому полиморфизм и не сработал.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
26.07.2007, 18:00
    #34687026
Akh
Akh
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Правильно ли это?
На самом деле, это пример более популярной ошибки:

Код: plaintext
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
class A {
  public: virtual void func() {};
};

void func(A const &a) {
   a.func();
};

class B : public A {
  public: virtual void func() {};
}

int main() {
  func(B());
  return  0 ;
};

Здесь все нормуль, т.к. B мы передаем по ссылке. И полиморфизм нам даст в функции B::func(). Но стоит забыть написать значек &, как мы получаем срезку объекта при копировании. И теперь у нас в функции будет действительно объект класса A и произойдет вызов функции A::func().
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
26.07.2007, 18:08
    #34687051
батрак
батрак
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Правильно ли это?
AkhТвой оператор static_cast<Base<Derived<int> > > производит "срезку" объекта. Т.е. теперь ты имеешь объект по значению базового класса. Поэтому полиморфизм и не сработал.

А если так static_cast<Base<Derived<int> > *>(?derived)->Self();
- то все должно быть ок я так понимаю?
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
26.07.2007, 18:10
    #34687059
батрак
батрак
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Правильно ли это?
батракstatic_cast<Base<Derived<int> > *>(?derived)->Self();
вместо ? - & очепятка
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
26.07.2007, 18:13
    #34687070
Akh
Akh
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Правильно ли это?
батрак AkhТвой оператор static_cast<Base<Derived<int> > > производит "срезку" объекта. Т.е. теперь ты имеешь объект по значению базового класса. Поэтому полиморфизм и не сработал.

А если так static_cast<Base<Derived<int> > *>(?derived)->Self();
- то все должно быть ок я так понимаю?

Да, думаю, так срезки не будет.

Но дело в том, что тебе не должен быть нужным static_cast. Понижение по иерархии в С++ допускается.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
26.07.2007, 18:16
    #34687081
батрак
батрак
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Правильно ли это?
Спасиб ЗАЧОТ. Вижу в полиморфизме ты разобрался ..
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
26.07.2007, 18:22
    #34687105
Akh
Akh
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Правильно ли это?
батракСпасиб ЗАЧОТ. Вижу в полиморфизме ты разобрался ..

Аж засмущался. Вижу ты теперь тоже.

Если не секрет для чего такая конструкция? Не встречал для чего это можно было бы применить:
Код: plaintext
1.
template <class T> class Derived :public Base<Derived<T> >
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
26.07.2007, 18:31
    #34687136
батрак
батрак
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Правильно ли это?
Akh батракСпасиб ЗАЧОТ. Вижу в полиморфизме ты разобрался ..

Аж засмущался. Вижу ты теперь тоже.

Если не секрет для чего такая конструкция? Не встречал для чего это можно было бы применить:
Код: plaintext
1.
template <class T> class Derived :public Base<Derived<T> >


Читаю Страуструпа Языкпрограммирования С++ стр 396 гл.13.6 Наследование и шаблоны.
Преимущества такого наследования шаблонных классов я еще не осознал - вот и разбираюсь.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
27.07.2007, 00:05
    #34687554
White Owl
White Owl
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Правильно ли это?
батракПреимущества такого наследования шаблонных классов я еще не осознал - вот и разбираюсь.Осознать преимущество сложно... Намного проще осознать недостатки.
Слишком большое количество вложенностей постоянно открыто в исходном тексте, слишком много букв надо писать чтобы объявить переменную и слишком сложно будет расширять всю эту гирлянду шаблонов если понадобиться.
Шаблоны на мой взгляд вообще совершенно лишняя вещь в языке... еще и наследовать их?
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
27.07.2007, 09:47
    #34687849
Akh
Akh
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Правильно ли это?
Факт в том, что здесь наследник от базового класса, который имеет наследника как шаблонный аргумент.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
Форумы / C++ [игнор отключен] [закрыт для гостей] / Правильно ли это? / 11 сообщений из 11, страница 1 из 1
Найденые пользователи ...
Разблокировать пользователей ...
Читали тему (0):
Читали форум (0):
Пользователи онлайн (0):
Польз. соглашение  
Полит. конфиден.  
созд. / загр.: 490ms
Закрыть
start [/forum/topic.php?fid=57&mobile=1&tid=2028463]:
 0ms
get settings:
 8ms
get forum list:
 17ms
check forum access:
 3ms
check topic access:
 3ms
track hit:
 190ms
get topic data:
 10ms
get forum data:
 3ms
get page messages:
 44ms
get tp. blocked users:
 1ms
others: 211ms
total:  490ms
x
x
Закрыть


Просмотр
0 / 0
Close
Debug Console [Select Text]