Rust part27

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

公式
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 part26
https://mevius.5ch.net/test/read.cgi/tech/1726838318/

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

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

乙巳

**デフォルトの名無しさん** · 2024/12/03(火) 07:46:32.00

**デフォルトの名無しさん** · 2024/12/03(火) 07:46:58.75

Rust Reference Book
https://doc.rust-lang.org/reference/
Rust Standard Library
https://doc.rust-lang.org/std/
Rust rustc Book
https://doc.rust-lang.org/rustc/
Rust rustdoc Book
https://doc.rust-lang.org/rustdoc/
Rust rustup Book
https://rust-lang.github.io/rustup/
Rust Cargo Book
https://doc.rust-lang.org/cargo/
Rust unstable Book
https://doc.rust-lang.org/nightly/unstable-book/
Rust macro Book
https://danielkeep.github.io/tlborm/book/
Rust CLI (Command Line Interface) apps Book
https://rust-cli.github.io/book/
Rust Future Book
https://cfsamson.github.io/books-futures-explained/
Rust async-std Book
https://book.async.rs/
Rust tokio Book
https://tokio.rs/tokio/tutorial
Rust serde Book
https://serde.rs/
Rust Performance Book
https://nnethercote.github.io/perf-book/

**デフォルトの名無しさん** · 2024/12/03(火) 10:17:10.99

>>3
何年も更新されてない上に誤訳だらけの非公式翻訳を貼り続けるのいい加減やめろ

前スレの「変数束縛」とか含めて非公式翻訳が勘違い野郎を生む諸悪の根源

**デフォルトの名無しさん** · 2024/12/03(火) 12:48:40.49

スタバのマルチスレッドって効率悪いよね

**デフォルトの名無しさん** · 2024/12/03(火) 12:56:13.69

はいはい、説教おじさんはほっといて気楽に質問してね～。勘違いでもなんでもok。サンプル欲しければコード書きますよ～。

**デフォルトの名無しさん** · 2024/12/03(火) 15:07:30.04

日頃GC付き言語で開発しているからメモリリークがどういったプログラムで起こるのかあんまり実感できない
C言語で書かれたプログラムでメモリリークしやすいプログラムってどんなもんなの？

**デフォルトの名無しさん** · 2024/12/03(火) 15:08:58.63

>>8
最近のPCはメモリたくさん積んでるから、リークしても気にしなくていいよ

**デフォルトの名無しさん** · 2024/12/03(火) 16:10:27.68

メモリプレッシャーがかかっても不必要にメモリをつかみ続けるFirefoxのようなお行儀の悪いプログラムか増えてるからメモリが潤沢にあってもリークは気にしたほうがいい

使い捨てプログラムや低品質でもいいプログラムなら気にしなくてもいいけどそういうのはGC言語でやる

**デフォルトの名無しさん** · 2024/12/03(火) 16:16:53.07

>>8
仕事の製品開発ならgc言語でもメモリプロファイラ一使えよ
ハードの性能向上を無駄に消費するクソソフト多すぎだろ

**デフォルトの名無しさん** · 2024/12/03(火) 16:51:09.72

GC 付きでもメモリリークのようなことが起こることはある。
多くの場合に表面化しないだけ。
プロセスが終わるときにはどうせまるごと回収されるからガッと処理してすぐ終わるようなプログラムでは特に表面化しにくい。
見えにくいからこそ意識的に調査すべきで、 >>11 の意見に同意する。

逆に問題が表面化しやすいのは長期的に起動しっぱなしなもので、わかりやすい例ではウェブサーバ (またはその後ろでサービスを提供するプログラム) などが挙げられる。
ウェブサーバの H2O はそれを防止するのと高速化のためにセッションごとにメモリの塊を確保してその塊の頭から順番に使っていき、セッションが終わると塊をまるごと解放するというメモリ戦略を取ってる。

**デフォルトの名無しさん** · 2024/12/03(火) 17:09:00.60

C言語でリークという話なのでこんな感じ。

// メモリリーク例1: mallocした後にfreeし忘れる関数
void leak_in_function() {
char* ptr = (char*)malloc(100);
strcpy(ptr, "Hello");
// freeがないのでメモリリーク
}

