所有権
スマートポインタ
などで実現される
不変
を実現する仕組み
Rust
でも採用されている
複数の
不変参照
またはひとつの
可変参照
しか許容しない．
したがってある
参照
が存在する場合に，その他に
可変参照
が存在しないことが保証される．