Rust part26

**デフォルトの名無しさん** · 2024/09/20(金) 22:18:38.38

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

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

**デフォルトの名無しさん** · 2024/10/05(土) 11:04:55.83

>>142
box演算子を使う

**デフォルトの名無しさん** · 2024/10/05(土) 13:18:05.42

>BoxやVecって、データを一旦スタックに書いてからヒープに渡されるよね
うそーん？
そのくらいは最適化されるやろ？

**デフォルトの名無しさん** · 2024/10/05(土) 14:23:20.89

>>141
そんなこと言う人は多いけど、その人たちはアルゴリズムを理解してない。

**デフォルトの名無しさん** · 2024/10/05(土) 15:12:54.52

Rustは境界検査ある分Cよりは遅くなるよね
境界検査オフにしたらベンチマークのスコア上がったみたいな記事がZennにあった気がする

**デフォルトの名無しさん** · 2024/10/05(土) 15:18:00.36

そんなことしたらコーダーが勝手に最適化()するから駄目だろ。

**デフォルトの名無しさん** · 2024/10/05(土) 16:20:58.85

>>146
Rustに境界検査オフにするオプションはないからそれは別の言動の話でしょう
Rustでは常に行われますが論理的に安全だと判定できる場合に最適化されて消えます

一方で境界検査がない言語では必要な境界検査をプログラマーが手動でする必要があります
それを忘れると深刻なセキュリティホールになる可能性があります
レアな特殊な状況が揃って初めて発生することもあるためサニタイザーでは見つけることが困難です

**デフォルトの名無しさん** · 2024/10/05(土) 17:01:50.15

>>143
詳しく
"box operator" のような単語でググってみたけど、それらしいものを見つけられてない

**デフォルトの名無しさん** · 2024/10/05(土) 17:08:36.51

>>148
get_uncheckedとかあるやろ

**デフォルトの名無しさん** · 2024/10/05(土) 17:33:09.63

>>149
少なくとも stable には無い。
現時点では box が予約語扱いになってるが、将来に使用するための予約であって現時点では使ってないと名言されてる。
https://doc.rust-lang.org/reference/keywords.html

以前に検討したけど取り下げた記録はある。
https://rust-lang.github.io/rfcs/0809-box-and-in-for-stdlib.html
今はどうなってるんやろね？

**デフォルトの名無しさん** · 2024/10/05(土) 17:40:46.65

× 名言
〇明言

**デフォルトの名無しさん** · 2024/10/05(土) 17:53:26.30

>>146
分かりやすさから境界検査だけの遅さは分かっている
人が多いが、実は境界検査は些細な違いに過ぎない。
それ以上の事は言わない。各自で考えろ。
分かる人だけが分かっていればいい。

**デフォルトの名無しさん** · 2024/10/05(土) 22:25:00.84

https://github.com/rust-lang/rust/pull/97293や
https://github.com/rust-lang/rust/pull/108471が
現状なんかな？

**デフォルトの名無しさん** · 2024/10/05(土) 23:58:02.93

たしかbox記法をやめて
#[rustc_box]へ変えたはず

**デフォルトの名無しさん** · 2024/10/06(日) 02:23:22.08

>>142
今は
let mut b = Box::<BigStruct>::new_uninit();
とする

**デフォルトの名無しさん** · 2024/10/06(日) 02:59:36.25

ボツになった box キーワードを使ったやりかただと C++ でいう new みたいなのを想定していたんだと思う。
同じコンストラクタでスタック上にもヒープにもオブジェクトを構築できるようにってことね。
今の Rust の stable 内でやろうとすると未初期化のヒープ領域を確保してからそれに書き込むという段階を踏む必要があって同じ生成関数をキーワードひとつで切り替えてつかうということは出来ない。
そういうちょっとした不恰好さを呑む必要はある。

**デフォルトの名無しさん** · 2024/10/06(日) 10:41:43.35

>>156
コンパイラや標準ライブラリの開発者は#[rustc_box] + Box::new()を使うのに一般開発者はBox::new_uninit() + unsafeブロックで手動初期化しなきゃいけないというのはなんとも微妙だね

**デフォルトの名無しさん** · 2024/10/06(日) 11:07:22.09