// メモリリーク例2: 条件分岐でfreeを飛ばしてしまう
void conditional_leak(int value) {
int* numbers = (int*)malloc(sizeof(int) * 100);
if (value < 0) {
return; // ここでreturnするとfreeされない
}
// 処理
free(numbers);
}

// メモリリーク例3: ポインタの上書きによるリーク
void pointer_overwrite() {
char* ptr1 = (char*)malloc(50);
ptr1 = (char*)malloc(100); // 最初のメモリブロックへの参照が失われる
free(ptr1); // 2番目のメモリブロックだけがfreeされる
}

**デフォルトの名無しさん** · 2024/12/03(火) 17:15:10.75

// メモリリーク例4: 動的配列の不完全な解放
typedef struct {
char* name;
int age;
} Person;

void struct_array_leak() {
Person* people = (Person*)malloc(3 * sizeof(Person));

for (int i = 0; i < 3; i++) {
people[i].name = (char*)malloc(50);
strcpy(people[i].name, "John Doe");
}

free(people); // name用のメモリがリークする
}

こういうパターンが多いかな。
C++だと生ポインタ使わなくなるので大分解消されるけど。

**デフォルトの名無しさん** · 2024/12/03(火) 17:23:27.47

バグが0になるまで投資を続けるのは誰もやらないのに
メモリリークを0にしようって言われたら投資してしまうのが人情というものだ

**デフォルトの名無しさん** · 2024/12/03(火) 17:54:33.42

>>8
ここはRustスレなのに
なぜRustについて全く触れずにC言語の質問をするの？
C言語のスレがあるのだからそちらでしなさい

Rustについて触れずに他の言語の話だけをしている人たちも同罪
必ずRustについても言及しなさい

**デフォルトの名無しさん** · 2024/12/03(火) 18:02:49.57

Rustのメモリ安全性の目的はメモリリークの回避じゃなくてダングリング参照の回避定期
ついでに競合アクセスも防ぐ

**デフォルトの名無しさん** · 2024/12/03(火) 18:49:23.67

今度は「競合アクセス」と来たか

**デフォルトの名無しさん** · 2024/12/03(火) 19:03:08.79

C言語はfree()しても断片化という問題が発生すると聞いたことがある
断片化してもOSが落ちたりはしないんだろうけど遅くなるとかならないとか・・・

**デフォルトの名無しさん** · 2024/12/03(火) 20:08:22.57

>>19
断片化によって起こるのはメモリ効率の悪さ。
空いてるメモリの総量が充分にあっても必要分だけ連続したメモリがない(メモリ確保に失敗する)ということが起こる。
C では確保したメモリの場所が変わる(アドレスが変わる)ということは起すわけにいかないので断片化はそれなりに深刻な問題になりうる。
GC には copying gc のように不要メモリの回収と同時に再配置するものもある。

**デフォルトの名無しさん** · 2024/12/03(火) 20:58:33.67

64bitのアドレスが枯渇したとして・・・全オブジェクトに印をつけるGCを使うか？

**デフォルトの名無しさん** · 2024/12/03(火) 21:39:20.42

Rustは長時間動かすとメモリが断片化するから、サーバープログラミングに向いてない

**デフォルトの名無しさん** · 2024/12/03(火) 21:49:34.08

https://www.publickey1.jp/blog/22/cloudflarenginxrusthttppingoracdncpu31.html
CDN世界トップシェアのCloudflareは、同社のグローバルなCDNの基盤として長らく利用してきたC製のNGINXに代えて、
Rust製のHTTPプロキシサーバである「Pingora」を開発して利用していることを明らかにしました。

Pingoraはすでに同社のCDNに採用され、毎日1兆回以上のリクエストを処理し、性能向上や数多くの新機能の提供を実現しており、
従来のNGINXと比較してCPUとメモリリソースの消費はいずれも3分の1程度に収まっているとのこと。

**デフォルトの名無しさん** · 2024/12/03(火) 21:59:19.12

今時の標準アロケーターはよほどでかい領域を確保しない限りメモリの断片化は起きないようになってる。それでも問題ならカスタムアロケーター書くよ。

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

アマゾンのAWSもRust製
Webサーバサイドでリソース節約したいならRust一択

**デフォルトの名無しさん** · 2024/12/03(火) 22:47:57.47

