プログラミング言語 Rust 4【ﾜｯﾁｮｲ】

2017/12/24(日) 18:27:01.98

Mozilla発のプログラミング言語「Rust」のスレです

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

■ワッチョイ
スレ建て時、一行目に
!extend:on:vvvvv:1000:512
を入れること

■派生元スレ
プログラミング言語 Rust 4
https://mevius.5ch.net/test/read.cgi/tech/1507970294/

VIPQ2_EXTDAT: default:vvvvv:1000:512:----: EXT was configured

2018/03/19(月) 13:44:00.51

>>93
仮引数mのライフタイムはクロージャ内なのは変わらないよ。>>92は仮引数を参照じゃなく消費してるから通る（>>92の&mじゃなくてmで良い）
クロージャが実行されないから、ではなく、mochiの値が消費されてるのにその参照を持たせようとしてるから駄目
試しに>>91のコードでmochi.map(|m| { 0 })とか書いて、mochiをprintln!に渡してみようとすると怒られるよ。もう使ってるって。

そこらへんの細かいルールを覚えるの大変だし、コンパイラもまだ分かりやすいエラーメッセージ吐いてくれないから、
・参照を使うときは、参照元をちゃんと生かしておくこと
・参照を使った構造体は、元の値を修飾（見方を変える、新しい機能を持たせる等）するようなパターンに限定すること
を守るようにした方がいいよ

2018/03/19(月) 21:04:17.46

>>94
「消費したものの参照を持たせるのは駄目」と「消費しているから通る」はそれぞれはわかる気がするのですが、両方となると…
前者の「消費したもの」と後者(main関数中生き続けるMochiのベクトル)は別物だと思うのですが、
前者で駄目な理由は関数中生き続けるMochiがない(mapを呼び出しただけでは駄目)ということですか？

2018/03/19(月) 23:26:36.74

「消費されるので通る」じゃ言葉足らずでした。「参照じゃなくmoveして延命している」の方が通じるかも

>>91のコードを整理すると
1. HitoはMochiの参照を持ってるから、Hitoが有効なスコープ中はMochiも有効じゃないといけない
2. mochiはinto_iterで作られてるからMochi型を吐き出す、けど所有はしない
3. なのにmochizukiはmochi.map()で各要素への参照しか持たない
4. mochiから吐き出されたMochiの受け皿が無いんでエラーになる

これを解決するには
1を変えてHitoがMochiを所有するようにデータ構造を変える
2で作られたMochi型の値をしっかり保持する変数を用意する
の2種類くらいしか思いつかん。
Does Not Live Longエラーはライフタイムがどうのこうのと小手先で弄るより、
値の所有者を明快にしたり、データ構造を見直してみると案外素直に直せるのが経験則。

2018/03/20(火) 13:21:28.84

>>96
loop{
let (a, cond): (&str, bool) = get_too_many_str();
let m = Mochi{aji: a};
let h = Hito {m : &m};
if(cond){ break; }
}
// ここでhのvecが欲しい

この場合は、ムーブする(ループより長いライフライムの)変数がないので1の手法しかないということになりますか？
そこそこでかい文字列を扱っているので気を使っていたのですが、この場合Stringにすべきでしょうか

2018/03/20(火) 14:30:32.82

大きい文字列を扱うから参照にしたいってのは普通にあるし分かるけど
Hitoが&MochiでなくMochiをメンバに持つようになっても文字列のコピーは行われないよ

自分なら>>97のget_too_many_str()が返す&strの元を誰が保持するのかをまず気にする
そこをしっかり把握してれば文字列のコピーは最低限になるはずだから

2018/03/20(火) 16:38:27.06

>>97
んー、自分なら　そこだけに使うMochiCow型作ってでも
ajiの型をCowにして凌ぐかな

2018/03/21(水) 11:43:51.64

&strの元もloop内の変数が持っています
hのvecを作るにはコピーは避けられないようですね…
&strからStringに変えたところhvec.push(h)してもエラーにはなりませんでしたが、
スコープを抜けたはずの変数が使える理由ってどこかに書いていますか？

