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


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


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

и


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

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

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

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

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


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

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

Теперь shared_ptr:

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


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