>>10
現代的には使われていないメモリがあるほうが「無駄がある」と考える思想なので、メモリはあればあるだけ使う(キャッシュやプリロードなど投機的な処理で体感的な速度を上げる)設計になってる。
本当に足りなくなるまでは掴んだままのほうが良いと判断してやってる。
現代のニーズに合わせた意図的な設計としてやってるのでリークとは違う。
良いか悪いかは知らんがリークとは違う。

**デフォルトの名無しさん** · 2024/12/03(火) 23:07:54.92

Rustはいつメモリのコンパクションできるようになるの？

**デフォルトの名無しさん** · 2024/12/03(火) 23:30:37.95

いつも渋滞している道路は無駄がない道路か
まあ徒歩より遅いなら燃料いらないからな

**デフォルトの名無しさん** · 2024/12/03(火) 23:59:32.38

>>13
具体的で勉強になったわ

**デフォルトの名無しさん** · 2024/12/04(水) 00:52:46.84

>>26
メモリ足りなくなったから不要なメモリ掴んでたら解放してくれと
OSからのメッセージが出ても掴み続けてるアプリが結構あるので
メモリが潤沢にあるからといってリークは気にしなくてもいいなんていう心構えでプログラミングしたらダメだぞという話

難しい話じゃないと思うんだけど1回で伝わらないのは悲しい

**デフォルトの名無しさん** · 2024/12/04(水) 07:53:11.74

サーバでもアプリでもその他でも
プログラム起動中ずっと必要になるデータは
leak()して&'staticにしてしまっても構わない
これはメモリリークではない
一方ですぐ不要となるデータはleak()してはいけない
これはメモリ使用量が増えていってメモリリークになる
この違いをきちんと認識した上でleak()を活用しよう
ずっと必要になるデータを&'staticにできる大きなメリットがある

**デフォルトの名無しさん** · 2024/12/04(水) 11:14:58.27

FireFoxのメモリリークは本当に酷い
Rust使ってるっていうのは嘘だろ

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

>>32
そこはC++コード
FireFoxでRustを使っているのはHTML/CSSレンダリング部分
メモリ管理部分を含めてメインはC++で記述されている
ソースが公開されているので誰でも確認できる

**デフォルトの名無しさん** · 2024/12/04(水) 11:22:03.58

>>13
さすがにレベル低すぎだろ

**デフォルトの名無しさん** · 2024/12/04(水) 11:41:12.45

リークしてるんじゃなくて意図的に解放してないだけ

本当にやばくなったら解放されるようになってる

メモリ食いが嫌ならAuto Tab Discardアドオンを入れろ

**デフォルトの名無しさん** · 2024/12/04(水) 11:52:22.74

>>31
それを普及させて何がやりたいのか分からなかった
が「やりたいことと合致しない現実」を報道する自由を欲しているらしいと最近分かった

**デフォルトの名無しさん** · 2024/12/04(水) 11:55:25.36

もし仮に特定のアプリに問題があったとしても
それはC++やRustの言語の問題ではない
このスレで特定のアプリの問題の話を始める人は愚か

**デフォルトの名無しさん** · 2024/12/04(水) 11:58:57.37

>>33
何でいつまでたってもRustで書き直さないんだろな

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

>>30
主旨に反論したわけじゃない。 Firefox が例として不適当と言ってる。
Firefox は貪欲にメモリを使うが本当に足りなくなる手前で抑制的なモードに切り替わる。
Windows からメモリ不足のメッセージを出したときに Firefox がメモリを掴んだままなのは手放せるものは既に手放してるからだ。
メモリ不足になったときは本当にメモリ不足なんだよ。

**デフォルトの名無しさん** · 2024/12/04(水) 12:21:47.57

FirefoxもChromeもその他のブラウザもやっていないが
究極的にはアクティブウィンドウのアクティブタブ以外の全ての使用メモリを原理的には解放できる
どの方針を採るにしてもC++やRustといった使用言語の問題ではなくどの言語でも可能だ
明らかにスレ違いの話題だから他のスレでやってくれ

**デフォルトの名無しさん** · 2024/12/04(水) 13:53:37.60

tab閉じてもそのtabが使ってたメモリ解放しないんじゃリークだろ

**デフォルトの名無しさん** · 2024/12/04(水) 14:10:57.24

