Rust part26

**デフォルトの名無しさん** · 2024/09/20(金) 22:18:38.38

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

公式ドキュメント
https://www.rust-lang.org/learn

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

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

※Rustを学ぶ際に犯しがちな12の過ち
https://dystroy.org/blog/how-not-to-learn-rust

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

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

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

ﾜｯﾁｮｲスレ
プログラミング言語 Rust 4【ﾜｯﾁｮｲ】
https://mevius.5ch.net/test/read.cgi/tech/1514107621/

**デフォルトの名無しさん** · 2024/11/20(水) 00:33:04.50

例えばスレッドプールを4で設定するとワーカースレッドが4つになります。でそれとは別にメインスレッドがあるわけで、このパラレルの処理をするときはメインスレッドもワーカーとして参加します。なので5個で回る感じ。

**デフォルトの名無しさん** · 2024/11/20(水) 00:36:52.89

pool.installとpool.scopeでメインスレッドがワーカーとして参加するかしないかが変わるみたい。

**デフォルトの名無しさん** · 2024/11/20(水) 00:42:34.33

>>907
C++にasyncがあるぞ。

**デフォルトの名無しさん** · 2024/11/20(水) 00:47:56.81

いずれにせよパラレルイテレータを回しているときは処理が終わるまで待つことになるんで、メインスレッド止めたくないときは別スレッドで立てる感じ。
fn non_blocking_example() {
let (tx, rx) = mpsc::channel();

std::thread::spawn(move || {
let pool = ThreadPoolBuilder::new()
.num_threads(4)
.build()
.unwrap();

pool.install(|| {
// 並列処理
});

tx.send("Done").unwrap();
});

// メインスレッドは他の処理を継続可能
println!("Doing other work");

// 必要なタイミングで結果を受信
match rx.recv() {
Ok(msg) => println!("Processing complete: {}", msg),
Err(e) => println!("Error: {}", e),
}
}

**デフォルトの名無しさん** · 2024/11/20(水) 01:09:41.69

>>911
asyncは全然別の話。
rustでは型に対してsendやsyncといった属性を付けるようなイメージ。sendが付いてなければ別スレッドにデータ渡せないとかsyncが付いてなければ同時に使えないとか、そういうスレッド対応してないものを使うとコンパイラに怒られる仕組みになってる。

**デフォルトの名無しさん** · 2024/11/20(水) 08:50:31.70

>>912
詳しい説明ありがとう
scope と install については自分でもちょっと調べてみます

**デフォルトの名無しさん** · 2024/11/20(水) 09:59:28.14

最近のCPUは速過ぎるから第三者から見れば「速さ」は見えない
バグなら見える

それで無人の機械で速さを計測するから
第三者などという人間は不要だと分かる

**デフォルトの名無しさん** · 2024/11/20(水) 11:26:15.05

Cが早くてRustが劣っていると仮定して
その差が問題なることなんてない
自分では何も生み出せないベンチ回マニアくらいだろ

**デフォルトの名無しさん** · 2024/11/20(水) 12:43:18.25

>>914
フィルター系のプログラムだとCPUのSIMD命令がかなり効くと思うんでそちらも検討するといいかと。
コンパイラが自動でやってくれる可能性もあるけど、明示的に書くと確実。
標準だと std::simd がそのうち実装される予定。
その他クレートもあるんで探してみて。

**デフォルトの名無しさん** · 2024/11/20(水) 13:08:23.05

一般的なサイズの画像の全ピクセルをO(N)で舐める程度ならシングルスレッドで十分じゃね？まあSIMDはアリだが
ガチで速度出したいのって多数のファイルをバッチ処理するようなケースが多いから、
そういうときは結局ファイル単位で並列処理した方がスループット高かったりするんだよね
タスク内の並列化の方が技術的にはチャレンジングだからやりたくなる感情は理解するけどね

**デフォルトの名無しさん** · 2024/11/20(水) 14:17:41.03

