Rust part9

**デフォルトの名無しさん** · 2020/08/23(日) 01:07:35.52

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 part8
https://mevius.5ch.net/test/read.cgi/tech/1579834072/

**デフォルトの名無しさん** · 2020/12/09(水) 13:27:46.69

>>350
ヒントくれ

**デフォルトの名無しさん** · 2020/12/10(木) 11:18:18.25

>>296
可読性と言うか記述性が悪いし、そもそも厳密な仕様が公開されていない
部分が多い。例えば後者についてはライフタイムとか。

**デフォルトの名無しさん** · 2020/12/10(木) 11:43:02.02

>>294
実際には沢山あって、例えば、makefileやUnixのシェルスクリプト、BATファイル、
Perlの関数呼び出しなんかがある。

**デフォルトの名無しさん** · 2020/12/10(木) 11:57:47.75

正規表現やLISPなんかも可読性が低い。

**デフォルトの名無しさん** · 2020/12/10(木) 12:16:53.52

LISPが可読性低いはモグリ

**デフォルトの名無しさん** · 2020/12/10(木) 12:25:40.73

クポー！

**デフォルトの名無しさん** · 2020/12/10(木) 12:41:56.12

>>352
具体的な記述例上げてくれないと何の説得力も無いぞ

**デフォルトの名無しさん** · 2020/12/10(木) 15:03:07.81

いつものヤバイ人だってすぐわかるだろ
荒らしの相手をするのも荒らしだぞ

**デフォルトの名無しさん** · 2020/12/11(金) 11:56:33.87

Cを日常的に使っていた人がRustに移行しようとするとやりたいことが出来なくて
馬鹿馬鹿しくなる。
数学的には完全に安全な書き方なのにRustには怒られる。

**デフォルトの名無しさん** · 2020/12/11(金) 12:12:02.16

Rust by Example によれば
drop が (自動で) 呼ばれるのは「スコープの終わり」と書いてあるけど、
それは変わってないと考えていいよね？
最終のアクセスがスコープのまんなからへんだったとしても、
drop はスコープの最後ってのは今でも保証されるんだよね？

**デフォルトの名無しさん** · 2020/12/11(金) 12:22:51.07

っぱ、D言語よ

**デフォルトの名無しさん** · 2020/12/11(金) 12:39:48.46

>>360
>>289

**デフォルトの名無しさん** · 2020/12/11(金) 18:10:27.06

数学的に完全に安全であるって証明を必要十分な早さで必要十分な量のコードに対して出きる人なら
おとなしくC使ってた方が良いんじゃないですかね

**デフォルトの名無しさん** · 2020/12/11(金) 20:55:17.88

>>359
自信あるならコード見せてみな？
https://play.rust-lang.org/

**デフォルトの名無しさん** · 2020/12/12(土) 01:56:14.01

>>364
いやです。

**デフォルトの名無しさん** · 2020/12/12(土) 01:56:52.38

>>363
少なくともRustは使いません。

**デフォルトの名無しさん** · 2020/12/12(土) 02:31:40.86

>>366
さようなら

**デフォルトの名無しさん** · 2020/12/12(土) 02:52:34.60

問題点を指摘されたら排除する風潮。

**デフォルトの名無しさん** · 2020/12/12(土) 02:55:04.93

だってあなたがここに残っても得られる物何もないでしょ

**デフォルトの名無しさん** · 2020/12/12(土) 03:02:09.48

アメリカでは人気言語なんだろ？
つまり問題なく安全に使えてるってことだよね

**デフォルトの名無しさん** · 2020/12/12(土) 03:03:58.91

>>370
本当はそんなに人気無い。

**デフォルトの名無しさん** · 2020/12/12(土) 03:12:39.08

全お前の中ではそうだろうね

**デフォルトの名無しさん** · 2020/12/12(土) 03:12:53.23

>>359
なんでunsafe使わなかったの？

**デフォルトの名無しさん** · 2020/12/12(土) 15:08:06.15

>>365
なぜ？
数学的には完全に安全なのに

