Rust part13

**デフォルトの名無しさん** · 2021/11/07(日) 10:04:59.35

公式
https://www.rust-lang.org/
https://blog.rust-lang.org/
https://github.com/rust-lang/rust

Web上の実行環境
https://play.rust-lang.org

日本語の情報
https://rust-jp.rs/

※Rustを学びたい人はまず最初に公式のThe Bookを読むこと
https://doc.rust-lang.org/book/

※Rustのasyncについて知りたければ「async-book」は必読
https://rust-lang.github.io/async-book/

※C++との比較は専用スレへ
C++ vs Rust
https://mevius.5ch.net/test/read.cgi/tech/1619219089/

※次スレは原則>>980が立てること

前スレ
Rust part12
https://mevius.5ch.net/test/read.cgi/tech/1629813327/

**デフォルトの名無しさん** · 2022/02/11(金) 23:51:57.38

>>973
皆がその点については定義がはっきりしないからこれだけ揉めてるんだろ
「そんな定義はないです」は反論にすらなっていない

**964** · 2022/02/11(金) 23:53:29.17

ああ、別に「持つ」を必ずしも "own" で訳す必要もないね
さっきから変なことばかり書いててすまんね、今日は冷静になっていったんもう寝る

**デフォルトの名無しさん** · 2022/02/11(金) 23:54:02.65

>>974
値自身を後始末する責任をもってる。
所有権という訳語がよくないというのはよく指摘されることだが、
何者かが値を所有しているという誤解のもとになるからだ。

変数が所有権を持っていることにしたら
一時オブジェクトの所有権はどうなってんだって話になるだろ。

**デフォルトの名無しさん** · 2022/02/11(金) 23:57:48.33

>>975 >>976
そんな話は誰もしていないと思う
所有権は何に対して付随するのか生じているのかが論点
そして所有権が消滅するのは型のインスタンスが最後に解放される時
だから所有権と1対1の関係にあるのは(型の)インスタンスだと主張しています

**デフォルトの名無しさん** · 2022/02/12(土) 00:03:26.33

>>972
> インスタンスはその型の形をした器(うつわ)であり解放されるまで不変

いいえ。
代入で内容が書き換えられる場合もあり、
そのときに drop が呼ばれます。
寿命の管理は値に付随します。

**デフォルトの名無しさん** · 2022/02/12(土) 00:19:59.58

とりあえずbookの
4.1. What is ownership?
（ttps://doc.rust-lang.org/book/ch04-01-what-is-ownership.html）
からOwnership Rulesの節を丸ごと抜いてきた（訳は適当）

Ownership Rules

First, let’s take a look at the ownership rules.
Keep these rules in mind as we work through the examples that illustrate them:

* Each value in Rust has a variable that’s called its owner.
* There can only be one owner at a time.
* When the owner goes out of scope, the value will be dropped.

まずは所有権（ownership）に関するルールを見てみよう
このルールを記憶に留めて以下の例示を読み進めてほしい

・Rustの各々の値（value）は所有者（owner）と呼ばれる１つの変数（variable）をもつ
・所有者は同時に１つしか存在しない
・その所有者がスコープからいなくなる時、その値は破棄される

**デフォルトの名無しさん** · 2022/02/12(土) 00:26:03.97

>>982
これが正解

**デフォルトの名無しさん** · 2022/02/12(土) 00:26:42.42

>>981
内容が書き換えられてdropすることはない
所有権と値は関係ない
値に付随するものではない

>>982に明記されているように所有権を持つ所有者は変数
所有者である変数がスコープから外れるとdrop

**デフォルトの名無しさん** · 2022/02/12(土) 00:31:23.69

>>982
だよなぁ。「入れ物」とか妙ちきりんな説明する人はなんなんだろう？

**デフォルトの名無しさん** · 2022/02/12(土) 00:37:10.88

インスタンスというのも一理ある
その型のインスタンスが作られてから解放されるまで一貫して一つの存在なのに対して
変数は次々と移り変わって行く乗り物と捉えることができる
そしてインスタンスがたまたま束縛されている変数がスコープから消えると乗っていたインスタンスも巻き添えで消えると考えられないこともない

**デフォルトの名無しさん** · 2022/02/12(土) 01:06:37.82

>>980
スレ立てヨロ

**デフォルトの名無しさん** · 2022/02/12(土) 01:26:58.40

次スレ
https://mevius.5ch.net/test/read.cgi/tech/1644596656/

**デフォルトの名無しさん** · 2022/02/12(土) 01:32:16.48

>>988
GJ

**デフォルトの名無しさん** · 2022/02/12(土) 01:58:18.50

横からすまんが、実際のメモリ上だと所有権ってどうなってるもんなの？
>>982にある仕組みからしたら・・・・メモリが確保されるのと同時に、併せて所有権情報（スタックへの参照か何か？）がメモリのどっか確保されるわけ？
俺、てっきりコンパイラへのただの指示だとばっか思ってたぜ

**デフォルトの名無しさん** · 2022/02/12(土) 02:19:56.25

横からキターーー

コンパイラの課すルールの話なので
所有権情報が実行時にメモリに確保されたりしないよ

**デフォルトの名無しさん** · 2022/02/12(土) 04:01:34.21

まじか、そうなんだ

**デフォルトの名無しさん** · 2022/02/12(土) 06:46:04.75

ワッチョイ無しか、次スレも荒れそう

**デフォルトの名無しさん** · 2022/02/12(土) 07:47:32.16

struct S;
impl Drop for S {
fn drop(&mut self) {
println!("drop");
}
}
fn main() {
S;
}
↑じゃあこれは何が所有権をもってて何がdropさせてんの？
インスタンス説のほうがまだシックリくる？
変数も所有権を持てるしスコープ終了で手放せる？

**デフォルトの名無しさん** · 2022/02/12(土) 08:42:47.12

>>961
お前が突っかかって来たんだろうが
ガイジｗｗｗｗ

**デフォルトの名無しさん** · 2022/02/12(土) 08:42:55.77

うんこ

**デフォルトの名無しさん** · 2022/02/12(土) 08:43:01.75

まんげ

**デフォルトの名無しさん** · 2022/02/12(土) 08:43:06.69

ちんげ

**デフォルトの名無しさん** · 2022/02/12(土) 08:43:39.79

>>957
お前の負けやでｗｗｗｗｗｗｗｗ

**デフォルトの名無しさん** · 2022/02/12(土) 08:44:18.55

無教養のガイジども阿鼻叫喚していて草ｗっｗｒ
ンゴｗｗｗｗｗｗｗ

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 96日 22時間 39分 19秒