{"id":122723,"date":"2025-03-24T19:52:00","date_gmt":"2025-03-24T17:52:00","guid":{"rendered":"https:\/\/prohoster.info\/?p=122723"},"modified":"2025-03-24T19:52:00","modified_gmt":"2025-03-24T17:52:00","slug":"v-gcc-frontende-s-kompilyatorom-rust-realizovan-borrow-checker","status":"publish","type":"post","link":"https:\/\/prohoster.info\/de\/blog\/novosti-interneta\/v-gcc-frontende-s-kompilyatorom-rust-realizovan-borrow-checker","title":{"rendered":"Im GCC-Frontend mit dem Rust-Compiler wurde der Borrow Checker implementiert","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
F\u00fcr die Einbindung in den GCC 15 Branch wurde eine Reihe von Patches vorgeschlagen, die die Unterst\u00fctzung der Programmiersprache Rust im Frontend gccrs verbessern. Die auff\u00e4lligste \u00c4nderung ist die Unterst\u00fctzung der \u00dcberpr\u00fcfung von Variablenleihgaben (borrow checker), die auf dem Polonius-Komponenten basiert, die vom Hauptentwicklungsteam von Rust als n\u00e4chste Generation des Borrow checkers entwickelt wird. <\/p>\n
Die vorgeschlagene Implementierung des Borrow checkers unterscheidet sich dadurch, dass sie in der Programmiersprache Rust verfasst ist und erweiterte M\u00f6glichkeiten zur Codeverifizierung bietet, die es erm\u00f6glichen, in einigen F\u00e4llen als sicher (safe) geltenden Code zu betrachten, der zuvor aufgrund der Einschr\u00e4nkungen der standardm\u00e4\u00dfig verwendeten Implementierung des Borrow checkers mit dem Schl\u00fcsselwort Unsafe markiert werden musste. <\/p>\n
Die f\u00fcr GCC vorbereitete L\u00f6sung hat Einschr\u00e4nkungen: <\/p>\n
\n
F\u00fcr Polonius sind Situationen bekannt, in denen bestimmter, tats\u00e4chlich in Projekten existierender Code zu einem exponentiellen Anstieg der Analysekomplexit\u00e4t f\u00fchrt.\n
F\u00fcr GCC erfordert der Abschluss der Phase der initialen Bootstrap-Prozesses (bootstrapping) des Compilers gccrs derzeit einen Rust-Compiler (in Zukunft wird diese Einschr\u00e4nkung behoben sein). <\/ul>\n
Die vollst\u00e4ndige Implementierung einer eigenst\u00e4ndigen \u0441\u0431\u043e\u0440\u043a\u0438 umfasst einen zweistufigen Prozess, bei dem zun\u00e4chst GCC gccrs ohne Borrow Checker baut und dann die erw\u00e4hnte Implementierung des Borrow Checkers, die in Rust geschrieben wurde, unter Verwendung einer reduzierten Compiler-Variante kompiliert, wobei der Code als bedingt vertrauensw\u00fcrdig betrachtet wird (d.h. ohne die \u00dcberpr\u00fcfung von Ausleihungen). Nach dem Bau des Borrow Checkers wird eine erneute Kompilierung des Compilers unter Ber\u00fccksichtigung der Ausleihen\u00fcberpr\u00fcfungen durchgef\u00fchrt. \n Quelle: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"