>>879
馬鹿。

**デフォルトの名無しさん** · 2024/11/20(水) 14:56:07.23

>>918
横からだが、画像フィルタは単なるわかりやすい例として出てるだけだろうから画像サイズなどは関係ない
一般的に多量のメモリ上でのある程度の計算処理が必要で、それがエリア分けして並列可能なら、並列化の検討余地が出てくる

ファイル処理などの件はIOバウンド特にリモートだとIO待ちが顕著になり別の対策が必要になってくる
一番極端な場合はtokioを使って並行並列化が最も速くなりうる
つまり1件に対して1スレッドではなく、1件に対して1タスク(async軽量タスク)を割り当て、1スレッドで複数のタスクが同時に並行に動く形になる

rayonのケースでもtokioのケースでも、利用する並列スレッド数は物理コアスレッド数を上限とする形

**デフォルトの名無しさん** · 2024/11/20(水) 21:20:24.03

>>920
高説ごもっともだけど、多数のファイルのバッチ処理をするときには分割しないで1スレッドの方がスループットが高い説自体は間違ってはいないでしょ
SIMD含めスレッド内での最適化は尽くしていて単一プロセッサを100%使い切っているのであれば、
マルチスレッドに伴う諸々のオーバーヘッドやアルゴリズムの複雑化を避けられるから自明
もちろんシングルスレッドだとプロセッサ数に対して件数が十分に多くなきゃスループット落ちるしレスポンスも当然劣るから、一般にどちらが良いということではないが

**デフォルトの名無しさん** · 2024/11/20(水) 21:35:21.34

>>921
>>分割しないで1スレッドの方がスループットが高い

おかしい
どういう意味と根拠？

**デフォルトの名無しさん** · 2024/11/20(水) 21:38:51.35

>>921
>>マルチスレッドに伴う諸々のオーバーヘッドやアルゴリズムの複雑化を避けられる

ここもおかしい
対象件数があればマルチスレッド起動のオーバーヘッドは誤差
各々に対するアルゴリズムは変わらない

**デフォルトの名無しさん** · 2024/11/20(水) 21:52:13.97

パフォーマンスチューニングは実際の条件によるからね
4Kや8Kの画像に対して重ための非線形フィルタをかける場合ならマルチスレッド化の恩恵はあるだろう (より高速化するならGPU)
多量の画像をバッチ的に処理したいケースもあれば、カメラ画像のように、入力は常に最新の1枚だけという場合もある

それはそれとして、タスクの種類を問わない一般的な話として、Rustにおける (CPUバウンドな) 並列処理についての話が出たと思えば有益な情報だと思う

**デフォルトの名無しさん** · 2024/11/20(水) 22:00:47.56

>>923
スレッド起動以外にもマルチスレッドのオーバーヘッドはあるし、マルチスレッド化できるけど効率が悪化する画像処理アルゴリズムなんていくらでもある
それを誤差レベルとして無視できるかどうかはタスクや状況次第だが、いずれにせよゼロではない

**デフォルトの名無しさん** · 2024/11/20(水) 22:03:31.92

>>921
前提と何をするかによって変わりうるかな
例えばちょっと見方を変えるとそれと同種の、多数の人たちから色んなリクエストが来て処理して返す場合、つまりHTTPなどの各種サーバー類の場合
tokioを使ったマルチタスク・マルチスレッドが最も効率がよい
1つのCPUで最も多くの人数を同事に捌くことができる方法になると実証されている

**デフォルトの名無しさん** · 2024/11/20(水) 23:45:54.40

>>925
複数の対象があると最初に言ってるのだから
個々の処理がマルチスレッドに不向きなアルゴリズムであっても
複数の対象を並列化すればよい
なぜアルゴリズムが複雑化すると思うのか？
アルゴリズムはそのままでいい
既出のrayonのコード例でも同じ処理(アルゴリズム)が並列に動くだけでありアルゴリズム部分に手を入れずに並列化できている

