Rust Part6

**デフォルトの名無しさん** · 2018/07/28(土) 03:04:38.63

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 Part5
http://mevius.5ch.net/test/read.cgi/tech/1518347244/

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

全然だぞ。

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

Vってvoltのことか。あれgoに毛が生えた程度の言語よ。

>>457
今のはコマンドプロンプトのバッファが足らなくなるくらい丁寧だけど
答えそのものを教えてくるから書いたコードがだめな理由が初学者に理解できないのは変わらないと思う。

**デフォルトの名無しさん** · 2019/02/10(日) 01:50:55.52

>>449
どうググるとそれ出てくるの?
「volt　プログラミング言語」でググって出てくるのこれなんだけど

Volt Programming Language ・ GitHub
https://github.com/VoltLang
http://www.volt-lang.org/

**デフォルトの名無しさん** · 2019/02/10(日) 02:45:34.58

大体はGoとかと一緒で言語名+langで検索するのがいいんじゃない？

四文字もあって他の情報が上に来るのも珍しいが

**デフォルトの名無しさん** · 2019/02/10(日) 23:16:47.25

googleで言語名+langで検索するとgoを検索結果にねじ込んでくるから-go必須

**デフォルトの名無しさん** · 2019/02/11(月) 13:29:57.41

rustでググってrustってゲームがトップに来なくなったのはグーグルさんが僕の検索履歴から判定しているだけ

**デフォルトの名無しさん** · 2019/02/11(月) 14:57:29.32

https://trends.google.co.jp/trends/explore?geo=JP&;q=%2Fm%2F0zm_2_r,%2Fm%2F0dsbpg6
https://i.imgur.com/7uP3Dl5.png

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

Rust初心者です。
リスト構造を使ったスタックの実装で躓いてます。
なぜ間違っているのか教えてください
https://gist.github.com/rust-play/e54d15602fa8a1d8f7a17521f85d1133

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

>>465
http://cglab.ca/~abeinges/blah/too-many-lists/book/first-push.html
かいつまんで言うと、&mutなオブジェクトが一瞬でもinvalidな状態になるから。
mem::replaceを使うと、self.listの値を取り出して代わりに別の値を置く、という処理が一度に行える
https://play.rust-lang.org/?version=stable&;mode=debug&edition=2018&gist=8d12416b3f7bc4aa44bf360df11de1be

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

>>466
ありがとうございます。
変更可能な"参照"で持ってきたもの(&mut self)から所有権をムーブさせることはできないという解釈で大丈夫ですかね。

置き換えるときはmem::replaceを使うようにします。

**デフォルトの名無しさん** · 2019/02/11(月) 23:01:54.99

クソコード教えるんじゃねぇ。Optionの中身をNoneと入れ替えるならOption::take使え

**デフォルトの名無しさん** · 2019/02/11(月) 23:36:00.41

アアン？Option::takeのソース見ての物言いだろうなあテメェ

**デフォルトの名無しさん** · 2019/02/13(水) 00:06:54.91

中身見たのならなおのことOption::take使うべきでは

**デフォルトの名無しさん** · 2019/02/14(木) 19:10:47.01

>>455
OCamlは、文字コードの扱いとWindows環境の扱いが
もう少し良くなってくれると嬉しいな。

**デフォルトの名無しさん** · 2019/02/18(月) 21:15:10.76

インデントのスペース幅は2が良かったなぁ
clang-formatもprettierも2がデフォだし
C#でさえ2を結構見かけるようになってきた
rustに強く影響を与えたであろうocamlもhaskellも2が多い
世界的に2が標準になりつつある気がする

**デフォルトの名無しさん** · 2019/02/18(月) 21:29:43.93

漢なら8

**デフォルトの名無しさん** · 2019/02/18(月) 21:30:52.44

Pythonをインデント2で書く奴だけはマジで死ね
あれはガチで読めない
他の言語なら好きにしろ

**デフォルトの名無しさん** · 2019/02/18(月) 21:33:40.63

インデントはTABキー派だな

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

ocamlからリスト引き継いでくれたらよかったのになあ
しかしそうするならもはやocamlそのものでいいってことになりかねないかな

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

>>474
それだとgoogle連中には全員死んでもらわんとならんな。

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

noto sansにindent 3をわかってくれるのはねねっちだけか。
今は源真ゴシック等幅+Source Code Proだけど。
Source Han Codeはちょっと違うんだよ。

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

Cica派です

**デフォルトの名無しさん** · 2019/02/19(火) 02:33:20.94

