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