**デフォルトの名無しさん** · 2024/11/21(木) 00:43:39.12

コードのサンプルはもっと複雑なのも考えたけど、ここじゃ載せきれないからシンプルにしたよ。この程度ならシングルスレッドでもすぐ終わるのはたしか。
でも複雑な画像処理ならCPUキャッシュのヒット率の方が処理速度に影響するんでキャッシュ溢れないように1つの画像をマルチスレッドで処理した方が速いかもしれない。
非同期が効くのはI/Oメインの処理の場合。何事も用途によりけりだよ。

**デフォルトの名無しさん** · 2024/11/21(木) 00:47:13.55

DllMainの引数を確認するべきじゃね？
スレッド起動毎に呼ばれるんだからオーバーヘッドが誤差は言い過ぎ

**デフォルトの名無しさん** · 2024/11/21(木) 01:16:58.88

ここで言いたかった事は所有権や借用やunsafeの取り扱いで困るのはforループで書こうとした場合で、rustはイテレータ中心で考えると解放される場合が多いという事。配列だけでなくツリー構造でも。
なのでもっとイテレータ使いましょう。

**デフォルトの名無しさん** · 2024/11/21(木) 23:03:30.15

V8とRustをベースとしたJavaScript/TypeScriptランタイム環境「Deno」v2.1.0　ほか
https://forest.watch.impress.co.jp/docs/digest/1641518.html

**デフォルトの名無しさん** · 2024/11/22(金) 06:49:29.53

>>931
Rustで作ると遅いんだよな

**デフォルトの名無しさん** · 2024/11/22(金) 10:51:02.29

The Rust Programming Language:
Enums and Pattern Matching
Data Science Learning Community Videos

**デフォルトの名無しさん** · 2024/11/22(金) 16:45:26.57

>>870
デバッグ *機能* とデバッグ(作業)の可否は別だろ

**デフォルトの名無しさん** · 2024/11/22(金) 16:52:08.57

>>882
Rustでロック必要なケースはC言語でだって必要だろ。
C言語の場合は手動で明示的にしてやる必要がある。
必要なチェックや排他制御のコード入れないでコンパイル通っただけで安心するやつは仕事でコード書かないでくれ。
チェックや排他制御が不要と言えるなら、それこそunsafeにすればいいじゃん。

**デフォルトの名無しさん** · 2024/11/22(金) 18:39:10.11

そのキーワードをunsafeではなく「ハイリスクハイリターン」にでも
変えれば生霊が成仏するような気がする
リスクを100倍にすればリターンも100倍になるってのはただの物語にすぎないと個人的に思うが
科学だと思ってる人間がいても別に驚かない

**デフォルトの名無しさん** · 2024/11/22(金) 18:50:58.98

>>882
C/C++/Rustのオーバーヘッドは同じ
メモリ管理もポインタで別主体の複数箇所から指すならC++のshared_ptrやRustのRc/ArcのようにCでも参照カウンタを持つしか安全に解放できない

**デフォルトの名無しさん** · 2024/11/22(金) 22:18:31.82

>>935
部分借用のケースあるじゃん
スレッド1がバイト列の前半を、スレッド2が後半を書き換える場合
これは理屈上はロックが要らないけどsafe Rustだとルール上ロックが要るケース

**デフォルトの名無しさん** · 2024/11/22(金) 22:39:33.83

a 形式だけで安全といえる
b 中身をよく見れば安全といえる
c 形式も中身も危険

unsafeの部分はbとcが混ざっている
(bの価値がaより高いとは言ってないし安いとも言ってない)

**デフォルトの名無しさん** · 2024/11/23(土) 06:30:53.82

>>938
Rustでもロックは不要
例えばバッファをエリア8分割して8つのスレッドで書き換え並列処理

use rayon::prelude::*;

