Ez nem így van, csak maga a hívásnak kell unsafe-ben lennie, az egész hívó függvénynek nem, az lehet safe.
Állításod szerint ez érvényes safe Rust kódnak minősül:
fn hu_ez_aztan_baromira_safe() {
unsafe {
...
}
}
Köszönöm, hogy felhívtad erre a figyelmem, álmomban sem gondoltam volna, hogy ennyire szar lenne a Rust! Ezek szerint a Rust memóriaellenőrzési garanciája konkrétan egy fabatkát sem ér.
Ez tökéletes bizonyíték arra, hogy a Rust nem is memóriabiztonságos nyelv!