Форум программистов [Powered by Invision Power Board]

Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > C/C++: Общие вопросы > вопрос по шаблонам

Автор: Alek86 10.11.2007, 15:09

есть библиотека с классами:

Код


class A1 {/*реализация*/};
class A2 : public A1 {/*реализация*/};
class A3 : public A2 {/*реализация*/};
...
class A4 : public A1 {/*реализация*/};

менять его не имеем права

а также есть у нас (наше собственное)

Код


template <class T>
class Templ {
/*реализация*/
};

Код


void func(const Templ<A1>& vTempl);

1. можно как-то заставить работать вызов функции

Код


Templ<A2> v1;
void func(v1);

?
2. можно как-то заставить работать вызов функции

Код


Templ<An> v1;
void func(v1);

, где An - потомок A1 любой вложенности?

Автор: archimed7592 10.11.2007, 15:16

Зависит конечно от специфики Templ, но, в общем случае так:

Код


template <class T>
class Templ {

// ...

template< class U >
Templ(const Templ< U > &rhs)
{
// здесь пишется обыкновенный конструктор копирования
// если неявные преобразования, необходимые для работы КК присутствуют для связки U<->T, то усё будет ок.
}


//...

};

Автор: Alek86 10.11.2007, 15:21

и это будет работать? smile

как туда U передается?
щас сяду проверять

хотя лучше не так.
знаешь, где "Шаблоны С++" на русском взять ...эээ... подешевле? сам прочту

Автор: archimed7592 10.11.2007, 15:43

Цитата(Alek86 @ 10.11.2007, 15:21

)

и это будет работать? smile
как туда U передается?

Ну, возьмём обыкновенные указатели:

Код


void func(A1 *p);
// ...
A2 a2;
func(&a2); // работает :).

Теперь shared_ptr:

Код


void func(const boost::shared_ptr< A1 > &p);
// ...
boost::shared_ptr< A2 > pa2(new A2(/* ... */));
func(pa2); // работает :).

Как же оно работает? Оч просто - потому что там есть шаблонный конструктор.
Почему оно работает? Потому что:
1. В shared_ptr используются только типы T * и T &
2. Неявное преобразование U * -> T *(U & -> T &) возможно в случае, если U потомок T.
3. Логика работы shared_ptr< U > не нарушается в случае его преобразования к shared_ptr< T >, ибо, учитывая пункт 1, нигде не происходит т.н. "полиморфной срезки".

Цитата(Alek86 @ 10.11.2007, 15:21

)

знаешь, где "Шаблоны С++" на русском взять ...эээ... подешевле? сам прочту

1. Не знаю.
2. Не читал.
3. Не знаю написано ли там об этом(хотя, скорее всего, написано) smile