0487デフォルトの名無しさん垢版 | 大砲2023/03/24(金) 01:54:57.32ID:STP4y0mB >>464 >(3)データ競合がない安全性の保証 共有データをスマートポインタに入れといて アクセスする際には共有データではなくて 一時Proxyを経由してアクセスすればよい Proxyのコンストラクタでロックしてデストラクタでアンロックする RustのMutex相当で簡単に実装出来る >(2)データやポインタのヌル安全性の保証 これはどういうこと? 静的に保証しろってことかな?