Rust Part7

**デフォルトの名無しさん** · 2019/07/14(日) 23:31:47.54

Mozilla発のRust言語のスレ

公式
https://www.rust-lang.org/
https://blog.rust-lang.org/
https://github.com/rust-lang/rust

Web上の実行環境
https://play.rust-lang.org

前スレ
Rust Part6
http://mevius.5ch.net/test/read.cgi/tech/1532714678/

**デフォルトの名無しさん** · 2019/08/30(金) 22:22:25.51

OSはアセンブラで書くのが常識だった

**デフォルトの名無しさん** · 2019/08/30(金) 22:58:53.71

>>200
OS書かなくても自家製メモリ管理作ってみれば想像できるだろ。

**デフォルトの名無しさん** · 2019/08/31(土) 00:42:16.72

ちゃんとしたmallocを作ること自体が難しいのであってCかRustかは難しさへは影響しない

**デフォルトの名無しさん** · 2019/08/31(土) 15:15:02.18

GCはクソ！だからRust最高！
とイキがってた奴がボローチェッカにボコボコにされてGCの良さを体感するまでが通過儀礼

どっかにドリルないですかね。>187みたいな問題がサラッと解けるようになりたい

**デフォルトの名無しさん** · 2019/08/31(土) 16:16:15.52

GCがクソだと思ったからRust使うという意識なかったな

**デフォルトの名無しさん** · 2019/08/31(土) 20:44:28.04

>>187 みたいな感じのはリファレンス読んで関数やメソッドが参照返すのか値返すのか調べるだけ

**デフォルトの名無しさん** · 2019/08/31(土) 21:13:02.78

Rustはボローチェッカーのご機嫌取りが必要だが
GCある言語で性能が欲しいとか言い出すとGCのご機嫌取りが始まる

**デフォルトの名無しさん** · 2019/08/31(土) 21:20:45.92

結局乗りこなしたものが勝ちか、

**デフォルトの名無しさん** · 2019/08/31(土) 21:23:30.02

所有権という概念をつかむのに苦労はしたけど、結果的にはプログラミングを簡単にしてくれていると思う

**デフォルトの名無しさん** · 2019/08/31(土) 23:46:50.72

ライブラリの開発者以外に所有権意識させたのは良いと思う

**デフォルトの名無しさん** · 2019/09/01(日) 01:29:28.40

GCが糞っていうより
糞実装のGCが多過ぎて
大抵の人はGCで糞な思いをするから
GCが糞だと言う誤解というか評判になってるだけ
実際糞だが

**デフォルトの名無しさん** · 2019/09/01(日) 02:04:31.88

ガベッジだって言う人もいるけど
俺は宝物って呼んでる

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

世界を止めて宝物集めするプログラム

**デフォルトの名無しさん** · 2019/09/01(日) 10:19:52.00

それで >>187 はどう書くのが定番なの?

**デフォルトの名無しさん** · 2019/09/01(日) 10:31:43.36

続きを読むには会員登録が必要です

**デフォルトの名無しさん** · 2019/09/01(日) 11:33:11.94

ライフタイムパラメータの省略ルールはマジ糞

**デフォルトの名無しさん** · 2019/09/01(日) 17:44:41.81

>>198
ぼくも(´・ω・｀)

**デフォルトの名無しさん** · 2019/09/01(日) 20:06:47.18

クロージャの中で?が使えない…
パトラッシュ、僕はもう疲れたよ(´・ω・`)

**デフォルトの名無しさん** · 2019/09/01(日) 21:46:45.96

同じ処理するにしてもRustだと複雑で冗長になるんだよな
もしかして糞言語なんじゃね？

**デフォルトの名無しさん** · 2019/09/01(日) 21:54:48.86

>>218
できるよ
Resultを返すクロージャなら

**デフォルトの名無しさん** · 2019/09/02(月) 00:09:16.32

メモリ壊して苦労するか
パフォーマンスで苦労するか
コーディングで苦労するか
お好きな物をどうぞ

**デフォルトの名無しさん** · 2019/09/02(月) 01:49:49.02

>>221
C++17以降なら全部実現できるよ

**デフォルトの名無しさん** · 2019/09/02(月) 04:32:52.76

>>219
+1

**デフォルトの名無しさん** · 2019/09/02(月) 10:25:41.82

Bookを6章まで読んだ俺が >>187 を書いたらこうなった

https://play.rust-lang.org/?version=stable&;mode=debug&edition=2018&gist=dc60559b7af47298d305be80b340ee98

&strじゃなくてStringだけど

**デフォルトの名無しさん** · 2019/09/02(月) 17:43:48.84

俺はこう
https://play.rust-lang.org/?version=stable&;mode=debug&edition=2018&gist=aa72b77d2eebc44833b647e46b13e020
Stringは必然と思う

**デフォルトの名無しさん** · 2019/09/02(月) 17:52:48.76

そういや、String（のclone）を一生懸命に避けてほんとに意味があるのか
コードを無駄に複雑化させただけなんじゃないかと悩む事が多い

**デフォルトの名無しさん** · 2019/09/02(月) 21:13:54.24

執着する必要はないと思うけど、そんな複雑になる？

**デフォルトの名無しさん** · 2019/09/02(月) 21:43:41.81

>>225 だとOsStringですけど、Stringにするにはどうすれば・・・？

**デフォルトの名無しさん** · 2019/09/02(月) 22:09:52.04

こうかな
https://play.rust-lang.org/?version=stable&;mode=debug&edition=2018&gist=91e57950a6bf6c922ff4f3d0b7531a0b

**デフォルトの名無しさん** · 2019/09/02(月) 22:48:02.88

なるほど
Derefが必要ない場合は直接書いちゃえばいけるのか
ありがとうございます

**デフォルトの名無しさん** · 2019/09/02(月) 23:19:28.73

>>229
curry化と部分束縛が欲しくなる

**デフォルトの名無しさん** · 2019/09/02(月) 23:39:57.31

え、こんな短いコードで？

**デフォルトの名無しさん** · 2019/09/03(火) 00:05:15.13

なんでもかんでもメソッドチェーンにしないで適当なところで束縛した方がRustのコードは読みやすくなる

**デフォルトの名無しさん** · 2019/09/03(火) 00:26:49.25

それはあるな。シャドーイングできるから変数名に悩まないし、
単に長くなったところで再束縛すればいい。

**デフォルトの名無しさん** · 2019/09/03(火) 11:07:53.94

界隈の潮流では「部分的なc++化」というものがあり、Javaですらジェネリクス／テンプレートを取り入れた
rustもそうなる

**デフォルトの名無しさん** · 2019/09/03(火) 12:43:41.50

あれ?もうあるもんかと思ってた

**デフォルトの名無しさん** · 2019/09/03(火) 16:01:22.65

ジェネリクスはあるよね

**デフォルトの名無しさん** · 2019/09/03(火) 16:30:08.77

関数型言語で優雅にやってたことを
マクロの延長みたいな形で泥臭く実装するのがC++化

**デフォルトの名無しさん** · 2019/09/03(火) 18:15:35.61

そもそもC++化の潮流なんてあるか？
各言語それぞれ取り入れあってるとは思うが。

**デフォルトの名無しさん** · 2019/09/03(火) 18:21:34.78

仕様がごちゃごちゃすることをC++化と呼んでるだけでしょ

**デフォルトの名無しさん** · 2019/09/03(火) 19:54:14.07

ランタイム速度は落ちない？じゃいれるべ。
がc++の潮流

**デフォルトの名無しさん** · 2019/09/03(火) 22:37:59.52

いや、javaのジェネリックスとC++のテンプレートの区別が付かないやつの言うことがそもそもおかしい。
パラメタ多相とメタプログラミングは別もんだぞ。むしろ最近のテンプレートがパラメタ多相に寄ってきたんだろ。

**デフォルトの名無しさん** · 2019/09/03(火) 22:50:06.30

なんだか難しい言葉がいっぱいあるんだね
rustのが簡単でいいや

**デフォルトの名無しさん** · 2019/09/03(火) 22:52:35.24

Rustむずい😭

**デフォルトの名無しさん** · 2019/09/04(水) 07:28:03.17

Rustは難しくないよ
ただコンパイラがいけずなだけ

**デフォルトの名無しさん** · 2019/09/04(水) 08:42:51.41

>>242
こういう輩が一番何もわかってないタイプ。
そりゃとりあえず違う言う解けば違うところは一つくらいは見つかるだろうよ。
どこが違ってどこが同じか話さずに用語を使ってけんかにしかならん。
少なくともこれくらいの説明は必要。
https://qiita.com/matarillo/items/4870bb974f7a1900ef7c

**デフォルトの名無しさん** · 2019/09/04(水) 11:39:08.73

>>246
結局人の文章引用してる（）

**デフォルトの名無しさん** · 2019/09/04(水) 11:39:12.24

>>246
結局人の文章引用してる（）

**デフォルトの名無しさん** · 2019/09/04(水) 11:53:42.64

本人の可能性

**デフォルトの名無しさん** · 2019/09/04(水) 12:02:33.30

俺は一流のエンジニアだぞ
なんてったって毎日Qiitaを見てるし足りてない知識はQiitaで検索して補ってる

**デフォルトの名無しさん** · 2019/09/04(水) 13:07:39.19

そんなもんちょっと調べりゃすぐわかるのに

**デフォルトの名無しさん** · 2019/09/04(水) 18:49:08.58

俺はなんとか多相なんて調べない
どうでもいいし

**デフォルトの名無しさん** · 2019/09/04(水) 19:02:15.65

こないだ秋葉原で「まれいたそーまれいたそー」ってうつむきながら呟いてた黒髪ロン毛のデブがいたんだけど、
この「マレイ多相」とは何ですか？

**デフォルトの名無しさん** · 2019/09/04(水) 19:57:18.15

？？？｢黙れ多相！｣

**デフォルトの名無しさん** · 2019/09/04(水) 21:12:03.63

m array 多相といってモナディックな扱いの配列における多相性である（民明書房「世界の多相」より）

**デフォルトの名無しさん** · 2019/09/05(木) 00:15:36.96

袖すり合うも多相の縁

**デフォルトの名無しさん** · 2019/09/05(木) 00:56:25.25

では中世においてしばしば見られた介錯い多相とは？

**デフォルトの名無しさん** · 2019/09/05(木) 08:01:29.13

結局誰も理解してないっていうｗ

**デフォルトの名無しさん** · 2019/09/05(木) 09:14:01.74

パラメタ多相とテンプレートを並べるのはおかしい
多相は性質

**デフォルトの名無しさん** · 2019/09/05(木) 09:14:42.45

じゃあ >>242 に言及するけどC++のテンプレートも本来はパラメトリック多相としての役割を元々は期待して導入された
パラメトリック多相は >>246 のリンクでもあるように元々の型記述に追加パラメータとなるトークンを渡す事で多相性、誤解を恐れずに言えば型の制約を緩くして記述量を減らすものである
よって多相性によって単一の記述から複数の型に対する実装の様に見えるものを生成できる

この単一の記述から複数の実装を生成できるというのが本質的にメタプログラミング的で、C++のテンプレートはそのレイヤーがハードウェアに近いが故にコンパイル時に展開される事
また再帰が可能である事と幽霊型のような型を作れる事とSFINAEに加えて非型テンプレートパラメタにより複数の実装を生成するメタプログラミング的な運用が特別目立った

これのコンパイルエラーの煩雑さや理解の難しさからC++以降のパラメトリック多相用言語機能は敢えてメタプログラミングがしにくいようにRustでは非型パラメタは与えられなかったり（そうする提案も現在あるが）
多相性の側面を強調して利便性を上げるために部分型や構造的部分型（これまた >>246 のサブタイピング多相の一種で、同等のメソッド（関数）やフィールドがある場合にそれらを派生型と見做す）の記述構文を導入したりしている
最後の型パラメタに対する部分型記述に関してはC++もConceptとして導入するとのことだがそれはまた別の話だろう

長文失礼

**デフォルトの名無しさん** · 2019/09/05(木) 13:08:36.58

https://doc.rust-lang.org/std/pin/index.html
このページのExample: self-referential structの構造体Unmovableのフィールドslice: NonNull<String>を、
Stringの実装してるトレイトのトレイトオブジェクト(slice: NoneNull<Box<Display>> みたいに)とすることって出来ないでしょうか

**デフォルトの名無しさん** · 2019/09/05(木) 18:33:11.32

>>260
Rust の const generics はすでに提案段階を過ぎてて短期的目標に入ってるゾ

**デフォルトの名無しさん** · 2019/09/05(木) 21:06:15.78

>>262
これは失礼、間違った情報を語ってしまった
指摘ありがとう

**デフォルトの名無しさん** · 2019/09/05(木) 21:34:25.18

Python歴半年(=プログラミング歴)とかの人がいきなりRustに手を出すのって無謀でしょうか？

**デフォルトの名無しさん** · 2019/09/05(木) 22:31:27.10

いいんじゃないの
ただなんでわざわざこんな事すんだよやりずれぇわ死ね
と思う回数が経験積んだ人より増えそうだけど

**デフォルトの名無しさん** · 2019/09/05(木) 23:11:49.08

それはすらいね

**デフォルトの名無しさん** · 2019/09/06(金) 19:19:12.72

いろんな言語やったあげくC++に不満がある人にとっての解がRust
この両方を満たしていない人にとってはピンとこねえのがRust

**デフォルトの名無しさん** · 2019/09/06(金) 19:40:53.97

メモリをぶっ壊して涙目になったことがある人向け

**デフォルトの名無しさん** · 2019/09/06(金) 23:45:30.10

謎のメモリリークで徹夜するハメになった人向け

俺か

**デフォルトの名無しさん** · 2019/09/07(土) 02:53:55.86

メモリぶっ壊して(物理)涙目

**デフォルトの名無しさん** · 2019/09/07(土) 10:51:27.79

Rust使うよりメモリモジュール買い換えた方が良くない？

**デフォルトの名無しさん** · 2019/09/07(土) 20:04:48.19

rustは安全に開発できるというのは本当か？？何故バッファエラーは起きた？

https://jvndb.jvn.jp/ja/contents/2019/JVNDB-2019-008825.html
JVNDB-2019-008825
Rust 用 slice-deque crate におけるバッファエラーの脆弱性

**デフォルトの名無しさん** · 2019/09/07(土) 20:58:29.50

(´-`).｡oO(なんでだろう？)

**デフォルトの名無しさん** · 2019/09/07(土) 22:06:13.68

crates.ioでunsafe何ヶ所使ってるか表示して欲しいわ

**デフォルトの名無しさん** · 2019/09/07(土) 22:19:57.54

そしてunsafeがモナドで包まれるように…

**デフォルトの名無しさん** · 2019/09/08(日) 00:03:54.78

スライスみたいなことをしようとしたら本質的にはどうにもならんだろ。
安全性か効率化か結局選ぶことになる。

**デフォルトの名無しさん** · 2019/09/08(日) 01:39:50.98

モナドって、、もすかすてRustってHaskell並に面倒なん？

**デフォルトの名無しさん** · 2019/09/08(日) 09:53:10.07

21世紀の現代では何を作っても一週間程度で複雑さはMAXに達する
プログラミング言語のRustでもそれは同じ

**デフォルトの名無しさん** · 2019/09/09(月) 09:56:40.65

let mut v = vec!["zero".to_string(), "one".to_string()];
v[0] = v[1];

これがダメなのも対処も、まあわかるようになったのですが
error[E0507]: cannot move out of index of `std::vec::Vec<std::string::String>`
というエラーメッセージがわかりません
どういう流れでこのメッセージが出るのでしょうか

**デフォルトの名無しさん** · 2019/09/09(月) 10:08:00.36

>>279
StringがCopy traitを実装してないからコピーできない

**デフォルトの名無しさん** · 2019/09/09(月) 10:16:14.57

いやそれはわかる
エラーメッセージの意味がわからない
どこがどうだからこのメッセージになるのか具体的に理解したい

**デフォルトの名無しさん** · 2019/09/09(月) 10:51:58.70

なんというかメッセージのindexがよくわからない感じ
メッセージを日本語にするとどうなるんでしょう

**デフォルトの名無しさん** · 2019/09/09(月) 11:06:00.37

>>281
逆に考えて v[1] をまんまとムーブ出来たら、その跡地はどうなるの？

**デフォルトの名無しさん** · 2019/09/09(月) 11:12:50.90

out of indexっていうけど、index内なんじゃないの？って疑問じゃないの？

俺はわからない

**デフォルトの名無しさん** · 2019/09/09(月) 11:16:35.82

out of indexではなくてmove out ofで出ていくって意味。
move out of borrowed contentとかと同じ。

**デフォルトの名無しさん** · 2019/09/09(月) 11:17:42.46

なんか move out of ～で引っ越すとか出ていくという意味があるらしいんだけど
それでも index がよくわからなくて悩んでます

**デフォルトの名無しさん** · 2019/09/09(月) 11:32:45.67

indexは[]演算子を提供してるIndexトレイトのindexメソッドかな。

**デフォルトの名無しさん** · 2019/09/09(月) 11:39:50.47

v[0]使うからindexの意味がややこしいんでは
let x = v[1]; でも同じエラーになるのを見たら、indexアクセス経由で値をmoveする(＝引き剥がす)のはまかりならんと分かる
でコピーできるなら値が残るので問題にならない

**デフォルトの名無しさん** · 2019/09/09(月) 11:43:51.77

Vec<String>のindex (メソッドの戻り値) はmoveできない
と言ってるわけね。理解した。ありがとう。

**デフォルトの名無しさん** · 2019/09/09(月) 11:45:42.52

ん? こっちかも。
Vec<String>のindex (メソッドの) 戻り値はmoveできない

**デフォルトの名無しさん** · 2019/09/09(月) 11:46:37.64

279 と 284 別人だった。ゴメン

**デフォルトの名無しさん** · 2019/09/09(月) 11:47:06.05

……エラーメッセージの検討と解釈が必要なところまで真似なくてもいいのに

**デフォルトの名無しさん** · 2019/09/09(月) 11:53:41.02

Trait std::ops::Index

container[index] is actually syntactic sugar for *container.index(index), but only when used as an immutable value. If a mutable value is requested, IndexMut is used instead.
This allows nice things such as let value = v[index] if the type of value implements Copy.

**デフォルトの名無しさん** · 2019/09/09(月) 12:50:41.27

まず move out of を一塊にして、index は添え字と考えてわけがわからなく・・・。
out of index を indexの戻り値とはまったく思いつきませんでした。
わかってしまうともう他の読み方はできません。
最初から日本語に訳して欲しいとお願いすべきだったかも。
お騒がせしました。

**デフォルトの名無しさん** · 2019/09/09(月) 18:32:42.49

rustの日本語ブック、ドキュメントはかなり前からプルリクがマージされてないから期待薄いかも

**デフォルトの名無しさん** · 2019/09/10(火) 19:31:44.26

>>295
どこのリポジトリの話？

**デフォルトの名無しさん** · 2019/09/12(木) 10:55:58.45

思い付きなんだけど
Box を &!、 Rc を &# で書けるシンタックスシュガーがあったらどうだろう
Box<T>を&!Tと書いたり、Rc::new(data)を&#dataと書けたりしたら？

**デフォルトの名無しさん** · 2019/09/12(木) 12:01:05.66

プログラマがコストを払うことに罪悪感を抱くようにあえて冗長にしてるんじゃなかったかな

**デフォルトの名無しさん** · 2019/09/12(木) 12:42:23.02

ゴルファーは来んな

**デフォルトの名無しさん** · 2019/09/12(木) 13:22:56.79

そういう記法実装するような思想の言語なら真っ先に mut が簡略化されてると思う