const BUF_SIZE: usize = 1 << 16;
const NUM_OF_AREA: usize = 8;
const AREA_SIZE: usize = BUF_SIZE / NUM_OF_AREA;

fn main() {
let mut buf: Box<[i64]> = (0..BUF_SIZE as i64).collect();

buf.par_chunks_mut(AREA_SIZE).for_each(|area| {
println!("DEBUG: {:?}", std::thread::current().id());
area.iter_mut().for_each(|n| {
*n = *n * *n;
});
});
}

**デフォルトの名無しさん** · 2024/11/23(土) 10:31:17.67

外部クレートな上にイテレーターにしか使えないものでしょ
例えばこんな構造体

struct {
　a: Vec<u8>,
　b: Vec<u32>,
}

に対してスレッド1と2がそれぞれaとbを操作する場合は？とか、メモリ的に連続しないものを扱う場合は？とか、回避できないものはある
（後者は例えば、4動画を並列に処理し、それを上下左右に並べた1つの動画にする場合)

元のレスの「Rustでロックが必要なケースはC言語でも必要」という主張は必ずしもそうでない
(総合的には事故を防げるメリットの方が大きいし、「必要な場合のみunsafeを使う」というRustの方が良いと思ってるので、言語に対する批判ではないと思って欲しい)

**デフォルトの名無しさん** · 2024/11/23(土) 11:04:40.44

RustでもCでもロックが不要な例を出してはいけない

また「Cでは不要」の部分だけを自分で検証して残りは他責にするのは
近似としては悪くないが厳密には悪い

**デフォルトの名無しさん** · 2024/11/23(土) 14:25:42.64

struct Test {
a: UnsafeCell<Vec<i32>>,
b: UnsafeCell<Vec<i32>>
}

// 手動でスレッドセーフであることを宣言
unsafe impl Sync for Test {}

impl Test {
fn new() -> Self {
Test {
a: UnsafeCell::new(Vec::new()),
b: UnsafeCell::new(Vec::new())
}
}
fn get_a(&self) -> &mut Vec<i32> {
unsafe { &mut *self.a.get() }
}
fn get_b(&self) -> &mut Vec<i32> {
unsafe { &mut *self.b.get() }
}
}

**デフォルトの名無しさん** · 2024/11/23(土) 14:28:48.33

使う側はこんな感じ。

fn main() {
let test = Test::new();

// 2つのスレッドで別々のフィールドにアクセス
std::thread::scope(|scope| {
scope.spawn(|| {
let a = test.get_a();
a.push(1);
});

scope.spawn(|| {
let b = test.get_b();
b.push(2);
});
});
}

**デフォルトの名無しさん** · 2024/11/23(土) 14:37:46.12

c++はunsafeの部分を区別せずにやっちゃってるだけで、危険性があるのは変わらんのよ。rustの場合そこが明示的になってる分分かり易いというだけ。

**デフォルトの名無しさん** · 2024/11/23(土) 17:18:14.36

>>943
これsafeにしたらダメでしょ

**デフォルトの名無しさん** · 2024/11/23(土) 17:57:14.51

その石ころはパンに変化しなかった
はい論破
人は論破のために生きる

**デフォルトの名無しさん** · 2024/11/23(土) 18:44:09.87

>>941
それならrayonを使うまでもないけど
使えばシンプルにこう書ける

struct Foo {
a: Vec<u8>,
b: Vec<u32>,
}

fn main() {
let mut foo = Foo {
a: vec![1, 2, 3],
b: vec![11, 22, 33],
};

rayon::join(
|| {
println!("DEBUG: a: {:?}", std::thread::current().id());
foo.a.push(4);
},
|| {
println!("DEBUG: b: {:?}", std::thread::current().id());
foo.b.push(44);
},
);

assert_eq!(foo.a, [1, 2, 3, 4]);
assert_eq!(foo.b, [11, 22, 33, 44]);
}

**デフォルトの名無しさん** · 2024/11/23(土) 18:47:58.14

>>948をrayonを使わずに書くと

