Heiner Kückerfor-Schleife mit yield-return |
|
Home Java-Seite Bit Packed Array ASM Improved heterogene Map, HMap Constraint Code Generator JSP WorkFlow PageFlow FlowControl Page Flow Engine Web Flow Engine Control_and_Command JSP_Spreadsheet Code-Generator für Option-Either-Stil in Java verbesserter Comparator Fluent-Interface Code-Generator auf Basis einer Grammatik Visitor mit Multidispatch for-Schleife mit yield-return Kognitions-Maschine semantisches Netz Domain Parser Codegenerator_für hierarchische Datenstrukturen Expression_Engine Formula_Parser Thread Preprocessor State Transition Engine AspectJ Java_Explorer DBF_Library Kalender_Applet SetGetGen BeanSetGet CheckPackage LineNumbers GradDms Excel-Export StringTokenizer JspDoc JspCheck JSP-Schulung Java Server Pages Struts Ascii-Tabellen- Layouter Ascii-Baum- Layouter Ascii-Art-Fluss- Diagramm- Parser AsciiArt AssignmentMatrix Layouter StringSerial Silbentrennung JDBC_Schlüssel- Generierung bidirektional/ unidirektional gelinkte Liste Java_Sitemap Generator XmlBuilder RangeMap StringFormatter VersionSafe XCopy JTextField CommandLine- ParamReader Bitmap-Grafik MultiMarkable- Buffered- InputStream JavaCache JdomUtil CollectionUtil XML Really Pull Parser Log-Filter Remote-Protokoll Sudoku-Generator Delegation statt Mehrfachvererbung Disjunct Interval Set WebCam_Demo Weiterentwicklung_Java Alaska-XBase++-Seite Projekte Philosophien Techniken Konzepte Sudoku Kontakt / Impressum Links SiteMap Letzte Aktualisierung: 21.01.2014 |
for-Schleife mit yield-return
In der Programmiersprache C# gibt es eine yield-return Anweisung. Ähnlich arbeiten auch Scalas for comprehensions. In Lisp nennt man dies Continuations. Auch Groovy bietet solche Möglichkeiten. Der berühmte Informatikprofessor Donald Knuth nennt dieses Konstrukt Koroutine. Es geht dabei darum, dass beim Auftauchen der yield-return Anweisung der Ablauf der aktuellen Methode angehalten und der aktuelle Rückgabewert an den Aufrufer zurückgegeben wird. Unter der Decke (dem API) formt der Compiler den Code so um, dass der aktuelle Status der Methode, also der Stack, Parameter, lokale Variable und der Zeiger auf den aktuellen Befehl eingefroren wird. Beim nächsten Aufruf wird dieser Zustand wieder hergestellt und die Werte erzeugende Methode (deshalb nennt man dies auch in manchen Programmiersprachen Generator) wieder bis zum nächsten yield-return oder bis zum Beenden gestartet. Dadurch können Werte-Mengen, die nicht in den Speicher passen würden, bequem verarbeitet werden. Die Werte entstehen bei Bedarf, lazy. Die Java-for-Schleife ist fest mit dem Ablauffaden verbunden, ich würde dies die Fessel des Ablauffadens nennen. In Java (bis Version 7) muss man die Code-Umformung manuell vornehmen und dieses Konstrukt durch einen Iterator abbilden. Gerade bei mehrfach geschachtelten Schleifen ist dies ein hoher manueller Aufwand und der entstehende Code ist schwer wartbar(obscure). Es gibt Lösungen, die gesamte Werte-Menge auf einmal zu erzeugen und in einer Liste zu speichern. Dies könnte am Speicherbedarf scheitern. Andere Lösungen arbeiten mit Threads, die aber ebenfalls eine begrenzte Ressource sind und eventuell in einem Applikations-Server nicht benutzt werden dürfen. Weitere Lösungen mit Byte-Code-Manipulation sind untransparent und könnten Probleme mit ClassLoadern verursachen. Meine Lösung arbeitet mit purem Java in der Version 6. Durch die Verwendung von Generics(Type-Parameter) wird Flüchtigkeitsfehlern vorgebeugt. Aufgrund der Java-Sprachbeschränkungen entsteht sehr viel Code, in den Test-Fällen ist deshalb die Kurzform in Pseudocode als Kommentar enthalten. Download der Quelldateien YIELD_RETURN_FOR_NESTED.zip Installation: Entpacken in Verzeichnis Ihrer Wahl und Import als Eclipse-Projekt Start mit den enthaltenen JUnit4-Tests.
Achtung: Erweiterungen und Fixes stelle ich ohne Historie
und ohne Ankündigung hier bereit. Lizenzbedingungen:
Die Programme, Quelltexte und Dokumentationen können ohne
irgendwelche Bedingungen kostenlos verwendet werden. |