>>40
長く表示していないタブを一旦解放する仕組みが導入されたこともあるんだが思ったより問題が大きくて消極的になった。
コンテキストの管理とレンダラは不可分な部分もあるので再レンダリングに必要な情報を残しつつ他は解放するってのは手間がかかって割に合わないと考えられてる。

>>41
閉じた時じゃなくてアクティブタブじゃなくなったときの話を >>40 はしてるのにそれがわからないなら黙ってろ。

モダンなブラウザはプロセスを分離しまくっていてプロセス間通信で協調する仕組みになってる。
タブひとつ (または数個のグループ) に対応するプロセスがあって適当な条件でプロセスごと消えて作り直されたりするので仮にメモリ管理に多少の問題があっても全体の堅牢さは維持される。

**デフォルトの名無しさん** · 2024/12/04(水) 14:24:21.96

>>39
>Firefox がメモリを掴んだままなのは手放せるものは既に手放してるからだ。
これは嘘
単にお行儀が悪いだけ

>>40
>FirefoxもChromeもその他のブラウザもやっていないが
Safariは閉じたタブのメモリはもちろんのこと
長く非アクティブなタブのメモリは割と積極的に解放してる

**デフォルトの名無しさん** · 2024/12/04(水) 14:30:50.31

いずれにしても各アプリのレベルのメモリ管理の話であってプログラミング言語と関係がない
しかもFirefoxのメモリ管理部分はC++で記述されている
ここRustスレで無関係な話をいつまで続ける気だ

**デフォルトの名無しさん** · 2024/12/04(水) 14:35:33.45

>>39
>主旨に反論したわけじゃない
いやいや主旨を理解してないのに主旨に反論してるもしてないもあるかいな

**デフォルトの名無しさん** · 2024/12/04(水) 15:57:30.78

Firefoxで失敗してるRustw

**デフォルトの名無しさん** · 2024/12/04(水) 17:22:43.92

ふむ、広告ブロックを強化すればメモリ節約できるのでは

**デフォルトの名無しさん** · 2024/12/04(水) 20:44:10.29

循環参照が起きやすい場面の一つだし、これこそプログラミング言語の仕様と関係のある場面じゃないのかな

**デフォルトの名無しさん** · 2024/12/04(水) 20:50:21.75

>>48
C++が悪いということ？

**デフォルトの名無しさん** · 2024/12/04(水) 21:15:04.07

Webページ毎に別なので
アリーナ的管理により循環参照があろうと一気に解放するためリークが起きようがない

**デフォルトの名無しさん** · 2024/12/04(水) 22:53:20.36

メモリリークと脆弱性の混合物なら急を要するが完全に分離されたから意識低くなった

**デフォルトの名無しさん** · 2024/12/04(水) 23:26:00.62

>>48
悪いっていうより、自由が利きやすいんじゃない

**デフォルトの名無しさん** · 2024/12/05(木) 21:10:58.63

iterator traitのnextでiteratorの中のデータの参照を返すことがどうしてもできません
教えてください

**デフォルトの名無しさん** · 2024/12/05(木) 21:32:40.26

>>53
コードで出して。

**デフォルトの名無しさん** · 2024/12/05(木) 21:37:09.52

>>53
lending iteratorでググるといい

**デフォルトの名無しさん** · 2024/12/05(木) 23:37:21.58

// まず、データを保持する構造体を定義
struct DataHolder {
items: Vec<String>,
}

// イテレータ構造体を定義
// ライフタイムパラメータ 'a を使って、参照の寿命を明示
struct DataIterator<'a> {
data: &'a DataHolder, // データへの参照
index: usize, // 現在の位置
}

// DataHolderにイテレータを作成するメソッドを実装
impl DataHolder {
fn new() -> Self {
DataHolder {
items: vec![String::from("one"), String::from("two"), String::from("three")],
}
}

// イテレータを返すメソッド
fn iter(&self) -> DataIterator {
DataIterator {
data: self,
index: 0,
}
}
}

**デフォルトの名無しさん** · 2024/12/05(木) 23:38:23.20

// Iteratorトレイトの実装
impl<'a> Iterator for DataIterator<'a> {
// 返り値の型を&'a Stringと指定
type Item = &'a String;

fn next(&mut self) -> Option<Self::Item> {
if self.index < self.data.items.len() {
let item = &self.data.items[self.index];
self.index += 1;
Some(item)
} else {
None
}
}
}

