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.