>>153
わかってないやつが言っても説得力ないよ

境界検査を外す話はこれかな
https://proc-cpuinfo.fixstars.com/2019/09/rust-wins-cpp/

**デフォルトの名無しさん** · 2024/10/06(日) 13:00:12.28

>>159
実行毎に数十msはブレる処理でC++より数ms速くなりましたとか微妙すぎるな

**デフォルトの名無しさん** · 2024/10/06(日) 14:13:57.31

>>160
同感、20~40msはぶれる

>>159
Rustシングルスレッド版のcommit:23807a67df266ac8c6ba065801616a4012555344に戻して
単一実装毎に10回計測した最速値

SequentialNative, PreProcess, 3.328, Solve, 767.845, PostProcess, 0.521 <- C++/g++
SequentialNative, PreProcess, 3.679, Solve, 785.951, PostProcess, 0.502 <- C++/clang++
Rust, PreProcess, 3.407, Solve, 796.38, PostProcess, 0.599 <- Rust

**デフォルトの名無しさん** · 2024/10/06(日) 14:32:01.49

一番下の方にリンクしてあるQiitaの追試記事も読むといい

**デフォルトの名無しさん** · 2024/10/06(日) 14:47:13.76

>>159
「検査例外は些細な違いに過ぎない」
と言ったのは、Rustには、もっと非効率な部分があるからだぞ。
逆に捉えた人がいるかもしれないが。

**デフォルトの名無しさん** · 2024/10/06(日) 14:48:25.28

>>163
誤:検査例外
正:境界検査

**デフォルトの名無しさん** · 2024/10/06(日) 22:43:06.06

Rustコンパイラが通常の機能として論理的に安全と解析できた時は境界検査を省略しているのに加えて
プログラマーがさらにヒントを与えることで境界検査を安全に無くしたり減少させたりする方法もありかなりをカバーできる
それでもカバーできない範囲は人間が安全性を保証する形でunsafeを用いて関数やモジュール内に閉じ込める最後の手段がある
プログラムのそれ以外の部分は依然としてRustが安全性を保証するためRustを用いたほうが断然に有利

**デフォルトの名無しさん** · 2024/10/06(日) 22:58:46.94

相変わらず非論理的やな

**デフォルトの名無しさん** · 2024/10/07(月) 01:41:44.93

基本をどっち側に倒してるかって話だわな。
チェックするのを基本にする (けど必要ならチェックを除くことも出来る) のか
チェックしないのを基本にする (けど必要ならチェックすることも出来る) のかって話で、
やりやきゃどっちも出来るんだから場合によって自分で判断しろよ。

**デフォルトの名無しさん** · 2024/10/07(月) 02:43:52.62

これはさすがに釣りだよね

**デフォルトの名無しさん** · 2024/10/07(月) 04:55:29.89

もしかしてRustってコンパイルめちゃくちゃ遅い？

**デフォルトの名無しさん** · 2024/10/07(月) 10:41:01.74

一回コンパイル済みなら、2回目はそれなりの時間

初回のsdk-ec2は遅すぎて何度中断しようかと思ったわ

**デフォルトの名無しさん** · 2024/10/07(月) 15:40:05.30

cargo update するとすぐ破綻する

**デフォルトの名無しさん** · 2024/10/07(月) 16:27:42.48

sccacheで二度目以降はもう少し改善した
コンパイル速度はC++同様遅い部類だと思う

**デフォルトの名無しさん** · 2024/10/07(月) 17:01:46.54

>>163
それの具体例を示せてない時点でね…

**デフォルトの名無しさん** · 2024/10/07(月) 23:19:03.68

安全に境界検査不要をassert!でRustコンパイラに伝える方法が意外に効くね

**デフォルトの名無しさん** · 2024/10/07(月) 23:26:15.84

>>173
馬鹿には示す必要ない。

**デフォルトの名無しさん** · 2024/10/08(火) 08:44:17.05

>>174
詳しく

**デフォルトの名無しさん** · 2024/10/08(火) 09:34:58.32

自分で定義してないtrait(T)を自分で定義してないstruct(S)に定義したい
impl T for S {
}