googleのstyleguideではスペース幅4を推奨してるのにgithubのgoogleのpythonレポジトリはスペース幅2が多いな
pythonはpep8を重視してるイメージがあるけど堂々と無視出来るのは凄い

rustもrustfmt.tomlでtab_spaces = 2を設定してる人が結構いるわ
https://github.com/search?l=TOML&;q=tab_spaces&type=Code
3にしてる人さえいる

**デフォルトの名無しさん** · 2019/02/19(火) 09:43:14.31

ちんこことゴッドエイムあきらを探しに来ました。

**デフォルトの名無しさん** · 2019/02/19(火) 12:32:05.79

なんでtab2だとみにくいんだ？

**デフォルトの名無しさん** · 2019/02/19(火) 13:27:47.37

インデントで制御構造を表現する言語だと、深いネストから戻るときにどのレベルに戻ったのか識別できなくなる

**デフォルトの名無しさん** · 2019/02/19(火) 20:11:35.55

タブ2で見ずらくなるようなネストの深さと関数の長さになるのが悪いと
言いたいところだがgoogleのオフィシャルコードは結構ど汚くて上の条件を無視してる。
個人的には3が視認性の上では一番良いと思ってはいるが、流石に2,4と互いに素な数だと
プログラム的になんか嫌なこと起きそうで自分では使ってないな。

**デフォルトの名無しさん** · 2019/02/19(火) 21:05:35.97

タブ幅小さくして、その分変数名を分かりやすく長くするんだよ

**デフォルトの名無しさん** · 2019/02/19(火) 23:16:38.92

>タブ2で見ずらくなるようなネストの深さと関数の長さになるのが悪いと
2派と4派の対立は4が深すぎるか、2が浅すぎるかなのに「2で見ずらくなる深さ」って想定おかしくね？
3派は間とって3だよ。こっちは普及してないのが問題。

**デフォルトの名無しさん** · 2019/02/19(火) 23:29:48.61

Scalaみたくスタイルガイド作っちゃえばいいのに
そうすれば「スタイルは公式に従うように」の一言で済む

**デフォルトの名無しさん** · 2019/02/19(火) 23:31:07.48

ハードタブなら各自好きな幅にすればいいから揉めないのにね。

**デフォルトの名無しさん** · 2019/02/19(火) 23:44:16.88

回りの多数派にあわせるだけの話
こういうのにこだわるやつは大抵バカ
可読性w

**デフォルトの名無しさん** · 2019/02/20(水) 00:10:42.00

なんてここでタブ・スペース論争してんだ
どうせ一人でしか書かねえくせによ～

**デフォルトの名無しさん** · 2019/02/20(水) 00:20:53.21

インデントってrustfmtの話？

**デフォルトの名無しさん** · 2019/02/20(水) 09:53:44.02

>>489
ほんこれ
見やすさとか人によって違うしどうでもいい

**デフォルトの名無しさん** · 2019/02/20(水) 15:04:45.66

エディタファシストなのでエディタを開発したことないやつは駆除されるべきなのではと考え始めて来た。やばい

**デフォルトの名無しさん** · 2019/02/20(水) 15:58:40.55

昔々学生の頃に学校のワークステーション使ってXlibでドット編集してXPMファイルで出力するなんてものを作った覚えがある。
あらから29年。時の経つのは早いものぢゃ。

**デフォルトの名無しさん** · 2019/02/20(水) 19:43:00.89

29年前にRust使えたんだ
すごいな

**デフォルトの名無しさん** · 2019/02/20(水) 19:44:18.14

読み込んで表示するより出力の方がはるかに簡単だしな

◆QZaw55cn4c · 2019/02/20(水) 19:52:10.09

>>494
xlib ダイレクト記述、とは猛者ですね…
私も最近になって xlib をバシバシ触ろうと思っていますが、いい参考書はありませんか？

**デフォルトの名無しさん** · 2019/02/21(木) 11:19:20.33

XlibってCの悪いところを煮詰めたような設計だったな
Rustとの相性は最悪だろう

**デフォルトの名無しさん** · 2019/02/21(木) 13:00:40.17

日本語の参考書はX11R5の大昔に出た本ぐらいじゃないかな

**デフォルトの名無しさん** · 2019/02/22(金) 15:32:44.85

うん。新しいXlibの本は知らないなあ。
探す気も起きないから知らないだけかも知れないが。

**デフォルトの名無しさん** · 2019/02/22(金) 15:35:39.38

>>498
なんというか、オブジェクトを作って操作するような感じなので今時の言語用のオブジェクト指向に合わせたラッパーは作れると思うが、需要はほとんどないような気がする。

