Rust part20

**デフォルトの名無しさん** · 2023/03/03(金) 00:45:28.73

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

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

**デフォルトの名無しさん** · 2023/03/20(月) 19:58:13.92

flat_mapはmap(f).flatten()の順だから無理だな
filter_mapはOption外しに使えるがmap(f)は別途必要
filter_map(|opt| opt).map(f)　または参照なら
filter_map(Option::as_ref).map(f)
したがって正解はこれ
flatten().map(f)

**デフォルトの名無しさん** · 2023/03/20(月) 20:22:03.14

flattenのOption/Resultはずし知らんかった

**デフォルトの名無しさん** · 2023/03/20(月) 20:32:22.28

>>227
どれでもできるぞ
初手で一番素直な選択はfilter_map

**デフォルトの名無しさん** · 2023/03/20(月) 20:46:14.12

flattenを使ってできました
let v = vec![None, Some((1, 2)), None, Some((3, 4)), None];
assert_eq!(14, v.iter().flatten().map(|(a, b)| a * b).sum());

>>229
filter_mapを使うと簡単ならば知りたいです

**デフォルトの名無しさん** · 2023/03/20(月) 21:35:03.62

複オジかよっw

**デフォルトの名無しさん** · 2023/03/20(月) 21:41:30.44

前述したようにfilter_map自体のmapではOption外ししかできないので別途map(f)が必要になる
filter_map(|opt| opt).map(f)
あるいは
filter_map(|opt| opt.map(f))
簡単なのはflatten().map(f)

**デフォルトの名無しさん** · 2023/03/20(月) 23:15:03.64

flat_mapはfilter_mapを汎用化したものなので
filter_mapは常にflat_mapで書き直せる
flattenと理屈は同じ

**デフォルトの名無しさん** · 2023/03/20(月) 23:20:21.79

唐突に妙に具体的な質問が飛んできたらあの人だと思ってればいい

**デフォルトの名無しさん** · 2023/03/20(月) 23:20:56.30

どの人だよ

**デフォルトの名無しさん** · 2023/03/20(月) 23:49:46.77

>>234
いやー俺は今回まんまと騙されたわ
自演力と自画自賛力にステ振りすぎとちゃう？

**デフォルトの名無しさん** · 2023/03/21(火) 00:12:49.49

>>226 >>233
質問はOption列が対象のようだからflat_mapとfilter_mapは対象外やろ
それらはむしろOptionを作る関数を与えて使う
元から既にOptionになってるのだからflattenが正解

**デフォルトの名無しさん** · 2023/03/21(火) 10:42:06.27

Someだけ拾って関数をmapすると考えれば
filter_map(|opt| opt.map(f))
だな
元のSome/Noneをそのまま利用するのがトリッキーかもしれないけど

**デフォルトの名無しさん** · 2023/03/21(火) 11:33:54.48

ところで、ラムダには自由変数というものがありその反対が束縛変数だが
ラムダや自由変数を意識する必要がない文脈で束縛という用語が出ると
その語源を説明する手間がかかるよな

**デフォルトの名無しさん** · 2023/03/21(火) 13:02:51.29

scalaやっているせいかmatchとか
すごく使いやすいわん
iterator nextなんてJavaでも使わんけど
これ使い人いるの？

**デフォルトの名無しさん** · 2023/03/21(火) 13:17:10.53

>>240
nextはIterator全ての基礎
nextだけを定義すれば他のメソッドはnextで作られているので自動的に定義される
for文もnextを使っている

**デフォルトの名無しさん** · 2023/03/21(火) 13:27:49.15

>>238
入力から出力までのパイプラインの全体像を見ればトリッキーに感じることはないと思うよ
例えば>>230にあるvec![None, Some((1, 2)), None, Some((3, 4)), None];みたいなのはこれがすでに入力値に対して何かしら関数適用した結果なんだよね

**デフォルトの名無しさん** · 2023/03/21(火) 13:35:41.08

>>242
関数適用せずとも
None初期化配列やVecで一部indexにだけ値がSomeは普通によくあるパターン

**デフォルトの名無しさん** · 2023/03/21(火) 14:20:03.57

