yohhoyの日記

技術的メモをしていきたい日記

2017-03-17から1日間の記事一覧

危険な型変換:&T→&mut T

プログラミング言語Rustにおける、&Tから&mut Tへの型変換*1と同オブジェクトに対する変更操作は、未定義動作(undefined behavior)とされている。これは単にRustコンパイラのBorrow Checkerを騙すだけでなく、該当プログラムの動作が不定となり深刻な障害要…