template <class It> // <class It implements Bidirectional> void reverse (It begin, It end) { ... }
C++:
Zum Zeitpunkt der Instantiierung müssen dann eben
die passenden operator++, operator--
vorhanden sein,
vorher prüft das keiner
Java: mehr und frühere Tests:
ob Methoden für Typ-Argumente vorhanden sind
ob Typ-Argument Bedingungen erfüllt