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/24(木) 22:02:47.28

さすが複オジクオリティw

>>454
素直にrand使ってね

**デフォルトの名無しさん** · 2024/10/24(木) 22:11:35.63

そんなんでごまかせるわけないだろｗ
ワロタ

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

>>457で得られる値はgetrandomシステムコールや/dev/urandomから得ているので正真正銘の乱数値

**デフォルトの名無しさん** · 2024/10/24(木) 22:40:22.29

なんでこの程度の内容で議論が発生して第三者の解説が必要になるんだよ

**デフォルトの名無しさん** · 2024/10/24(木) 22:41:20.63

なんかnightlyにあったわ、つい最近のやつじゃん
そのゴミ生成器片付けとけよ

https://doc.rust-lang.org/nightly/std/random/index.html
https://github.com/rust-lang/rust/issues/130703

**デフォルトの名無しさん** · 2024/10/24(木) 22:52:15.99

Rustの標準ライブラリはHashMapなどで使われる安全なハッシュをサポートするために各OS環境から正真正銘の乱数を得ていてそれが>>457

**デフォルトの名無しさん** · 2024/10/25(金) 01:03:47.43

>>462
これまで、標準ライブラリで乱数をサポートしないのがRustらしさだと擁護してきた信者の気持ちを踏みにじるような機能追加だな

**デフォルトの名無しさん** · 2024/10/25(金) 01:53:32.00

>>464
あれはただの現状追認主義者だから、今日以降同じことを聞かれたら何食わぬ顔でstd::randomがnightlyにあるぞと言い始めるんだろう
まったくくだらない手合いだ

**デフォルトの名無しさん** · 2024/10/25(金) 02:10:41.48

それが複オジクオリティw

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

Rust信者はRustが素晴らしいという前提から出発しているから、どんな現状でも追認するしかないんだよね

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

信者てここには一人しかおらんやん
乱数とハッシュ値の違いも分からん信者wだけど

**デフォルトの名無しさん** · 2024/10/25(金) 20:43:07.49

iOS/Androidに対応した「Tauri 2.0」が公開～「Rust」が使えるアプリフレームワーク
https://forest.watch.impress.co.jp/docs/news/1628498.html

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

くやしいのうｗくやしいのうｗ

**デフォルトの名無しさん** · 2024/10/25(金) 22:12:28.52

話題を変えて無かったことにして欲しいらしいw
追い裏金の話を闇バイト強盗の話で誤魔化そうとしてもダメだろ～

**デフォルトの名無しさん** · 2024/10/25(金) 22:52:21.52

>>454
できる
デフォルトハッシャーでも使っている

**デフォルトの名無しさん** · 2024/10/25(金) 23:39:25.27

乱数は用途によって必要な性質が違うのであまり標準に入れて欲しくないが
インターフェイスは標準で決めて欲しいとは思う。

**デフォルトの名無しさん** · 2024/10/25(金) 23:45:41.75

乱数を標準ライブラリに入れてない頭おかしい言語って他にもあるの？

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

あっても使い物にならないのとかあるしなぁ。
ECMAScript (JavaScript) とか C とかの乱数は使いものにならないから実質的に無いのと同じだし、意味のないものを入れるくらいなら入れないほうがマシ。

**デフォルトの名無しさん** · 2024/10/26(土) 00:22:27.42

>>474
言語仕様に書かれていないという意味では、メジャーな言語で言えば Haksell とか Scheme とか。
「標準ライブラリ」というのがどこまでの範囲を指すかにもよるので微妙な話だが。

警備員[Lv.4][新芽] · 2024/10/26(土) 00:32:15.24

本当に頭のいい人たちが検証を重ねて世に送り出したモノが使い物にならないとはどういうところを言うのですか?

**デフォルトの名無しさん** · 2024/10/26(土) 00:44:55.37

本当に頭のいい人たちが検証を重ねて世に送り出したモノではないというところですね……

警備員[Lv.4][新芽] · 2024/10/26(土) 01:00:53.03

そう言う自分も、無批判には使わずに一様性を検定するなどしてから使うけど、信頼してないからではなく

**デフォルトの名無しさん** · 2024/10/26(土) 02:13:26.68

