Prêt Checker implementéiert am GCC Frontend mam Rust Compiler

Eng Serie vu Patches, déi d'Rust Sproochunterstëtzung am gccrs Frontend verbesseren, goufe proposéiert fir an der GCC 15 Branche opzehuelen. Déi bemierkenswäert Ännerung ass d'Ënnerstëtzung fir e Prêtchecker, deen op der Polonius-Komponent baséiert, déi vum Rust Core Team als nächst Generatioun vum Prêtchecker entwéckelt gëtt.

Déi proposéiert Implementatioun vum Borrow Checker ënnerscheet sech doduerch datt et an der Rust Sprooch geschriwwe gëtt a fortgeschratt Code Verifizéierungsfäegkeeten ubitt, wat et an e puer Fäll erlaabt e séchere Code ze berücksichtegen, dee bis elo Markéierung mam Onsécher Schlësselwuert erfuerdert huet wéinst Aschränkungen vun der Standardimplementatioun vum Borrow Checker.

D'Léisung virbereet fir GCC huet Aschränkungen:

• De Polonius ass sech bewosst vu Situatiounen, wou e Code, deen tatsächlech a Projete existéiert, zu exponentielle Wuesstum an der Analysekomplexitéit féiert.
• Am Fall vu GCC erfuerdert de gccrs Compiler de Moment de Rust Compiler fir d'Bootstrapping Phase ofzeschléissen (dës Limitatioun gëtt an Zukunft geläscht).

Eng voll Ëmsetzung vu selbstänneg Assemblée implizéiert en 2-Etapp Spin-Up, wou GCC fir d'éischt gccrs ouni de Borrow Checker opbaut, an dann déi ernimmt Implementatioun vum Borrow Checker baut, geschriwwen an der Rust Sprooch, mat enger ofgerappter Versioun vum Compiler a berücksichtegt de Code bedingt vertraut (dh ouni Prêtprüfung ze maachen). Nodeems Dir de Borrow Checker gebaut huet, gëtt eng aner Compiler Rekonstruktioun duerchgefouert, awer dës Kéier mat Prêtchecken.

Source: opennet.ru