Rust part37

公式
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 part36
https://mevius.5ch.io/test/read.cgi/tech/1779974768/

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

300レスもこれで荒らし続けてるのか
ID:GVCMKu1fは嘘吐きの代名詞だなｗ

>>445
固有の事情ってなんだよｗ
「どんな寿命の参照でも」「どんな値でも」「他の関数から返ってきたものでも」「関数から必ず返せる」んじゃなかったのか？ｗｗ

>>447
そりゃ「unsafeは別だから！」だろｗ

「どんな寿命の参照でも」「どんな値でも」「他の関数から返ってきたものでも」「関数から必ず返せる」 (>>159)
「任意のライフタイムで必ず成立する」(>>183)
「Rustでは付加条件なく必ず成り立ちます」(>>214)
↓
thread::spawn() はクロージャ越しに受け取ってるから引数だけど違うよね……やっぱなし！
クロージャが返してるからセーフ……これもなし！
↓
実は関数の引数で受け取るコードがコンパイル通ったらってことでした！　ほら、rustcでコンパイルが通ったら成り立ってるでしょ！
あ、あとunsafeは別だから！
↓
やっぱり標準ライブラリの関数が勝手に「使えるけど使えなくしまーす」って意地悪で言ってるんです！
↓
そんなことないです！　固有の事情！　そう、固有の事情です！

これの納得いく説明を早くしてくれよｗｗ

>>449
ひでえなあｗ

>>443
反例を持ってこいよ
おまえらRustアンチはたった一つの反例を示すだけでいいんだぞ
Rustでは以下が必ず成り立つ

【前提】どんな寿命の参照でも、それを関数の引数で受け取ったら、
【恒真】その参照や一部の参照を、関数から必ず返せる

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる

「どんな寿命の参照でも」「どんな値でも」「他の関数から返ってきたものでも」「関数から必ず返せる」 (>>159)
「任意のライフタイムで必ず成立する」(>>183)
「Rustでは付加条件なく必ず成り立ちます」(>>214)
↓
thread::spawn() はクロージャ越しに受け取ってるから引数だけど違うよね……やっぱなし！
クロージャが返してるからセーフ……これもなし！
↓
実は関数の引数で受け取るコードがコンパイル通ったらってことでした！　ほら、rustcでコンパイルが通ったら成り立ってるでしょ！
あ、あとunsafeは別だから！
↓
やっぱり標準ライブラリの関数が勝手に「使えるけど使えなくしまーす」って意地悪で言ってるんです！
コンパイル通ったらッて条件も残ってます！
↓
そんなことないです！　固有の事情があるんです！　そう、固有の事情です！

ちょっときれいに整理してみた

>>451
もう300レスも前に示されてるよ
お前はまだそれに答えてないだけｗ

>>452
捏造しだしたら君の負け

>>453
どれですか？

>>451
じゃあ thread::spawn() と同じ機能を持った任意のライフタイムの参照を受け取って返せる関数を出せよ
お前が言ってるのは「僕の頭の中にはあるんだい！」で反証可能性がない

>>454-455
捏造してるのはずっとお前
まだ thread::spawn() という反例に答えてない

「どんな寿命の参照でも」「どんな値でも」「他の関数から返ってきたものでも」「関数から必ず返せる」 (>>159)
「任意のライフタイムで必ず成立する」(>>183)
「Rustでは付加条件なく必ず成り立ちます」(>>214)
↓
thread::spawn() はクロージャ越しに受け取ってるから引数だけど違うよね……やっぱなし！
クロージャが返してるからセーフ……これもなし！
↓
実は関数の引数で受け取るコードがコンパイル通ったらってことでした！　ほら、rustcでコンパイルが通ったら成り立ってるでしょ！
あ、あとunsafeは別だから！
↓
やっぱり標準ライブラリの関数が勝手に「使えるけど使えなくしまーす」って意地悪で言ってるんです！
コンパイル通ったらッて条件も残ってます！
↓
そんなことないです！　固有の事情があるんです！　そう、固有の事情です！