// 使用例
fn main() {
let holder = DataHolder::new();

// イテレータを使用
for item in holder.iter() {
println!("{}", item);
}
}

やりたいことはこんな感じ？

**デフォルトの名無しさん** · 2024/12/06(金) 07:47:51.83

こんな感じです
struct It<'a>{
i: &'a mut i32
}

impl<'a> Iterator for It<'a>{
type Item= &'a i32;
fn next(&mut self)->Option<Self::Item>{
Some(self.i)
}
}

**デフォルトの名無しさん** · 2024/12/06(金) 10:39:26.47

mut いらん

**デフォルトの名無しさん** · 2024/12/06(金) 10:45:37.08

iter()が作りたいのか、iter_mut()が欲しいのかどっちかな？
あとこれだと無限に続くイテレータになるけど終了条件は？

**デフォルトの名無しさん** · 2024/12/06(金) 12:04:36.97

struct It<'a>{
i: &'a mut i32
}

impl<'a> Iterator for It<'a>{
type Item= &'a i32;
fn next(&mut self)->Option<Self::Item>{
self.i+=1;
Some(self.i)
}
}
こんな感じなのでmutはいります
本当はiter_mutが作りたいけれど難しそうなので
iterを作ろうとしたけれどどうしても出来ません
初心者です教えてください

**デフォルトの名無しさん** · 2024/12/06(金) 12:07:14.30

すいません*つけわすれました

**デフォルトの名無しさん** · 2024/12/06(金) 12:08:12.03

>>60
終了条件は２５です

**デフォルトの名無しさん** · 2024/12/06(金) 12:19:03.26

結局毎回同じ参照返すならイテレータじゃなくてよくね

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

自分の可変参照を返したいならGATでこうする
use lending_iterator::prelude::*;

fn main() {
let mut v: Vec<String> = ["a", "b", "c", "d", "e"].into_iter().map(str::to_string).collect();
my_iter_mut(&mut v)
.skip(1)
.take(3)
.for_each(|s| s.push('x'));
assert_eq!(v, ["a", "bx", "cx", "dx", "e"]);
}

fn my_iter_mut<'a, T>(slice: &'a mut [T]) -> MyIterMut<'a, T> {
MyIterMut { slice, index: 0 }
}
struct MyIterMut<'a, T> {
slice: &'a mut [T],
index: usize,
}

#[gat]
impl<'a, T> LendingIterator for MyIterMut<'a, T> {
type Item<'next> where Self : 'next = &'next mut T;
fn next(self: &'_ mut MyIterMut<'a, T>) -> Option<Item<'_, Self>> {
if self.index < self.slice.len() {
self.index += 1;
Some(&mut self.slice[self.index - 1])
} else {
None
}
}
}

**デフォルトの名無しさん** · 2024/12/06(金) 17:58:05.19

>>65
自己レス
即興で作って冗長な表記があったため
next()関数はこれで

fn next(&mut self) -> Option<Item<'_, Self>> {
(self.index < self.slice.len()).then(|| {
let nth = &mut self.slice[self.index];
self.index += 1;
nth
})
}

**デフォルトの名無しさん** · 2024/12/06(金) 18:45:17.16

>>61
next()で返された不変参照r1（&i32）が生きてる間に次のnext()が呼ばれたら
r1の参照先の値が変わることになるからこの形はIteratorだと実現できないな
同じ値に対する&Tと&mut Tが共存できないルールに引っかかる

next()の戻り値にIt自体のライフタイム（&'b mut selfの'b）を含めて
戻り値の参照が存在してる間は次のnext()を呼べない形にしないといけないけど
Iteratorはそういう制限を想定してない

**デフォルトの名無しさん** · 2024/12/07(土) 00:37:25.75

Vecなどを作れて逆順にもできるイテレータとは性質が異なる
異なるものを、どっちも同じだと頑なに主張し続ける必要はない気がする

**デフォルトの名無しさん** · 2024/12/07(土) 02:06:00.13

67は一般的なイテレータの概念じゃなくstd::iter::Iteratorの話
このtraitを実装すると例えばIterator::max()も自動的に使えるようになるけど
この実装はSelf::Itemの暫定の最大値を保持しながら次のnextを呼ぶ必要がある
前の値を解放しないと次のnextを使えない状態だと
std::iter::Iteratorが使用者側に保証してる条件を満たせないし
安全なコードの範囲でimpl Iteratorのコンパイルも通せない

