プログラミング言語 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/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を返す関数のシグネチャも独力だと分からなかったんだよ。もっと情報の少ないクレートでやる必要が出てきたら詰んじゃう

2023/01/19(木) 13:09:59.92

[T]と[T; N]があるように
strに対するSizedなstr<N>とかできんかね

2023/01/29(日) 03:46:54.24

ttps://doc.rust-lang.org/beta/unstable-book/language-features/yeet-expr.html

名前の元ネタがよくわからん

2023/01/29(日) 04:28:40.21

>>185
trY Early-ExiT で yeet じゃない？
experimental だからわざとクソ命名してそう。

2023/01/29(日) 08:29:44.05

意味合いとしては
> Yeet is a slang phrase meaning to throw with force
とのことらしい
https://internals.rust-lang.org/t/syntax-for-returning-early-with-an-error/14181
https://www.urbandictionary.com/define.php?term=Yeet

yeetの初出はここらしい
https://mobile.twitter.com/josh_triplett/status/1248658754976927750
命名に関するbikeshedを避けつつ機能を実験するために導入するみたいね
https://twitter.com/5chan_nel (5ch newer account)

2023/02/04(土) 16:11:28.39

Servoプロジェクトが再始動
https://servo.org/blog/2023/01/16/servo-2023/
https://servo.org/blog/2023/02/03/servo-2023-roadmap/

2023/02/26(日) 21:57:18.73

新スレとして再利用と聞いてage

2023/03/02(木) 01:57:12.70

ProviderとDemandってCOMのQueryInterface的な使い方もできるのかな

2023/03/07(火) 03:24:09.91

Bevy 0.10 is out now!
https://bevyengine.org/news/bevy-0-10/

2023/03/10(金) 03:58:23.25

Announcing Rust 1.68.0
https://blog.rust-lang.org/2023/03/09/Rust-1.68.0.html

今回は小粒？

2023/03/10(金) 11:19:42.21

cargoのsparse protocolは嬉しい

2023/03/15(水) 08:26:46.78

Default alloc error handlerはLinus指摘の取り込みかな。

2023/03/15(水) 10:58:18.74

Linusの話は、メモリアロケーション失敗時にpanicするなという話だと思うけど、今回の変更とは全く関係ない

今回の変更でalloc crateがalloc_error_handlerのデフォルト実装を提供するようになった
新たに提供されたalloc_error_handlerはpanicする実装になっているので、メモリアロケーション失敗時にpanicになることは変わらない
単に、利用者がalloc_error_handlerを独自に実装する必要がなくなったというだけ

Linusの指摘に対しては、Box::try_newなどのアロケーション失敗を呼び出し元に通知するAPIを用意することで対応している

2023/03/15(水) 12:35:43.18

>>195
サンクス。
Linusは「単にエラーを返せ」と言っていたから、error handlerじゃ確かに駄目だね。

2023/03/15(水) 13:35:50.81

Rust製の高速なwebpack互換バンドラ「Rspack」登場。現時点で5倍から10倍の性能向上
https://www.publickey1.jp/blog/23/rustwebpackrspack510.html

> Rust製の高速なバンドラとしては、webpackの主要な開発者がNext.jsに入社してwebpackの後継として開発している「Turbopack」もあります。
> 現時点ではまだwebpackが抜きん出た人気を得ていますが、現時点で主要な開発者が抜けてしまったwebpack後継の座を狙った競争が始まったといえそうです。

2023/03/26(日) 17:12:36.73

>>197
ちょっとスレチ気味だけれど
Turbopack(新調で700倍高速) vs Rspack(互換性維持で5～10倍高速)
webpackからの乗り換えはしばらく様子見

2023/03/27(月) 08:53:03.64

一度普及したソフトの作者自身が後継プロジェクトを立ち上げてもなぜかうまくいかない法則

2023/03/27(月) 09:40:06.58

Rust遅くね？

2023/03/27(月) 10:40:29.19

速度遅くてもウケたプロダクトの動作速度上げたところで
現行をリプレイスする理由にならないからな
それにRustがいかに速かろうと今の時代ネックはIOである可能性が高いし

2023/03/27(月) 12:01:17.21

>>200
詳しく見ていないけど、ロジックにボトルネックがあるのかもね。

2023/03/27(月) 16:02:39.08

10倍のオーダーで速度差出るなら性能がリプレース理由になる場合も増えると思うよ
数分かかる処理が数秒で終わると快適さが全然違うだろうし

2023/03/27(月) 16:27:48.16

>>201
どうせ IO がネックだからってのは昔から言われてることだけど
クラウドサービスを前提にすると事情が違うと聞いたことがある。

レスポンスタイムにあまり差が無かったとしても課金は演算量 (CPU の使用量) に対して
だからなるべく効率的に実行できる言語を使ったほうが安く上がるんだとさ。