std::thread::scope(|scope| {
scope.spawn(|| {
println!("DEBUG: a: {:?}", std::thread::current().id());
foo.a.push(4);
});
scope.spawn(|| {
println!("DEBUG: b: {:?}", std::thread::current().id());
foo.b.push(44);
});
});

>>943
そんなことしなくても大丈夫

**デフォルトの名無しさん** · 2024/11/23(土) 20:57:00.22

>>948
フィールドが可視なこと前提にしちゃっていいの？

**デフォルトの名無しさん** · 2024/11/23(土) 21:58:14.47

>>950
そんな話までやるの？
どの言語でも同じ
必要なアクセスメソッドを用意するだけ

impl Foo {
pub fn new(a: Vec<u8>, b: Vec<u32>) -> Self {
Foo { a, b }
}
pub fn a_and_b_mut(&mut self) -> (&mut Vec<u8>, &mut Vec<u32>) {
(&mut self.a, &mut self.b)
}
}

**デフォルトの名無しさん** · 2024/11/23(土) 22:17:13.62

>>951
>>941が言ってるのは外部クレートの構造体で可視性にしろメソッドにしろ勝手にいじれないって前提での話だと理解してたんだけど
違うの？

**デフォルトの名無しさん** · 2024/11/23(土) 22:29:09.24

>>952
可視もアクセスもない外部の構造体のフィールドを！
フィールド毎に別スレッドで並列に書き換えたい！
ってことかよ
ワロタ

>>941もそこまでバカげた無茶を求めてない
求めてることは既に解決しただろう

**デフォルトの名無しさん** · 2024/11/24(日) 01:29:38.03

スライスの内部を弄るのはunsafeだけど
その構造体の内部は安心安全だからunsafeがどこにも現れないんだな

**デフォルトの名無しさん** · 2024/11/24(日) 01:59:38.19

Vectorの標準機能
好きなところで2分割する方法
スレッドでま利用可能

fn main() {
let mut vec = vec![1, 2, 3, 4, 5, 6];
let mid = vec.len() / 2;
let (left, right) = vec.split_at_mut(mid);

println!("left: {:?}", left); // [1, 2, 3]
println!("right: {:?}", right); // [4, 5, 6]

// 両方のスライスを同時に変更可能
left[0] = 10;
right[0] = 40;

println!("vec: {:?}", vec); // [10, 2, 3, 40, 5, 6]
}

**デフォルトの名無しさん** · 2024/11/24(日) 02:07:14.81

vecの機能
chunks_mutを使用する方法（等分割）
指定したサイズで複数個のスライスの可変参照

fn main() {
let mut vec = vec![1, 2, 3, 4, 5, 6];
let mut chunks = vec.chunks_mut(vec.len() / 2);

if let (Some(left), Some(right)) = (chunks.next(), chunks.next()) {
println!("left: {:?}", left); // [1, 2, 3]
println!("right: {:?}", right); // [4, 5, 6]

left[0] = 10;
right[0] = 40;
}

println!("vec: {:?}", vec); // [10, 2, 3, 40, 5, 6]
}

**デフォルトの名無しさん** · 2024/11/24(日) 17:24:11.96

Rustで書いたら危険だけどCなら安全に書ける例を教えてくれ

**デフォルトの名無しさん** · 2024/11/24(日) 18:13:55.87

>>941
rayonは確かに標準ではなく外部だが
C/C++では今も作り出せていないrayonやtokioなどの基盤ライブラリを
Rustが生み出すことができた勝因は
標準ライブラリを最小限にして外部のクレートに多くを託す方針をとったため

それでもなお標準ライブラリだけに拘るならば
その>>940の例はrayonを使わずに以下のように書くことができる

std::thread::scope(|scope| {
let mut rest: &mut [i64] = &mut buf;
while let Some((area, new_rest)) = rest.split_at_mut_checked(AREA_SIZE) {
rest = new_rest;
scope.spawn(|| {
area.iter_mut().for_each(|n| {
*n = f(*n);
});
});
}
});