自前のIteratorトレイトを用意してもいいけど
それだとstd::iter::Iteratorが要求される処理には使えなくなる

**デフォルトの名無しさん** · 2024/12/07(土) 08:46:15.51

>>68
Vecを作れるのも逆順も全て別の話
それぞれ別の要件を備えていないと一般的なイテレータではどちらも不可能
例えばイテレータ「1..」はVecを作れない＆逆順に呼ぶのも無理
std::iter::repeat(1)はVecを作れないがDoubleEndedIteratorを実装しているのでメソッドrev()が使えて逆順に呼べる！
自己可変参照を返す>>65のMyIterMutはスライス&mut [T]を内部に持っているため逆順呼び出しrev()メソッドの実装が可能

**デフォルトの名無しさん** · 2024/12/07(土) 09:01:24.50

>>69
そのmax()は自動的に全てのイテレータに使えるわけではない
Self::Itemがstd::cmp::Ordを実装している時のみ使える
前の値を保持したままにできるか否かの性質についてもmarker traitを用意することで同じ枠組みに組み込めた可能性がある
それを出来ていないのがstd::iter::Iteratorの欠陥なので他を併用するのがRustでは当たり前になっている

**デフォルトの名無しさん** · 2024/12/07(土) 09:28:12.85

イテレータの前の値を保持できるか否かのどちらが優れているかといえば
より効率的な機能を提供できる点で「前の値を保持できない」方が優れた機能を提供できる
例えばstd::io::BufReadのlines()を考えてみよう
毎回新たなStringを返してくるので前の値を保持できる仕様となっている
しかしlines()の利用で前の値なんて不要なことも多いからその観点からは無駄な仕様ともいえる
一方で「前の値を保持できない」性質にも対応出来ていたとしたら同じStringを使い回すことが出来て明らかに効率が良い
このような例は多数あり自己参照返しイテレータが別途必要とされて使われている理由である

**デフォルトの名無しさん** · 2024/12/07(土) 12:31:06.78

>>70
長さが有限でも実行時にメモリが足りなければVecもreverseもないけど
「実行時に」という要件は備えなくて良いというルールがあるんだよね？

**デフォルトの名無しさん** · 2024/12/07(土) 12:55:43.06

61（初心者）が実現できないimpl Iteratorで詰まってるんだから
できない理由を分かってもらうのが優先でしょ
イテレータの優劣とか代替案はその後でいい

**デフォルトの名無しさん** · 2024/12/07(土) 13:24:25.81

>>73
rev()メソッドのtrait DoubleEndedIteratorはゼロコスト抽象化
逆順に並べ替えることはしないのでそのためのメモリは必要ない
既にある任意の構造を後ろからたどる、あるいは、後ろから計算するだけ

**デフォルトの名無しさん** · 2024/12/07(土) 13:35:30.31

>>74
それならば別の条件が必要となるIterator::max()を事例に出すのはよろしくないかな
説明するためには単純にこれだけでいいよ
let first = iter.next();
let second = iter.next();
println!("{first:?} {second:?}");

**デフォルトの名無しさん** · 2024/12/07(土) 14:11:16.76

>>76
next２回呼ぶだけだとstd::iter::Iteratorと関係なくなるだろ
自分がそういう使い方をしなければ問題ないってなるだけ

maxはstd::iter::Iteratorの実装に求められる条件の分かりやすい例として挙げた
別の条件まで気にするならmax_byでもいいけどそれはそれで初心者には余計なノイズが増える

**デフォルトの名無しさん** · 2024/12/07(土) 14:52:07.98

コピーもcloneもできないデータの存在自体がノイズだね
本当はcloneできるんだけどゼロコストではできないとか言ってるのもノイズだ

**デフォルトの名無しさん** · 2024/12/07(土) 15:42:48.47

結局>>53は何がしたかったのか

**デフォルトの名無しさん** · 2024/12/07(土) 16:58:02.14

>>67
stdのIterator::nextの&mut selfのライフタイムはnextメソッドを抜けるところまで
(次のnextが呼ばれるまで生きてない)

