In C++ Implementierungen werden diese aber zur Compilezeit instanziiert, was sicherlich Implementierungsproblem vermeidet, aber die Objektcodegröße aufbläht. Hier soll aber die Verbindung etwas lockerer sein.
Ein Typ/eine Klasse sollte eine Operation sizeof haben, die angibt, wieviel Platz er belegt. Die generischen Datentypen können dann auch parametrisch den erforderlichen Speicherplatz allokieren.
(Ein Anfang Implementierung der parametrischen Typen besteht schon, da sie schon für den RPG-Tabellenprogrammgenerator gebraucht wurden.)