元の入力で「値の有無」を表してたOptionをfilter_mapの「要素の残存判定」に転用する形だから
Optionの意味が微妙に変わってて引っ掛かる人もいるかなって思った

**デフォルトの名無しさん** · 2023/03/21(火) 14:35:08.73

昔の言語だと配列に初期値として使っていないことを示すために-1とか0とかnullとかundefinedを入れてしまうことが多かったパターンか
いわゆるデータのnull安全性がなかったことろをRustはOptionのNoneとSome利用でnull安全性が保証
データが0にならならNonZeroを使えばNone時に0が使われて余分なメモリ消費もないしな

**デフォルトの名無しさん** · 2023/03/21(火) 14:39:43.43

隔離スレでやれ
https://mevius.5ch.net/test/read.cgi/tech/1677286186/

**デフォルトの名無しさん** · 2023/03/21(火) 14:40:28.73

>>238
そこを出発点として考える場合でも
filter_map(|opt| opt.map(f))
↓　Optionのままmapしても剥がしてからmapしても同じ
filter_map(|opt| opt).map(f)
↓　Optionに対して恒等関数になってるのでflattenと同じ
flatten().map(f)
と辿り着く

**デフォルトの名無しさん** · 2023/03/21(火) 17:23:17.80

>>247
自分は途中のイテレータ減らしたい派だから一番上で落ち着いてしまう
ラムダ式減らすなら下だろうけどfilter_mapが便利すぎてね…

**デフォルトの名無しさん** · 2023/03/21(火) 18:14:49.79

>>244
Optionは常に値の有無を表している
filter_mapも値の有無を残存判定に用いている
Optionの意味が変わることはない

**デフォルトの名無しさん** · 2023/03/21(火) 19:05:07.54

>>243
いかにも競プロっぽい考え方だね
現実のプログラムでは最低でも(K, V)で管理するから計算対象の値だけを素のOption配列で管理したりしないよ

**デフォルトの名無しさん** · 2023/03/21(火) 19:18:56.96

>>250
インデックス値で管理できるものま無駄なコストがかかるハッシュマップでを用いる気軽な連想配列な考えこそコスト無視のスクリプト言語な考えだよ
インデックス値で管理できるものはRustでは配列かVecを使う

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

HashMap<K, V>はhash計算コストに加えてkey比較コストがhash衝突回数の分かかるからなー
indexになれる値があって上限が許容されるならVecが有利

**デフォルトの名無しさん** · 2023/03/21(火) 23:56:44.92

>>250が経験不足と知識不足で知らなかったんでしょ

**デフォルトの名無しさん** · 2023/03/22(水) 13:00:26.42

>>251
おいおいなんで急にハッシュマップが出てくるんだよ
そんなんで大丈夫か？

Vec<Option<V>>みたいなデータがどこからともなく自然発生するわけないんだから全体のパイプラインを考えろって言ってるの
現実的かつ具体的なユースケースで考えような

**デフォルトの名無しさん** · 2023/03/22(水) 18:31:25.27

ナイーブなハッシュテーブルをVec<Option<T>>で実装する人はいるかもしれない

**デフォルトの名無しさん** · 2023/03/22(水) 21:00:04.56

うちも値域が限定されてる離散値はArrayかVec<Option<T>>使う

**デフォルトの名無しさん** · 2023/03/22(水) 21:30:41.78

マニュアルに書いてるような内容をやたら饒舌に語るとChatGPT感出るね

**デフォルトの名無しさん** · 2023/03/22(水) 21:32:36.00

>>255
>ナイーブなハッシュテーブルをVec<Option<T>>で実装する人はいるかもしれない
その場合でもTは(u64, K, V)

**デフォルトの名無しさん** · 2023/03/22(水) 21:36:57.10

Vec<Optionは普通に使うぞ
今書いてる部分と似たようなことをしてるregexのソースを見たらVec<Option使ってる
普通そうなるよな

**デフォルトの名無しさん** · 2023/03/22(水) 22:15:33.42

>>257
まるで知能は互角で内容だけが違うみたいな言い方だが
知能の差を見せつければいいだけだよ

