Ich hatte in letzter Zeit mehr Zeit, in Zig zu programmieren, und das hat meiner Seele gutgetan. Dieser Beitrag teilt Erkenntnisse zu Abstraktionen in Zig, darunter Techniken, die der Autor nützlich fand, die aber selten breiter eingesetzt werden.
Über Zig-Interfaces wurde viel geschrieben, und das zu Recht. Obwohl Interfaces kein Sprachmerkmal sind, sind sie die De-facto-Methode, um Laufzeit-Polymorphismus in Zig umzusetzen. Auch über Zigs comptime und darüber, wie man es nutzen kann, um die Performance-Probleme dynamischer Dispatches zu vermeiden und eleganten, datenorientierten Code zu schreiben, wurde viel gesagt.
Polymorphismus in Zig wird üblicherweise auf eine von zwei Arten erreicht. Dynamische Interfaces verwenden undurchsichtige Zeiger, virtuelle Tabellen und dynamischen Dispatch, um Laufzeit-Polymorphismus zu erzielen. Compile-Zeit-Duck-Typing nutzt Typreflexion, switch-Anweisungen und Monomorphisierung zur Compile-Zeit, um statischen Polymorphismus zu erreichen. Dieser Stand hat sich als wirksam erwiesen, ist aber nicht ohne Kompromisse. Interfaces bieten Typverträge, wie man sie aus anderen Sprachen kennt, doch da sie zur Laufzeit modular sind, errichten sie eine harte Barriere für den Compiler und verursachen damit einen Performance-Overhead. Für performancekritischen Code setzt Zig typischerweise auf Compile-Zeit-Duck-Typing, das Interface-Verletzungen bereits beim Kompilieren erkennt, aber dennoch eine sorgfältige Dokumentation des Vertrags erfordert.
Entwickler, die von Rusts Traits oder Haskells Typeklassen kommen, könnten diese Anordnung als simpel empfinden, und Zig strebt in der Tat nach Einfachheit. Der Autor argumentiert, dass sich mit etwas Anpassung ähnliche Abstraktionen über Typen im Userland von Zig realisieren lassen. Der Vorschlag ist eine neue Konvention, um Typverträge zur Compile-Zeit als Traits zu definieren, ohne Bibliotheken oder zusätzliche Mechanismen. Er ist von funktionaler Programmierung im Allgemeinen und von OCaml im Besonderen inspiriert.
Ein Trait wird als Compile-Zeit-Struct definiert, das zusammengehörige Funktionen über einem gegebenen Typ enthält. Der Artikel veranschaulicht dies mit einem Reducer-Trait für das Falten, bei dem ein Typ unter einem leeren Wert und einer Kombinationsoperation einen Reducer bildet. Getrennte sum- und product-Traits für i32 zeigen, wie dieselbe generische reduce-Logik wiederverwendet werden kann, wobei der Compiler die Schleife inlinen und entrollen kann. Der Autor kommt zu dem Schluss, dass Traits schlicht ein Beutel voller Spaß sind.
Quelle: Hacker News · Zusammengefasst von HeadlinesBriefing