Ada 程式設計/屬性/'Deref

描述

屬性 typ'Deref(expr)，其中 expr 的型別為 System.Address，它會返回位於給定地址的型別為 typ 的變數。它類似於 (totyp (expr).all)，其中 totyp 是從地址到命名訪問型別的未經檢查的轉換，區別在於它會返回一個變數，因此它可以用於賦值語句的左側。