**デフォルトの名無しさん** · 2024/10/08(火) 10:04:39.98

>>177
できないのでどちらかをwrapして下さい

**デフォルトの名無しさん** · 2024/10/08(火) 10:36:24.86

>>177
orphan rule と呼ばれる制限。
どうしてこの制限が必要なのか、対処法のイディオムなどはググればいっぱい説明されてるよ。

**デフォルトの名無しさん** · 2024/10/08(火) 21:24:47.85

>>175
知らないだけw

**デフォルトの名無しさん** · 2024/10/08(火) 21:26:47.09

>>180
やっぱり本当に馬鹿なんだな。
それに説明しても理解できない。

**デフォルトの名無しさん** · 2024/10/08(火) 23:19:20.44

>>176
https://nnethercote.github.io/perf-book/bounds-checks.html

**デフォルトの名無しさん** · 2024/10/09(水) 08:10:07.07

>>182
thx

**デフォルトの名無しさん** · 2024/10/09(水) 14:24:59.18

慈円乙

**デフォルトの名無しさん** · 2024/10/09(水) 18:17:45.48

>>175
あーあ，反ワクが自分で調べてくださいっていうのと同じか
自分で説明するとボロが出るから

**デフォルトの名無しさん** · 2024/10/09(水) 21:57:24.09

実験と質問の境界がなくなりかけている
質問なら自己解決もありうる
実験の場合、自分で考えた実験結果というのはただのデータ改竄

**デフォルトの名無しさん** · 2024/10/09(水) 22:10:40.53

>>185
もしかして7回も打ってるの？

**デフォルトの名無しさん** · 2024/10/09(水) 23:54:32.05

米ホワイトハウス「ソフトウェアはメモリ安全でなければならない」との声明を発表：「C」「C++」よりも「Rust」などの言語を推奨
https://atmarkit.itmedia.co.jp/ait/articles/2403/18/news045.html

**デフォルトの名無しさん** · 2024/10/10(木) 02:18:50.02

>>188
Rustには権力による圧力が入ってきている。
市場経済、自由選択への権力介入だ。

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

コンピュータの分野は権力介入が少なかったので、面白かったのに、
政治家やマスコミが入り込んできてめちゃくちゃになってきている。

**デフォルトの名無しさん** · 2024/10/10(木) 07:08:10.03

与党が介入するなら野党に投票すればいい

**デフォルトの名無しさん** · 2024/10/10(木) 09:15:33.28

コンピュータープログラムのアルゴリズムごときでノーベル賞とか
最近はホント可笑しい

**デフォルトの名無しさん** · 2024/10/10(木) 09:54:14.90

ソフトウェア特許がろくでもないのでノーベル賞みたいな形のほうがマシだと思う。
良いとは言えんが。

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

>>189
米政府は危険なC/C++を早く捨てて安全なプログラミング言語を使うことを推奨するとして、Rustを含めた複数の安全な言語を挙げているので大丈夫だよ。
ただしRust以外はガベージコレクション言語なので、C/C++と同等の速さやメモリ使用量を望むならばRustしか安全な言語の選択肢がない。

**デフォルトの名無しさん** · 2024/10/11(金) 00:11:00.19

AIと人間が競争するみたいな文脈では危険といえば相手に負けることしか思いつかなくなる
それ以外の安全性がどうでもよくなる

**デフォルトの名無しさん** · 2024/10/11(金) 01:44:19.33

>>194
結局、C/C++だけが潰される。

警備員[Lv.1][新芽] · 2024/10/11(金) 09:35:58.81

rustはガベコレはないけど、オブジェクトのライフタイムをコンパイル時にチェックして c++でいう deleteを自動でセットしてくれるのですか?
コンパイラはそんな複雑なことができて、結果も信頼できるのでしょうか
それとも、開発者が自由に書けないくらい、書き方に制約を設けてコンパイラにとって既知のパターンとなるようにしているのですかね

**デフォルトの名無しさん** · 2024/10/11(金) 10:48:59.08

>>197
まずはChatGPTにでも聞いて概要を理解しろ

**デフォルトの名無しさん** · 2024/10/11(金) 13:50:24.29

