Kapitel 1. Typen
Diese Arbeit wurde mithilfe von KI übersetzt. Wir freuen uns über dein Feedback und deine Kommentare: translation-feedback@oreilly.com
Im ersten Kapitel dieses Buches geht es um Ratschläge, die sich um das Typsystem von Rust drehen. Dieses Typensystem ist ausdrucksstärker als das anderer Mainstream-Sprachen; es hat mehr mit "akademischen" Sprachen wie OCaml oder Haskell gemein.
Ein zentraler Teil davon ist der enum Typ von Rust, der wesentlich ausdrucksstärker ist als die Aufzählungstypen in anderen Sprachen und der algebraische Datentypen ermöglicht.
In diesem Kapitel geht es um die grundlegenden Typen, die die Sprache bereitstellt, und darum, wie du sie zu Datenstrukturen kombinierst, die die Semantik deines Programms präzise ausdrücken. Dieses Konzept der Kodierung von Verhalten in das Typsystem trägt dazu bei, den Umfang des erforderlichen Prüf- und Fehlerpfadcodes zu verringern, da ungültige Zustände von der Toolchain zur Kompilierzeit und nicht vom Programm zur Laufzeit zurückgewiesen werden.
In diesem Kapitel werden auch einige der allgegenwärtigen Datenstrukturen beschrieben, die in der Standardbibliothek von Rust zur Verfügung stehen:Options, Results, Errors und Iterators. Die Vertrautheit mit diesen Standardwerkzeugen hilft dir, ein idiomatisches Rust zu schreiben, das effizient und kompakt ist - insbesondere ermöglichen sie die Verwendung des Fragezeichenoperators von Rust, der eine unauffällige, aber dennoch typsichere Fehlerbehandlung unterstützt. ...