[過去ﾛｸﾞ] Rust part24 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
174(2): 2024/06/16(日)01:15 ID:dwkxcYMW(1/22) AAS
>>172
別にC言語だってallocaの返したポインタとmallocの返したポインタを区別しないけど
176: 2024/06/16(日)01:32 ID:dwkxcYMW(2/22) AAS
C言語と違って区別しないわけじゃないし、C言語と違って高速ってわけでもない
177: 2024/06/16(日)01:39 ID:dwkxcYMW(3/22) AAS
C言語同様に区別しないし、C言語同様に高速なんでしょう
179: 2024/06/16(日)03:32 ID:dwkxcYMW(4/22) AAS
へえ、コピーじゃなくて移動をデフォにしちゃうのか
181: 2024/06/16(日)04:10 ID:dwkxcYMW(5/22) AAS
>>180
コンパイラが区別してくれるわけじゃないからそう書いた
今はRustコンパイラの秘密を探ってるんだし
184: 2024/06/16(日)04:43 ID:dwkxcYMW(6/22) AAS
メモリはコピーじゃなくて（所有権の）移動がデフォ
所有者がスコープを抜けるとメモリは解放
所有者に別の値が代入された際もメモリは解放
代入元は所有権が移ると未初期化の扱いになる
これだけでもかなり面白いね
187: 2024/06/16(日)06:03 ID:dwkxcYMW(7/22) AAS
メモリはそれ自体は無論のこと、それを指すポインタもひとつしかないわけだ
188: 2024/06/16(日)07:56 ID:dwkxcYMW(8/22) AAS
この発想は正直なかったわ
ひとつのメモリをあちこちから参照すればするほど高効率みたいな思い込みがあるからね
192: 2024/06/16(日)10:32 ID:dwkxcYMW(9/22) AAS
で、配列の要素だったり構造体のメンバだったりは「移動済み」にできない？
193: 2024/06/16(日)10:36 ID:dwkxcYMW(10/22) AAS
とにかく&をつければアドレスを借用できて、その生存規則違反はコンパイラがはじく、と
196(1): 2024/06/16(日)11:21 ID:dwkxcYMW(11/22) AAS
ボローチェッカーは作るのも使うのも難しそう
よくこんなこと可能だと思ったもんだ
197: 2024/06/16(日)11:48 ID:dwkxcYMW(12/22) AAS
Rustの中ではつまらないというか泥臭い部分だね
199(1): 2024/06/16(日)12:23 ID:dwkxcYMW(13/22) AAS
ええっと、メモリの所有者が
・スコープを抜けること
・別の値が代入されること
・別の変数に所有権を移動させること
はもともと検出できる前提なのだよね
ボローチェッカーと言ってもその３つの組み合わせに毛が生えた程度なのかどうか
203: 2024/06/16(日)12:33 ID:dwkxcYMW(14/22) AAS
>>201
機械語知ってるからそんな心配はない
204: 2024/06/16(日)12:36 ID:dwkxcYMW(15/22) AAS
>>202
そうだね。Rustは高級アセンブラってわけではまったくないね。勘違いしてた
205(1): 2024/06/16(日)12:42 ID:dwkxcYMW(16/22) AAS
代入だったり関数呼び出しの引数だったりはコピーじゃなくて移動がキホンって時点で機械語ともC言語とも違う
213: 2024/06/16(日)16:23 ID:dwkxcYMW(17/22) AAS
NLLというくらいだからもともとLL
214: 2024/06/16(日)16:49 ID:dwkxcYMW(18/22) AAS
まあ一応（ボローチェッカーというものが）可能そう
215(1): 2024/06/16(日)17:20 ID:dwkxcYMW(19/22) AAS
コンパイラはプログラム中の全ての参照型に対してライフタイムを割り当てる、と
221(1): 2024/06/16(日)18:44 ID:dwkxcYMW(20/22) AAS
ひとつしかない所有者がスコープを抜ける、もしくは所有者に別の値が代入されると、そこから先にはメモリはもうない
222: 2024/06/16(日)18:57 ID:dwkxcYMW(21/22) AAS
なんとなく、所有者はスタックの根元の方に、参照はスタックの枝葉の方にいそうなイメージ
224(1): 2024/06/16(日)19:08 ID:dwkxcYMW(22/22) AAS
>>223
つまり所有権も静的に解析できる？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s