>>197
これはプログラム経験が浅いマネージャに聞かれそうな質問
まずC++のデストラクタを理解してるかどうかがポイントだな

「c++でいうdeleteを自動でセット」というフレーズから不穏なオーラを感じる

**デフォルトの名無しさん** · 2024/10/11(金) 13:54:54.08

>>197
別に複雑なことはしていない
所有権の移動に厳密なだけ

**デフォルトの名無しさん** · 2024/10/11(金) 14:05:51.40

喩え話や類推で理解できてしまったら驚き屋の仕事が奪われるだろ

**デフォルトの名無しさん** · 2024/10/11(金) 14:16:31.54

>>197
言語機能は全部が絡み合って機能するので単純には言えない。
入門の文書が用意されてるんだから読みなさいよ。
きちんと使いこなそうと思わずに流し読みするくらいなら一日で読めるから。

**デフォルトの名無しさん** · 2024/10/11(金) 14:26:39.61

アメリカは、自由や市場経済を大事にする、と謳っておきながら、C/C++言語除外を官製強制するような国。どこが自由や市場経済なんだか。

**デフォルトの名無しさん** · 2024/10/11(金) 16:56:32.95

せいぜい政府調達から外すとかでしょ
気にしすぎ

**デフォルトの名無しさん** · 2024/10/11(金) 17:49:21.57

足し算の交換法則なんかは永久に守られるのになぜC++の文法を守らないのか
これ需給とか政府とかチャチなもんじゃなくてもっと怖ろしい強制力だろ

**デフォルトの名無しさん** · 2024/10/11(金) 18:19:53.55

>>203
政府が顧客の一人として言ってるだけで、市場に対する強制じゃないよ。
影響力が強くはあるけども。

**デフォルトの名無しさん** · 2024/10/11(金) 21:39:44.20

民間は先行して既に自らRustへシフトが進んでいる状況を踏まえて
政府が報告書をまとめたものだから

**デフォルトの名無しさん** · 2024/10/11(金) 23:15:15.82

ルールの例外を理解すれば自由度が上がる
たとえば猫と牛の違いが分かった奴は牛肉を食べる
分からん奴は菜食主義を強制されていると思い込むかも

**デフォルトの名無しさん** · 2024/10/12(土) 00:34:02.68

交換法則は人間の関与の余地がない
C++の文法は所詮は禿が定義したもの
Rustも含めて換えて良い

**デフォルトの名無しさん** · 2024/10/12(土) 01:14:45.15

「Security状問題である」と言われると人間には逆らえなくなる法則を利用し、
「衰退させたいライバル商品」を市場から消す商法がアメリカでは多用されている。

**デフォルトの名無しさん** · 2024/10/12(土) 01:21:49.75

>>210
Security状 --> Security上

**デフォルトの名無しさん** · 2024/10/12(土) 01:28:42.28

強力なC++開発環境が生まれる兆しを感じ、それを抑えるためにRustを推奨し出したのかもしれない。

**デフォルトの名無しさん** · 2024/10/12(土) 01:29:35.88

Rustもそのうち排除されるよ

**デフォルトの名無しさん** · 2024/10/12(土) 01:29:58.11

SNSでは、Wasmが、Rustと組み合わせる場合だけが強調される。
それは、そうでないと都合の悪い何かが出現したからではないか。

**デフォルトの名無しさん** · 2024/10/12(土) 01:32:52.29

しかも、RustはJSやPythonやC#などを置き換える可能性も有るにもかかわらず、
C++の置き換えだけが強調されるのは、C++を絶対的に排除しなければならない
何かが彼らの中で起きているのではないか。WasmとC++の組み合わせが特に
排除されようとしている。

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

思い込み激しすぎ

**デフォルトの名無しさん** · 2024/10/12(土) 06:57:43.97

>>215
>RustはJSやPythonやC#などを置き換える可能性も有る

c++より学習難易度高いのに、置き換える可能性があるわけ無いだろ。

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

採用はRFPに記載されるようになってからだよね～
指定が無いからと言って、「Rustで書きます。生産性良く無いのでC++の1.n倍の費用がかかります！」
の提案書が通るとは思えない。

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

RustがC++の置き換えになるとかほざいてるのは
RustもC++も使えないアホだけだろ

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