**デフォルトの名無しさん** · 2023/03/22(水) 23:19:58.21

Vec<Option<T>>が使われないなんていう話は誰もしてないのにね
話が通じなくてもう面倒くさ過ぎるわ

**デフォルトの名無しさん** · 2023/03/22(水) 23:35:18.64

たぶん論点はfilter_mapの話からここ

> vec![None, Some((1, 2)), None, Some((3, 4)), None];みたいなのはこれがすでに入力値に対して何かしら関数適用した結果なんだよね

> Vec<Option<V>>みたいなデータがどこからともなく自然発生するわけないんだから全体のパイプラインを考えろって言ってるの

でもこの主張は間違っていて
疎なデータ構造ならいきなりVec<Option<T>>が現れる
初期値オールNoneから飛び飛びにSome化していく
そのVec<Option<T>>は何度も使うからのイテレータ処理の一時的に現れるものでもない

**デフォルトの名無しさん** · 2023/03/23(木) 00:27:50.25

構うから暴れるんすよ

**デフォルトの名無しさん** · 2023/03/23(木) 07:45:41.23

グラフ構造でVec<Option<usize>>使うこともある
さらにインデックス自体のマッピングにも使われたり
// Maps old index to new index. None if not yet visited.
let mut remap: Vec<Option<usize>> = vec![None; self.nodes.len()];

**デフォルトの名無しさん** · 2023/03/23(木) 08:16:41.69

公式ドキュメントとchatgpt
これだけあれば全て滅びる

**デフォルトの名無しさん** · 2023/03/25(土) 10:51:05.32

人間があれやこれやするよりも
全部 AI 翻訳に任せりゃインジャネーノ

**デフォルトの名無しさん** · 2023/03/27(月) 10:33:42.84

>>263
本当にそうだったね

**デフォルトの名無しさん** · 2023/03/27(月) 13:18:10.65

そのうち
課題を見つける能力
課題を提起する能力
がメインとなるんやろな
1人会社が当たり前になりそう

**デフォルトの名無しさん** · 2023/03/27(月) 17:47:50.73

>>268
今までもそうだったけど気づいてない人が多かったというだけ
解けることが事前にわかってる問題を与えられて解くだけの人は今までも価格競争にさらされ段階的に置き換えられてきた

機械学習による変化は機械に解かせることのできる問題の抽象度が上がったこと

**デフォルトの名無しさん** · 2023/03/30(木) 21:28:14.05

samタレットを壊されないかつ迎撃もできる状態で設置する方法ってない？
拠点屋根に四台設置してんだけどログインする度に毎回壊されてるわ

**デフォルトの名無しさん** · 2023/03/30(木) 21:34:58.46

ごめんスレ間違えた

**デフォルトの名無しさん** · 2023/03/31(金) 12:09:07.07

それはrustだろ？ここはrustスレ。間違えるなよ

**デフォルトの名無しさん** · 2023/04/01(土) 04:03:16.63

Interface 2023年5月号
550号特別企画　2大特集　Linuxでも正式サポート，組み込みや車載で注目を集める　質実剛健 Rust言語
3月25日発売 (定価 1,200円＋税)

第1特集：C言語と比べて理解する
第2特集：マイコンで動くフル機能Rust
特別付録：初めてのRustプログラミング
新連載：毎号実験！自律移動ロボット

**デフォルトの名無しさん** · 2023/04/01(土) 16:12:14.56

>>273
面白そうだな。組み込みだと実装依存のCコードがまかり通っていたりするからな

**デフォルトの名無しさん** · 2023/04/02(日) 17:52:37.39

interface読んでる連中には難しいんじゃないの？

**デフォルトの名無しさん** · 2023/04/02(日) 18:01:44.10

むしろこれを機に組み込みの勉強でも始めてみようかしら

**デフォルトの名無しさん** · 2023/04/02(日) 18:02:25.20

>>273
本屋で見てきた。個人的にめぼしい解説はCMSIS-DAPくらいで
大体The Embedded Rust Bookで十分かな

**デフォルトの名無しさん** · 2023/04/02(日) 19:09:06.81

