Rust part21 - 暇つぶし2ch

Rust part21 ..

374:デフォルトの名無しさん
23/09/22 16:15:11.47 v8mgsVW8.net
>>366
mapにはhogeの外から引数として関数を渡しているので再帰呼出しごとにイテレータの型は変わらないですし
```
let mut v = Vec::new();
hoge(|(&a, b)| a + b, &[1, 3, 5], &mut v);
```
という形でhogeを呼び出せばイテレータの型は自動的に推論されると思うんですが...

375:デフォルトの名無しさん
23/09/22 18:07:36.44 KH67E8jw.net
impl TraitはTraitを実装した型のいずれか一つを受け入れるだけで、Traitを実装した型全てを受け入れるわけではない

376:デフォルトの名無しさん
23/09/22 18:31:55.39 v8mgsVW8.net
>>369
mapの中に直接クロージャを渡せば確かにその制限に引っかかりますが、今回は再帰の中で一つの関数を使いまわしているのでimpl Iteratorの型は一つに固定されませんか?

377:デフォルトの名無しさん
23/09/22 18:41:57.56 v8mgsVW8.net
>>365
イテレータのまま保持して遅延評価させたいんです

378:デフォルトの名無しさん
23/09/22 18:43:25.81 8SLDLfd5.net
関数定義から一意な具体型に推論されるのは戻り値型に書いた impl の話ですね
引数型に書いた impl は単にジェネリック引数を匿名化したものという扱いなので
hoge は I: Iterator<Item=i64> なる任意の I で単一化できるような定義が求められます

URLﾘﾝｸ(doc.rust-lang.org)

なので引数で&mut引き回してdynも使いたくないということであれば↓になりますかね

URLﾘﾝｸ(play.rust-lang.org)

379:デフォルトの名無しさん
23/09/22 19:29:43.87 v8mgsVW8.net
>>372
コンパイル通りました!ありがとうございます!
ただもう少しわがままを言うと、実際の実装で

380:はメソッドチェーンの箇所がこれの2倍ぐらいの長さなので具体的なイテレータの型を書かずにコンパイラ任せにしたかったんですが、話を見る限りどうも無理そうですね...

381:デフォルトの名無しさん
23/09/23 08:15:26.34 piK9W+al.net
>>373
>>372も書いてるけどimpl IteratorをBox<dyn Iterator>にする手もあるよ

382:デフォルトの名無しさん
23/09/23 09:19:17.35 lKOAbDFW.net
可能なら dyn は避けるに越したことは無い。
dyn はトレイトオブジェクトを扱うための仕組みであって
推論を補助する仕組みではないから。

383:デフォルトの名無しさん
23/09/23 09:55:40.35 piK9W+al.net
>>375
実装の隠蔽目的でdyn使うのはそんなに変な使い方ではないと思うが

384:デフォルトの名無しさん
23/09/23 09:59:36.45 i9fpyxKg.net
Box<dyn Trait>で解決しました本当にありがとうございました

385:デフォルトの名無しさん
23/09/23 16:36:06.31 WPP4nTE5.net
>>364です
補足すると今回自分がわかっていなかったのは以下のような関数がコンパイルを通らないということですね
```
fn hoge<T>(a: i64, b: &mut T) {
*b = a;
}
```
impl Traitが単にジェネリクスの糖衣構文であるということと、
トレイト境界を満たす型をジェネリクス引数に渡した場合は合法に"ならなければならない"、トレイト境界は十分条件も満たさなくてはならないという点

386:を解っていなかったのがポイントでした...

387:デフォルトの名無しさん
23/09/23 21:17:07.32 piK9W+al.net
戻り値のimpl Traitと引数のimpl Traitで振る舞い違うのは当たり前ではあるんだけど混乱しやすいポイントではあるかもね

388:デフォルトの名無しさん
23/09/24 12:22:42.57 2YTVyUlC.net
0788デフォルトの名無しさん
2022/06/21(火) 08:59:28.38ID:vO+TReRM
俺はフロントエンドやらないからこのスレでTauriの話をしないでくれ

389:デフォルトの名無しさん
23/09/24 12:36:49.28 2YTVyUlC.net
こいつはどうかな
URLﾘﾝｸ(zenn.dev)

390:デフォルトの名無しさん
23/09/25 23:08:53.71 OcxuhTB3.net
rustでdx12ってまともに使えますか？
そろそろc++は卒業したい

391:デフォルトの名無しさん
23/09/26 10:01:41.63 q653RLNX.net
>>382
使えないということだな。

392:デフォルトの名無しさん
23/09/26 17:46:11.75 WrG1pnap.net
一応d3d12があるけど、これを直接使うよりwgpu経由のほうがいいんじゃないか？

393:デフォルトの名無しさん
23/09/26 18:52:01.41 liEPyEVD.net
rustとgoとc#でjsonのシリアライズ、デシリアライズ実験したんだけど
rust 1ms cargo run --release
go 10ms
c# 40ms dotnet build -c Release
こんなに違うもんなの?
リリースモードでビルドしたつもりだけど
WebAPIのバックエンドどれにするか悩んでたけどもうrust1択でいいやん

394:デフォルトの名無しさん
23/09/26 21:18:52.63 rDjR9GdF.net
最適化で計測対象の処理が丸ごと消えてないかな
どこかでデータのサイズとか集計とか出力してればいいけど

395:デフォルトの名無しさん
23/09/26 21:22:16.85 sfzsNV4F.net
さすがそこまで速くないよね
C#ももっと速いような気がする

396:デフォルトの名無しさん
23/09/26 21:40:15.73 aJs6t/KK.net
コードの問題かベンチマークの問題だね

397:デフォルトの名無しさん
23/09/26 21:41:15.28 K0prie5d.net
>>385
goこのライブラリ使うとどうなる？
URLﾘﾝｸ(github.com)

398:デフォルトの名無しさん
23/09/26 21:41:38.03 aJs6t/KK.net
>>378
>fn hoge<T>(a: i64, b: &mut T)
fn hoge<T>(a: T, b: &mut T)にすればいいと思うけど
同じような解決策が >>364にあるということなの？

