Ada 编程/属性/'Deref

描述

属性 typ'Deref(expr)，其中 expr 的类型为 System.Address，它会返回位于给定地址的类型为 typ 的变量。它类似于 (totyp (expr).all)，其中 totyp 是从地址到命名访问类型的未经检查的转换，区别在于它会返回一个变量，因此它可以用于赋值语句的左侧。