組み込みだったらmrubyだよね
しらんけど

**デフォルトの名無しさん** · 2023/04/03(月) 00:25:42.34

そのうちrust謹製の組み込み OS とか出てくるんじゃねえの

**デフォルトの名無しさん** · 2023/04/03(月) 00:53:16.98

>>279
Google が KataOS を発表してる。今は CantripOS と改名してるっぽいな。
どこまで本気なのかよくわからんけどコードは Github に有るから見物してみたらいいんじゃない？

**デフォルトの名無しさん** · 2023/04/03(月) 09:12:06.30

組み込み分野を目指す学生はPythonばっかり
これを機にRustやCやC++にも目を向けて欲しい
組み込み分野の実務でPythonはつぶしがきかない

**デフォルトの名無しさん** · 2023/04/03(月) 11:15:42.36

組み込みでPythonとか使うのか
一番親和性の感じられない組み合わせやな

**デフォルトの名無しさん** · 2023/04/03(月) 11:32:22.07

ラズパイでしょ

**デフォルトの名無しさん** · 2023/04/03(月) 11:39:22.47

ラズパイは組み込みじゃないだろｗ
組み込み向けだと MicroPython とかあった気がするけど使われてるのかねぇ

**デフォルトの名無しさん** · 2023/04/03(月) 11:55:49.94

ラズパイはLinux系OSが動いていてX Windowを立ち上げてデスクトップPCにすることも可能な環境
昔からからの組み込みが指すのはOSがないもしくは簡易なものしかない環境でありそこでPythonは使われない

**デフォルトの名無しさん** · 2023/04/03(月) 12:04:38.11

組み込みかどうかと言うより
ミッションクリティカルかどうかと言ったほうが正確か

**デフォルトの名無しさん** · 2023/04/03(月) 12:08:34.80

同等以上に曖昧に思う。

**デフォルトの名無しさん** · 2023/04/03(月) 12:26:19.63

組み込みならFORTHだよね。

**デフォルトの名無しさん** · 2023/04/03(月) 15:05:13.27

ミッションクリティカルの意味わかってないだろw

**デフォルトの名無しさん** · 2023/04/03(月) 15:14:52.29

javaですら使われるんだから場所によってはpythonもあるだろう

**デフォルトの名無しさん** · 2023/04/03(月) 16:24:30.55

このスレ複製おじ来なくなって平和になったなｗ

**デフォルトの名無しさん** · 2023/04/03(月) 17:14:33.32

10年後くらいには組み込みの指すやつが10GHz・20GBくらいになってんだよ

**デフォルトの名無しさん** · 2023/04/03(月) 22:15:51.09

Python だって組み込みに使われるのはわかるよ。
でもそれをホスティングする環境は何で書くんだって話よ。
アプリケーション部分だけ書ければ良しというわけにもいかんだろう。組み込みってのは。

**デフォルトの名無しさん** · 2023/04/03(月) 22:22:41.19

組み込みの定義次第

**デフォルトの名無しさん** · 2023/04/03(月) 22:46:10.84

自分の中の組み込みはリアルタイムシステム
CかC++

**デフォルトの名無しさん** · 2023/04/03(月) 23:08:31.70

>>290
javaですらというか、javaはもともと組込みを視野に入れて開発されたものだしな

**デフォルトの名無しさん** · 2023/04/04(火) 12:59:01.65

普通のWindowsPCを何かの筐体に入れればそれは組み込みだがそういう話じゃないよな
実装的には一般的なアプリと何も変わらないわけだし

**デフォルトの名無しさん** · 2023/04/04(火) 19:20:19.03

みんな、組み込みに食いつくね
連想するの分野がひとそれぞれなんだね
おいらは組み込みといったらファームウェアだな

**デフォルトの名無しさん** · 2023/04/04(火) 20:28:06.15

PICじゃなきゃ組み込みじゃないって感じなのかな？
数年前に関わった仕事じゃFPGAとARMが両方乗っかってて
OSも入ってるやつで測定データをCのソケットでUDP送信させたけどこれ組み込み？

**デフォルトの名無しさん** · 2023/04/04(火) 20:50:26.77