2018/03/21(水) 14:53:30.44

そりゃloop内の変数hから、loop外のhvecに所有権が移動したから

頭の中に入れておける物なんて極わずかだし、場当たり的にdoes not live longエラーに対処するのは大変なので、
・値の所有者はどの変数であるべきか
・データ構造はどうあるべきか
という観点だけ念頭にいれて、「性能を稼ぐために参照を使おう」って考えを一旦外すとスッキリするよ

2018/04/15(日) 17:27:59.27

こっちが本スレと聞いて

2018/04/15(日) 21:42:18.86

しかしここには俺はいない

2018/04/15(日) 21:42:37.31

まちがえた
俺しかいない

2018/04/15(日) 22:10:33.68

俺もいるぞ

2018/04/15(日) 22:44:53.22

てｓｔ

2018/04/16(月) 07:13:50.32

まともな話題はslackいっちゃうのかな。

匿名で喋りたいのはアンチ向きか

2018/05/08(火) 02:44:07.65

別にアンチって訳じゃないけど、コンパイルが遅すぎる（特に最適化掛けた場合に）のはどうかと思う。
実行が速くてもその生成に時間が掛かれば無意味でしょう……。

2018/05/08(火) 05:31:20.68

>>108
Rustで組んだ新Firefoxの動作が２倍ほど速くなったのは無意味？

2018/05/08(火) 07:00:09.03

逆なら理解できるけど

2018/05/08(火) 08:36:06.07

まあコンパイルは遅いわな。
ていうかcargoの仕組みが問題なだけか？

2018/05/08(火) 20:14:50.84

rustcで単一ファイルだけコンパイルすると結構速いなと思った
cargoって警告無視のオプション(-Awarning)の有無でも一からビルドしようとしたりちょくちょくお粗末

2018/05/10(木) 20:35:06.28

なんかRustってテスト用と製品用で別々の最適化を施せるんじゃなかったっけ。
俺は自分の為だけにRustを使ってるのであまり気にしたことがないが。

2018/05/12(土) 12:11:46.40

https://blog.rust-lang.org/2018/05/10/Rust-1.26.html

impl Trait来たから
久しぶりにさわってみるかな

**デフォルトの名無しさん** (JP 0Ha1-pXmg) · 2018/05/23(水) 12:09:39.17

ほとんどc++に見えるの俺だけ？

2018/05/23(水) 12:29:18.87

みんな言ってる

2018/05/23(水) 23:15:50.94

確実にどんな人でも可能なネットで稼げる情報とか
念のためにのせておきます
グーグルで検索するといいかも『ネットで稼ぐ方法　モニアレフヌノ』

C717P

**デフォルトの名無しさん** (JP 0Hcd-6rHD) · 2018/05/28(月) 09:59:15.77

rustを始めたんだけど
分かりそうで分からなくて
イライラする

なんだこの言語

2018/05/28(月) 11:01:04.58

他の言語の経験にもよるけど　3000行ほど書けば慣れるよ（適当

**デフォルトの名無しさん** (JP 0Hcd-6rHD) · 2018/05/28(月) 11:14:23.86

actix_webでちょちょいとwebサービス作ろうと思っただけなんだが

externとuseみたいに、なんで同じようなものが２つ有るのとか

trait？、インプリすればいいだけならなんでこんな名前なんだとか

2018/05/28(月) 11:44:10.53

察するにJava経験者かね

externは外部ライブラリのモジュールを参照する宣言
modは自身のフォルダ以下のモジュールを参照する宣言
useはモジュールの要素（Struct or Trait）を取り込む宣言

pub use self::MyStruct; // 要素をexportしたり
use std::io::Error as IOError; // as で別名つけたり
use super::Result; // 上位の型を取り込んだり(mod.rs以外からだと同一フォルダのmod.rsを見にいくので注意)

肝はselfとsuperを使いこなすことかと
このあたりリファレンスに書いてあるんで落ち着いて読んでもらえばいいけど