399:デフォルトの名無しさん
23/09/26 21:56:19.26 liEPyEVD.net
>>385
それやってる
まず、デシリアライズ1000回して
シリアライズ1000回でシリアライズでバイト配列になるからそのサイズのトータル
を求めてる
さっきのは1回あたりの平均
 >>389
それやったら7.5ms
experimentalなJSON v2は13ms

400:デフォルトの名無しさん
23/09/26 21:59:59.97 liEPyEVD.net
つか、goってリリースビルドないやろ?
コンパイルも一瞬でへ?ってなるわ
それぞれ30行未満のコードだけど..

401:デフォルトの名無しさん
23/09/26 22:29:35.41 liEPyEVD.net
URLﾘﾝｸ(controlc.com)
goだとこんな感じ

402:デフォルトの名無しさん
23/09/26 22:43:29.67 liEPyEVD.net
ああ、ごめんC#は嘘でしたすみません
3msになりました

403:デフォルトの名無しさん
23/09/26 22:55:30.68 liEPyEVD.net
Rustは最強で
C#はメモリ使用量多いがMSが最適化ガンバッテル
Goはメモリ使用量少なくて言語仕様がシンプルだがC#に負けたり...

404:デフォルトの名無しさん
23/09/26 23:05:14.16 EQtG/kil.net
意味のないベンチマークだね
ちなみにこういうのはNimが速いと思うよ
結局こういうのってコンパイラの最適化の勝負をしているだけだから
Rustが速いというよりはLLVMが速いだけ
Zigとかでも同じスピードが出るはず
その代わりにコンパイル速度が遅いというデメリットがあるからこれは単なるトレードオフで、用途に応じて適した言語を選択するのが重要ってだけだね
WebAPI作るならIOが結局ボトルネックになるからパフォーマンス気にするにしても別にスクリプト言語じゃないならなんでもいいのよね
好きな言語にすればいいと思う

405:デフォルトの名無しさん
23/09/26 23:08:16.82 kLEETtIu.net
それはともかく
NimはRustに対して意味のあるアドバンテージ皆無でNimだけは要らん