**デフォルトの名無しさん** · 2019/02/22(金) 16:19:45.55

xlibの使いやすいラッパーとしてはgtk+などなどがあるんわけで…

**デフォルトの名無しさん** · 2019/02/22(金) 17:04:13.83

GTKはクソ

**デフォルトの名無しさん** · 2019/02/23(土) 05:53:32.47

ちゃんとgtk-rsあるやん

**デフォルトの名無しさん** · 2019/02/23(土) 22:01:15.49

>>465です
スタックにpopを実装しました
pop自体はうまく動いているようですが…
popした時の対象の物がどのタイミングで破棄されているのかを調べようと思いstd::ops::Dropを実装しようとしましたがうまくいきません。
https://play.rust-lang.org/?version=stable&;mode=debug&edition=2018&gist=f1a2a2a35c3dc424f3814557afa5974c
何がいけないのでしょう

**デフォルトの名無しさん** · 2019/02/24(日) 15:19:37.98

haskellでの、文字列[Char]を切り貼りみたいな事をするには、
Vec<char>を操作するので合っているのかな？

**デフォルトの名無しさん** · 2019/02/26(火) 12:11:01.89

>>487
>>480

**デフォルトの名無しさん** · 2019/02/27(水) 21:22:09.87

クローン技術で乗り切った

**デフォルトの名無しさん** · 2019/03/02(土) 01:38:04.42

>>505 Dropを実装した型の値がdropされるとき、フィールドは全てvalidじゃないといけない。
そのままメモリ解放するだけ＝Drop未実装ならいいんだけど、drop中にinvalidなフィールドにアクセスできちゃうのがダメだというのが問題
解決案は、ここでもOption::takeかmem::replaceでNoneにすげ替える

けど、まずはLearning Rust With Entirely Too Many Linked Listsを写経してみた方が良いよ
今のListの定義だと無駄なメモリを食うし、パターンマッチとstructは相性があんま良くないし、これから先も似たような穴にハマると思われる

**デフォルトの名無しさん** · 2019/03/02(土) 15:28:49.59

Rustいいらしいですよって話を会社でしたら、
テックリードが「RustでできることはCやC++でもテストとツールで十分やってけるからイラネ」って言ってたけどマ？

**デフォルトの名無しさん** · 2019/03/02(土) 15:50:22.82

&str で関数に渡すと解放されてしまって使い回すこどができないのですが
使い回す方法ありませんか

**デフォルトの名無しさん** · 2019/03/02(土) 15:52:40.18

コーディングスタイルを徹底的に統制できるならマ

**デフォルトの名無しさん** · 2019/03/02(土) 15:55:37.40

>>510
コンピュータでできることは人の手と頭でできるよ

**デフォルトの名無しさん** · 2019/03/02(土) 17:11:13.26

>>512
じゃあうちにはたしかに要らんなあ
そんな統制がいるほどの人数でもないし

回答サンクス

**デフォルトの名無しさん** · 2019/03/02(土) 17:40:27.42

>>510
そのリードが C++でauto_ptrがdeprecatedになった理由とMove Semanticsと右辺値参照の関係をちゃんと説明できる人なら C++ でいい

**デフォルトの名無しさん** · 2019/03/02(土) 18:53:06.97

人間が信用できないからこそCよりRustだろ
気を付けてコーディングすればミスはなくなる、ってのは戦前の日本軍的な精神論だ
コンパイラ先生に怒られながら厳しい指導の下にやっとコンパイルしていただくのがRust

この記事とか参考になるかも
https://tomo-wait-for-it-yuki.hatenablog.com/entry/2019/02/05/210746

**デフォルトの名無しさん** · 2019/03/02(土) 19:04:12.47

プログラミングは製造業だからな
厳格なチェックは本来あって当然

**デフォルトの名無しさん** · 2019/03/02(土) 19:10:02.40

>>511
&str is 何？

**デフォルトの名無しさん** · 2019/03/02(土) 19:13:35.19

>人間が信用できないからこそCよりRustだろ
>気を付けてコーディングすればミスはなくなる、ってのは戦前の日本軍的な精神論だ
ぴんとこないな。
rustの場合、お役所とおせばテストなど自前でしなくともokっていう
変な信用を生んでるだけだろ。そっちのがよっぽど日本的だと思うがね。

**デフォルトの名無しさん** · 2019/03/02(土) 19:33:57.30

>>519
今時の言語なので、ユニットテストは標準で整備されてるよね
コンパイラは計算ミスや仕様間違いまではチェックしないので

**デフォルトの名無しさん** · 2019/03/02(土) 20:15:35.93