つまりstdのIteratorでは&mut selfのライフタイムに依存するような参照を返すことはできないということ
そういう参照を返したいならlending iterator
逆に言えば&mut selfのライフタイムに依存しない参照であればstdのIteratorでも返せるということ

**デフォルトの名無しさん** · 2024/12/07(土) 17:27:34.95

>>77
max_byも同じ
Ord実装型そのものかOrd実装型に変換してOrd::cmp()できる時のみ利用できる
それらを持ち出さなくてもSelf::Itemの条件なくcollect()すなわち収納型へのFromIteratorが適用される
つまりfirst要素とsecond要素が同時に存在することになると矛盾の説明で十分となる
そのため自己参照を返すイテレータはstd::iter::Iteratorがカバーする範囲になく別途必要となる話をしてきた

**デフォルトの名無しさん** · 2024/12/07(土) 17:32:25.17

>>78
イテレータが返すのはデータ値自体とは限らず参照も返す
特に今回の質問者が返したい可変参照は明確に!Cloneが定義されていてもちろん!Copyでもある
それでも可変参照をイテレータが返すことができてVecへ収容することも可能なのはCloneもコピーも行われないためだ
さらにそれらと全く独立した話としてイテレータ自体への参照/可変参照を返す場合はstd::iter::Iteratorで扱えないためLendingIteratorを使うという話が本題

**デフォルトの名無しさん** · 2024/12/07(土) 18:53:41.33

そんなに移動がしたいならこれでいい

first = into_next(iter); // iterはもう値を所有しない
second = into_next(first) // firstはもう値を所有しない

**デフォルトの名無しさん** · 2024/12/07(土) 19:21:07.13

>>83
それによって新たにできるようになることや新たに生じるメリットは何？

**デフォルトの名無しさん** · 2024/12/07(土) 21:52:51.51

C++でもRustでも変わらないメリットはcloneとdropをしなくてすむことだが

そういえば、Rust固有のメリットは'aが出てこないことと
'staticも出てこないことだな

**デフォルトの名無しさん** · 2024/12/08(日) 15:04:28.36

全然話変わるんだけどPinky Crush新曲のlowercase lifetimeってRust関係あるのかな

**デフォルトの名無しさん** · 2024/12/08(日) 22:46:56.54

>>61
mutでないiterも出来なくて困ってるとのことなので
スライスのiter()と同じものがLendingIteratorを使わずに書けるよ

struct MyIter<'a, T>(&'a [T]);

fn my_iter<'a, T>(slice: &'a [T]) -> MyIter<'a, T> {
MyIter(slice)
}

impl<'a, T> std::iter::Iterator for MyIter<'a, T> {
type Item = &'a T;
fn next(&mut self) -> Option<Self::Item> {
if let [first, rest @ ..] = self.0 {
self.0 = rest;
Some(first)
} else {
None
}
}
}

fn main() {
let a = ["foo", "bar"];
let mut iter = my_iter(&a);
assert_eq!(iter.next(), Some(&"foo"));
assert_eq!(iter.next(), Some(&"bar"));
assert_eq!(iter.next(), None);
}

**デフォルトの名無しさん** · 2024/12/09(月) 08:04:13.18

組み込みFW屋さんなんだけどRustやってみようかな…
組み込み屋視点でRustはC++の何を解決してると思う？
組み込み屋なんて古いシステムばかりだからすぐに取って代わることは無いとは思うけど
年々複雑な製品を求められるから選択肢としては持っておきたい

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

zulip行けば？
ここにはカスしかおらん

**デフォルトの名無しさん** · 2024/12/09(月) 09:29:03.77

>>88
ダングリング参照を発見出来るだけ……とは言えそれが重要ではあるのだけど。
C++ は結局は人が気を付けなきゃならないことだらけで、複雑になると手におえない。
知ってることでも複雑に絡み合った状況では間違う。
C++ よりは機械的に検証可能な範囲を広げてるだけでもありがたいものだよ。

**デフォルトの名無しさん** · 2024/12/09(月) 09:59:55.51

>>90
え？マジ？
俄然興味湧いてきた
さっさと定時で帰って環境整えるか

**デフォルトの名無しさん** · 2024/12/09(月) 10:35:05.93

ビット幅気にするようなケースだと
数値型の暗黙の型変換がないとか演算時のオーバーフローの扱いを明示的に書けるとかが結構ありがたい