>>297
それも組み込みだがなんらかのデバイスの制御はするだろ。
しないってのならさすがに組み込みとは言わんと思うが……。

**デフォルトの名無しさん** · 2023/04/04(火) 21:47:02.28

技術的には低レイヤーと称する方が適しているのだろうな。せいぜい軽量のRTOSあたりまで

>>300
汎用性に乏しい装置は原則組み込みじゃね
ゲームコンソールもどちらかと言えば組み込みだと思うし
デジタルサイネージとかも該当するだろう(ラズパイ使っている例もあるらしい)

**デフォルトの名無しさん** · 2023/04/05(水) 02:16:43.52

>>301
steam deckがLinuxベースという話もあるので
ゲームコンソールが組み込みかどうか…

テレビもLinuxが入ってたりするしなあ

**デフォルトの名無しさん** · 2023/04/05(水) 11:08:42.58

>>302
Steam Deckは携帯ゲーム機の形をしているだけで任意のOSを使用できるのだからPCでしょ
>>301でいうゲームコンソールはCS機やAC機等のゲームを実行することしか想定していない装置のこと
テレビもどちらかと言えばゲームコンソールよりでは

**デフォルトの名無しさん** · 2023/04/06(木) 10:45:28.99

>>303
デバイスドライバやファームウェアをひとつも書いてないってことはなかろうし、
デバイスに固有の低レイヤプログラミングの部分は組み込みと言ってもいいんじゃないの。

**デフォルトの名無しさん** · 2023/04/06(木) 11:27:07.02

普通組み込み用途と言えばコンピュータ制御の電子機器のために使う用途やろな
・メモリなどのリソースが少ない環境でも使える
・応答時間などのタイミング制御のために実時間処理ができる
こういうのにRustが強いのは何となくわかる
コンパイル時に静的に解決できる範囲が広いからな

**デフォルトの名無しさん** · 2023/04/06(木) 12:37:50.23

全然違う話でごめん
以下のような処理がある時にf(**item)と参照外しを2回も必要とするのは違和感あるけどそういうもの？

let v: Vec<i32> = vec![1, 8, 4, 5, 9, 6, 3];
let valid_index_list: Vec<usize> = v
.iter()
.enumerate()
.filter(|(_, item)| f(**item))
.map(|(index, _)| index)
.collect();

**デフォルトの名無しさん** · 2023/04/06(木) 12:42:05.41

組み込みシステムと組み込みプログラミングで微妙に境界線が異なる

例えばサーマルカメラ内蔵のAndroid端末を使った検温システムは組み込みシステムだけど
サーマルカメラのSDKを利用した検温アプリ開発は組み込みプログラミングとは呼ばないかもしれない
サーマルカメラのSDKを作る開発は組み込みプログラミングと呼べる

**デフォルトの名無しさん** · 2023/04/06(木) 12:56:01.04

確かにSoCや基板の事情がソフト側から見えてると
（memory mapped I/O直接叩くとか）
OSの有無によらず組み込みっぽい感じはするな

**デフォルトの名無しさん** · 2023/04/06(木) 15:14:50.96

>>306
なんかオジっぽいコードだね
普通はDeref Coercionを活用する
その例ならfを&i32 -> boolにすれば明示的derefは不要
filter関数がownership取るのは変

ついでにfilter_mapでまとめて
.filter_map(|(index, item)| f(item).then_some(index))
シグニチャ変えられない特別な事情があるならパターンマッチで|(index, &item)|としてderefしておく

**デフォルトの名無しさん** · 2023/04/06(木) 16:55:58.17

>>306
値を返すイテレータも参照を返すイテレータもあるから
どちらでも不都合のない仕組みにしようとするとそうなるんじゃないの。
参照が二重になるのはごく普通のこと。

その二重の参照をどうやって剥がすかには選択肢があるけど。

**デフォルトの名無しさん** · 2023/04/06(木) 18:19:32.48

>>306 >>309
Vecのインデックスをフィルタリングしているだけだから
iter()もenumerate()もmap部分も不要
シンプルにこれだけでよい
(0..v.len())
.filter(|&index| f(v[index]))
.collect();