インプリについては、Trait = Interface(Java)の理解でそれほど差し支えない気もするけど
（定数は同じ階層のmoduleに移す）
AssosiatedTypeがあるように"Traitはコンパイル時に解決できる"ものってのを
意識してればその内に腑に落ちるんじゃないかな

ただこんなこと言うと
「RustのTraitは厳密なtraitじゃない論争」（Wikipedia参照）が始まっちゃうかもしれないので
ゆるく受け流してほしいところ

2018/05/28(月) 12:36:48.84

extern/use周りをrefineする話ってどうなった？

2018/05/28(月) 13:07:18.00

>>122
一応2018の予定には入ってるけどまだ作業中じゃない？
https://rust-lang-nursery.github.io/edition-guide/2018/transitioning/modules/path-clarity.html

**デフォルトの名無しさん** (JP 0Hcd-6rHD) · 2018/05/28(月) 14:35:19.27

チュートリアルの和訳のところを読んでいるけど
誰が訳したんだろう。。。

2018/05/28(月) 15:45:35.01

extern crateは、includeとかload libraryぐらいの意味だと思えばいいと思うが、
「え、それ、Cargo.tomlにもう書いたやん」って思うのは当然の感覚だな

**デフォルトの名無しさん** (JP 0Hcd-6rHD) · 2018/05/28(月) 15:47:39.28

しばらくしたら言語仕様変わりそうだなあこれ
勉強していくべきなのかどうか迷う

2018/05/28(月) 16:38:01.86

仕様の改定はc++のようにコンパイラのリリースとは別に２〜３年毎に定めることになってる
将来のコンパイラでも古い仕様を選択して使えるはず

2018/05/28(月) 17:33:13.35

どんな言語でも利用者多ければライブラリーのトレンド変わっていって学び直しはあるし
言語仕様の変更だけ特別視する理由が分からん

2018/05/28(月) 18:01:33.70

ver1.0になったし、firefoxに200kstepのソースがあるから始めるなら今でしょ

2018/05/28(月) 21:33:55.19

ruby1.8から1.9とか
python2から3の変更とか
嫌じゃん

言語もライブラリも混在してぐちゃぐちゃ

◆QZaw55cn4c (ﾜｯﾁｮｲ d360-Ockd) · 2018/05/28(月) 22:15:42.81

>>124
和訳は最新に追いついていないと思います、公式英文を確認したほうがいい

2018/05/28(月) 23:47:10.84

Rustの場合仕様変更の影響を受ける記述はコンパイラがwarning（とsuggestion）出してくれるみたいだし
むしろライブラリのアップデートより楽なんじゃないかな

2018/05/29(火) 08:16:58.71

やりたいことをするのに1日使って50%しかできなかった

自分には無理だこの言語

2018/05/29(火) 08:53:39.83

50%できればすごいって

2018/06/01(金) 07:30:04.93

1.26の新機能自分のcrateにもう入れた？

2018/06/01(金) 19:39:19.80

土台？

2018/06/11(月) 19:45:35.17

ここにまともなRustユーザいないのは年寄りしかいないからなのかなぁ

2018/06/12(火) 00:28:40.74

slackかtwitterでコミュニケーションとれるので5chへ書き込みたい事情があまりない

◆QZaw55cn4c (ﾜｯﾁｮｲ d360-EqDK) · 2018/06/12(火) 00:34:57.69

>>138
おすすめのハッシュタグはなんでしょうか？

2018/06/12(火) 08:25:35.49

そう言われてみると確かにない。

2018/06/12(火) 09:41:15.21

もっとメジャーになってslackが荒れて来たらここもワンちゃん

2018/06/12(火) 12:05:43.89

ハッシュタグというより界隈の人間フォローしてる

2018/06/12(火) 19:39:13.56

slackで発言できないアンチにしか存在価値がないのかぁ

2018/06/12(火) 21:30:56.05

slackのどこで喋ってるの？さ

2018/06/13(水) 07:40:50.77

アンチに限らず匿名文化は一定数必要でしょう。