>>473
同意

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

>>476
言語仕様と標準ライブラリの区別もつかんのかーいw

言語仕様に乱数生成ライブラリの定義がある方がむしろ珍しいだろ

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

>>481
標準ライブラリは言語仕様と不可分だ。
規格に書いてあるか、公式に standard library という用語で呼んでいるのが標準ライブラリだと考えている。

ただ、変な経緯を持つものや事実上の標準のように扱われるものはあるから……。
C++ では STL (Standard Template Library) は言語仕様に取り入れられる前から STL と名乗ってた。

Haskell や Ruby のように特定の処理系が一強の場合は規格を論じるのがあまり意味ない場合もあるし。

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

>>469
Tauriはゴミ

**デフォルトの名無しさん** · 2024/10/26(土) 11:44:59.52

Rustはライブラリをあまり取り込まない方針じゃなかったっけ？
変わったの？

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

>>482
言語仕様と標準ライブラリ仕様の区別がついてないだけでなく規格と言語仕様の区別もついてないんだな

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

>>473
物凄い支離滅裂な主張に感じるのは俺だけか？

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

>>484
Rust の標準ライブラの基礎理念はエコシステムの基盤として最小限かつ実践的であること。
肥大化させるのは良くないが、だからといって有用なものまで避けたりはしない。

常識的に考えて主要なデータ構造は標準ライブラリに入れるし、
ハッシュテーブルのハッシュには乱数を使う (いわゆるソルト) のでどうせならそれをユーザ向けに公開したってよかろうという感じ。
RandomState が std::hash の下にあるのはそういうこと。

ハッシュをかき乱す要素を入れないと意図的にハッシュが衝突するデータを入力する攻撃が成立する可能性があるので、
それを避けるために乱数を混ぜ込むものなんだよ。

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

>>485
区別を付けてるから言葉を使い分けてる。

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

>>486
Rust ならライブラリのインターフェイスはトレイトの形で決められるだろ。
トレイトを標準ライブラリとして用意して実装は外部のクレートに任せればよいという意味だが、なんか不自然なところある？
スレッド関係とかはそうなってるのもあると思うが。

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

>>489
スレッド関係というのは具体的にはFutureのことか？
あれはasync/awaitのために必要だけど、今のところ乱数にはそれと同レベルの必要性はないじゃろ

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

>>487
ハッシュテーブルのハッシュにソルト必要か？

**デフォルトの名無しさん** · 2024/10/26(土) 15:08:22.43

saltは乱数ではないよ

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

乱数は2種類ある
1つは擬似乱数で与えられたシード(初期値)から出発して各アルゴリズムで順に生成していく
同じシードなら同じ生成列になってしまい時刻情報などをシードとして用いても推測されると生成列がバレてしまう
そこでもう1つの自然乱数をシードとして用いることで問題を解決できる
この自然乱数は計算ではなく外部のエントロピーなどから得る
これは各OS環境などでバラバラに提供されている

**デフォルトの名無しさん** · 2024/10/26(土) 21:36:01.18

Rustがstd::randomで提供しようとしているのは擬似乱数ではなく自然乱数の方
もちろん自然乱数も様々なものが使える環境もあるためtrait RandomSourceを用意している
そして各環境毎に標準的に使えそうな実装をDefaultRandomSourceとして提供している

**デフォルトの名無しさん** · 2024/10/26(土) 21:40:12.79

つまり擬似乱数の各アルゴリズムを実装しているクレートなどの本体部分はこれまで通り
それらの中でシードのために利用する自然乱数の取得を各環境別に書いていた部分がstd::randomを利用できるようになる
このために自然乱数の提供を標準ライブラリに入れようとしている

**デフォルトの名無しさん** · 2024/10/26(土) 21:43:58.25

ちなみにHashDos攻撃を避けるために標準ライブラリのHashMapは以前から自然乱数を利用するコードとなっている
そのため我々は以前から>>457のコードの形で現行の標準ライブラリでも自然乱数を間接的に得ることができる
いずれstd::randomが安定化すると自然乱数を直接的に得られるようになる

**デフォルトの名無しさん** · 2024/10/26(土) 22:18:58.17

