可以通过下列导航表达式来引用实例:
- 如果 A 是一个类,那么 A[#j] 表示当前存在的第
(j+1) 个类实例。例如,A[#4]
可以指示第五个类实例。这与 C/C++ 在调用第一个元素 A[0] 方面的约定一致。
- 如果 A 是一个类,那么 A
可以指示第一个类实例。这与 A[#0] 相同。
只有在引用类还是引用第一个类实例方面不会造成不确定性时,才能使用类名代替实例名。例如,A->GEN(E)
将生成实例 A[#0] 的事件 E。但是,动画命令“显示 A 关系”将显示关于类
A 及其所有实例的关系信息。
- 如果 B 是引用了某个实例的名称或导航表达式,并且该实例具有关系
itsA,那么 B->itsA 指示 B 与
A 的关系中的第一个元素,而 B->itsA[#i] 指示第
(i+1) 个元素。
在执行期间,同一个导航表达式可以引用不同的实例。例如,如果先创建实例
A[0] 到 A[5],然后删除
A[3],那么表达式 A[#5] 在删除前引用
A[4],在删除后引用 A[5]。