blog.rust-lang.org/2024/09/05/impl-trait-capture-rules.html
> We surveyed crates on crates.io and found that the vast majority of cases
> involving return-position impl trait and generics had bounds that were too
> strong and which could lead to unnecessary errors (though often they were
> used in simple ways that didn't trigger an error).

わはは、結局大部分はちゃんと理解してないし使いこなせてもいないってこった

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

>>c++より学習難易度高い

これはC++の闇を知らんから言えるんだ

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

あ、やっと書けた
なんか最近5chはよく分からん規制入れとるね

**デフォルトの名無しさん** · 2024/10/12(土) 08:03:30.55

せやな

**デフォルトの名無しさん** · 2024/10/12(土) 08:20:08.48

>>217
学習難易度が高いのは無駄に仕様が大きすぎるC++
Rustはモダンな抽象化も綺麗にまとまっていて仕様も小さい

**デフォルトの名無しさん** · 2024/10/12(土) 09:32:07.50

闇が嫌なら使わなければいい
使わない自由にこだわる理由がこれ

だが闇を認識できなければ、使うか使わないか検討する自由はほぼない
ないものをあると誤認しているだけ
元々自由がない状態なら、政府が介入しても、ないものを奪い取る心配はないってこと

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

>>224
公式も認めている激烈絶壁の学習障壁を、あえて言わずにその主張をするのは詐欺ですな。

初心者向けのまともな学習書は出たのかしらん？

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

学習時間が固定相場ならまともにはならない
昔の人がいうように修行は10年かかるとかいうレベルで時間が変動することを認めないと

**デフォルトの名無しさん** · 2024/10/12(土) 11:56:03.05

Rust 2024 editionっていつ出るの？

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

C++ のあかんところはわかってても間違う (間違いをコンパイラやランタイムサポートが検出しない) ところ。
わかってないときに自分がわかってないということに気づけないところ。

このつらさと難易度を天秤にかけたら Rust のほうがマシ。

**デフォルトの名無しさん** · 2024/10/12(土) 12:33:44.48

>>225
ごめんなにいってるかわかんない
Rustの闇の話？

**デフォルトの名無しさん** · 2024/10/12(土) 13:30:21.66

中学生が好みそうなワード

**デフォルトの名無しさん** · 2024/10/12(土) 14:53:53.79

C++は完成品だという前提を強制してから自由に選ばせるのが闇だ
もしかして未完成なんじゃないかという解釈は必要
その解釈は誹謗中傷だという解釈もあるだろうが
未完成だったことにして完成品を作ってみたのがRustだとしたらやはり必要なことだった

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

c++もrustもどっちも使えたらええだけやろ
所詮言語ごときで何を騒いどんねん

**デフォルトの名無しさん** · 2024/10/12(土) 15:40:11.45

rust

消えてく言語なの？

**デフォルトの名無しさん** · 2024/10/12(土) 16:05:55.21

Rustは一番嫌われている言語。

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

普通10言語以上覚えて使い分けるだろ。

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

使い分けてるのは言語じゃなくてIDなんだよなあ

**デフォルトの名無しさん** · 2024/10/12(土) 19:05:36.19

Rustの安心安全でいいんだけど
一つだけ欠点があって、それは誰も使ってないってことなんだよな

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

んなこたない。
crates.io に登録されてたり github に上がってる大量のコードを誰が書いてるんだって話になるじゃないの。
他の言語との差はあるにしても誰も使ってないというほど少ないということもない。

**デフォルトの名無しさん** · 2024/10/12(土) 20:05:40.69

Rust Surveyの回答者が1万人だからある程度熱心な人はそれくらいいて、全体で5-10万人ってとこかな

**デフォルトの名無しさん** · 2024/10/12(土) 20:37:41.94

ネットインフラが次々とRust製へ変わっていってるように
絶大な効果を発揮している

**デフォルトの名無しさん** · 2024/10/12(土) 22:46:05.65

> ネットインフラが次々とRust製へ変わっていってる
具体的にどういうのがあるの？
無知なだけかもしれないけど自分はあまり実例を知らない (自分が知ってるのはFirefoxとDiscordくらい)