たれぱんのびぼーろく

わたしの備忘録、生物学とプログラミングが多いかも

プログラミング: 所有権と借用

要件: free memory Just Once
0回だとメモリリーク、2回以上もダメ.

1人の所有者を決めて、その人が一元管理→所有権
スコープの概念を用いてdrop場所を静的解析できる→実行前にfreeのコードを埋め込み

毎回所有権を取り回してると分岐に弱くなる→借用

所有者は1人

理由: 2重解放の防止

所有者が2人でそれぞれがfreeするとそれだけで二重解放
変数代入をmoveじゃなくてポインタコピーとして扱うだけで発生.