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/16(金) 21:24:02.93

async/await、勉強するのに良いものある？

**デフォルトの名無しさん** · 2019/08/16(金) 23:18:30.16

まだstableじゃないからなんとも
tokio::netとかはasync/awaitでサンプル出してたりするけどどうかな

**デフォルトの名無しさん** · 2019/08/16(金) 23:43:23.26

>>159
substructural type systemとregionの前提知識がないならコンパイラに怒られるだけ時間の無駄。
先に必要な知識つけてから。

>>161
stable待つよろし。

**デフォルトの名無しさん** · 2019/08/16(金) 23:44:14.39

cくらいはやっとらんとなんでこんな事してるんだって思うだけだろ。
メモリイメージがないならrustなんか使う意味がない。

**デフォルトの名無しさん** · 2019/08/17(土) 06:44:20.91

そんなに大仰なことかなあ？
書いてればそのうち分かるっしょ

**デフォルトの名無しさん** · 2019/08/17(土) 07:11:11.72

メモリイメージちゃんとしてるならCでいいだろ

**デフォルトの名無しさん** · 2019/08/17(土) 09:56:37.40

それな

**デフォルトの名無しさん** · 2019/08/17(土) 10:00:51.09

>>159
C/C++やってからでも遅くない

っていうかC/C++を先にやった方が近道かも知れん

**デフォルトの名無しさん** · 2019/08/17(土) 10:46:08.44

寧ろ関数型プログラミングに慣れ親しんだ人ならimmutableなオブジェクトだけでプログラミングしてしまい、
Rustが何も言わなかったりして…

**デフォルトの名無しさん** · 2019/08/17(土) 10:51:56.69

>>160
2ヶ月ですかー
用途としてはとりあえず簡単なCLIツールを考えています

>>168
c++はともかくcはちゃんとやっておいたほうがいいですかね

「低レイヤを知りたい人のためのCコンパイラ作成入門」を読んだのでメモリイメージ的なことは最低限は分かるかも

rubyとかpythonとかからrust始めた人もいるみたいだし気合入れて頑張ってみますか

**デフォルトの名無しさん** · 2019/08/17(土) 11:28:04.92

>>170
ガンバ

**デフォルトの名無しさん** · 2019/08/17(土) 12:01:03.69

なんでこんなめんどくさいことやってんだ
というのを理解するにはC/C++の知識があると早い

**デフォルトの名無しさん** · 2019/08/17(土) 12:55:15.72

C++で痛い目にあった人達が作った言語だからな

**デフォルトの名無しさん** · 2019/08/17(土) 13:26:05.40

苦しめられたほうがラクなんよね
一見苦しい縛りの結果、整理された構造という一粒の宝石を残してくれる

**デフォルトの名無しさん** · 2019/08/18(日) 13:26:59.04

お邪魔します
エディタを紹介してもらえませんか?