**デフォルトの名無しさん** · 2023/04/06(木) 18:50:13.90

俺はそれやだな

**デフォルトの名無しさん** · 2023/04/06(木) 19:01:16.65

俺もそれはちょっと遠慮したい

でもまぁそこは論点じゃないんでしょ
iter().filter()は常に&&Tになるから**itemするのが一般的かどうかを聞いてるんだよね？

**デフォルトの名無しさん** · 2023/04/06(木) 19:34:52.41

>>311
イテレータでのアクセス (シーケンシャルアクセス) とランダムアクセスが混ざるのがなんか嫌な気持ちになる。
Vec や配列であることが分かっているときなら問題はないというか、
むしろ状況が整理された良いコードだとも思うんだけどなんか心理的な抵抗感が……。

**デフォルトの名無しさん** · 2023/04/06(木) 21:02:27.27

またイテレータの話してる

**デフォルトの名無しさん** · 2023/04/06(木) 22:26:13.61

>>313
into_iter()でT自体を回してるときにfilterで消費しないように&Tを使っているために
iter()で&Tを回してるときは&&Tになってしまうわけだな
3つの点
・&&Tを考える概念的なわかりにくさ
・記述と可読性
・最適化後の最終コード
それそれで不利があるのかどうか？

**デフォルトの名無しさん** · 2023/04/08(土) 17:58:41.25

イテレータおじさん.....。

**デフォルトの名無しさん** · 2023/04/08(土) 23:26:42.03

多数の文字列をいくつでも追加で登録できて、
その登録した各文字列の参照(&str)を、
その登録オブジェクトが生きてる間は自由に使えるような機能のクレートありますか？

追加のみで削除機能がなければ安全に参照&strを返してその参照をずっと安全に使い続けられるインタフェースを提供できそうですが、
実現にはunsafeを使わざるを得ないため何かデファクトスタンダードなクレートがあるか知りたいです。

**デフォルトの名無しさん** · 2023/04/09(日) 00:21:16.51

Vec<String>

**デフォルトの名無しさん** · 2023/04/09(日) 00:32:20.15

Vecは追加のために&mutを使うから&strを持ち続けられないか

**デフォルトの名無しさん** · 2023/04/09(日) 01:16:25.16

は？

**デフォルトの名無しさん** · 2023/04/09(日) 01:36:27.91

もしかしてこういうこと？
let mut v = Vec::new();
v.push("first".to_string());
let first: &str = &v[0];
v.push("second".to_string());
let second: &str = &v[1];
println!("{first} and {second}");
コンパイルエラーだな

**デフォルトの名無しさん** · 2023/04/09(日) 01:42:07.16

文字列専用じゃないけどarena系の実装でいいのかな
typed_arena（https://docs.rs/typed-arena/latest/typed_arena/index.html）がよく使われてるみたい

use typed_arena::Arena;

fn main() {
let arena = Arena::new();
let a: &mut str = arena.alloc_str("abc");
let b: &mut str = arena.alloc_str("def");
let c: &str = arena.alloc_str("ghi");
println!("{a}, {b}, {c}"); // abc, def, ghi

a.make_ascii_uppercase();
b.make_ascii_uppercase();
let d: &str = arena.alloc_str("jkl");
println!("{a}, {b}, {c}, {d}"); // ABC, DEF, ghi, jkl
}

**デフォルトの名無しさん** · 2023/04/09(日) 01:56:50.49

だとしたらinterior mutabilityでやる話だね

**デフォルトの名無しさん** · 2023/04/09(日) 02:19:43.49

use string_cache::DefaultAtom;

fn main() {
let s1 = DefaultAtom::from("example");
let s2 = DefaultAtom::from("example");

assert_eq!(s1, s2);

let s1_ref: &str = &*s1;
let s2_ref: &str = &*s2;

assert_eq!(s1_ref, s2_ref);
}

**デフォルトの名無しさん** · 2023/04/09(日) 02:43:31.70

シンボルテーブルか

**デフォルトの名無しさん** · 2023/04/09(日) 16:31:56.46

>>323,325
質問者はコレクションを求めてるんだろ