早くこれに納得いく説明をしてくれよｗｗ

>>456
そんな主張をしていないだろ
前提を恒真へ含めるなよ

【前提】どんな寿命の参照でも、それを関数の引数で受け取ったら、
【恒真】その参照や一部の参照を、関数から必ず返せる

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる

>>451
複おじ理論「thread::spawn() を使う奴はRustアンチ！」

>>459
「実は関数の引数で受け取るコードがコンパイル通ったらってことでした！　ほら、rustcでコンパイルが通ったら成り立ってるでしょ！」ｗ

>>457
thread::spawn()も受け取った参照を返せます

>>459
「どんな寿命の参照でも」「どんな値でも」「他の関数から返ってきたものでも」「関数から必ず返せる」 (>>159)
「任意のライフタイムで必ず成立する」(>>183)
「Rustでは付加条件なく必ず成り立ちます」(>>214)
↓
thread::spawn() はクロージャ越しに受け取ってるから引数だけど違うよね……やっぱなし！
クロージャが返してるからセーフ……これもなし！
↓
実は関数の引数で受け取るコードがコンパイル通ったらってことでした！　ほら、rustcでコンパイルが通ったら成り立ってるでしょ！
あ、あとunsafeは別だから！
↓
やっぱり標準ライブラリの関数が勝手に「使えるけど使えなくしまーす」って意地悪で言ってるんです！
コンパイル通ったらッて条件も残ってます！
↓
そんなことないです！　固有の事情があるんです！　そう、固有の事情です！

早くこれに納得いく説明をしてくれよｗｗｗ

>>462
「どんな寿命の参照でも」「どんな値でも」「他の関数から返ってきたものでも」「任意のライフタイムで必ず成立する」
本当だな？
これで 'static しか返せなかったら嘘吐き確定だぞ

「付加条件なく必ず成り立ちます」ｗ

>>464
spawnでは受け取る参照を制限していますが
その参照についても以下は必ず成り立ちます

【前提】どんな寿命の参照でも、それを関数の引数で受け取ったら、
【恒真】その参照や一部の参照を、関数から必ず返せる

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる

>>462
「どんな寿命の参照でも」「どんな値でも」「他の関数から返ってきたものでも」「任意のライフタイムで必ず成立する」「付加条件なく必ず成り立ちます」
この条件で返せるって証明してくれよ

>>466
「どんな寿命の参照でも」「どんな値でも」「他の関数から返ってきたものでも」「任意のライフタイムで必ず成立する」「付加条件なく必ず成り立ちます」
この条件で返せるって証明してくれよ
お前が言ったんだからさ、「受け取る参照を制限していますが」なんて逃げはいらないんだわ

「どんな寿命の参照でも」「どんな値でも」「他の関数から返ってきたものでも」「関数から必ず返せる」 (>>159)
「任意のライフタイムで必ず成立する」(>>183)
「Rustでは付加条件なく必ず成り立ちます」(>>214)
↓
thread::spawn() はクロージャ越しに受け取ってるから引数だけど違うよね……やっぱなし！
クロージャが返してるからセーフ……これもなし！
↓
実は関数の引数で受け取るコードがコンパイル通ったらってことでした！　ほら、rustcでコンパイルが通ったら成り立ってるでしょ！
あ、あとunsafeは別だから！
↓
やっぱり標準ライブラリの関数が勝手に「使えるけど使えなくしまーす」って意地悪で言ってるんです！
コンパイル通ったらって条件も残ってます！
↓
そんなことないです！　固有の事情があるんです！　そう、固有の事情です！
受け取る参照を制限しているから、受け取ったら返せるんです！

早くこれに納得いく説明をしてくれよｗｗｗ

早く反例コードを出してくださいよ

>>466
その主張だと今度
std::thread::Builder::spawn_unchecked()
では受け取る参照を制限していないから不成立だぞ