今日一日勉強した成果がこれかぁ

>>493
前半の話はPRNG(deterministic)とCSPRNG(unpredictable and non-deterministic)の違いで
PRNGのシードもほとんどのケースは自然乱数(真の乱数)ではなくCSPRNGを使った疑似乱数

>>494
std::randomが提供しようとしているのはCSPRNGだけでなくPRNGも検討されている
https://github.com/rust-lang/rust/issues/131606

つまり…
>>495の結論は間違いだらけ
がんばれ～

**デフォルトの名無しさん** · 2024/10/26(土) 22:23:14.55

長々と書いてるがやっぱりまだ「シード＝乱数値」と思っていそうな、それを再確認するためにチェリーピッキングしたフシがあるように読めるな……

>>496
https://doc.rust-lang.org/src/std/hash/random.rs.html#67
RandomState::newで「自然乱数」を読むのはTLSにあるKEYSを初期化するときただ1回きりなのだが、それは特に問題だと思っていないという認識で良いか

**デフォルトの名無しさん** · 2024/10/26(土) 22:37:43.22

>>498
自然乱数ではないのは>>497で書いた通り

HashDos対策的にはHashMap等の各インスタンスにつき1回しか読まないので十分
それに複数回読んだら同じ入力値に対してハッシュ値が変わるのでHashMapが機能しなくなる

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

>>499
？？？
あんたには聞いてないし、何から何まで間違っとるよ

**デフォルトの名無しさん** · 2024/10/26(土) 22:56:45.07

>>497
その決めつけはおかしいな
自然環境ノイズに基づく自然乱数が得られる環境では自然乱数が使われているよ
例えばLinuxやMac含めてUnix系ならば/dev/randomと/dev/urandomやシステムコール化したgetrandomがあり
Rustでも用いているよ

**デフォルトの名無しさん** · 2024/10/27(日) 02:58:36.94

>>501
getrandomはハードウェアから得られた値を直接返してるんじゃなく
それらをシードにして生成した疑似乱数を返してるんだよ

**デフォルトの名無しさん** · 2024/10/27(日) 09:03:06.72

そもそも外部のエントロピーで自然乱数列を生成出来るなら
わざわざそれをシードにして別の自然乱数列を造る必要無くね？

**デフォルトの名無しさん** · 2024/10/27(日) 11:20:29.17

crates古いのしか無いと不安になるなω
sfmt 3年前
mersenne_twister (github dcrewi) 7年前
mersenne-twister (github mztikk) 1年前
rand_mt 数ヶ月

**デフォルトの名無しさん** · 2024/10/27(日) 12:31:48.22

>>503
randomあたりのman

**デフォルトの名無しさん** · 2024/10/27(日) 14:02:01.43

自然乱数はランダムになるまで時間がかかるからな
短い間に何度も乱数が欲しいような時には使えない

**デフォルトの名無しさん** · 2024/10/27(日) 16:44:26.48

酷いスレだなあ

**デフォルトの名無しさん** · 2024/10/27(日) 17:40:01.62

嘘800系おじさん達のスレだから

**デフォルトの名無しさん** · 2024/10/27(日) 19:13:29.29

>>504
もうメルセンヌ・ツイスタの時代じゃないでしょ
過去のアルゴリズム
今はもっと性能の良いものがある

**デフォルトの名無しさん** · 2024/10/27(日) 21:33:13.60

enum Data{
Id(usize),
}

fn main() {
let data = &Data::Id(1);
match data {
Data::Id(i) => println!("{}",i)
}
}

これでなんでData::Id(i)で参照型であるはずの値にマッチできてしかもiの型が&usizeになるのか理解できない
誰か教えて

**デフォルトの名無しさん** · 2024/10/27(日) 21:47:12.93

match ergonomicsってやつ
https://github.com/rust-lang/rfcs/blob/master/text/2005-match-ergonomics.md

**デフォルトの名無しさん** · 2024/10/27(日) 22:08:05.31

>>511
ありがとうございます
一種の構文糖衣なんか
rustってこういう知ってないとわからない要素が多すぎる

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

>>497
>> std::randomが提供しようとしているのはCSPRNGだけでなくPRNGも検討されている
>> https://github.com/rust-lang/rust/issues/131606