The Rust Programming Language を読みながら自習しています
第12章 Refactoring to Improve Modularity and Error Handling の最後の節
Splitting Code into a Library Crate まできたのですが
( https://doc.rust-lang.org/book/ch12-03-improving-error-handling-and-modularity.html#splitting-code-into-a-library-crate )
Listing 12-14 のように src/main.rs を変更すると
エディタが minigrep なんて知らんと文句を言いはじめました
これでは Config や run を補完で出してくれません

mod lib;
use lib as minigrep

を入れれば補完してくれますが、cargo build が通りません

この状況に対応しているエディタを紹介してくださると大変助かります

**デフォルトの名無しさん** · 2019/08/18(日) 16:43:08.87

-use lib as minigrep
+use lib::Config;

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

ごめんなんか勘違いしてた
vscodeで普通に通るよ

**デフォルトの名無しさん** · 2019/08/18(日) 17:36:07.73

助かります
ありがとう

**デフォルトの名無しさん** · 2019/08/20(火) 14:01:19.61

トレイト境界をトレイト拘束に置換する拡張機能を書いた

**デフォルトの名無しさん** · 2019/08/20(火) 15:27:32.97

RustのArcとかBoxとか複数組み合わせてちゃんと動くってイメージが湧かないんだけどそんなもん？

**デフォルトの名無しさん** · 2019/08/20(火) 15:37:20.44

トレイトしばり

**デフォルトの名無しさん** · 2019/08/20(火) 18:36:33.19

そんなもんってどんなもんや？

**デフォルトの名無しさん** · 2019/08/21(水) 12:01:21.04

ちゃんと動く

**デフォルトの名無しさん** · 2019/08/21(水) 22:01:34.30

>>180
それ関連のバグが確か上がってたはず。

**デフォルトの名無しさん** · 2019/08/21(水) 22:17:56.76

嘘乙。
違うというなら証拠を出せ。

**デフォルトの名無しさん** · 2019/08/22(木) 12:21:26.09

バグを見たことがあるからちゃんと動くというイメージが沸かないのか？

**デフォルトの名無しさん** · 2019/08/26(月) 20:55:57.18

https://play.rust-lang.org/?version=stable&;mode=debug&edition=2018&gist=8c44bed658726ada0deff031799664b7
1. std::env::current_exe()で実行ファイルのフルパスを得る
2. file_name()でファイル名だけにする
3. to_str()で&strにする
4. 途中でErrやNoneが返ってきた場合はデフォルトの値"foo"を使う

ということをやりたいのですが、エラーでビルドできません。
どのように書けばいいでしょうか？

**デフォルトの名無しさん** · 2019/08/26(月) 21:16:34.03

std::env::current_exe() は PathBuf の"値"を返す
PathBuf::file_name() は PathBuf の中身の部分的な参照を返す

PathBuf::file_name() で生成される &OsStr を参照から値に変換するか、
std::env::current_exe() で生成されるPathBufを変数に束縛して所有権取らせてから、改めて参照を取得するかしないとダメ

**デフォルトの名無しさん** · 2019/08/27(火) 19:57:54.12

>>188
ありがとうございます、所有権を意識してto_ownedを使ったらいけました。

**デフォルトの名無しさん** · 2019/08/29(木) 18:47:18.36

>>27の元ネタだが
We need a safer systems programming language
ttps://msrc-blog.microsoft.com/2019/07/18/we-need-a-safer-systems-programming-language/
Why Rust for safe systems programming
ttps://msrc-blog.microsoft.com/2019/07/22/why-rust-for-safe-systems-programming/
あたりを読むとあっちの会社はホント合理的だなと痛感する。C/C++を用いた安全な大規模システムの開発はムリゲーとし
同業他社の方針やツールを認め導入してしまう。日本の大手システム屋にこういう事を出来るところってあるんだろうか

**デフォルトの名無しさん** · 2019/08/29(木) 20:39:56.79

合理的ね。。
「戦うプログラマー」読む限りはそうは思えんが。
都合のいいとこだけ切り取ってるな。
むしろ無理やり言語使わせるとかもろSIerのやり口だろ。ばかすぎる。

**デフォルトの名無しさん** · 2019/08/29(木) 21:33:28.37

闘うプログラマーと言えば当時からC++は魔境過ぎてヤベェみたいな記載があって笑った記憶ある。

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

無理矢理使わせてるということは今後出てくるMSプロダクトは全部Rust製になるのか？

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

>>193
C++で作るようなものを全部Rustにする
ってなったらすごいことになるな

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

JavaScript → TypeScript(型チェック) とか C++ → Rust(借用チェック) みたいな
用途・特性が似通った言語でより安全な方を使わせるってのは、単なるリスクマネジメントであって
SIerのナンデモJava事案とは違うと思う

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

ポストC/C++の座にRustを据えるかどうかはともかくC/C+お払い箱は確定事項じゃね
つーかMSRCの記事の何処にも無理矢理使わせているなんて書いていないぞ？

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

Cは永遠に不滅です
C++は知らん

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

Rust学び始めたけど噂通りむずい...
やりたいのはcli/tuiとかwebなので習得が無理そうだったら大人しくGoを使うことにする...(´・ω・｀)

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

結局C以外でOSは厳しくないかと思うのよね

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

>>199
CでOS書いた事あんの？
C意外でOS書いたことあんの？
それとも想像だけ？

**デフォルトの名無しさん** · 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として導入するとのことだがそれはまた別の話だろう

長文失礼