**デフォルトの名無しさん** · 2024/11/24(日) 18:18:22.12

rayonってCから使えないの？

最近はたまにCから呼び出せるようにしたRustのクレートを見かけるよな
以前とは逆向きだ

**デフォルトの名無しさん** · 2024/11/25(月) 09:33:08.05

科学＋ンニュース 5ch

保守派もリベラル派も「自分の政治的信念に合致したニュース」を信じやすいという研究結果 [すらいむ★]
https://itest.5ch.net/egg/test/read.cgi/scienceplus/1732447647

コメントも含めて読むと
陰謀論が収まら無い理由が判明する

**デフォルトの名無しさん** · 2024/11/25(月) 15:15:08.59

>>957
Rustは安全なものでもunsafe付けたら危険になる言語

**デフォルトの名無しさん** · 2024/11/25(月) 17:19:35.66

>>958
結局、全体の可変参照&mutがある時
・structは各フィールドの&mutを同時に安全に得られる
・スライスはsplit_at_mut_checkedで任意に分割したサブスライスの&mutを同時に安全に得られる
つまりunsafeの必要なく安全に同時に書き換え可能ということだね

**デフォルトの名無しさん** · 2024/11/25(月) 17:20:53.69

>>961
unsafeは危険という意味ではなくて
C/C++と同じようにプログラマーがその部分のコードの安全性の責務を持ちなさい、という意味だよ
もしそれを危険と呼ぶならC/C++のコードは常に全てが危険

**デフォルトの名無しさん** · 2024/11/25(月) 17:46:18.55

よくrustと他の言語で比較するときに条件を揃えてないのが多すぎる印象。
パフォーマンスで差が出る部分でHashMapがある。デフォルトのハッシュ関数が安全に振られてるからちょっと遅い。高速化するなら下記のような感じ。

use std::hash::BuildHasherDefault;
use std::collections::HashMap;
use rustc_hash::FxHasher; // より高速なハッシュ関数

// FxHasherを使用したHashMap
type FastMap<K, V> = HashMap<K, V, BuildHasherDefault<FxHasher>>;

fn main() {
// 高速なハッシュマップの作成
let mut fast_map: FastMap<i32, String> = FastMap::default();
fast_map.insert(1, "fast".to_string());
}

**デフォルトの名無しさん** · 2024/11/25(月) 17:55:45.25

昔、PHPでHashDos攻撃でサーバーが止まるという問題があった。特定のハッシュ値を生成するようなパターンで速度が著しく低下する。なので今はwebで外部からデーターが送られて来る時は安全なハッシュ関数を使う。
このハッシュが安全かどうかで処理速度が変わるのだけど、他の言語では昔のままのが多い。それでrustとC++を比較して遅いとか言われる事がある。安全か速度か選べるから両方揃えて比較してくれ。

**デフォルトの名無しさん** · 2024/11/25(月) 18:58:14.92

FxHash使うと結構速度変わるんだよな

**デフォルトの名無しさん** · 2024/11/26(火) 10:38:32.10

rustとかでi32とかVecとかHashMapとかにmethodを勝手にimplして使うことについて問題とかないですか？

**デフォルトの名無しさん** · 2024/11/26(火) 10:56:47.14

coherenceの縛りがあるから勝手にimplすることはできない

**デフォルトの名無しさん** · 2024/11/26(火) 11:04:59.40

なんらかの trait を impl するという意味なら好きなようにやって構わないが、複数の型に impl する必要がある場合 (多相性を利用することを想定する場合) を除いては関数として定義したほうが良いことも多い。

**デフォルトの名無しさん** · 2024/11/26(火) 12:22:11.23

>>967
まず技術的にはRustは孤児ルール(orphan rule)により他へ影響を与える汚染を防げる仕組みがあるのでコンパイルが通るなら大丈夫
新たなメソッドを増やすには自分で用意したトレイトの中で行うことになるのでその自作トレイトをuseしない限り他への汚染の影響は無し

