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