( TCH | 2021. 04. 18., v – 09:59 )

Borzasztó fordítva vagy bekötve :) De igen, így is lehet nézni, mindegy, írni akartál a pointer címére.

Hát ha nálad az assign a hozzáférés és az access a hozzárendelés, akkor nem én vagyok fordítva bekötve.

Hogy tudja ellenőrizni, hogy a benne levő véletlen helyre mutató pointer jó? Nyilván sehogy, mert ez elméletileg lehetetlen.

Miért lenne lehetetlen? A program hozzáférni kizárólag olyan adatterületekhez férhet hozzá, amiket allokált, illetve a saját stackjéhez és data szegmenséhez. Azt egy mezei listával nyilván tudja tartani, hogy milyen címekre mekkora területet allokált, a stack/data pointerek kiolvasása meg ne legyen már lehetetlen...

A programozó dolga, hogy az unsafeből ne jöjjön ki faszság.

C-ben tuti, de Rust-ban a safe mód pont arról kéne, hogy szóljon, hogy megvédi magát. És itt egyébként a függvény java is safe volt, egy sornyi unsafe volt benne.