2018/06/13(水) 13:01:46.22

つまり変な人でもスレに繰るなら、山の賑わい人気の証ってことね

2018/06/23(土) 20:45:08.63

Vec内のアイテムを複数条件やand or等をユーザに指定させてフィルタリングをしたいのですが
無理にでもSQL使うべきでしょうか

2018/06/23(土) 21:11:19.63

ユーザってのはどういうレイヤの話をしてるの？もう少し具体的に書かないと意味不明

2018/06/24(日) 23:27:10.18

values.iter().filter(hoge).filter(fuga).filter(piyo)
フィルターを何度がけすると型がやばそう

2018/06/25(月) 00:28:41.79

強引にやるのはやばい感じだね

https://ideone.com/3oy3FW

2018/06/25(月) 07:08:50.50

調べてみるとfiltersというクレートがありました

2018/06/28(木) 08:09:41.33

New Photon Release of Eclipse IDE Ships With Full Rust Support
https://www.eclipse.org/org/press-release/20180627_new-photon-release-of-eclipse-ide-ships-with-full-rust-support.php

2018/07/01(日) 02:21:52.91

いやじゃ、いやじゃ、Eclipseなんぞ使いとうない

2018/07/01(日) 03:02:12.97

みんなどんな環境で書いてるの？今はvscode使ってるんだけどrlsがあまりに不安定すぎてストレスが…

2018/07/01(日) 06:22:17.39

vscodeだよ
racerも不安定だったような

2018/07/01(日) 09:29:47.37

emacs + flycheck
racerは重すぎるんでOFFにしてる

2018/07/01(日) 15:40:20.37

秀丸

2018/07/01(日) 18:12:28.40

禿丸ってなに？

2018/07/01(日) 19:19:06.36

こっちまでネタスレかよ

2018/07/03(火) 18:54:31.94

https://i.imgur.com/VVJNac4.jpg

2018/07/04(水) 21:50:46.22

5PW

2018/07/05(木) 00:59:18.40

おーい、hgmr

**デフォルトの名無しさん** (ｱﾒ MM5b-Ip0i) · 2018/07/28(土) 09:13:36.59

hnmr王子～♪

2018/07/29(日) 02:13:01.57

まさか繋いでくれる人がいるとは思わなかった

2018/07/31(火) 16:45:34.48

花村てなんや
オーバーウォッチか

**デフォルトの名無しさん** (ｱﾒ MM67-tZ6u) · 2018/08/05(日) 20:37:41.10

王子に対し無礼であろう！
https://www.nhk.or.jp/archives/sp/search/special/detail/?d=youth007

2020/11/25(水) 00:47:44.38

るすと

2022/05/03(火) 15:19:34.90

Rの発音が難しい

2022/08/07(日) 14:18:50.38

うんこすレッド

2022/11/13(日) 22:46:23.74

日本語の発音ってかイントネーションはみんなどっち？
ラスト(ミファファ=スタバ)
ラスト(ミドド=ベスト(着る方))

2022/11/16(水) 18:15:29.98

１オクターブ上のドでミドド

2022/12/18(日) 17:46:12.72

本スレ最近ひどいね
age

2023/01/09(月) 20:41:28.12

Rustの型って何を言ってるのか良う分からないくらい一気に複雑になるんだけど、改善の兆しってある？
filter(|x| ...).map.(|x| ...)ってやると戻り値がMap<Filter<...>>みたいに、情報量がほぼ増えないのに型の表記だけが増えてくのが見づらくてしゃあないんだが

「ここを関数に切り出しておきたい」ってのも難しくね？
impl Traitあるだろって言われるけど、自分ひとりでできた試しが無い

2023/01/09(月) 22:31:09.52

>>173
.filter(|x| ...).map.(|x| …)とやったら
ざっくり言うと戻り値はIterator<Item=T>でowned, shared reference, mutable referenceの3種類
Map<Filter<...>>とかの詳細な型を知りたいと思うことは基本ないからそこまで困らない
デコレータとかコンポジション的なものとして理解しとけばいいと思う