**デフォルトの名無しさん** · 2020/12/12(土) 15:30:46.47

数学的にもOKでも、書いてるのはコードなんだからプログラミング的にもOKじゃないといけない
っていうマジレスでいい？
言語には仕様があるわけでどの言語でもそうだろ。
そもそもプログラミングしない方がいいよ、数学でもしてりゃいいじゃん

**デフォルトの名無しさん** · 2020/12/12(土) 16:08:31.70

コンパイラが証明できないけど人間が証明できるときのためにunsafeがあるんだから使えばいいのに

**デフォルトの名無しさん** · 2020/12/12(土) 16:37:40.21

数学的には完全に安全ww
こんな低脳ワード使ってるやつ相手にして君たち頭おかしいんとちゃう？

**デフォルトの名無しさん** · 2020/12/12(土) 17:13:45.58

完全に安全ってフレーズだけは韻踏んでて好き

**デフォルトの名無しさん** · 2020/12/12(土) 18:01:42.98

チューリング安全

**デフォルトの名無しさん** · 2020/12/12(土) 23:00:12.57

ヨシ！今日も一日ご安全に

**デフォルトの名無しさん** · 2020/12/12(土) 23:31:38.16

今日は安全日なの。

**デフォルトの名無しさん** · 2020/12/12(土) 23:32:54.53

まあrust使ってれば完全に安全とか言い出す馬鹿もいたしどこにでも馬鹿はおるわ。

**デフォルトの名無しさん** · 2020/12/13(日) 02:17:41.84

rustでRSSリーダー作れましゅか？

**デフォルトの名無しさん** · 2020/12/14(月) 12:25:27.59

色々調べて学んでみたが個人的にはRustは好きな言語ではないし
本の帯に書かれているようなC/C++の代替になるようなものではない。
メモリー安全なのはポインタが理解できない人向け。
Ruby/Puthon/JSのようなスクリプト言語的な使い方ならある程度できそうだが
それらより遙かに難しくなっている側面が有ることも否めない。
C/C++のように自由にデータ構造を作るには向いていない。
C#やJavaは速度は落ちるが、C/C++のコードを容易に移植できたが
Rustは出来ない。

**デフォルトの名無しさん** · 2020/12/14(月) 12:30:01.03

>>384
C#やJavaは、データ構造やアルゴリズムを自由に作りやすいC/C++の自由さを
速度やメモリー効率を落とすことで初心者やポインタが理解できない人でも
手に入れることが出来る言語であった。
RustはC/C++と比べて効率は落ちにくいが C/C++の自由さは手に入らない。
ポインタを良く理解している人であってもRustのsafeモードでは独自の
データ構造やアルゴリズムを作るのは非常に難解。
なぜならライフタイムやBox<T>などの仕様が明言されて無く不明確だから。

**デフォルトの名無しさん** · 2020/12/14(月) 13:20:59.79

>>384　6iyAwzKw
>>385　6iyAwzKw
せっかく関心しかけたのに、自演で信頼性を損なうな

**デフォルトの名無しさん** · 2020/12/14(月) 13:30:32.20

いつもの人だし関心するような内容あったか？

**デフォルトの名無しさん** · 2020/12/14(月) 13:39:47.48

すまんな、rustスレ初めて覗いたんだ

**デフォルトの名無しさん** · 2020/12/14(月) 14:39:07.69

>>388
いや、実際に関心する内容があったんならそれはそれでいいんだが
あと別に自演失敗したとかじゃなく、Twitter的な感じでリプライで補足しただけでは
別人を装う気は微塵も感じられない

**デフォルトの名無しさん** · 2020/12/14(月) 14:40:42.59

この人ほんとゴミやな
Rustは優秀な老害フィルターかもしれん

**デフォルトの名無しさん** · 2020/12/14(月) 15:05:11.25

嫌いなものを無理に使う必要ないんだが、それを何度も何度も言いに来られてもな
説明しても聞く気ないし

**デフォルトの名無しさん** · 2020/12/14(月) 15:39:33.85