>>470
ずっと出てるだろ
thread::spawn() だと 'static じゃないどの参照でも返せない

>>471
返せるよ
やってみ

「どんな寿命の参照でも」「どんな値でも」「他の関数から返ってきたものでも」「関数から必ず返せる」 (>>159)
「任意のライフタイムで必ず成立する」(>>183)
「Rustでは付加条件なく必ず成り立ちます」(>>214)
↓
thread::spawn() はクロージャ越しに受け取ってるから引数だけど違うよね……やっぱなし！
クロージャが返してるからセーフ……これもなし！
↓
実は関数の引数で受け取るコードがコンパイル通ったらってことでした！　ほら、rustcでコンパイルが通ったら成り立ってるでしょ！
あ、あとunsafeは別だから！
↓
やっぱり標準ライブラリの関数が勝手に「使えるけど使えなくしまーす」って意地悪で言ってるんです！
コンパイル通ったらって条件も残ってます！
↓
そんなことないです！　固有の事情があるんです！　そう、固有の事情です！
受け取る参照を制限しているから、受け取ったら返せるんです！

早くこれに納得いく説明をしてくれよｗｗ
下2つは std::thread::Builder::spawn_unchecked() では成り立たないぞｗｗｗ

>>472
それは以下に明記されてる前提を満たしてないからだろ

【前提】どんな寿命の参照でも、それを関数の引数で受け取ったら、
【恒真】その参照や一部の参照を、関数から必ず返せる

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる

>>473
ついに完全な嘘を吐いたな
チェックはされないが返せないケースはなくなってない

>>475
どう見ても満たしとるわマヌケ

>>474
実際にやって見ろよ
std::thread::Builder::spawn_unchecked() でも返せるぞ

>>473
std::thread::Builder::spawn_unchecked() で任意の参照を受け取って返せるって言うなら、当然それを受け取って返して読めるコードができるってことだよな
これやってみようぜｗｗ
動かなかったらID:GVCMKu1fは嘘吐きな

>>477
前提条件「それを関数の引数で受け取ったら」を満たしてない

>>478
嘘吐きは何とやらと言うけど、ここまで堂々とバレてる嘘を吐けるのは逆に才能だなｗ

>>480
thread::spawn() はクロージャ越しに受け取ってるから引数だけど違うって言い訳して逃げようとした時点でその解釈は成り立たないんだわ

>>479
ちゃんと返せた
もちろんunsafe関数なので結果は常にunsafe

>>482
そんな発言していない

まぁ詰まるところは言い回しの問題なんだろうけどさ

>>484
嘘吐いてもバレるのに……

>>486
その書き込みを持ってこいよ

ちなみに>>184で書いた「弱参照を受け取って通常の参照にして返す関数」も普通に書けるからね
「必ず返せる」はもちろん成立しないけれど

unsafe fn get_ref<T>(weak: &Weak<T>) -> &T {
unsafe { &*weak.as_ptr() }
}

>>483
たまたまメモリの領域が生きてただけだろ

>>488
引数として受け取った弱参照は必ず返すこたができる
Rustでは以下が常に成立する

【前提】どんな寿命の参照でも、それを関数の引数で受け取ったら、
【恒真】その参照や一部の参照を、関数から必ず返せる

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる

>>489
unsafe関数だからそれは許されるのがRust

>>491
おい、お前の言ってる条件満たしてるのに動かねえぞ

use std::thread;
use std::time::Duration;

fn main() {
let handle;

{
let mut local_data = 100;
let mut local_data_ref = &mut local_data;

println!("スレッド内の値: {}", local_data);

unsafe {
handle = thread::Builder::new()
.name("dangerous_thread".to_string())
.spawn_unchecked(move || {
thread::sleep(Duration::from_millis(50));

*local_data_ref = 200;

println!("スレッド内の値: {}", local_data_ref);
})
.unwrap();
}
}

handle.join().unwrap();
}

まだ参照返してもいないのに条件満たしてかつ動かないのおもろいな