したがってあとは有用性と可読性の問題かな
例えばジェネリックに処理するためのトレイト境界とその新たなメソッドを用意するのは有用かつ必須でよく行われる
単に自作型に変換したいだけならば新たなトレイトとメソッドを用意せずとも
impl From<既存型> for 自作型して
let x: 自作型 = 既存型値.into(); など

**デフォルトの名無しさん** · 2024/11/26(火) 12:32:30.35

>>970
ありがとうございます
他のライブラリー影響する気がしたので聞いてみました

**デフォルトの名無しさん** · 2024/11/26(火) 19:48:39.21

Traitのimplが出来るのは型を定義したcrateかtraitを定義したcrateだけだから、他のライブラリには影響しない
メソッドの名前が被っていてもそのtraitをuseしないと使えないし、最悪useすることになってもtraitを指定してメソッドを呼べる

**デフォルトの名無しさん** · 2024/11/27(水) 16:06:33.32

「ツールの使い方覚えるだけ」

まさにそれ

**デフォルトの名無しさん** · 2024/11/29(金) 21:54:35.06

こうすれば実行時に確定する値を&'staticにできるね
static HOME: LazyLock<String> = LazyLock::new(|| std::env::var("HOME").unwrap());
let home: &'static str = &*HOME;

**デフォルトの名無しさん** · 2024/11/30(土) 00:45:06.70

unsafeとは危険という意味で合ってるが、魔女のようなものを狩る行動を意味しない
信念と行動が合致しない方が得だから合致しない

**デフォルトの名無しさん** · 2024/11/30(土) 18:20:12.51

所有者をスタック上に置くからライフタイム管理が必要になる
それを避けて&'staticするには3つの方法がRustで提供されている
(1) 所有者を最初から持たない
(2) 所有者をスタックに置かない
(3) 所有者を捨てる

**デフォルトの名無しさん** · 2024/11/30(土) 19:42:09.81

データをRustの外に置けば、ライフタイム管理から逃れられる
たとえばファイルに書いてしまう

**デフォルトの名無しさん** · 2024/11/30(土) 23:10:39.19

(1) コンパイル時に値が確定して静的に配置されるものが該当
(2) 実行時に値が確定してstatic変数に遅延配置させるものが該当
(3) 実行時に値が確定してleak()させるものが該当
いずれも&'staticで安全に参照できる

**デフォルトの名無しさん** · 2024/11/30(土) 23:33:27.96

C++もスマートポインタがあるからポインタ管理を推進する側の勢力だった
だからC++を使わなくてもCで十分という意見に説得力があった
今では、管理に反対する奴も賛成する奴もどっちもC++に不満を感じている

**デフォルトの名無しさん** · 2024/12/01(日) 21:53:13.54

let や　let mut を見たとたん、「だーめだ、こりゃあ。数値計算に使えねえ。fortranの方が余程ましだ。」
と思った。大体、letなんてBasicで出てきそうなワードを「変数束縛」という深刻な概念に結びつけている
時点で作った奴はセンスねえと思うわ。

**デフォルトの名無しさん** · 2024/12/01(日) 22:06:15.87

ブラックフライデーで複オジポエムが続いてたかと思えばさらに輪をかけた常識知らずが来たw

**デフォルトの名無しさん** · 2024/12/01(日) 22:10:53.24

そうか？　俺にはお前の額に馬と鹿が見えるが

**デフォルトの名無しさん** · 2024/12/01(日) 22:44:04.77

>>774
アンロードが起きうるstatic変数は制御下に置くためスレッドローカルに置く
thread_local! {
static VAR: RefCell<Foo> = RefCell::new(Foo::new());
}
ちゃんとdropするためメモリリークは起きないことが確認できる
impl Drop for Foo {
fn drop(&mut self) {
println!("DEBUG: drop Foo");
}
}

