Man555
Ещё не успел ознакомится с оным творением, но думаю проблема шаблонов там решается за счёт однокоренной иерархии наследования.

Это совсем другая технлогия. Технология шаблонов - статическая проверка типов плюс гибкий механизм инстанцирования, что дает комбинаторный подход для генерации типов. Шаблоны это прежде всего статика и еще раз статика, переход на полиморфизм - это уже не статика, а рантайм.

Плюс в Делфи очень расплывчатое понятие модификаторов доступа. Они вроде бы как есть, но и их вроде бы как нет. Попробуйте написать константный итератор и неконстантный в Делфи, и если у вас это получится - передайте константый итератор какой-нить функции, работающей с неконстантым итератором. Будет сюрприз...

В делфи нет вложенности типов. Т.е. я не могу описать тип внутри другого типа. В резульате итераторы для контейнеров вынуждены будут хранить указатель(хотя в делфи все перепутано, там полууказатели-полуссылки) на контейнер. В C++ в неассоциативных контейнерах итератор - это указатель.

Относительно алгоритмов STL их придется переписывать очень сильно, потому что они основаны на двух китах - ИТРАТОРЫ(в которых "скрыта" реализация контейнеров) и ПЕРЕГРУЖАЕМЫЕ ОПЕРАТОРЫ. Ни того ни другого нет в Делфи.

Traits template - я вообще не знаю как вы будете это делать в Делфи. Это все чистая статика, когда шаблон параметризуется отнсительно внутренних typedef типов аргументов. Или за счет статических функций.

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

Вобчем список можно продолжать долго. Я могу вам подкинуть парочку задач, которые решаются в шаблонах и в STL вчастности и попробуйте это написать в Делфи.