仕様が公開されていないおじさん

**デフォルトの名無しさん** · 2020/12/14(月) 16:56:39.26

数学的に正しい仕様が公開されてないおじさん

**デフォルトの名無しさん** · 2020/12/15(火) 09:41:38.47

老害に失礼だろ(笑)

**デフォルトの名無しさん** · 2020/12/15(火) 09:52:45.57

具体的に何ができないか言ってくれないとただのお気持ち表明でしかない

**デフォルトの名無しさん** · 2020/12/15(火) 16:41:25.69

リングバッファ実装でさえunsafe使わなきゃ無理だろ。

**デフォルトの名無しさん** · 2020/12/15(火) 18:07:45.20

リングバッファにunsafe必須とか正気か？
何も分かってないだけじゃん

**デフォルトの名無しさん** · 2020/12/15(火) 18:38:51.06

仮に unsafe 必須だとしてそれがどうだっていうんだ？

**デフォルトの名無しさん** · 2020/12/15(火) 19:50:18.09

なるほどunsafeでもかまわんと。。まあそれでいいならそれでいいんじゃないですかね。
rustの旨味半減もいいとこだが。
https://github.com/rust-lang/rust/blob/master/library/core/src/alloc/mod.rs

**デフォルトの名無しさん** · 2020/12/15(火) 20:31:28.92

Vec使ったsafeな実装もできるだろうし、
パフォーマンスを求めるなら直接allocのAPIを叩くunsafeの実装もできる

dogmaticにならず目的に応じて適切な手段を使い分けられるというRustの良いところの例だと思うが
なんでunsafe使ったら負けみたいな思考になるのかが分からない

**デフォルトの名無しさん** · 2020/12/15(火) 20:32:49.79

むしろ libc crateだけで作ればいいんじゃないか

**デフォルトの名無しさん** · 2020/12/15(火) 21:30:40.05

unsafe使ったリングバッファで数学的に完全に安全てw
自分の書いたロジックをコンパイラが検証してくれないって話だったのかよ

**デフォルトの名無しさん** · 2020/12/15(火) 21:56:57.57

safeとunsafeを混ぜられるところはまさにRustの旨味そのものなんだが

**デフォルトの名無しさん** · 2020/12/16(水) 01:59:42.07

そこまでしてRust使うならC++で十分。

**デフォルトの名無しさん** · 2020/12/16(水) 07:41:21.74

>>404
unsafeじゃない実装もできるいうてますやん

**デフォルトの名無しさん** · 2020/12/16(水) 11:49:20.44

全部unsafeで常に安全性に気を使わなければならないC++
一部のunsafeな箇所の安全性にさえ気をつければ、大部分のsafeな箇所はコンパイラに従うだけで安全になるRust

C++の方が楽と感じるのはなぜ？使い慣れているから？コンパイラに叱られないから？

**デフォルトの名無しさん** · 2020/12/16(水) 12:51:22.00

数学的にというがそれはどうせ高校までの数学でしょ？
大学で教わった群論や離散数学を含んでるのか？

**デフォルトの名無しさん** · 2020/12/16(水) 12:57:08.01

数学的に安全というのはCoq使って検証したとか
言ってもらわないとなあ

**デフォルトの名無しさん** · 2020/12/16(水) 13:02:30.37

一気に議論がチープになった
「数学的」でNG推奨

**デフォルトの名無しさん** · 2020/12/16(水) 13:56:32.92

RustBeltやRustHornみたいな取り組みに期待したい

**デフォルトの名無しさん** · 2020/12/16(水) 14:07:09.63

miriってどうなの？

**デフォルトの名無しさん** · 2020/12/16(水) 14:47:33.79

miriは普通に使えるんじゃない？
といっても実行パスでUB踏んでないか見るだけだから
RustBeltみたいな証明とは違うけど

**デフォルトの名無しさん** · 2020/12/16(水) 16:16:13.30

>>409
お前それ数学的に証明できんの？

**デフォルトの名無しさん** · 2020/12/16(水) 18:05:54.84

