Zusammenfassung

Rust 1.100.0 bringt nach zehnjähriger Entwicklungsphase die stabile Version des Never-Typs (!) sowie die Kern-Allocator-API (Allocator-Trait für Vec und Box) heraus. Zu den zentralen Neuerungen gehören ferner der Hilfstyp DropGuard zur automatisierten Ausführung von Closures auf allen Ausstiegspfaden, std::mem::conjure_zst zur sicheren Erzeugung von Null-Größen-Typen sowie neue Cargo-Lints und Schutzmechanismen gegen Supply-Chain-Angriffe durch Abhängigkeits-Cooldowns (min-publish-age). Begleitet wird das Release von strukturellen Verbesserungen der Build-Verzeichnisse zur Reduzierung von Cache-Kollisionen.

Wichtigste Punkte

• Never-Typ (!): Nach 10 Jahren und 5 gescheiterten Versuchen stabilisiert; repräsentiert unvollständige oder divergierende Berechnungen (z. B. Endlosschleifen, return, panic!), bei denen nachfolgender Code unerreichbar ist; macht Infallible zu einem direkten Typ-Alias für !.
• Allocator-API: Stabilisierung des Kern-Allocator-Traits, das es Bibliotheksschreibern erlaubt, eigene Allokatoren für Standardtypen wie Vec und Box über Funktionen wie Box::new_in anzusprechen.
• DropGuard: Neuer Typ core::mem::DropGuard (Deref/DerefMut), der beim Verlassen des Scopes automatisch eine Closure ausführt (unabhängig von ? oder Panik) und sich für Transaktions-Rollbacks eignet; unterstützt eine dismiss()-Methode zum Verwerfen ohne Ausführung.
• Null-Größen-Typen (ZST): Einführung von std::mem::conjure_zst als dedizierte, unsichere Funktion zur Erzeugung von Zero-Sized-Typen, um den unkontrollierten Missbrauch von Marker-Token (wie PyO3s GIL-Token) zu verhindern.
• Ungenutzte Abhängigkeiten in Cargo: Cargo meldet ungenutzte Abhängigkeiten standardmäßig als Warnung über den Lint cargo::unused_dependencies innerhalb der [lints.cargo]-Sektion in der Cargo.toml.
• Cache-Kollisionen-Reduktion: Umstrukturierung des Build-Verzeichnis-Layouts nach Build-Schritten statt nach Dateitypen, wodurch Build-Konfigurations-Hashes (z. B. für --features) konsistent angewendet und Cache-Kollisionen in Git-Worktrees minimiert werden.
• Dependency Cooldowns (min-publish-age): Ermöglicht die Konfiguration einer Mindestwartezeit für neu veröffentlichte Paketversionen via global-min-publish-age in der .cargo/config.toml, um anfängliche Supply-Chain-Angriffe zu blockieren.
• Zusätzliche stabilisierte APIs: Unter anderem bool::toggle(), Box::map(), Rc::map(), Arc::map(), sowie neue Präfix- und Suffix-Trimm-Methoden für Strings und Slices (str::trim_prefix, [T]::trim_prefix).

Diskussions-Highlights

• Freude und verdeckte APIs: Nutzer feierten die Stabilisierung des Never-Typs und der Allokatoren, merkten jedoch an, dass nützliche Ergänzungen wie bool::toggle() und Box::map() im offiziellen Blogbeitrag nicht explizit aufgeführt wurden.
• Cargo-Install-Verhalten: Die Änderung, dass cargo install standardmäßig die Lockfile im .crate-Tarball nutzt (wodurch --locked zur Leeroperation wird, PR #17388), stieß auf breite Zustimmung.
• Kritik an Cooldown-Ausnahmen: Es wurde kritisiert, dass cargo install die minimale Veröffentlichungszeit (min-publish-age) ignoriert, was die Schutzwirkung bei Direktinstallationen verwässert.
• Kompilierzeiten und Speicherplatz: Intensive Debatten drehten sich um lange Kompilierzeiten und massiven Festplattenspeicherbedarf von Build-Ordnern (bis zu 90 GB); Entwickler verwiesen auf kommende Optimierungen wie Build-Verzeichnis-Garbage-Collection und kleinere Debug-Informationen im dev-Profil.
• Fehlen eines stabilen ABI: Das anhaltende Fehlen eines stabilen ABIs wurde kontrovers diskutiert; Experten wie JoshTriplett erläuterten, dass Rusts generisches Programmiermodell (Kompilierung von MIR-Instanziierungen per Linker) ein stabiles ABI extrem komplex macht und Vergleiche mit Swift (dyn-fokussiert) oder C++ (Templates) verdeutlichen, warum ein universelles ABI Kompromisse erfordern würde.

Glossar

• Never-Typ (!): Ein unbesetzter Typ (uninhabited type) ohne Instanzen, der anzeigt, dass eine Berechnung niemals terminiert, und der universell in jeden anderen Typ konvertiert werden kann.
• Zero-Sized Type (ZST): Ein Datentyp in Rust, der keine Bytes im Speicher belegt (Größe null) und häufig als typsicheres Marker-Objekt dient.
• Allocator-API: Eine Systemschnittstelle (Allocator-Trait), die die Verwendung benutzerdefinierter Speicherverwalter für Heap-Allokationen in Standard-Containern ermöglicht.
• MIR (Mid-level Intermediate Representation): Eine CFG-basierte (Control Flow Graph) Zwischendarstellung des Rust-Compilers für Analysen, Optimierungen und Generierung.
• ABI (Application Binary Interface): Eine Schnittstelle auf Maschinenebene zwischen binären Programmkomponenten (z. B. Funktionsaufrufkonventionen und Speicherlayout).
• Monomorphisierung: Der Compiler-Prozess, bei dem generische Funktionen und Typen für jeden konkreten Datentyp in individuelle Maschinencode-Versionen dupliziert werden.
• Lint: Eine statische Code-Analysefunktion, die vor potenziellen Fehlern, suboptimalem Code oder Stilverstößen warnt.
• Dependency Cooldowns (min-publish-age): Ein Sicherheitsmechanismus im Paketmanager Cargo, der neu veröffentlichte Bibliotheksversionen für eine definierte Frist zurückhält, um gemeldete Schadsoftware-Updates zu umgehen.