Hallo,
es scheinen ja Bestrebungen im Gange zu sein Java in zukünftigen Versionen mit Templates zu versehen. Mich würde interessieren, wie es mit deren Aussagekraft aussieht. Die von C++ bekannten Templates hatten zumindest im Draft-Standard den Nachteil, daß die Template Instantiierung unentscheidbar war, was durch eine willkürliche Festlegung der Rekursionstiefe von Templates behoben wurde. Hat man bei Java vor, ein ähnlich vermurkstes Konzept in die Sprache einfließen zu lassen ?
Gruss
Enno
Hallo,
ich verstehe zwar nicht, was an der Instantiierung der Templates unentscheidbar war, aber evtl. helfen folgende Links weiter:
http://jcp.org/en/jsr/detail?id=14
http://java.sun.com/features/2003/05/bloch_qa.html
http://java.sun.com/javaone/javaone2001/pdfs/2733.pdf
Gruss,
Frank
[Bei dieser Antwort wurde das Vollzitat nachträglich automatisiert entfernt]
Danke,
der erste Link enthält vermutlich alles was meine Frage beantwortet. Unentscheidbar war bei C++ zur Kompilationszeit, ob das Template instantiiert werden kann oder nicht (vor Einführung der Rekursionstiefenbeschränkung). Man konnte mit den Template Features (Rekursion, Spezialisierung etc.) das \mu-Rekursionsschema nachbilden mit der Aussage das Template ist instantiierbar gdw. die \mu-rekursive Funktion terminiert/auswertbar ist.
Gruss
Enno
Hallo,
Man konnte mit
den Template Features (Rekursion, Spezialisierung etc.) das
\mu-Rekursionsschema nachbilden mit der Aussage das Template
ist instantiierbar gdw. die \mu-rekursive Funktion
terminiert/auswertbar ist.
Okay, das habe ich verstanden. Wo kann man das ganze denn nachlesen (interessiert mich eher persönlich).
Gruss,
Frank
Hallo,
das wurde vor einigen Jahren in comp.lang.c++ diskutiert. Ob es andere Aufzeichnungen dazu gibt, weiß ich nicht.
Gruss
Enno
Okay, das habe ich verstanden. Wo kann man das ganze denn
nachlesen (interessiert mich eher persönlich).