**デフォルトの名無しさん** · 2024/12/02(月) 13:25:55.50

>>980
大丈夫か？比較対象がfortranやbasicでは歳が知れるぞ。今時の言語知らんのかい？

**デフォルトの名無しさん** · 2024/12/02(月) 13:32:19.67

変数束縛とかいきってるとこにセンス感じないのは同意

**デフォルトの名無しさん** · 2024/12/02(月) 13:38:57.47

ML 系言語が基礎になってるから用語もそっちで一般的なものが使われてる。

**デフォルトの名無しさん** · 2024/12/02(月) 13:43:46.67

>>986
ML知ってるならより奇妙に感じるはずだよw

**デフォルトの名無しさん** · 2024/12/02(月) 14:01:48.04

lispや初期のMLからletの使い方は変わってないと思うけど何がしたくて何が出来ないと言ってるのか分からん。

**デフォルトの名無しさん** · 2024/12/02(月) 14:48:33.18

伝統的には、引数とグローバル変数を区別せず自由変数とする
自由ではない変数は束縛されている
ただし関数がネストするなら、引数は束縛変数とするほうが需要に合致する

**デフォルトの名無しさん** · 2024/12/02(月) 18:48:24.16

free variables/bound variablesのbindingと
name bindingのbindingは無関係ではないけど使われる文脈も意味も違う
letの話は後者

それに昔々のThe Bookではvariable bindingsという用語が使われてたが
わかりにくいという理由でかなり前にvariablesという用語に変更されてる

**デフォルトの名無しさん** · 2024/12/02(月) 18:54:23.80

>>739
メモリリークとは実行中に使用していないメモリが解放されないことでメモリ使用量が膨らんでいくことだから
実行を終えた時にメモリ解放するか否かはどうでもいい話でそれをメモリリークとは呼ばない

Box::leak()でも実行を終えた時にメモリは解放されないがRustでは普通に使われている
例えばcargo crateでもleakさせまくっているが何ら問題ない

cargo-0.84.0/src/cargo/core/package_id.rs: let inner = Box::leak(Box::new(inner));
cargo-0.84.0/src/cargo/core/source_id.rs: let inner = Box::leak(Box::new(inner));
cargo-0.84.0/src/cargo/util/interning.rs: let s = str.to_string().leak();

**デフォルトの名無しさん** · 2024/12/02(月) 20:05:14.90

最近勉強始めたけど
::で躓いて脱落しそう

**デフォルトの名無しさん** · 2024/12/02(月) 20:19:44.41

ダブルコロンは他の言語C++からPHPまで使われており
Rustでもそれらと同様に名前空間を示すpathの区切り文字として使用されている
https://doc.rust-lang.org/reference/paths.html

**デフォルトの名無しさん** · 2024/12/02(月) 20:22:50.81

>>990
えーとletという用語に文句言ってるだけで、プログラムの機能的には問題ないということでいいの？

**デフォルトの名無しさん** · 2024/12/02(月) 20:39:13.67

ら、ら、ラストー🦛

**デフォルトの名無しさん** · 2024/12/02(月) 20:39:36.01

ら、ら、ラストー🦛

**デフォルトの名無しさん** · 2024/12/02(月) 20:39:59.86

ら、ら、ラストー🦛
ら、ら、ラストー🦛

**デフォルトの名無しさん** · 2024/12/02(月) 20:40:22.73

ら、ら、ラストー🦛
ら、ら、ラストー🦛

**デフォルトの名無しさん** · 2024/12/02(月) 20:40:45.44

ら、ら、ラストー🦛
ら、ら、ラストー🦛
ら、ら、ラストー🦛

**デフォルトの名無しさん** · 2024/12/02(月) 20:41:08.42

ら、ら、ラストー🦛
ら、ら、ラストー🦛
ら、ら、ラストー🦛

**1001** · Over 1000

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