[過去ﾛｸﾞ]
Rust part19 (1002ﾚｽ)
Rust part19 http://mevius.5ch.net/test/read.cgi/tech/1673926892/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
849: デフォルトの名無しさん [sage] 2023/02/24(金) 19:59:12.46 ID:e5dQOFE4 >>843 オブジェクトという単語は各プログラミング言語で様々な意味で用いられているが Rustでその文脈で用いられることは少なく その説明ではオブジェクトではなく値(value)とした方がよい Rustで用いられるオブジェクトの用法の多くはtrait objectであり Rustで重要なオブジェクト安全もtrait objectの話 http://mevius.5ch.net/test/read.cgi/tech/1673926892/849
856: デフォルトの名無しさん [sage] 2023/02/24(金) 21:23:19.34 ID:e5dQOFE4 >>852 参照の所有権とは言わない 値に対する所有の唯一性が所有権で 値に対する参照が借用 そして所有＞借用の生存期間ルールを満たした上で所有のスコープルールとなるため、 >>843 >> 原本および仮の所有権がすべて放棄された時にオブジェクトは破棄されます． この文章の各用語を「仮の所有権」→「借用(参照)」など全て正しく書き換えても根本が間違っている この説明だと参照が残っていれば所有者がいなくなっても破棄されないことになってしまうため http://mevius.5ch.net/test/read.cgi/tech/1673926892/856
860: デフォルトの名無しさん [sage] 2023/02/24(金) 21:41:37.97 ID:e5dQOFE4 >>853 値と所有者/所有権を切り離して考えるのが無意味なのは正しい Rustでは値には必ず所有者が存在し、所有者は必ず値を持ち、これが所有権 それぞれ単独では存在できないため、切り離して考えることは無駄で意味がない http://mevius.5ch.net/test/read.cgi/tech/1673926892/860
864: デフォルトの名無しさん [sage] 2023/02/24(金) 21:52:47.93 ID:e5dQOFE4 >>859 もちろん参照は実際にはポインタとして登場することが多いけど、必ずしもポインタが登場するわけではなくその保証はない 参照という概念レベルでのみ保証されており、最適化でポインタなんて消えることも多いため、ポインタの存在を仮定してはいけない もちろん値としての参照がCopy実装型で、可変参照が!Copyなのはその通り http://mevius.5ch.net/test/read.cgi/tech/1673926892/864
868: デフォルトの名無しさん [sage] 2023/02/24(金) 22:04:46.98 ID:e5dQOFE4 >>866 すまんね そこでポインタをアドレス値と言ってるから、そういう具体的なアドレス値に必ずしも対応するわけではないという説明 もちろん型の分類としてはpointer型でその通り http://mevius.5ch.net/test/read.cgi/tech/1673926892/868
869: デフォルトの名無しさん [sage] 2023/02/24(金) 22:06:26.65 ID:e5dQOFE4 >>865 Rust公式本のここが分かりやすい Ownership Rules ・Each value in Rust has an owner. ・There can only be one owner at a time. ・When the owner goes out of scope, the value will be dropped. http://mevius.5ch.net/test/read.cgi/tech/1673926892/869
870: デフォルトの名無しさん [sage] 2023/02/24(金) 22:07:32.25 ID:e5dQOFE4 すまん、>>867と被ってしまった http://mevius.5ch.net/test/read.cgi/tech/1673926892/870
872: デフォルトの名無しさん [sage] 2023/02/24(金) 22:26:37.20 ID:e5dQOFE4 >>871 アドレス値として取り出すこともできるのはもちろんその通り しかしRustの参照の概念を初心者に教える入門でアドレス値を仮定した教え方は完全に間違いです http://mevius.5ch.net/test/read.cgi/tech/1673926892/872
898: デフォルトの名無しさん [sage] 2023/02/24(金) 23:59:55.61 ID:e5dQOFE4 値の所有権は所有する変数のスコープで尽きるけど、 参照値の所有権は参照先の値より長く生存できない点でちがっていて特殊 だから入門書のそこで参照の所有権という言葉を持ち出すのは混乱の元かな http://mevius.5ch.net/test/read.cgi/tech/1673926892/898
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.156s*