渡した時点で動かないじゃん
>>491 unsafe関数だからそれは許されるのがRust
このイキりは一体ｗ

不要なmutがあるし色々雑なコードだけど反例としては十分だな

>>492
Rust初心者かい？
エラー出てるだろ
try 'rustc --explain E0502'

>>496　ごめんごめん、手打ちしたのが良くなかったな

use std::thread;
use std::time::Duration;

fn main() {
let handle;

{
let mut local_data = 100;
println!("スレッド内の値: {}", local_data);
let local_data_ref = &mut local_data;

unsafe {
handle = thread::Builder::new()
.name("dangerous_thread".to_string())
.spawn_unchecked(move || {
thread::sleep(Duration::from_millis(50));

*local_data_ref = 200;

println!("スレッド内の値: {}", local_data_ref);
})
.unwrap();
}
}

handle.join().unwrap();
}

これでクラッシュした理由を教えてくれや

>>497
どう見ても未定義動作です本当にありがとうございます

「どんな寿命の参照でも」「どんな値でも」「他の関数から返ってきたものでも」「関数から必ず返せる」 (>>159)
「任意のライフタイムで必ず成立する」(>>183)
「Rustでは付加条件なく必ず成り立ちます」(>>214)

おかしいなあ、返すまでもなく壊れてるぜ

ちゃんとコンパイルは通るな

Windowsでは動くな
未定義動作らしくなってきた

>>497
こちらでは以下が表示されて正常終了するが
スレッド内の値: 100
スレッド内の値: 200
動かないこともあるだろうね
unsafe関数を使う時はそのSafety条件を守ることがRustでは必須

>>502
お前が言った「Rustでは付加条件なく必ず成り立ちます」には反してる結論だな
納得できたか？

>>503
反例になってない
Rustでは以下が常に成立する

【前提】どんな寿命の参照でも、それを関数の引数で受け取ったら、
【恒真】その参照や一部の参照を、関数から必ず返せる

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる

>>504
ついに「成り立たないが成り立つから成り立つ」って言い始めてて草
1行矛盾

>>497
地味に無駄mut外されて洗練されてんの笑う

ただ、上は「スレッド外の値」やな

use std::thread;
use std::time::Duration;

fn main() {
let handle;
let mut local_data = 100;
println!("スレッド外の値: {}", local_data);
let local_data_ref = &mut local_data;
unsafe {
handle = thread::Builder::new()
.name("dangerous_thread".to_string())
.spawn_unchecked(move || {
thread::sleep(Duration::from_millis(500));
println!("スレッド内の値: {}", local_data_ref);
*local_data_ref = 200;
println!("スレッド内の値: {}", local_data_ref);
})
.unwrap();
}
}
println!("local_data消失");
handle.join().unwrap();
}

何が起こってるかわかりやすくした
これで動いてしまった場合でも未定義動作だとわかる

mut汚染は鉄板だけどunsafe使うのは趣旨に反するよな
Cellとか使うと気持ち悪くできそうだけど複雑になる

fn foo<'a, T, F>(f: F, x: &'a mut T, y: &'a mut T) -> &'a mut T
where
F: FnOnce(&'a mut T, &'a mut T) -> bool
{
if f(x, y) { x } else { y }
}

>>497が反例になってない証拠は
簡略化したこのコードをみるとわかる

fn main() {
let handle;
{
let mut local_data = 100;
println!("スレッド内の値: {}", local_data);
let local_data_ref = &mut local_data;
{
handle = Some(local_data_ref);
}
}
handle.unwrap();
}

スコープルールに反しているだけにすぎない

条件決めた奴が spawn_unchecked() でも成り立つと明言している以上趣旨には反してない

>>510
スレッド立ててない時点で簡略化できてないぞ

>>511
spawn_unchecked()の問題ではないことを
>>510で既に示した

>>510
そんなスコープにはなってねえよマヌケ
スレッドが何か知らねえのか

>>513
また新しい嘘が始まったな