2023/03/27(月) 23:41:07.73

Ruby on Rails 6 では、webpack が標準だったけど、
Rails 7 では、Import Maps で、CDN から直接インポートするように変わった。
脱webpack/node.js

ES2015 に対応していないブラウザ用に、バンドルする方法もある。
バンドラーは、esbuild, rollup, webpackの3つ

2023/04/17(月) 10:02:11.42

ドキュメントコメントを reStructuredText で書きたい

2023/04/24(月) 12:17:06.73

let-else の else ブロックの中だけ rustfmt 効かなくて設定間違えたかと思ったら
フツーに未対応だった
https://github.com/rust-lang/rustfmt/issues/4914

2023/04/24(月) 18:39:33.31

let-elseは鬼っ子だから
改行位置決めるのも大変

2023/04/24(月) 18:43:14.72

横から済みませんがが、
Rust で Vec に要素を追加した場合にメモリー不足になったかどうかを検出
するのはどうしたらよいんでしたっけ？

2023/04/24(月) 18:47:43.95

try_reserve

2023/04/24(月) 18:53:28.63

>>210
それは予め領域を確保しておく関数で、確保できなかった場合には、
Result<(), TryReserveError>
という戻り値を返す関数と言うことですか？
そして、関数呼び出しの直後に ? を書くと、エラー発生時にそこで
アプリをダウンさせると言うことですか？

2023/04/24(月) 19:00:53.57

>>211
事故レスですが、? 演算子は、x ? と書くと、x の値が Err(y) だったら、
return Err(From::from(y)),
というような動作をする関数のようですね。

2023/04/24(月) 19:01:30.05

いろいろ違う
落としたいならpanicさせとけばいい

2023/04/25(火) 00:44:30.70

メモリ不足を検出した場合に何をしたいかで適切な対応は変わってくるけど、何をしたいの？

2023/04/25(火) 01:46:37.95

>>214
メモリー不足の時にメモリー不足である旨のエラーメッセージを出して、
なんらかの自作の処理コードを動かしたいです。

2023/04/25(火) 01:47:29.28

>>215
なお、Vecに追加する動作を行なった関数の中で処理をしたいです。

2023/04/25(火) 07:31:37.92

重要:
メモリ不足だからと言ってmallocが失敗するとは限らない

2023/04/25(火) 09:38:35.21

今の Linux カーネルだとアプリケーションからオーバーコミットを無効にすることは出来るようになってるぞ。

2023/04/25(火) 10:43:39.39

try_reserveの戻り値がErrだったら処理を実行するだけだよ
この説明で分からないならenumやResult型について勉強した方が良いよ

あとtry_reserveの失敗要因はメモリ不足だけじゃないけど、エラー種別はnightlyじゃないと取得できないみたいね

2023/04/29(土) 19:47:07.81

RefMut <-> Ref にも Rc <-> Weak みたいな相互変換メソッドがあればいいのに

2023/04/30(日) 04:06:33.86

>>220
RefCell自体を取り回して必要なところで都度RefやRefMutを作れば良いのでは

2023/04/30(日) 11:51:12.53

>>221
実際今はそれでやってて、別に問題になるほどじゃないんが、ちょっと無駄だよなあと
Ref/RefMutってあんまりあちこち取り回す用にできてないよね

2023/04/30(日) 13:58:26.96

>>222
RefやRefMutはMutexのGuardみたいなもんなんだから取り回す範囲は極力狭くするべきなんじゃね

2023/05/03(水) 20:42:40.07

Rustにもこんなのあるんか……ええな
https://zenn.dev/kk/articles/20230213_creusot_intro

2023/05/19(金) 17:46:12.04

Rust for Linux updates! More pin-init and refactoring! - YouTube
https://www.youtube.com/watch?v=jAanHvcuYtA

2023/06/02(金) 02:43:27.18

The RustConf Keynote Fiasco, explained
https://fasterthanli.me/articles/the-rustconf-keynote-fiasco-explained

一連の事件は結局不幸な伝言ゲームの結果だったということだろうか

2023/06/04(日) 13:53:56.01

以前からCodeLLDBでたまに値がちゃんと表示されないことがあるなーと思ってたら再帰型が原因だったんですね
今ほとんど再帰でできてる部分触ってるせいで困ってる……
dbg!書けばいいだけではあるんだけど泥臭くて嫌だわね
https://github.com/vadimcn/codelldb/issues/605

2023/07/29(土) 22:43:04.08

いつのまにかrust-specがマージされてる。まだ作業終わってないけど。
ttps://github.com/rust-lang/rfcs/pull/3355
ttps://github.com/rust-lang/rust/issues/113527
rustにもようやく仕様が。

2023/07/30(日) 17:17:19.50

