Подкиньте задачек для студентов про полиморфизм в C++

Шаблоны инстанцируются при компиляции.

Да, но я предлагаю только шаблоны оберток. AddObj не шаблон, а void AddObj(Object const &o); , и живет в .cpp

Это чисто ява-подход. Диспетчеризация будет в AddObj

Да и вообще, чего я придумываю. Использовать void Add(Object const &o); в паблике, не надо никаких шаблонов. В контейрере храняться объекты-наследники Object

Не понял, кто будет вставлять код для приведения типов и проверок?

А я не понял, в чем проблема c реализацией параметрического полиморфизма на основе общего родителя Object? Это же самый наивный подход к созданию либы контейнеров на C++.

Еще раз, кто в рантайм будет делать приведение типа и проверку, чтобы пользователь в список котов не смог добавить собаку?

dynamic_cast блять!11 кто ещё в спп может делать такие проверки ёпта?

как аноним выше и сказал, dynamic_cast. Чем не устраивает?

В С++ все проверки делает компилятор, а потом угар и содомия на твоей совести никто ничего тебе проверять не будет.

Я вообще жду, что если язык поддерживает парам. полиморфизм, то все вопросы с типами разруливает сам компилятор, или я не прав?

Ты правильно и удачно выше расписал про отличия и виды полиморфизмов. Но странно не видишь отличие теоретического определения от реализации в языке. В С++ есть параметрический полиморфизм, он используется вполне определенным образом, это не секрет для разработчиков на C++. Поэтому исходный посыл, с чем я и спорю, на мой взгляд, не верен.

В отличие от упомянутого С#, в C++ можно реально задействовать как и параметрический, так и ad-hoc полиморфизмы. (Ну, перегрузка методов тривиальна и я не её имею ввиду).

dynamic_cast - это антипаттерн. К тому же он тормозной как хрен.

При таком подходе можно сказать, что в С++ есть GC? Только он используется определенным образом. Только программист на С++ должен ручками все написать, а не автоматически, как это работает в java.

Нет, gc там нет. И его реализация затруднительна в рамках существующей модели памяти в С++. Также, как нет паттерн матчинга, например.