406:デフォルトの名無しさん
23/09/26 23:14:09.15 liEPyEVD.net
まぁ、データベースはおもいっきし叩くね
最初は最強言語じゃなくてわかりやすい2番あたりの言語でいこうと思ってるんだけたんだけど
で、1番ははっきりRustっぽいからわかりやすいからいんだけど、
2番(C#,Go?)がはっきりしないから1番の言語でいいのかなと
最大の目的はサーバー費用を押さえられるように

407:デフォルトの名無しさん
23/09/26 23:14:24.83 gNMcg380.net
Nimはオフサイドルールってだけで試す気にもならないんだよな…

408:デフォルトの名無しさん
23/09/26 23:52:14.82 lFc5NXyg.net
>>396
多数の非同期タスクを偏らずスレッド間でスチールしてスケジューリングできるのは現状GoとRustしかない
小規模ならGoでもよいがそれ以上だと言語機能が貧弱なGoは辛くなってきてRustの独壇場

409:デフォルトの名無しさん
23/09/27 00:09:38.71 8IPpP98U.net
>>400
妄想乙
URLﾘﾝｸ(ufcpp.net)

410:デフォルトの名無しさん
23/09/27 00:11:19.90 8IPpP98U.net
この妄想も延々言ってたけどやっと黙るのかな？
470: デフォルトの名無しさん sage 2023/09/26(火) 09:57:28.51 ID:ycG3j/g+
>>469
IaaSの一部にそういうケースがありうるだけだぞ
PaaS (FaaS)は基本的にメモリ使用量✕実行時間で料金が決まる
メモリ使用量は少なければ少ないほどコストに優れている

411:デフォルトの名無しさん
23/09/27 00:29:08.13 MfhnDtnO.net
複オジは相変わらず嘘ばっかり
成長しないね

412:デフォルトの名無しさん
23/09/27 00:38:28.22 +nRBKi9H.net
AIにRust生成させてGoと比較してみたけどmarshal以外は変わらないな (goccy/json使用)
x86でやってる？ARMだと違うのかも
(俺はUbuntu x86/64)
URLﾘﾝｸ(pastebin.com)

$ go run ./main.go
1187 [μs]
268419000 [bytes] 467 [μs]
$ cargo run --release
1347 [μs]
263672000 [bytes] 255 [μs]

413:デフォルトの名無しさん
23/09/27 00:56:55.88 +nRBKi9H.net
俺の環境だとgoccy/jsonにすることで4倍速くなったけど何が違うんだろうね
goccy/json
1129 [μs]
268419000 [bytes] 446 [μs]
標準json
4125 [μs]
268419000 [bytes] 533 [μs]
go-json-experiment/json
3446 [μs]
263609000 [bytes] 745 [μs]

414:デフォルトの名無しさん
23/09/27 01:02:33.77 +nRBKi9H.net
これにしたらRustより早くなったわ
結局これっていかに最適化しているかってだけだと思う
URLﾘﾝｸ(github.com)
[Go sonic json]
914 [μs]
263609000 [bytes] 209 [μs]

415:デフォルトの名無しさん
23/09/27 01:06:34.20 8IPpP98U.net
気づくのが遅い

416:デフォルトの名無しさん
23/09/27 01:44:16.58 jtGLjNq+.net
>>405
お手数かけて本当にごめんなさい
自分の実行方法が問題でした
 >>385でgoの部分が空欄のように実行方法がわかってなく、
デバッグモードで動いていました
すみません
go runで動かしたら >>405のような速度になりました

417:デフォルトの名無しさん
23/09/27 01:51:26.25 jtGLjNq+.net
WebAPIでgoで行く決意ができました
本当にお騒がせしました

418:デフォルトの名無しさん
23/09/27 04:55:49.67 UdUnwuun.net
YouTube で有名な雑食系エンジニア・KENTA が、既に言ってる。
キャリアパスは、Ruby on Rails → Go のみ
Ruby/Goの神・HashiCorp のMitchell Hashimoto がそう。
Ruby製のVagran

419:t → Go製のTerraform。今は、Goプログラマーしか求めていない Rust/Elixir は普及のキャズムを超えなかった。超えたのは、Goだけ

420:デフォルトの名無しさん
23/09/27 17:50:20.18 wGZOY1wb.net
まあビルド時間の重要性はちょこちょこ一人で作ってるやつは理解できんわな。

421:デフォルトの名無しさん
23/09/27 18:56:48.41 CCaLLXi3.net
仕事なら相応に強力なマシンかレンダリングサーバがあるだろ

422:デフォルトの名無しさん
23/09/27 21:44:37.94 fWGZRw8C.net
レンダリングサーバーは関係なさすぎ

423:デフォルトの名無しさん
23/09/27 22:03:34.78 vmit0gpI.net
ビルドサーバーと間違えたのかもね

424:デフォルトの名無しさん
23/09/28 18:29:13.32 gS/5M63X.net
MARCHを受けるために東大の過去問を練習するような意識高い系バカ

425:デフォルトの名無しさん
23/10/06 11:57:36.28 Zl0hPCVy.net
一体誰がRustを推しているのか？
中國？

426:デフォルトの名無しさん
23/10/06 13:12:35.08 2p+njRVB.net
関数型と手続き型のいいとこ取りしたいプログラマだろ
情報科学の先進国なら中国に限らず一定数いるはず

427:デフォルトの名無しさん
23/10/06 16:38:53.65 AJI+rgso.net
ネットインフラが次々とRust製になっていってる

＞【CDN世界トップシェアCloudflare】
＞URLﾘﾝｸ(www.publickey1.jp)
＞CDNプロバイダのCloudflareは、同社のグローバルなCDNの基盤として長らく利用してきたNGINXに代えて、
＞同社自身がRust製のHTTPプロキシである「Pingora」を開発し利用していることを明らかにしました。

＞【クラウド世界トップシェアAWS】
＞URLﾘﾝｸ(japan.zdnet.com)
＞Rustで構築されたAWSサービスの例としては、
＞コンテナーアプリ用のサーバーレスプラットフォーム「Lamba」を支える「Firecracker」、
＞「Amazon Simple Storage Service（S3）」、
＞「Amazon Elastic Compute Cloud（EC2）」、
＞コンテンツ配信ネットワーク「Amazon CloudFront」、
＞LinuxベースのコンテナーOS「Bottlerocket」などがある。

428:デフォルトの名無しさん
23/10/06 20:34:57.35 hdhWn3/E.net
関数型の良いとことるの諦めた言語って感じだけどｗ
初期の頃はocamlでコンパイラ作られてたらしいのに
MLの匂いさえ残ってない単なる手続き化型言語だわ

429:デフォルトの名無しさん
23/10/06 20:35:16.84 hdhWn3/E.net
関数型の良いとことるの諦めた言語って感じだけどｗ
初期の頃はocamlでコンパイラ作られてたらしいのに
MLの匂いさえ残ってない単なる手続き化型言語だわ

430:デフォルトの名無しさん
23/10/06 21:14:33.58 b1wSOXuc.net
スタックフレームに着目したのはプラスだけど、下手にスタックフレームを隠そうとしているのはマイナス。
計算モデルをスタックフレームにするぐらい割り切れば良かったのに。

431:デフォルトの名無しさん
23/10/06 21:15:11.56 b1wSOXuc.net
スタックフレームに着目したのはプラスだけど、下手にスタックフレームを隠そうとしているのはマイナス。
計算モデルをスタックフレームにするぐらい割り切れば良かったのに。

432:デフォルトの名無しさん
23/10/06 23:16:24.42 tE7CLicd.net
mut 入れたのが間違いなんだろ

433:デフォルトの名無しさん
23/10/06 23:30:10.29 hdhWn3/E.net
関数型に関してはscalaのほうがよっぽど意欲的だよ
def qsort(list: List[Int]): List[Int] = list match
case Nil => Nil
case pivot :: tail =>
val (smaller, rest) = tail.partition(_ < pivot)
qsort(smaller) ::: pivot :: qsort(rest)

たとえば↑こういうのとか

434:デフォルトの名無しさん
23/10/07 00:34:46.36 Hyqci1qG.net
関数型というよりはリスト型言語だな

435:デフォルトの名無しさん
23/10/07 01:56:24.14 a3LzK6ia.net
システムプログラ�

436:~ングのための言語なので純粋に関数型な要素だけを求めるなら別の言語を当たった方が良い

437:デフォルトの名無しさん
23/10/07 02:12:44.80 QajUcOD9.net
リスト型つまりLinkedListをメインにすると利便さと引き換えに遅い問題とガベージが出まくる問題がある
Rustはリスト型メインにしなくて正解

438:デフォルトの名無しさん
23/10/07 04:42:48.81 +bTugVnw.net
GCを前提にしない仕様の上に積み上げなくてはならないという側面から見ると、わりかしよくやっている方なんじゃなかろうか……知らんけど

439:デフォルトの名無しさん
23/10/07 06:29:51.58 GJ9LXcgc.net
自称情強底辺者「Rustでhello worldかける俺カコイイ」

真の成功者「スイカゲームでボロ儲けしました」

440:デフォルトの名無しさん
23/10/07 06:46:44.80 bWLG2vp7.net
mut無しとはこういうことか
URLﾘﾝｸ(play.rust-lang.org)

fn qsort<T: Copy+Ord>(list: &[T]) -> Vec<T> {
match list {
[pivot, ..] => {
let (smaller, rest): (Vec<T>, Vec<T>) =
list[1..].iter().partition(|&i| i < pivot);
[qsort(&smaller), vec![*pivot], qsort(&rest)].concat()
},
_ => vec![]
}
}

fn main() {
let list = [9, 0, 7, 3, 6, 1, 2, 4, 8, 5];
println!("{:?}", list);
println!("{:?}", qsort(&list));
}

441:デフォルトの名無しさん
23/10/07 09:44:47.17 WqNjBTZw.net
まあ今時ランタイム速度でそこまで差がつくことはないわな。
ガベコレの実行タイミングが問題になることは結構あると思うけど。

442:デフォルトの名無しさん
23/10/07 11:17:12.27 fuWtUzBR.net
アロケートしまくリングやな

443:デフォルトの名無しさん
23/10/07 12:06:59.60 pov02R//.net
ランタイムサポートが極まってきたからこそ
極めきれない部分の差が目立ってきたんだよ。

444:デフォルトの名無しさん
23/10/07 14:19:35.27 koj+veBs.net
XYZ座標みたいな単純だけどプリミティブでない大量のデータの配列を作りたいときに
１つ１つをオブジェクトにしないといけないGC言語は放り投げたくなる
座標なら最悪プリミティブに分解して自分で並べれば済むけど型が混ざると詰む

445:デフォルトの名無しさん
23/10/07 15:18:57.75 AO4ZOvxF.net
>>424
>>430
なるほど
美しいコードはスッキリうんこみたいに気持ち良い
まるで脳が洗われるようだ
普段いかに毒に浸かってるかが判るな

446:デフォルトの名無しさん
23/10/07 15:43:47.56 Ozx346pn.net
Rustのはmutなしにした場合の問題提起のための悪い例だろ

447:デフォルトの名無しさん
23/10/07 15:51:39.94 O3XDw4H3.net
>>434
Rustでも１つ１つオブジェクトにする
何の問題もないどころかむしろ好ましいやり方

448:デフォルトの名無しさん
23/10/07 16:42:12.14 2ow1Jojj.net
ocamlだとこんな感じかな？
let rec qsort = function
| [] -> []
| pivot :: tail ->
let smaller, rest = List.partition ((>) pivot) tail in
qsort smaller @ pivot :: qsort rest
>>424 scala比較のためそのままコピペ
def qsort(list: List[Int]): List[Int] = list match
case Nil => Nil
case pivot :: tail =>
val (smaller, rest) = tail.partition(_ < pivot)
qsort(smaller) ::: pivot :: qsort(rest)
scalaすごい頑張ってると思うわ

449:デフォルトの名無しさん
23/10/07 23:59:36.96 QajUcOD9.net
>>430
RustはそのようにOCamlやScalaと同等に書くことも容易な点がいいな
同時にその方法によりRustで記述すると大量にVec(またはリストを実現する何か)を使い捨てていることが見える
つまりGC言語ではガベージが大量に出る

450:デフォルトの名無しさん
23/10/08 02:42:17.66 9NUoKPD/.net
くすくす

451:デフォルトの名無しさん
23/10/08 08:07:41.64 WAd1DVRF.net
同等に書けてないでしょｗ

452:デフォルトの名無しさん
23/10/08 09:57:45.64 ShBUnVvx.net
同等というより >>438と >>430は全く同じだな
空でなければpartitionでsmallerとrestに分けて
それぞれを再帰でqsortしてconcatenate

453:デフォルトの名無しさん
23/10/08 10:16:57.79 CrdCteTP.net
次はHaskellまたはErlangでおながいしまつ

454:デフォルトの名無しさん
23/10/08 10:38:24.03 lCt9aeoq.net
in-placeなqsort書いてよ

455:デフォルトの名無しさん
23/10/08 10:39:23.48 WAd1DVRF.net
>>443
Haskell
qsort [] = []
qsort (x:xs) = qsort [y | y <- xs, y < x] ++ [x] ++ qsort [y | y <- xs, y >= x]
Erlang
qsort([]) -> [];
qsort([X|Xs]) ->
qsort([ Y || Y <- Xs, Y < X]) ++ [X] ++ qsort([ Y || Y <- Xs, Y >= X]).

456:デフォルトの名無しさん
23/10/08 12:06:58.68 3KZ70qk+.net
複オジは常にヒープアロケートするGC言語しか知らないのかな？
特定の言語の機能不足をGC言語の制約のように語るのはやめような

457:デフォルトの名無しさん
23/10/08 14:27:21.60 1klr8jB1.net
rustより高度なライフタイム管理する言語ってないの？

458:デフォルトの名無しさん
23/10/08 14:53:30.59 33/5YUgE.net
高度なライフタイム管理のベクトルがわからん
全データに参照カウンタをもたせて参照→存在を保証してるGC言語ならたくさんあるし
処理過程を生成する（書かせない）ことでライフタイムを意識させない関数型言語もある

459:デフォルトの名無しさん
23/10/08 14:57:14.95 lcllyLaE.net
>>442
ScalaのListもOCamlの[]も単方向リストであってべクタではないのに唯一気付いていないおじさん

460:デフォルトの名無しさん
23/10/08 15:04:22.44 KeQMELAC.net
それはそれとしてScalaのcase classはRustにも欲しいと思うことあり

461:デフォルトの名無しさん
23/10/08 15:32:16.97 1klr8jB1.net
>>448
rustを置き換え可能な言語で
つまりゼロコスト抽象
大学の研究レベルのものとかでないのかな

462:デフォルトの名無しさん
23/10/08 16:37:56.79 lCt9aeoq.net
ランタイムコストなしのライフタイムチェックはシステムプログラミング言語だから必要な話で、そうでない言語ならGCで良い

shared xor mutableの静的な保証はGC言語でも嬉しい性質だと思うが、他の言語で採用例はあるのかね？

463:デフォルトの名無しさん
23/10/08 18:19:11.05 WAd1DVRF.net
enumのリストで書いてみたわ
rust不慣れだから所々おかしいかも
URLﾘﾝｸ(ideone.com)
enum List<T> {
Cons(T, Box<List<T>>),
Nil,
}
impl<T: Copy + PartialOrd> List<T> {
// 略
fn qsort(&self) -> Self {
match self {
List::Nil => List::Nil,
List::Cons(pivot, tail) => {
let (smaller, rest) = tail.partition(|x| *x < *pivot);
smaller.qsort().concat(&rest.qsort().prepend(*pivot))
}
}
}
}
fn main() {
let list = List::<i32>::nil().prepend(4).prepend(8).prepend(8).prepend(3).rev();
list.each(|n| print!("{}", n));println!("");
list.qsort().each(|n| print!("{}", n));println!("");
}

464:デフォルトの名無しさん
23/10/08 19:36:48.46 e3limdE9.net
>>449
目的はソートなので、
単方向リストを用いるかベクタを用いるかは実装方法の問題だから些細な話かな。
実用上もベクタで十分だから単方向リストの出番は滅多にないよね。

465:デフォルトの名無しさん
23/10/08 20:05:18.10 lCt9aeoq.net
で、みなさんは単方向リストを使う綺麗だけどクソ遅いコードを並べて何がしたいんですか？

466:デフォルトの名無しさん
23/10/08 20:14:55.63 BgGDjECm.net
そんなの用途次第だろ
ど素人かよ

467:デフォルトの名無しさん
23/10/08 20:19:50.77 QzGY7mJQ.net
>>454
>>439がガベージがどうこう言ってるのについてはどう思う？

468:デフォルトの名無しさん
23/10/08 20:59:00.53 e3limdE9.net
>>457
リストはガベージと裏表一体ですが何を問題にしていますか？
リスト化する時にconsセルの割り当てが発生します。
そしてリストから取り出す時に空のconsセルがガベージとして発生します。

469:デフォルトの名無しさん
23/10/08 22:12:35.86 nH9KI4I/.net
赤っ恥オジの言い訳草

470:デフォルトの名無しさん
23/10/08 22:57:55.16 1kYUOs3M.net
入れもの(メモリ)はどのデータ構造でも不可欠だからいずれもゴミが発生するのは仕方ない
ただしリスト(各セル|ノード)に比べてベクタは以下の点で有利
・まとめて確保解放ができる
・next pointer(の容量と処理)が不要
・リニアスキャンが速い
・ランダムインデックスアクセスも速い
そのためRustでもほとんどの用途でベクタが使われリストは少ない

471:デフォルトの名無しさん
23/10/08 23:00:08.12 Li9tDqQF.net
今どきはCPUキャッシュが効くかどうかが問題だから

472:デフォルトの名無しさん
23/10/08 23:38:45.90 F0i6/5MC.net
三連休使ってrustの勉強してるけど、ようやく慣れてきた
某openGLの本をMacでやっててDSL2のインストールに四苦八苦、、、
なんかこいつだけCargo.tomlの書き方が、、、
急ぎ足せずrustのとこにある蟹表示するやつ写経してクレートの追加覚えた
先は長いね、、、
頑張る

473:453
23/10/09 01:16:03.20 VBg3Yonc.net
>>444
>>455
URLﾘﾝｸ(ideone.com)
これでクイックソートになってるはず？
なってなくても笑って許してほしい

474:デフォルトの名無しさん
23/10/09 01:21:45.86 L6ciWwId.net
>>456
ソート済み配列のソートの計算量が最悪になるqsort実装の活用方法わかんないです
どういうときに有効なんですか？
標準ライブラリのソートアルゴリズム使った方が良いのでは

475:デフォルトの名無しさん
23/10/09 01:24:15.18 TA+AoWAa.net
リストと配列比較してるやつ全員馬鹿です

476:デフォルトの名無しさん
23/10/09 13:24:27.74 gMk1hFfQ.net
そんな香具師いたか？

477:デフォルトの名無しさん
23/10/09 18:01:30.12 416rm9Ab.net
appendできないListってダサい

478:デフォルトの名無しさん
23/10/09 18:16:49.87 TA+AoWAa.net
おるやん！

479:デフォルトの名無しさん
23/10/11 15:06:20.59 UxaO0GW9.net
Rust検索したらゲームの方が出てきてお前じゃないってなって情報収集が捗らない

480:デフォルトの名無しさん
23/10/11 15:25:39.99 kTxLNWR8.net
それで困ったこと今まで一度もないんだがどういう検索でそうなるの？
普段からゲーム関係の検索したりサイト閲覧してたりする？

481:デフォルトの名無しさん
23/10/11 16:05:36.62 jfZ9hs4j.net
ゲームの方もやってますね
Rust初心者が簡単なゲーム作ろうとしてまして
(Pythonのpygameでブロック崩し作れる程度)
検索方法がまずいのかもしれませんね
描画したり、画像をはったり、それを縦横動かしたいだけなのですが
icedか？eguiか？みたいなとこまで来てるけど、まだ使い方がよくわからんですね
どこの関数が初期設定の一発実行で、どこの関数が60fpsの毎回実行なのかとか
プロではなく趣味なので言葉選びが毎回曖昧です

482:デフォルトの名無しさん
23/10/11 17:42:19.71 Pu4uPjjn.net
なるほどそういう感じなのか
検索ワードに”game”とかも含んでるなら
月並みだけどprogrammingを足してみたりゲームの方にだけ特徴的なワード(surviveやsurvivalとか)を除外してみたりするといいんじゃないかな

483:デフォルトの名無しさん
23/10/11 20:52:08.31 OZznE1k0.net
>>471
URLﾘﾝｸ(arewegameyet.rs)
とりあえずこの辺のチュートリアルから選んでやってみては？

484:デフォルトの名無しさん
23/10/11 23:18:11.74 vJm7EO/F.net
>>441
>>430がVec使用だから同等でないという話ならばRustにもリンクリストがあるよ
リンクリストに特化したパターンマッチング構文や結合構文はないけれど
例えばTをCopyせずそのまま使うならば
use std::collections::LinkedList;
fn qsort<T: PartialOrd>(mut list: LinkedList<T>) -> LinkedList<T> {
　if let Some(pivot) = list.pop_front() {
　　let (smaller, rest): (LinkedList<T>, LinkedList<T>) =
　　　list.into_iter().partition(|x| x < &pivot);
　　// concat
　　list = qsort(smaller);
　　list.extend([pivot]);
　　list.extend(qsort(rest));
　}
　list
}
fn main() {
　let list = LinkedList::from([9, 0, 7, 3, 6, 1, 2, 4, 8, 5]);
　println!("{:?}", list);
　println!("{:?}", qsort(list));
}

485:デフォルトの名無しさん
23/10/11 23:57:55.35 2xINBvCy.net
はあ
馬鹿なんですね

486:デフォルトの名無しさん
23/10/12 11:14:39.52 u59ybXeV.net
たしかに Rust ゲーム造り方で検索するとゲームの方ばっかり出る罠

487:デフォルトの名無しさん
23/10/12 11:17:21.26 u59ybXeV.net
>>474
mut 使ったら負け

488:デフォルトの名無しさん
23/10/12 12:51:53.05 5Y8Kw2UP.net
>>477
そんな表層的なことを問題にするのは愚か
例えばmutを表層的に使っていない >>430はそこで呼び出しているpartitionとconcatそれぞれのなかでmutを使っている
当たり前だがデータを組み立てたり書き換える処理は全てmutにたどりつく
 >>474でも表層的にmutを無くしたいだけならば同様にconcat関数を作りその中でmutを使えばいい

489:デフォルトの名無しさん
23/10/12 12:52:32.93 5Y8Kw2UP.net
>>477
そんな表層的なことを問題にするのは愚か
例えばmutを表層的に使っていない >>430はそこで呼び出しているpartitionとconcatそれぞれのなかでmutを使っている
当たり前だがデータを組み立てたり書き換える処理は全てmutにたどりつく
 >>474でも表層的にmutを無くしたいだけならば同様にconcat関数を作りその中でmutを使えばいい

490:デフォルトの名無しさん
23/10/12 13:19:12.59 SguY35qe.net
mut使ったら負けとは俺は思わないが断じて表層的なことではない
本質的に重要な違いだからこそRustでは明確に区別してるわけなので
それにconcatもpartitionもmut使ってない

491:デフォルトの名無しさん
23/10/12 13:31:42.25 IQy1JHL6.net
単方向リストと両方向リストの区別もついていない馬鹿だからしょうがないね

492:デフォルトの名無しさん
23/10/12 14:04:37.89 29Fh0rnH.net
標準ライブラリのソース見たら
concatもpartitionもmut使ってるな
最終的にあらゆるmutになるのか

493:デフォルトの名無しさん
23/10/12 14:35:37.70 +nxBPiMF.net
すべてがmutになる森鴎外

494:デフォルトの名無しさん
23/10/12 14:56:18.33 oQimRC1z.net
「ボクの考えた最強の汚コードを批判するな！」

495:デフォルトの名無しさん
23/10/12 14:58:53.27 X9LcShxS.net
>>482
ネタじゃなくマジで言ってるならRustは辞めとけ
絶望的に向いてない

496:デフォルトの名無しさん
23/10/12 15:06:20.95 pri3rXDa.net
複オジが劣化したのだろうか
それとも複オジ劣化版が新たに出現したのだろうか

497:デフォルトの名無しさん
23/10/12 15:24:09.95 VkfPx0C5.net
mutを使わずにできることは読み出しとムーブとコピーだけ

498:453
23/10/12 19:51:44.10 viHBcoi7.net
今度はDartで書いてみた
3.0でパターンマッチがちょっと強化されたらしい？
3.0新登場のスイッチ式の=>の右側には式だけしか書けない？
dartにはそもそもpartitionはない？
というわけで >>445のHaskell方式で書いてみた（程遠いけど）
List qsort(List list) {
return switch (list) {
[] => [],
[var pivot, ...var rest] => qsort(rest.where((x) => x < pivot).toList()) + [pivot] + qsort(rest.where((x) => pivot <= x).toList())
};
}

499:453
23/10/12 23:01:31.11 viHBcoi7.net
こういう書き方もできた
こっちのほうが雰囲気出てるかな？
List qsort(List list) {
return switch (list) {
[] => [],
[var x, ...var xs] => qsort([for (var y in xs) if (y < x) y]) + [x] + qsort([for (var y in xs) if (x <= y) y])
};
}

500:デフォルトの名無しさん
23/10/13 08:06:18.09 q0Ayf65Z.net
>>482
RustはCと同じ高速で動作する手続き型言語だから少なくとも最下層はmutが基本になる
たとえばイテレータからVecへcollectする場合
特殊ケースはunsafe最適化
一般ケースはlet mut vec = Vec::new();してextend
その一方でプログラミングする時はその最下層を意識しなくても知らなくてもいい
mutを必要としないiter.collect()と抽象的に書ける

501:デフォルトの名無しさん
23/10/13 08:24:52.90 NdZOKZ+T.net
最強Rust始めたわい
mutの話が出てるから質問
シャドーイングっていう性質使えばmutなくても書けそうな気がしてる(まだ書けてない)んだけど
シャドーイングしたときと、mutではメモリの動き何か変わるのかな？と
シャドーイング
let z = x + y;
その後z使って処理
let z = x - y; // z宣言して前回のz上書き
その後z使って処理

502:デフォルトの名無しさん
23/10/13 12:19:34.60 tPfYbY0d.net
>>491
それを1億行書いたとする。たぶんスタック溢れるんじゃね？

503:デフォルトの名無しさん
23/10/13 12:43:08.68 zQ1dnjfM.net
1億行書く意味が分からんが
そんな問題ではないだろw

504:デフォルトの名無しさん
23/10/13 18:31:34.80 Q91zX7Uf.net
ドロップしないの？

505:デフォルトの名無しさん
23/10/13 19:31:02.96 /Zwm785x.net
ちょっと前にJSONシリアライズでの最適化の話出たけど
goは空気感が不安になるよな

rust->システムプログラミングよりの言語で、速度やらいろいろうるさそうなやつが
集まってて、そんなやつらの作るライブラリだからパフォーマンスとか心配しなくてよさそう

C#->.NET開発チームが毎年長文ブログでがんばってるアピール

go->言語機能とかほぼ完成しちゃってるんだろうが
アピールもない、この空気感

506:デフォルトの名無しさん
23/10/13 19:35:26.71 /Zwm785x.net
URLﾘﾝｸ(devblogs.microsoft.com)
今年の.netのパフォーマンス改善はこれ

goはシンプル言語で標準ライブラリも最小限だから
もうあまりやることないのか?

507:デフォルトの名無しさん
23/10/14 14:19:51.05 MfcWhKX5.net
>>491
不使用領域は再利用されるから単純な順次処理ならシャドーイングで十分
mutが欲しくなる理由の１つは繰り返し処理だな（長さ不定のリストの集計とか）
関数型言語みたいに再帰使えばmutなしでも何とかなるけど慣れないとややこしい
あとは全部作り直すのが不合理なデータの部分的な書き換えでもmut使いたい

508:デフォルトの名無しさん
23/10/14 19:31:37.47 FeWBHDoO.net
for文で値を変えるカウンタとかフラグとかもmutじゃないと書けないな。
まぁ for 文より iter で書けという一派も多いかもしれんけど。

509:デフォルトの名無しさん
23/10/14 19:57:12.00 jlnlui4T.net
モジュールの内部では (性能上の理由で) mut を使っても、
外側に見せるインターフェイスは
(不自然ではない範囲で) mut を避けるのは自然な方針だと思う。

510:デフォルトの名無しさん
23/10/15 09:39:38.68 M8zy/AR3.net
Cで書いたプログラムを Rustで書いたらこうなります
っていうのをひたすら集めた本がほしい

511:デフォルトの名無しさん
23/10/15 10:09:58.67 Xnkvwbkm.net
全銀システムでJavaの

512:信頼が失墜した今こそrustのチャンスだな

513:デフォルトの名無しさん
23/10/15 11:00:17.07 2BZrn9hr.net
全銀はまだCOBOLだろ
ほんといつもいつも嘘ばっかりだな

514:デフォルトの名無しさん
23/10/16 10:19:13.28 kgcCjrnK.net
>>500
似たような動機で描かれた本とかブログは観たことあるけど
Rustっぽくないコードばっかりでうんざりする面もある

515:デフォルトの名無しさん
23/10/16 10:21:08.50 kgcCjrnK.net
全銀協のフォーマットって今も変わってないんだろうけど
半角カタカナだらけでRustで扱うのは大変かも知れないね

516:デフォルトの名無しさん
23/10/16 10:35:49.58 enUIFRpv.net
扱う文字については適当なライブラリを整備すればそんなに問題にならなさそうに思うが

517:デフォルトの名無しさん
23/10/16 11:26:02.88 SeIR9j3q.net
>>505
＞扱う文字については適当なライブラリを整備すれば

外字ばかりとかでそれが大変なんじゃないの？知らんけど

518:デフォルトの名無しさん
23/10/16 12:22:46.59 SkmcjqYw.net
半角しかないのに外字とは

519:デフォルトの名無しさん
23/10/16 13:30:20.84 kgcCjrnK.net
今のうちに Rust でﾊﾝｶｸｶﾀｶﾅ自由自在な crate 造っておけば
将来ライセンス料でｼｯﾎﾟﾘ儲かりますか？

520:デフォルトの名無しさん
23/10/17 11:40:48.89 xDsy3kB7.net
Rustに慣れるとCのifで()付け忘れたわ

521:デフォルトの名無しさん
23/10/19 14:52:32.31 rcYEOPS6.net
Vec の iter() と into_iter() の違いは？

522:デフォルトの名無しさん
23/10/19 14:53:04.92 rcYEOPS6.net
Vec の iter() と into_iter() の違いは？

523:デフォルトの名無しさん
23/10/19 15:12:31.11 V7scna43.net
>>510
引数に着目するといい。
into_iter はムーブするが iter は借用する。

524:デフォルトの名無しさん
23/10/20 01:20:11.96 /f3Rr7gK.net
>>500
その発想がすでに間違ってる
根本が違うから同じようには書けない

525:デフォルトの名無しさん
23/10/20 06:13:09.90 3+q+Er7L.net
Cで安全に書いたときと同じ生成コードにはなるけどRustでは抽象度の高い表現をするからなあ
例えばメモリのある範囲の領域を順に読み取る(書き込む)というC言語だとポインタをインクリメントしていくだけの場合でも
Rustだとまずメモリの領域をスライスという安全な抽象表現で扱い可変性もライフタイムも付随してスライスが指す元の安全に確保されている領域(配列やベクタなど)も必須というところからスタート
そのうえでスライスのイテレータにより必ずその範囲内のみを順に安全に指し示す参照(または可変参照)が次々と得られて順に読み取る(書き込む)ことが達成される
さらにRustではこれをfor文ではなく抽象度の高いイテレータメソッドチェーンで書くことも多いからCコードとの対応はますます難しくなるね

526:デフォルトの名無しさん
23/10/20 06:56:18.50 /M3RKJCH.net
unsafe {
Rust で C ポインタやりたいなら
let p = *mut hoge;
p+=1;
std::slice::from_raw_part(p. 1)[0] = hage;
}

527:デフォルトの名無しさん
23/10/20 09:04:11.56 6mF1sPPt.net
>>513
同じように書けないからこそ対比したものが欲しいと言う話だろうに

528:デフォルトの名無しさん
23/10/20 09:27:32.12 /M3RKJCH.net
>>516
クソでたらめだが真面目に実装するとマジ面倒
>>515 方式だと
#[derive(Debug)]
struct Hoge {a: u8, b: u8, c: u8}
impl Hoge {
pub fn new(a: u8, b: u8, c: u8) -> Self {Hoge{a, b, c}}
}

fn main() {
let hoge: Vec<Hoge> = vec![Hoge::new(1, 2, 3), Hoge::new(4, 5, 6), Hoge::new(7, 8, 9)];
println!("{:?}", hoge);
let mut p = &hoge[0] as *const Hoge as usize;
p += 2 * std::mem::size_of::<Hoge>();
unsafe { std::slice::from_raw_parts_mut(p as *mut Hoge, 1)[0] = Hoge::new(8, 3, 1); }
println!("{:?}", hoge);
}
>>514 方式だと
let p = &hoge[0] as *const Hoge as *mut Hoge;
unsafe { std::slice::from_raw_parts_mut(p, 3)[2] = Hoge::new(8, 3, 1); }
でちょっとマシになるくらい

529:デフォルトの名無しさん
23/10/20 09:40:03.83 2W9ATkqE.net
マクロでウヒヒ

530:デフォルトの名無しさん
23/10/20 11:03:08.72 +Ixb2Hv2.net
近代的な言語の仕組みってのは大規模なプログラムをどうやってまとめるかという方向で進歩してるから
小さなサンプルで比較しても設計理念は身につかんのだ。

531:デフォルトの名無しさん
23/10/20 13:13:02.21 iA9G36tB.net
設計理念を身につける話なんて誰もしとらんだろw

532:デフォルトの名無しさん
23/10/20 15:12:25.73 +Ixb2Hv2.net
してないから問題だと述べてるんだが。
俺が学生のときに英語の長文の全ての単語の横に(単語ごとに！)日本語の単語を書いてたやつがいたことを思い出したわ。
本に載る程度の規模(ひとつあたり数ページくらい？)のプログラムを対比するってのはそういうことだよ。
言語の設計理念に基づいた構造こそが重要で、構造を論じるほどの規模にならないならたいした違いは見えてこない。

533:デフォルトの名無しさん
23/10/20 16:07:06.67 /M3RKJCH.net
CでもPythonでもRustでも全部の行にあほみたいなコメント描く香具師はうざいけど
Rustのcrateでdocsにcomment100%達成するためにはアホなコメント描かされてダサい設計思想だと思う

534:デフォルトの名無しさん
23/10/20 16:34:14.75 HySp0Cr6.net
>>521
日本語の設計理念wが身についてないみたいだなw

535:デフォルトの名無しさん
23/10/20 17:24:55.57 /f3Rr7gK.net
unsafe使うならCでいいんだよなw

536:デフォルトの名無しさん
23/10/20 19:40:13.76 3+q+Er7L.net
>>524
それは違う
unsafeを使ってsafeなインターフェースを提供する部分だけ人間が安全性を保証すれば
それ以外の部分はすべてRustが安全性を保証してくれる
その方針でRustの標準ライブラリやunsafeを用いる一部クレートが作られている

537:デフォルトの名無しさん
23/10/20 20:06:04.22 9sHhryb+.net
>>525
もちろん品質が保証されてるライブラリは使うよ
現時点でここまでライブラリが揃ってるから自前でunsafeを書く必要は感じない

538:デフォルトの名無しさん
23/10/21 12:29:35.28 sf7W/HH9.net
関数型最強(キリω
ですねわかります

539:デフォルトの名無しさん
23/10/21 21:43:10.75 sGOhbjn7.net
Linuxでも、結局のところ「C言語でいいじゃん」という結論になりそうよね
リーヌスもなんかやっぱRustはなぁ・・・ってトーンダウンしてきてるし

540:デフォルトの名無しさん
23/10/22 00:35:28.61 GiKl9Asx.net
>>528
カーネルなんて低レイヤーのポインタ操作とかビット演算しかしないからな

541:デフォルトの名無しさん
23/10/22 00:50:06.85 n0l+NFKj.net
Linux カーネルの中にだって Rust が適している場所も
あるといえば有るだろうけど現時点でそれなりに検証が済んで
安定して動いているものを「置き換え」するほどではないだろうな。
適しているからといって各部を別の言語で書いたりすると
接続箇所で面倒になったりもするし。

542:デフォルトの名無しさん
23/10/22 11:49:16.17 IKvVj0uW.net
カーネルで流行らないならもう流行るところないんじゃ…

543:デフォルトの名無しさん
23/10/22 19:50:36.55 NN1UsPSx.net
どの言語からどの言語への場合でも既に動いているものを別の言語に移植するだけだとコストがかかる
それでもスクリプト言語からRustへ置き換えるなら実行速度と省メモリの効果がコストを上回りやすいためよく行われている

一方でC/C++

544:からRustへ換えても実行速度と省メモリの効果はないだからシステム設計を変えるなど大きな更改タイミングでRust化することが多い特にマイクロサービス化されているものは個別に更改できるためシステム全体の一部Rust化に向いている最も向いておらずハードル高いのがモノリシックになっているOSカーネルその場合でも分離されているデバイスドライバは最近のデバイス複雑化と更新対応の多さからもRust化が向いているため進んでいる

545:デフォルトの名無しさん
23/10/22 19:58:13.61 fijCTFBo.net
>>531
もうちょっと上位のレイヤーなら良いと思うけどね
Cでバッファオーバーランするようなプログラムって
結局Rustでもunsafe使わざる終えないような処理なので

546:デフォルトの名無しさん
23/10/22 21:57:00.47 xV2fKCwr.net
構造体をキャストするものでも、hoge_storage_t みたいに最大サイズを規定するパターンと
char foo[0]; を積極的に利用するパターンと真っ二つにわかれるしねぇ
後者はRustでどうすんだろ

547:デフォルトの名無しさん
23/10/22 22:15:56.13 fijCTFBo.net
結局構造体もパケットのバイト列にパックするからね
その時unsafeを使うことになる

548:デフォルトの名無しさん
23/10/22 22:45:30.49 EpprGwAf.net
構造体はunsafeいらん
タグ無し共用体はunsafe

549:デフォルトの名無しさん
23/10/22 23:15:20.26 HWj9itUZ.net
流行るから価値ある、流行らないから価値なしって評価基準はジャパニーズカルチャーのガラパゴス

550:デフォルトの名無しさん
23/10/22 23:23:05.72 /1lQw0Ls.net
>>534
後者も普通に表現できるしCとのFFIも可能

551:デフォルトの名無しさん
23/10/22 23:28:57.61 zUgjdRO9.net
Redox（URLﾘﾝｸ(www.redox-os.org)）みたいなRust製のUnix系OSプロジェクトならもうあるし
無理してLinuxに食い込む必要はないと思うんだけどLinux開発者でもRust使いたい人はいるんでしょ
Linuxは一部のモジュールがRust製になる程度で中核は最後までCで通すと思う
というかRustで置き換えるなら名前変えてほしい

552:デフォルトの名無しさん
23/10/23 00:13:38.68 tCssLiBK.net
>>539
まあカーネルで使ってる基本的なデータ構造(赤黒木、ハッシュテーブル、双方向リスト)
kref(リファレンスカウント)などは外せないからね
無理に組み合わせるとかえってキツい気がする

553:デフォルトの名無しさん
23/10/23 05:58:05.37 3382hDjx.net
>>533
実際にはCでもバッファオーバーランしないからRustでは、unsafe必要ないでしょ

次ページ