0109デフォルトの名無しさん垢版 | 大砲2024/02/25(日) 23:03:18.85ID:AXW02Nd1 unsafeなライブラリがRust用の安全なインターフェースを公開することにより保証される安全性とは もちろん呼び出される側の安全性ではない 呼び出す側だけが検査される しかも検査が完璧かどうかは実装依存 じゃあ言語仕様により保証されるのは何か 言語仕様は、あとは検査が通るか通らないかを確かめればよいというところまで仕様を確定しなければならない