>>512
handleがスコープ外にあるのに
そこへ参照を入れられないのは当たり前

>>516
お前の書いたコードじゃなくて元のコードの話してるんだけど

>>514
そのスコープ関係になっている
handleとlocal_dataのスコープの食い違いを見なさい

勝手に名前だけ似せた関係ないコードにすり替えて話してるのヤバすぎるだろ

>>518
お前の書いた妄想コードはhandle = Some(local_data_ref);がある部分のスコープが元のコードと一致してない

>>517
元のコードもhandleとlocal_dataのスコープが食い違っている

>>510のコードはthread::scopeを使った場合にしか起きないスコープになってる

>>521
スレッドとスコープの見わけもつかんのかたわけ

本質部分だけ取り出すと理解できない人のために
>>497から一番外側の不要な鍵カッコ2つを取り外すして参照を返すとこうなる

use std::thread;
use std::time::Duration;

fn main() {
let handle;

let mut local_data = 100;
println!("スレッド内の値: {}", local_data);
let local_data_ref = &mut local_data;

unsafe {
handle = thread::Builder::new()
.name("dangerous_thread".to_string())
.spawn_unchecked(move || {
thread::sleep(Duration::from_millis(50));
*local_data_ref = 200;

println!("スレッド内の値: {}", local_data_ref);
local_data_ref
})
.unwrap();
}

let result = handle.join().unwrap();
println!("result: {result}");
}

こうなる
result: 200

どれだけ曲解したところで handle = Some(local_data_ref); がある部分のスコープが local_data より先に終わってる時点でスレッドを理解してないとしか言えない

>>524
不要な { } と言ってスコープを破壊してコードを書き換えるのは流石に無法すぎる
嘘吐きここに極まれり

>>524
お前は一度くらい嘘を吐かずに話せないのか

>>524
複オジ理論「不要なスコープを取り除いたらスコープが壊れてるんだ！」

>>525
先に終わっても返さない限りは問題なくコンパイルが通る
返した時だけhandleとスコープが食い違っていてコンパイルできなくなる

>>526
スコープ外に参照を持ち出せないのはRustの常識

>>529
> 先に終わっても返さない限りは問題なくコンパイルが通る
じゃああのスコープはただの目くらましで笑う
自分から嘘吐きであることを暴露していくのか

>>530
何言ってんだこいつ
スコープ内にスレッドはありますけどｗ
勝手にお前が書き換えたコードじゃなくてもな

>>530
じゃあRustのコンパイラは無能だからスコープが壊れててもコンパイルを通すと？ｗ

複オジなんてどうせ隠れアンチだからな

>>530
お前がいかに嘘を吐いても事実は変わらない
スレッドはスコープ内

俺は>>524のコードで
spawn_unchecked()でも参照を返せることを示した
もちろんunsafe関数だから未定義動作

反例はここまでになく
Rustでは以下が常に成立する

【前提】どんな寿命の参照でも、それを関数の引数で受け取ったら、
【恒真】その参照や一部の参照を、関数から必ず返せる

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる

>>530
どう見てもスコープ内で渡されてますねえ

use std::thread;
use std::time::Duration;

fn main() {
let handle;
{
let mut local_data = 100;
println!("スレッド外の値: {}", local_data);
let local_data_ref = &mut local_data;
unsafe {
handle = thread::Builder::new()
.name("dangerous_thread".to_string())
.spawn_unchecked(move || {
thread::sleep(Duration::from_millis(500));
println!("スレッド内の値: {}", local_data_ref);
*local_data_ref = 200;
println!("スレッド内の値: {}", local_data_ref);
})
.unwrap();
}
}
println!("local_data消失");
handle.join().unwrap();
}

>>536

