yohhoy https://blog.hatena.ne.jp/yohhoy/ yohhoyの日記 https://yohhoy.hatenadiary.jp/ Rust プログラミング言語Rustにおける、&Tから&mut Tへの型変換*1と同オブジェクトに対する変更操作は、未定義動作(undefined behavior)とされている。これは単にRustコンパイラのBorrow Checkerを騙すだけでなく、該当プログラムの動作が不定となり深刻な障害要因になり得る。*2下記プログラムをrustc 1.15.1でコンパイル＆実行すると、Debugビルドではおそらく期待通り動作するが、Releaseビルドでは★のassert!マクロより実行時エラーが報告される*3。なお明示的な#[allow(mutable_transmutes)]属性を削除すれば、コンパイル… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyohhoy.hatenadiary.jp%2Fentry%2F20170317%2Fp1" title="危険な型変換:&amp;T→&amp;mut T - yohhoyの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2017-03-17 00:00:00 rich https://yohhoy.hatenadiary.jp/entry/20170317/p1 1.0 100%