これから編集者雇うみたいだからまだまだ時間は掛かりそうだけど、前進だね

2023/08/10(木) 03:13:56.19

Hugging FaceがPyTorch的なRust製フレームワークを作り始めたらしい
https://github.com/huggingface/candle

2023/08/16(水) 18:13:46.91

>> https://mevius.5ch.net/test/read.cgi/tech/1692105879/16

rustupを使わないクロスコンパイル環境の構築方法あるらしいよ
https://users.rust-lang.org/t/how-to-add-cross-compile-target-for-offline-system-without-rustup/80811/4

大人しくrustup使っておけよとしか思わんが一応……

2023/08/16(水) 19:50:14.01

githubにrustupのソースコードあるから読めばいいよ。

2023/08/16(水) 23:13:21.01

>>231
サンキュ。試してみます

2023/08/22(火) 03:24:00.61

おおきに、感謝やで！

2023/08/30(水) 12:04:57.70

Debugを上位トレイトに持たないトレイトのオブジェクトをなんとかしてdbg!する方法は無いもんじゃろか

2023/08/30(水) 15:40:36.29

ない。基本的なトレイトを実装してないのはバグ。

2023/08/30(水) 20:29:40.52

参照をポインタにしてアドレスを表示してみるとか

2023/08/30(水) 20:30:28.57

構造体フィールドの中身を知りたいという事ならAnyを継承させてダウンキャストするかDebugを継承したtraitにするしかないね

2023/09/12(火) 06:34:45.51

アノ店、今日は休みやねんな

2023/09/21(木) 01:15:23.63

intellij rustからRustRoverギリギリ燃えてないな。プラグインもIDEAもバグが増えたのが懸念とか言われてるけど。

2023/09/21(木) 23:43:40.50

RustのコンパイルターゲットはTierで分けられているけど
x86_64-pc-windows-msvc　←Tier1
x86_64-unknown-none　←Tier2
この違いって何？
Tier1の条件を見るとすべてのテストに合格すること的な事が書いてあるしプラットフォームが不明の状態でそれは不可能はなず
組み込み向けなどの低レイヤー用途を想定したターゲットにTier1のものはなくすべてTier2以下になっている
もしこれが理由なら自分が書いたコードはTier1と同レベルに翻訳される(実行できなかったり実行結果が不正なコードは生成されない)事が
期待できるけどそう考えて問題ないのだろうか

2023/09/22(金) 01:00:34.44

>>241
x86_64なら現実的にはほぼ動くとは思う
ただ、あくまでもrust側ではコンパイルが通ることしか確認してなくて、生成されたコードが正しく動作するかは未確認の状態
利用者側が動作確認をきちんとやる必要があるよ

2023/09/22(金) 02:06:03.04

>>242
例えばベアメタル開発用などでOSとインターフェイスしないコードのみほしい場合
x86_64-pc-windows-msvc(x86_64-unknown-linux-gnuとかでも可)でスタティックリンクのライブラリとしてビルドしてカスタムリンク
x86_64-unknown-noneでビルド
の二択だと出力物の信頼性はどちらの方が高いのだろうか。どちらも適切なローダーを用意すれば動作するはず
特に低レイヤーの開発で翻訳不良があるとトラブルシュートが沼りやすいし、前者の方が有利なら
ゴミが付いたりビルドが複雑化するなどのデメリットを考慮しても検討する価値があるはず

2023/09/22(金) 04:58:40.40

より正確にはtier2はwith/without Host Toolsに分かれる。
withの方はtarget環境扱いだけじゃなくてネイティブなhost toolsを使用して開発環境として使える。
*-*-none-*はベアメタル向けだからHost Toolsのサポートはない。
言い換えるとtier2 with Host Toolsはセルフホストできる。

Tier 1にもwith/withoutの分類があるけど事実上withoutの方がない。
これは今のところHost Toolsをサポートしてないtier 1が存在しないから。

だからビルド環境に指定したいならx86_64-unknown-none。

2023/09/22(金) 23:10:21.93

x86_64-unknown-noneが吐くコードをどのくらい信用して良いのかって話ね
Tier2＝十分にテストされていない＝不正命令例外を吐いたり意図しない演算結果になる可能性がある
とかだと開発に重大な影響が出るし勘弁してほしい。Tier1のターゲットならそんな可能性は無視できるはずだし

2023/09/22(金) 23:26:27.84

テスト云々はlibstdが主なんでは？
そもそもコード生成するのはLLVMなんだし機械語レベルじゃRust側のTierは関係ない気がする

2023/09/22(金) 23:47:16.64

x86_64-unknown-noneがTier2の理由がstdのテストができないからならそれでいいんだけどね
Platform Supportを見ても
>x86_64-unknown-none * Freestanding/bare-metal x86_64, softfloat
としか書いていない。hardfloatが使えない？のはよくわからないが