>>406
はっきりいえば、頭がいいから。
学生時代、ほとんど数学は満点だった。

◆QZaw55cn4c · 2020/12/16(水) 18:20:40.19

>>414
私は馬鹿だから、あなたがとってもうらやましいですね…

**デフォルトの名無しさん** · 2020/12/16(水) 18:22:19.17

>>414
C++の言語仕様完全に理解してそう。すごい

**デフォルトの名無しさん** · 2020/12/17(木) 00:47:25.43

>>406
普通にc++使ってれば安全性に気を使わなきゃならん部分は一部だとわかるし、
それがどういう部分かと言えばrustがunsafeで書かなきゃならん部分だからだよ。

**デフォルトの名無しさん** · 2020/12/17(木) 15:00:55.83

>>417
それでもミスるのが人間。そういった経験からシステム的にミスを無くそうと試みているのがrust。
それをわかった上で俺はミスしないって言ってるのはただの経験不足か、プログラムを全然組まないやつだな。

**デフォルトの名無しさん** · 2020/12/17(木) 16:21:39.70

>>417
(とりあえず unsafe を使う必要がないようなコードで)
Rust を使って最初からエラーなしで通すことが出来るんか？
それでどこかで引っかかるようなら C++ でもたぶん出来てないぞ。

**デフォルトの名無しさん** · 2020/12/17(木) 17:13:31.93

触れるなよもう……

**デフォルトの名無しさん** · 2020/12/17(木) 17:54:41.43

cd ~/.cargo/registry/index/github.com-1ecc6299db9ec823
git pull https://github.com/rust-lang/crates.io-index.git

**デフォルトの名無しさん** · 2020/12/17(木) 19:07:39.53

D言語はどうなったんや？

**デフォルトの名無しさん** · 2020/12/17(木) 19:08:57.68

まだ生きてんだw

**デフォルトの名無しさん** · 2020/12/17(木) 19:35:09.90

D言語のリファレンスって平易な英語で書かれていて、自分でドキュメントを書く時にすごく参考になる

**デフォルトの名無しさん** · 2020/12/18(金) 03:45:53.54

>>418
俺は高IQで、数学が得意だったので、C++で何10万行のプログラムを書いても、
経験的にメモリ関連のバグが起きる確率はとても低い。
一般プログラマには当てはまらないかも知れないが。

**デフォルトの名無しさん** · 2020/12/18(金) 04:06:31.91

経験的ねぇｗ
数学得意な奴が使いそうな言葉だねｗ

◆QZaw55cn4c · 2020/12/18(金) 04:42:51.11

>>425
メモリ関連のバグは「確率が低い」では全然だめですよ、バグを作ってしまうことは仕方ないにしても、最初から根絶を目指さなくてはいけないかと
私なら、最低限 new/delete はオーバーロードしてラッパを書き未 delete・重複 delete くらいは確認しておきますね
まあ、最近はお気楽に unique_ptr, shared_ptr で妥協することがほとんどですが、weak_ptr はちょっと怖くて使わないようにしています…

**デフォルトの名無しさん** · 2020/12/18(金) 08:33:16.84

>>425
あなたのプログラムでバグが起きる確率が低いことはどのように検証したのですか？

**デフォルトの名無しさん** · 2020/12/18(金) 11:50:56.29

経験的に、そうだからです

**デフォルトの名無しさん** · 2020/12/18(金) 12:17:36.04

そう、未だ気づかれていない大量のバグが潜んでいるのだった

**デフォルトの名無しさん** · 2020/12/18(金) 15:39:43.38

みんな同じじゃないぞ。
頭にも才能があるのを忘れるな。
そうでないと高IQ者が活躍できない。

**デフォルトの名無しさん** · 2020/12/18(金) 15:43:18.03

>>427
QZは馬鹿。

◆QZaw55cn4c · 2020/12/18(金) 15:54:37.91

>>432
>>431
たしかに高IQの人の言ってはることがさっぱりわからなくて…
というか、高IQ だと私が思っていても実は、IQ=100 の人だったりして…
ということで、私のIQは80くらいだと思っています