考え得る全パターンをいつもテストできるならいいんじゃないの

**デフォルトの名無しさん** · 2019/03/02(土) 20:36:46.57

メモリ破壊はユニットテストで検出されないケースも多い

**デフォルトの名無しさん** · 2019/03/02(土) 21:36:12.88

注意力ってのは慣れると省力できるようになるけど、有限リソースだし個人の習熟度と体力に依存するんで、目に見えない負債になる
新しい言語を理解するコストは償却できるけど、注意深さってのはソースコードを触る限りはコストを発生し続ける
機械がチェックできることは機械にやらせた方が絶対に良い

**デフォルトの名無しさん** · 2019/03/02(土) 22:15:15.48

製品にするコードってどうせMISRA C辺りの静的解析噛ますし
今時ならvalgrindもテスト項目に入ってるだろうし
Rustなら全部コンパイラがやってくれる！と言われても、
いやCにも外部ツール入れれば同じことできるし……としか思わんのだよな

個人的にはクラスよりトレイトの方がしっくりくるからそれだけでもRustは意味があると思うが

**デフォルトの名無しさん** · 2019/03/02(土) 22:44:32.15

>>523
枯れてないコンパイラの癖に合わせる方がよっぽど注意力を削ぐと思う。
コンパイラになんでも機能ぶっこむより524のように構成した方がどのツールが文句言ってるのか
よっぽどわかりやすい。
機械にチェックさせるのはいいがシステムとしてモジュラリティーが高いツールの組み合わせのが
結局使いやすいし、ロバストになる。

**デフォルトの名無しさん** · 2019/03/02(土) 22:52:05.50

どうでもいいけど言語の持つ表現力とかは完全に無視なん？

**デフォルトの名無しさん** · 2019/03/02(土) 22:57:46.43

>>526
C++の方がノイズが多いくらいで表現力自体は大差ないわ
もちろん、そのノイズによる可読性や生産性の低下は決して無視できるものではないが

**デフォルトの名無しさん** · 2019/03/02(土) 22:59:57.91

>>525
Cだって作成当初よりコンパイラでチェックする範囲広げてるけど
全否定？

**デフォルトの名無しさん** · 2019/03/02(土) 23:01:34.51

>>526
CやC++との比較でそこ（表現力）に触れずに
「Rustは安全！C/C++はfree/delete忘れがーアクセス違反がー領域の破壊がー」ばっか言ってる人が多いのが疑問って話な

俺はトレイトに可能性感じてるから期待してるよ
C++のテンプレートとか関数オブジェクトとか書きたくねえし

あとチェッカーとコンパイラ分けるべきか合体させるべきかについては、
どっちにも善し悪しあるからCとRustどっちが優れてるとかはないと思ってる

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

https://hacks.mozilla.org/2019/02/rewriting-a-browser-component-in-rust/
MISRAに適合しててvalgrindでチェックしてもこういうのは無理じゃない？他に例が思いつかないけど

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

Cじゃ確かに無理かもわからんが、C++のstd::vectorならatメソッドで同じことできるぞ

毎回アクセス範囲が適切か確認するから結局オーバーヘッドになってほぼ使われんがな

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

基本はIndex::indexを呼んで必要なとき(オーバーヘッドが気になるとき)にunsafeで囲む
C++は全関数がunsafeで意識せずVec::get_uncheckedを使うようなもの
オーバーヘッドの問題でunsafeで囲んだらRustだってツールじゃムリ五十歩百歩って言われるかもしれないけど、五十歩の方がいい

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

MozillaやRust作者の人達が、valgrindやチェックツールの使い方を知らない
アホ揃いだと思ってるの？

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

>>533
MozillaやRust作者の人達の過激な信者が
valgrindやチェックツールの存在を知らないか軽視してるせいで
Rustの宣伝に対して過剰にC/C++をディスってるアホ揃いだと思ってる

もちろんそうじゃないRust推しもいることは承知の上だ

逆に、「そういうツール使えばC/C++だけで十分Rustなんてイラネ」って意見も
ベクトル違うだけで同じくらいアホだと思ってるがな

だからこそトレイトの使い方だとかモジュールの仕組みだとか
外部ライブラリ（crate）の扱い方の方向での他言語との比較が
あんまり見えないことが問題だと思うんだが

そういう意味で話題提供すると、cargoって結構disられてるけど
どの変がクソなのかいまいち分からん
キャッシュサーバ持てないって話ならnpmとかbundleとかgo getも大概では？

**デフォルトの名無しさん** · 2019/03/03(日) 06:22:48.61