「どんな寿命の参照でも」「どんな値でも」「他の関数から返ってきたものでも」「関数から必ず返せる」 (>>159)
「任意のライフタイムで必ず成立する」(>>183)
「Rustでは付加条件なく必ず成り立ちます」(>>214)
↓
thread::spawn() はクロージャ越しに受け取ってるから引数だけど違うよね……やっぱなし！
クロージャが返してるからセーフ……これもなし！
↓
実は関数の引数で受け取るコードがコンパイル通ったらってことでした！　ほら、rustcでコンパイルが通ったら成り立ってるでしょ！
あ、あとunsafeは別だから！
↓
やっぱり標準ライブラリの関数が勝手に「使えるけど使えなくしまーす」って意地悪で言ってるんです！
コンパイル通ったらって条件も残ってます！
↓
そんなことないです！　固有の事情があるんです！　そう、固有の事情です！
受け取る参照を制限しているから、受け取ったら返せるんです！
↓
やっぱり違う！　俺の書いた見た目の似たコードではスコープから外れてるから違うんだ！

早くこれに納得いく説明をしてくれよｗｗ

>>536

「どんな寿命の参照でも」「どんな値でも」「他の関数から返ってきたものでも」「関数から必ず返せる」 (>>159)
「任意のライフタイムで必ず成立する」(>>183)
「Rustでは付加条件なく必ず成り立ちます」(>>214)
↓
thread::spawn() はクロージャ越しに受け取ってるから引数だけど違うよね……やっぱなし！
クロージャが返してるからセーフ……これもなし！
↓
実は関数の引数で受け取るコードがコンパイル通ったらってことでした！　ほら、rustcでコンパイルが通ったら成り立ってるでしょ！
あ、あとunsafeは別だから！
↓
やっぱり標準ライブラリの関数が勝手に「使えるけど使えなくしまーす」って意地悪で言ってるんです！
コンパイル通ったらって条件も残ってます！
↓
そんなことないです！　固有の事情があるんです！　そう、固有の事情です！
受け取る参照を制限しているから、受け取ったら返せるんです！
↓
やっぱり違う！　俺の書いた見た目の似たコードではスコープから外れてるから違うんだ！

早くこれに納得いく説明をしてくれよｗｗ

>>537
println!("local_data消失");の意味がわからない
消失してないから表示されるぞ

>>536

「どんな寿命の参照でも」「どんな値でも」「他の関数から返ってきたものでも」「関数から必ず返せる」 (>>159)
「任意のライフタイムで必ず成立する」(>>183)
「Rustでは付加条件なく必ず成り立ちます」(>>214)
↓
thread::spawn() はクロージャ越しに受け取ってるから引数だけど違うよね……やっぱなし！
クロージャが返してるからセーフ……これもなし！
↓
実は関数の引数で受け取るコードがコンパイル通ったらってことでした！　ほら、rustcでコンパイルが通ったら成り立ってるでしょ！
あ、あとunsafeは別だから！
↓
やっぱり標準ライブラリの関数が勝手に「使えるけど使えなくしまーす」って意地悪で言ってるんです！
コンパイル通ったらって条件も残ってます！
↓
そんなことないです！　固有の事情があるんです！　そう、固有の事情です！
受け取る参照を制限しているから、受け取ったら返せるんです！
↓
やっぱり違う！　俺の書いた見た目の似たコードではスコープから外れてるから違うんだ！

早くこれに納得いく説明をしてくれよｗｗ

>>540
RAIIとスコープについて学んでおいでｗ

540 デフォルトの名無しさん 2026/07/19(日) 23:49:03.84 ID:GVCMKu1f
>>537
println!("local_data消失");の意味がわからない
消失してないから表示されるぞ

複おじの知能ではスコープはわからない

煽りコピペがうざいので減らしてくれ
荒らしはID:GVCMKu1fだけで足りてる

>>524のコードで
unsafeのspawn_unchecked()でも参照を返せることを示した
つまり反例は存在しない
意義があるなら反例を持ってきなさい

Rustでは以下が常に成立する

【前提】どんな寿命の参照でも、それを関数の引数で受け取ったら、
【恒真】その参照や一部の参照を、関数から必ず返せる

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる