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/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 が簡略化されてると思う

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

環境毎のクレートのバージョン違いでコンパイル通らないようなことがないようにバージョン指定させるくせにコンパイラのバージョン違いのせいでコンパイル通らないとかクソ過ぎひん？

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

rust-toolchainを作りなされ

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

無知な煽りカスにまで親切に教えてくれてありがとうおかげで無事通った(｀；ω；´)

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

オレオレ糖衣構文が欲しければ一対一変換するトランスパイラでも書けばいいだろ

**デフォルトの名無しさん** · 2019/09/13(金) 00:04:32.53

昔は Box が ~ で Rc が @ だった

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

俺は逆にlifetimeパラメータ省略をやめるべきだと思ってる。

**デフォルトの名無しさん** · 2019/09/13(金) 09:11:20.49

ちゃんと勉強しようと思ったらオライリー本を読むべき？

**デフォルトの名無しさん** · 2019/09/13(金) 09:57:21.64

日本の場合オライリー本買ったら原著はマニングだった、なんてことも。

**デフォルトの名無しさん** · 2019/09/13(金) 14:13:51.27

公式リファレンスで良いやん

**デフォルトの名無しさん** · 2019/09/13(金) 14:57:59.88

俺は物理本の方がやるぞという気になるから買った

**デフォルトの名無しさん** · 2019/09/13(金) 15:01:06.58

test.rs:
fn main() {
println!("{}", "hoge");
}
でコンパイル出来るのに、rust/src/libcore/num/dec2flt/algorithm.rsの関数内にprintln!を書いても
error: cannot find macro `println!` in this scope
となるのは何でなん？
コンパイル出来る用に教えてください
ちなみに、rustc自体はちゃんとコンパイル出来てtest.rsのビルドと実行は出来てます

**デフォルトの名無しさん** · 2019/09/13(金) 15:13:08.13

use std;
use std::io;
と先頭に追加しても
error[E0432]: unresolved import `std`
と言われる…
stdすら簡単に使わせてくれないとか恐ろしく敷居が高い言語なのは分かったけど、>>311のprintln!だけは何とか動かしたいので、
よろしくお願いしますm(_　_)m

**デフォルトの名無しさん** · 2019/09/13(金) 16:13:13.40

釣れますか？

**デフォルトの名無しさん** · 2019/09/13(金) 16:22:57.80

>>313
何が？
完全にRust初心者なんだからしょうがない
多分外部ファイルに依存してるだろう事は何となく分かってきたけど、まだ解決には至らず

**デフォルトの名無しさん** · 2019/09/13(金) 17:00:45.98

正直釣りにしか見えないが…。
なぜ初心者がいきなりcoreライブラリいじろうとしてるの？
あとcoreはmallocとかもない環境で動く必要があるから
とてもprintlnなんて無理だと思うけど。

**デフォルトの名無しさん** · 2019/09/14(土) 18:11:14.79

　(V)　　　　　(V)
　　ヽ∧∧∧ 丿
┌＜┌ ﾟ ∀ ﾟ＞┐　ﾗｽﾀｼｱｰﾝ!!

**デフォルトの名無しさん** · 2019/09/14(土) 18:17:32.07

https://www.atmarkit.co.jp/ait/spv/1909/13/news133.html

**デフォルトの名無しさん** · 2019/09/15(日) 00:25:56.87

ヌルポチェック境界チェックしてたら遅くなるに決まってるやん
Cはそんなことしなくて済むから爆速な訳で

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

絶対にめくれないからパンツいらないスカートで
アスレチックでもスカイダイビングだもなんでもするのがCだわな

**デフォルトの名無しさん** · 2019/09/15(日) 11:37:40.55

素晴らしい例えだ
感動した

**デフォルトの名無しさん** · 2019/09/15(日) 12:03:39.49

いいねｗ

**デフォルトの名無しさん** · 2019/09/15(日) 12:40:15.54

そして落っこちて死ぬと
http://peaceman.jugem.jp/?eid=2290

**デフォルトの名無しさん** · 2019/09/15(日) 12:41:41.15

何だこのストレートに脳天に突き刺さる説明！？

**デフォルトの名無しさん** · 2019/09/15(日) 14:06:50.28

風呂でもセックスでもパンツ脱がないのがRustだわな

**デフォルトの名無しさん** · 2019/09/15(日) 14:41:05.29

スカートも不要なのがC

**デフォルトの名無しさん** · 2019/09/15(日) 15:51:33.74

デバッガー「見えたぁ！！！」

**デフォルトの名無しさん** · 2019/09/15(日) 17:00:20.75

パンツ履かないC言語
鉄壁のパンツRust

**デフォルトの名無しさん** · 2019/09/15(日) 22:55:46.82

Rustはむしろ貞操帯

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

Rust勉強し始めたんだけど、公式ドキュメント読み終わったら何しよう