そこ見るとChaCha8を用いようとしているから十分に強力なCSPRNG(暗号論的擬似乱数生成器)だ

>>502
擬似乱数といってもピンキリで
getrandomはまずハードウェアから十分なエントロピーを生成取得した上で
それをシードとしてChaCha20という暗号論的擬似乱数生成している
これはハードウェアからの自然乱数と同等レベルになる

**デフォルトの名無しさん** · 2024/10/27(日) 23:46:47.80

自分は 512 じゃないけど関連する質問をさせてください
>>511 のリンク先を見て初めて ref というキーワードを知ったんだけど、これってどういう場面で使うの？
自分がこれまで書いた範囲では & だけで済んでて、ref が必要になったケースが多分無いんだけど、ref で無いと解決できない場面としてどういう例があるのか知りたい
(あるいは、言語のアップデートの中で必要性が薄れていったという感じ？)

**デフォルトの名無しさん** · 2024/10/28(月) 14:20:37.64

>>510
こうすれば理由が判る

enum Data{
Id(usize),
Hoge(f64)
}

fn main() {
let data = [&Data::Id(1), &Data::Hoge(2.5)];
for datum in data {
match datum {
Data::Id(i) => println!("{}", i),
Data::Hoge(i) => println!("{}", i)
}
}
}

https://paiza.io/projects/BeHrG-AymCq-pMnm8S4C7g

**デフォルトの名無しさん** · 2024/10/28(月) 15:36:29.99

>>513
内部で利用しているストリーム暗号方式が暗号学的に安全とされているものだからといって
それを使った乱数生成器が自動的に暗号学的に安全となるわけではないんだよ

>ハードウェアからの自然乱数と同等レベルになる
この同等レベルという意味が真の乱数と計算量的に区別不可能(computationally indistinguishable)という意味ならそれはCSPRNGの定義なのでその通り
本当に同等レベルかというともちろん違う

**デフォルトの名無しさん** · 2024/10/28(月) 15:44:53.20

>>514
>(あるいは、言語のアップデートの中で必要性が薄れていったという感じ？)
↑これ
昔はThe Bookでも解説されてた
https://doc.rust-lang.org/1.33.0/book/ch18-03-pattern-syntax.html#legacy-patterns-ref-and-ref-mut

構造体の一部をborrowして一部をmoveしたいというときに必要って言われてるけど
個人的にそうしたいと思ったことがないので基本的に使ってない

**デフォルトの名無しさん** · 2024/10/28(月) 15:56:42.93

非公式日本語訳にはまだ残ってた
丸6年以上も更新されてなのかぁ
https://doc.rust-jp.rs/book-ja/ch18-03-pattern-syntax.html#refとref-mutでパターンに参照を生成する

**デフォルトの名無しさん** · 2024/10/28(月) 21:38:31.01

>>517 >>518
サンクス
英語版のBooksの方だと過去に必要だった理由や、現在はレガシーであること等も書いてあって分かりやすかった

**デフォルトの名無しさん** · 2024/10/28(月) 23:57:53.34

>>510
それはパターンマッチングのバインディングモードという機能
Rust公式リファレンス
https://doc.rust-lang.org/reference/patterns.html#binding-modes
状況に応じてデフォルトのバインディングモードが変わる
例えば同じ型同士だとデフォルトはムーブが適用される
片方だけ参照をマッチさせると(記述しなくても)refが自動適用される
可変参照ならref mutが自動適用される

>>514
フィールド毎に指定を変えたい時にrefを使う
例えばref自動適用は全てのフィールドに適用される

**デフォルトの名無しさん** · 2024/10/28(月) 23:59:12.24

例えばよくあるこんな構造体を値とするHashMapがあったとして
struct Person { name: String, age: u32, }

このvalues()が返すのは&Person型なのでこう書く必要がある
for &Person { ref name, age } in hashmap.values() {
　println!("{name}: {age}");
}

ところが片方だけ参照にするとrefを記述しなくてもよくなる
for Person { name, age } in hashmap.values() {
ただしageも参照&u32になる

同様に片方だけ可変参照にするとmut refを記述しなくてもよくなる
for Person { name, age } in hashmap.values_mut() {

警備員[Lv.1][新芽] · 2024/10/29(火) 00:30:06.99

rustはOSやデバイスドライバなどを作る人が使うもので、ふつうに業務アプリなどを書くには敷居が高すぎるというか、習熟のためのコストが高すぎるというか、勿体無いというか
凡人には無用(無理)なのかな
学んでいて得るものは多いけど、そういった点でHaskellに似ていると思いました

**デフォルトの名無しさん** · 2024/10/29(火) 07:09:02.81

OSやデバイスドライバよりも上位の、例えばCLIアプリやバックエンドの開発にも役立つ言語だよ
Rustの利点は「低レイヤで必要なメモリ周りの管理ができる」ことだけでなくて、型による表現力の高さや、借用のなどのルールによるバグの防ぎやすさなどの強みもある
マルチスレッドだと、デッドロックは防げないけど、データレースなどの問題はコンパイル時の検査でほぼ防ぐことができる (個人的にはこれがすごく助かる)

業務アプリだと割に合わないというのは同意
Rustを理解してる人がチームに1人はいて、他の人に教えられる体制になってないと難しいと思う
習得時間をかけられなかったり、あまりレベルの高くない人もアサインするようなプロジェクトだとたぶん厳しい

簡単な言語ではないけど、Haskellほど難しくはないし、凡人には無理ってこともない (自分はRustを書いてるけど、自分だって凡人だし)
個人的に勉強しつつ、使えそうな機会があれば試しにRustで書いてみるというのはアリだと思う

**デフォルトの名無しさん** · 2024/10/29(火) 09:24:33.94

習熟が難しいのは確かだけど、どこでコストを考えるかだと思う。開発期間が増えてもバグ取りの工数は減るとか、サーバー負荷の削減で運営費が安くなるとか。今はAIでコード生成も出来るし、難しさが必ずしもデメリットとは思わない。

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

Rust は清書用

**デフォルトの名無しさん** · 2024/10/29(火) 12:21:21.00

清書とかいう概念、実際やってるのみんな

**デフォルトの名無しさん** · 2024/10/29(火) 12:25:27.38

早くfirefoxを清書してほしい

**デフォルトの名無しさん** · 2024/10/29(火) 12:27:45.80

Servo落ちまくりなんだけど、Rustの品質が低いせい？

**デフォルトの名無しさん** · 2024/10/29(火) 13:11:11.67

>>526
清書というから不思議なだけで、リファクタは常識かと。

Rustも、とりあえず動く段階からきっちり清書するまでシームレスにリファクタできればいいんだけどな。

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

Rustを関数型扱いするやつは
Rustも関数型もまるで理解してない
だから誰も真面目には相手してくれない

**デフォルトの名無しさん** · 2024/10/29(火) 14:14:12.62

Rustほどリファクタリングに向いてない言語は無いな

**デフォルトの名無しさん** · 2024/10/29(火) 14:45:53.32

>>522
Haskell は言語自体は普段使いしやすいと思うが……。
しんどいのは副作用が存在しない (一般的に副作用とされるものが作用としてやりとりされる) という純粋関数型の部分で、このパラダイムの違いが外のシステムとの接続をやりづらくしてる。
いろんなライブラリやフレームワークの支えなしに業務システムを書くのは割に合わないし、辻褄合わせのラッパーライブラリを自分で書くのも面倒くさい。
(既にラッパーがある状況ならそんなにしんどくないけど。)
それと副作用のない世界でチューニングするのもしんどい。
必要なら仕方ないが他の言語ならしなくてよい苦労をする感じがするのがつらい。

Rust は C に ML 風の型システムを付けたくらいのごく普通のパラダイムなので、今まで業務アプリを作っていたくらいのスキルがある人にとってそんなにハードルは高いとは思わないな。
初心者が最初に手を付けるのはやめといたほうが良いとは思うが。

**デフォルトの名無しさん** · 2024/10/29(火) 15:33:28.84

>>528
コードの品質が低いんだろ
RefCellとかでちょっとしたメモリ競合リスクを検知してすぐに落ちるRustと
多少のメモリ競合リスクは無視して動き続けるC++の比較は品質というより好みの問題

**デフォルトの名無しさん** · 2024/10/29(火) 17:51:59.87

多くの人がOCaml選ばずRust選ぶ理由を知りたい
Rustより明らかに簡単

**デフォルトの名無しさん** · 2024/10/29(火) 18:39:05.10

>>532
>このパラダイムの違いが外のシステムとの接続をやりづらくしてる。
あんまり関係なくね？

パラダイムの違いはHaskell自体の習得には大きく関係あるけど
そこを超えてる人ならFFIでCのコードを呼ぶのは
C#やSwiftからCのコードを呼び出すのと大差ない

Rustの場合はFFIでもコンパイラがメモリ安全性を
保証できるように注意深くAPIを設計する必要があるから
FFI書くのはHaskellよりもややハードル高い

**デフォルトの名無しさん** · 2024/10/29(火) 20:13:57.88

>>517
refをレガシーとするのは間違っているため何年も前にその記述はBookから消されている

>>519
それは古いBookなので参考にしてはいけない
現在のBookにrefをレガシーとする記述はない

>>520
その公式リファレンスの記述が正しい
パターンが「その同型値・その参照・その可変参照」それぞれと束縛される時に
パターン内の変数に対してデフォルトの挙動が「移動・参照(ref)・可変参照(ref mut)」となる
これは人間工学的に自然な動作なので無意識に恩恵に授かれる

**デフォルトの名無しさん** · 2024/10/29(火) 20:19:56.52

Firefoxでもなぜか全然使われないrust言語

**デフォルトの名無しさん** · 2024/10/29(火) 21:06:17.79

Rustで多くの人が躓くのは借用やムーブのルールだと思う
ポピュラーな言語だと

fn foo(a: Vec<i32) {}
let a = Vec::default();
let b = a;
foo(b);

のような書き方でも単に参照が増えるだけだし、変数が消費されることもないから、
ここでコンパイルエラーになる時点で理解の壁がある
参照を学び始めたときも

fn bar(a: &mut Vec<i32>) {}
let mut a = Vec::default();
let mut b = &a; // これが正しい可変参照の書き方？
let c = &mut a; // それともこれ？
bar(c); // ここは bar(&mut c) じゃなくて良いの？

とかで迷う (自分はだいぶ時間がかかった)
この壁は言語のディープな部分に触れ始めたときじゃなくて、学び始めの頃にぶつかるから挫折しやすいように思う
この後もライフタイムなんかがあるし

OptionやResult, enumやパターンマッチは比較的理解しやすいし、利点も分かりやすい

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

>>534
Rustに興味を持つきっかけが「表現力の強さ」ではなく「GC無しかつメモリ安全」という人が多いからじゃない？
自分の場合はC++で仕事をしてて、その次の選択肢となるとRustということで触り始めた
当時の自分は関数型言語というものを知らなかったし、Rust以外ではGoに行ってた可能性はあるけど、OCaml (あるいはHaskellやScalaやF#) は選択肢に無かったと思う

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

>>538
それはどの言語でも同じ
4種類あり全て異なる

変数は不変　参照先も不変
【Rust】 let ptr: &i32 = ...
【C/C++】 const int* const ptr = ...

変数は可変　参照先は不変
【Rust】 let mut ptr: &i32 = ...
【C/C++】 const int* ptr = ...

変数は不変　参照先は可変
【Rust】 let ptr: &mut i32 = ...
【C/C++】 int* const ptr = ...

変数は可変　参照先も可変
【Rust】 let mut ptr: &mut i32 = ...
【C/C++】 int* ptr = ...

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

循環参照が必要になるのは
設計者が頭悪しだからだよ

**デフォルトの名無しさん** · 2024/10/29(火) 21:46:14.89

>>536
英語版の最新のBookでレガシーという記述が消えてるのは確認したけど、refの記述自体も消えてた
大抵の場合は >>520 でうまく行くけど、場合によっては必要ということか
具体的にどういう場面で必要になるかがまだわかってないけど

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

>>542
レガシーではないという理由で記述が削除されたのではなくて他にもレガシー化したパターンがある中でrefだけ特別にThe Bookに載せる必要はないという判断で削除されただけだよ

match ergonomics 2024のmotivationに書いてあるいくつかがrefの出番
https://github.com/rust-lang/rfcs/blob/master/text/3627-match-ergonomics-2024.md#motivation

**デフォルトの名無しさん** · 2024/10/29(火) 22:15:46.31

>>533
Rustで書けば品質の高いソフトウェアができる、と言い張る奴がいたら
Servoを見せれば論破できる

**デフォルトの名無しさん** · 2024/10/29(火) 22:39:28.16

>>543
サンクス

**デフォルトの名無しさん** · 2024/10/29(火) 22:53:06.91

Rustは関数型と主張しすぎないのが良かった。
gc無しでc++並みに速いから置き換え候補に入る。

scalaとかF#とか多少便利でもjavaやc#より遅いのでは乗り換えるメリットが少ない。

C++と比較すればrustは便利機能山盛りでメリットの方が目立つ。コードの書き方に違和感を持たせないまま関数型要素に慣らせるという戦略は上手く行ってると思う。

そこまで速度が必要なプロジェクトを組んだこと無い人には伝わりにくいのは仕方のない所。

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

>>541
そういうことを言っているから、設計を動かさない枯れた技術向けの清書用言語になるんだよ。

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

循環参照が必要になる話なんて誰もしてないよね？
>>541はなぜに唐突に循環参照の話をしたのか？

**デフォルトの名無しさん** · 2024/10/30(水) 14:04:48.00

循環参照が必要になる話は >>541 がしてるやん

**デフォルトの名無しさん** · 2024/10/30(水) 14:55:34.14

循環参照が必要だと思ったのは
書込者が頭悪しだからだよ

**デフォルトの名無しさん** · 2024/10/30(水) 18:39:18.26

>>531
「Rustはリファクタリングしやすいか？しにくいか？」議論＆投票
https://www.reddit.com/r/rust/comments/17jeezg/so_is_rust_easy_to_refactor_or_bad_to_refactor/
投票総数858件
643件 Rafactoring in Rust is Easy
215件 Refactoring in Rust is Hard
結果76%の人々がRustはリファクタリングしやすいとの結果に至った

**デフォルトの名無しさん** · 2024/10/30(水) 19:07:03.61

循環参照後から無くすって、ちょっとしたリファクタリングのレベルを超えているだろ
そのレベルの清書をマジでやるのか？
やらずにそのコードをそのままバグバグしい負債としてプロダクトに直接埋め込むんだろうどうせ

なら最初から循環参照なしで始めておこう

**デフォルトの名無しさん** · 2024/10/30(水) 19:41:43.03

循環参照の問題は意図せず起こってしまうことだと思うが
リンクリストとか特定のデータ構造はたいした問題じゃない
なんかポイントがずれてないか？

**デフォルトの名無しさん** · 2024/10/30(水) 20:10:19.86

>>522
でも速くて安全なんてキャッチフレーズ持ってるから、経営者が希望しそうな言語ではあるので将来的に現在のJavaみたいな立場の言語になりそうなのよね。＞Rust
（そういえば、当時のJavaも…ｹﾞﾌﾝｹﾞﾌﾝ）

**デフォルトの名無しさん** · 2024/10/30(水) 20:14:02.88

>>534
OCamlはRustよりもライブラリ揃っていなくてcargoのような簡易な環境もなくてコミュニティも小さくて実行速度も遅くて今から導入するメリットがなくてね

**デフォルトの名無しさん** · 2024/10/30(水) 20:23:49.98

>>554
クラウド時代となってCPUとメモリ両方の利用リソース量がコストに直結するようになったのも大きい
オンプレミスでもハード削減や電気代減少となるため速く動く言語への移行は進むだろう
以前は扱いやすく安全な速い言語がなかったところにRustが現れた

**デフォルトの名無しさん** · 2024/10/30(水) 20:23:51.06

implするときにtrait側の境界より厳しい境界を設定するとE0276エラーになるけど、緩くても特に何も言われないんだな
しかし別にそのトレイトメソッドを緩い条件で呼べる訳ではないという
なんかlintないんかねこれ