関数に切り出すのはGC言語と比べると難しい
どの値の所有権をどの呼び出しレイヤーで保持すべきかを整理しながらリファクタリングする必要がある
ただある程度パターンがあるからそれが理解できるとそこまで難しくはない

2023/01/11(水) 20:45:10.66

>>174
標準ライブラリでiteratorのメソッドならそうなんだろうな、って他言語でも溜め込んだ知識で何とかなるけどさ、
例えばwarpっていうWebフレームワークはリクエストの解決にfilterを使ってるんだけど、
https://docs.rs/warp/latest/warp/filters/index.html
↑ここからたどって、例えばリクエストのパスにマッチするフィルタを作成するwarp::filters::pathってのがあるんだけど、
こいつの戻り値が独自型のExactってやつなのね

warp作ってる人はここに様々な条件を追加できるようにしているんだけど、pathの戻り値にどう組み合わせられるかってのをどう探せるんだろっていつもなってる
他のcrateも、単機能で目的果たせるライブラリならまだいいけど、高階関数で機能組み合わせてねってやつはrustdoc見ても意味が分からなくなってる

2023/01/11(水) 23:31:54.91

>>175
ExactがFilterだと分かれば別のFilterを組み合わせられることはわかるでしょ？

warpのFilterシステムを理解させるための解説ドキュメントが不足してるのと
他で類似の仕組みをあまり経験したことがないのが理由なんじゃないのかな？

型が入れ子の形でチェインされてる状態に慣れてないから
それがわかりにくさの原因のように感じるかもしれないけど
JavaやgoのReader/Writerみたいにデコレータ的に型を重ねていくのはそんな特殊なことじゃないよ

2023/01/12(木) 07:36:35.15

iterator系の処理はどんな言語でもやりすぎると意味不明なんでいい単位で説明変数や関数に切り出すのは大事だよ。

2023/01/12(木) 10:57:06.97

関数単位で切り出す場合はimpl TraitやBox<dyn Trait>使った方が良いと思う
実装の詳細が型として露出してしまうのはよろしくないし
何より長い型を書き下すのはめんどくさい

2023/01/13(金) 00:49:21.00

>>176 いやExactがFilterかどうかが分からないんだ。自信が無い
https://docs.rs/warp/latest/warp/filters/path/struct.Exact.html
https://docs.rs/warp/latest/warp/trait.Filter.html
↑2つを見ても、ExactがFilterをimplしているとは書いてないんだ
知ってたらマジで教えてほしいんだが、どこ見ればいいの？

>>178 そう思うのは人情だが、じゃあどういう型の関数にすればいいのかって話
ググらずに分かる？俺は分からなかった

2023/01/13(金) 01:52:07.98

>>179
非公開の（だけど実装が漏れている）FilterBaseトレイトを介してFilterを実装してるんだね……
FilterBaseが公開されていればExactのblanket implementationsに出てくるはず

同じことは指摘されているが放置されている模様
https://github.com/seanmonstar/warp/issues/742

2023/01/13(金) 20:16:02.99

もしかして特段に分かりづらい構造だったのかWarp

2023/01/13(金) 21:03:44.68

Sealed TraitっていうユーザーにTraitを実装させないための一般的なパターンなんだけど
privateなTraitはドキュメントには現れないのでExactがFilterBaseを実装してることを確かめたければソースを見るしかない

でも関数や構造体の説明にFilterだよって書いてるんだからまずはそこからじゃないか？
path()「Create an exact match path segment Filter.」
Exact「A Filter matching an exact path segment.」

2023/01/14(土) 03:14:01.24

いや型の説明がコメントにしか無いかったら疑うのが基本じゃないか…？
説明にある通りの使い方はできるけど、何故そう使えるのか分からない、となった上での話
前にもちらっと書いたところもそうなんだけど、impl Filterを返す関数のシグネチャも独力だと分からなかったんだよ。もっと情報の少ないクレートでやる必要が出てきたら詰んじゃう