Rust ownership from legal perspective

Rustのownershipは所有権ではなかった件

Transcript

1. Rustのownershipは 所有権のこと 　だと思った？
2. 1. Rust • Mozillaが開発中のプログラミング言語 – C++が対抗馬 • GCがないが、メモリ安全性を担保 • Firefox（Gecko）の一部実装に使われている – https://wiki.mozilla.org/Oxidation
3. 2. Memory safe • Ownership – 所有権にたとえられる • Borrowing – （使用/消費）貸借にたとえられる • Lifetimes
4. 2. Memory safe • Ownership – 所有権？ • Borrowing – （使用/消費）貸借？ • Lifetimes – 「人が深淵を覗く時、深淵もまた人を覗いている」
5. 3. OwnershipとBorrowing • 変数宣言に関するルール • ある値に対するownershipを持つ変数(x)がある • 別の変数が同じ値を使う際は、(xの)ownershipをborrowする – この表現がかなりミソ • 常にどちらかの状態を維持する – 値を参照するだけの変数（Immutable borrowing）が複数 – 値を変更可能な変数（Mutable borrowing）がただ一つ • 違反するとコンパイルエラー • 実行時のオーバーヘッドはない – コンパイル時チェックのみ
6. 本当に貸借？ borrowingのサンプル // コンパイルエラーになる fn main() { let xs = vec![1, 2, 3]; for x in xs { println!("{}", x); } println!("{:?}", xs); }
7. 本当に貸借？ borrowingのサンプル // コンパイルエラーになる fn main() { let xs = vec![1, 2, 3]; for x in xs { // move(ownershipが移る) println!("{}", x); } println!("{:?}", xs); // Error }
8. 本当に貸借？ borrowingのサンプル fn main() { let xs = vec![1, 2, 3]; for x in &xs { // borrowing(ownershipはそのまま) println!("{}", x); } println!("{:?}", xs); }
9. 本当に貸借？ borrowingのサンプル fn main() { let xs = vec![1, 2, 3]; for x in &xs { // borrowing(ownershipはそのまま) println!("{}", x); } println!("{:?}", xs); } 見せてもらっただけ、だけど一応借りてそう
10. 本当に所有権？ Borrowingのサンプル（mutable） 　 // 配列を空にする fn emptify(xs: &Vec<usize>) { while xs.len() > 0 { xs.pop(); // Error(Immutable!) } } fn main() { let xs = vec![1, 2, 3]; emptify(&xs); }
11. 本当に所有権？ Borrowingのサンプル（mutable） // 配列を空にする　 fn emptify(xs: &mut Vec<usize>) { while xs.len() > 0 { xs.pop(); } } fn main() { let mut xs = vec![1, 2, 3]; emptify(&mut xs); }
12. 本当に所有権？ Borrowingのサンプル（mutable） 　 // 配列を空にする fn emptify(xs: &mut Vec<usize>) { while xs.len() > 0 { xs.pop(); } } fn main() { let mut xs = vec![1, 2, 3]; emptify(&mut xs); } 中身全部抜いてますけど・・
13. 5. Borrowing再考 • Immutableのborrowing – 値は見るだけ – 法律行為（契約）でない可能性も • 渋谷駅にある「明日の神話」みたいな • 警備員（コンパイラ）に止められるだけ • 入場規制はあるので、微妙なところ – 揚げ足を取るのはやめます
14. 5. Borrowing再考 • Mutableのborrowing – 「借主」はやりたい放題 – もはや所有権を一度譲渡しているように見える – いずれ返されるので、「貸主」は何か （ownership）を保持しているはず
15. • そういえば、ローマ法にあった – 「権原」 – 所有権の上位概念で、所有権の根拠になるもの – 日本では立法者が理解できなかったので、権原≒所有権 • 所有権だって条件（期限）付き譲渡できる、はず – （日本法だと苦しい） – cf. 忘恩行為による贈与取り消し、終期付き譲渡など （東京地裁昭和50年12月25日判決） – 日本法ではなかった • 所有権(ownership)を借りる(borrow)という表現自体がおかしい • 「何か」 ＝ ownership ≒ 権原 ≠ 所有権 Q.E.D 6. Ownership再考
16. まとめ • 譬え話にマジレスしてはいけない • でも、Rustはいいものです