**デフォルトの名無しさん** · 2020/12/18(金) 15:56:33.29

>>433
普通、高IQといえば、IQ=140以上だろう。

**デフォルトの名無しさん** · 2020/12/18(金) 16:25:31.81

IQ高いけどとても残念な人なんですね

**デフォルトの名無しさん** · 2020/12/18(金) 16:45:14.29

>>434
メンサの方ですね、証拠をどうぞ

**デフォルトの名無しさん** · 2020/12/18(金) 16:58:40.57

>>431
それでメモリ関連のバグの有無はどういう基準で判定してるんですか？

**デフォルトの名無しさん** · 2020/12/18(金) 16:58:41.81

QZの方が最悪だ。
自分と自分の周りの価値観がすべてだと思っている。
平均の人々と秀才とはどこまで行っても違う。
言語の好みから何から何まで。
必要としていることも何もかも。

◆QZaw55cn4c · 2020/12/18(金) 17:20:09.25

>>438
＞自分と自分の周りの価値観がすべてだと思っている。

私は私の持つ価値観以外にも、別の価値観やセンスオブバリューが存在し、かつ、私の持つ価値観よりも優れた価値観が存在し得ることも想定していますが、
私の発言の中に「自分と自分の周りの価値観がすべてだと思っている」とあなたに感じさせた部分がありましたら、是非ご指摘いただけるととても嬉しいです

**デフォルトの名無しさん** · 2020/12/18(金) 17:46:11.20

経験的に数学的に完全に安全
これが高IQ語法か

◆QZaw55cn4c · 2020/12/18(金) 17:55:52.91

>>440
それって変てこな語法ですよね
数学的に正しいのであれば、それは経験とか履歴とかヒストリーとかにまったく関係なく、
数学的に正しいと証明された時点で、現存宇宙のビッグバン以前、宇宙死以後にも、数学的に正しいのに

どうして「経験的」という単語を使用しているのでしょうか？

**デフォルトの名無しさん** · 2020/12/18(金) 19:22:04.03

>>425
残念ながらお前の同僚や部下は違うんだ

**デフォルトの名無しさん** · 2020/12/18(金) 19:41:43.87

>>436
年内に会費払わなきゃいけないのを思い出した。ありがとう。

◆QZaw55cn4c · 2020/12/18(金) 20:59:10.26

>>436
メンサの人ってどんな人なんでしょう？
一度お会いしたいです
お話しするなかで、私のような馬鹿がもう少し生きやすくなるコツみたいなものが私にも感じられたら（多分理解は無理だと思います…）とても嬉しいですね

**デフォルトの名無しさん** · 2020/12/18(金) 22:14:54.92

せっかくのRustスレなのにどうしてこんなカオスなスレになっちまったんだ…

**デフォルトの名無しさん** · 2020/12/18(金) 22:29:37.14

キチガイに構っても得るものはない

**デフォルトの名無しさん** · 2020/12/18(金) 22:30:30.78

unsafeの必要性がよくわかっていいじゃない

**デフォルトの名無しさん** · 2020/12/18(金) 22:40:26.63

専門板名物

**デフォルトの名無しさん** · 2020/12/22(火) 13:40:54.01

from_str を実装しようとしています。
入力となる文字列 (の一部) をスライスとして保持するようなデザインにしたいのですが、
ライフタイムの整合性を取れる書き方が出来ません。
FromStr はそういうことが出来ないように制約付けられたトレイトということなのでしょうか？
それとも工夫してどうにか出来るでしょうか？

やりたいことをコードで言えばこんな感じです。

use std::str::FromStr;

struct foo<'a>(&'a str);

impl<'a> FromStr for foo<'a> {
type Err = &'static str;
fn from_str(s: &'a str) -> std::result::Result<Self, Self::Err> {
Ok(foo(s))
}
}

**デフォルトの名無しさん** · 2020/12/22(火) 15:57:10.65

>>449
できない