>>519
ほんそれ

**デフォルトの名無しさん** · 2019/03/03(日) 07:44:53.56

みんな同じ話題について話してるのか？
好き勝手独り言言ってるようにしかみえない。

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

これがいつもの流れだ

**デフォルトの名無しさん** · 2019/03/03(日) 16:51:19.54

そりゃーRust信者とRustアンチしかいねえからな
話が噛み合うわけない

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

Rustだと（unsafeなし、コンパイラのバグなしなら）プログラムの全実行パスでメモリリークや破壊がないことが保証できると思うけど、
C/C++で同等のチェックができるツールってある？
valgrindは単にvalgrindで実行したパスで問題なかったことが分かるだけって理解なんだけど。
もしあるならそれはそれで使ってみたい。

**デフォルトの名無しさん** · 2019/03/03(日) 17:11:00.51

>>539
俺もその認識なんだけどvalgrindナメてたかな
Firefoxのcssのバグはテスト書いて発覚した感じなんだけど

**デフォルトの名無しさん** · 2019/03/03(日) 17:26:47.25

その手の静的解析ツールはたいてい商用製品だね。一番手頃なのはVSで使えるSALかな。

**デフォルトの名無しさん** · 2019/03/03(日) 17:57:36.24

顔本のinferがオープンソースで全パス調べてくれるやつだな

企業ならcoverity課金してるだろ

**デフォルトの名無しさん** · 2019/03/03(日) 18:42:44.87

inferは知らなかった。ちょっと試してみる。
まぁ商用含めても原理的に検出率100%とはいかないだろうけど、
Rustだって標準ライブラリ内のunsafeバグとかあるからいい勝負なのかな。

**デフォルトの名無しさん** · 2019/03/03(日) 18:48:10.42

全パスチェックしてもRustのコンパイル時のチェックには及ばない
全パスチェック程度で済むものならば、Rustにあんなややこしい概念を持ち込む必要はないんだよ

**デフォルトの名無しさん** · 2019/03/03(日) 18:59:21.85

言語として縛りを強制するってとこに旨みがあるよね
静的チェックを過大評価云々は的を外した無意味な議論

**デフォルトの名無しさん** · 2019/03/03(日) 19:51:05.48

Rcなりunsafeなりあるわけでなんだかね。
rustを意識してプログラムをすることに意味はあるがrustの実装系を使うことに
そこまで意味はない。

**デフォルトの名無しさん** · 2019/03/03(日) 22:01:18.12

俺はweb屋さんだけどサーバ書くならrustが最高とおもってる
これって過激な信者？

**デフォルトの名無しさん** · 2019/03/03(日) 22:32:13.67

信者だアンチだディスったディスってないでrustを語れよ

**デフォルトの名無しさん** · 2019/03/03(日) 23:36:41.41

coverityとかの静的解析って誤検出が結構ある
で誤検出かどうかの人力解析も超めんどくさい
かつ1度の解析にめっちゃ時間かかる

これがあるからC/C++でもRust同等とかないわ

**デフォルトの名無しさん** · 2019/03/03(日) 23:53:56.27

>>547
web屋さんはもともとC++なんて使ってないし使う人が順調に増えていってる印象
問題はweb屋さん以外にどうアピールするか

**デフォルトの名無しさん** · 2019/03/03(日) 23:58:03.76

どうせ一時の流行で終わるんだから被害は少ないほうがいい
Scalaとかも中途半端に業務系が乗っかってきはじめた矢先に梯子外されて死屍累々の惨状だったし

**デフォルトの名無しさん** · 2019/03/04(月) 01:59:21.29

>>551
なんか梯子外された事件あったっけ？
Java8の登場でScalaがただの難解なJava8になった話？

**デフォルトの名無しさん** · 2019/03/04(月) 05:28:04.34

scala十分流行ってるでしょ

**デフォルトの名無しさん** · 2019/03/04(月) 05:49:29.62

えっ

**デフォルトの名無しさん** · 2019/03/04(月) 07:38:18.48

Javaは今でもクソ言語なのでScalaとは比べるべくもない
単に日本の人月制度とマッチしなかっただけ
Rustもそうなる
学習コストの高い良い言語より学習コストの低い低単価で人を集められる言語

**デフォルトの名無しさん** · 2019/03/04(月) 08:34:11.43

色んな業界があるのに一緒くたにして評価できなくない？

**デフォルトの名無しさん** · 2019/03/04(月) 16:55:17.66

>>555
JavaやPHPはともかく、そういう意味でCやC++がコスト低い言語とは思えんが