... n1
ある言語では、
private、
protectedなどのアクセス制限が存在する。 
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... にアクセスしている2
Modula-3 では、 typecase と同様な構文として、 narrow、 typecase がある。Simula では qua と inspect がある。Oberon では、type guards がある。 
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...) 3
$InstanceTypeOf(c)$、 $InstanceTypeOf(c')$ は self のタイプで $c'<:c$ であることに注意しよう。 
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.