Rust part18

**デフォルトの名無しさん** · 2022/12/10(土) 18:17:02.61

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

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

※Rustを学びたい人はまず最初に公式のThe Bookを読むこと
https://doc.rust-lang.org/book/

※Rustを学ぶ際に犯しがちな12の過ち
https://dystroy.org/blog/how-not-to-learn-rust

※Rustのasyncについて知りたければ「async-book」は必読
https://rust-lang.github.io/async-book/

※次スレは原則>>980が立てること

前スレ
Rust part17
https://mevius.5ch.net/test/read.cgi/tech/1665063793/

**デフォルトの名無しさん** · 2023/01/03(火) 21:01:15.66

Rustスレでそんなこと質問したって無理だから。
いい加減諦めて実績のある言語スレに行け。

**デフォルトの名無しさん** · 2023/01/03(火) 21:21:04.77

誰も「Rustだから安全です」なんて言ってもいないしそもそも必ずしも安全でないことぐらい少しRustのこと勉強した人なら誰でも知ってる

**デフォルトの名無しさん** · 2023/01/03(火) 21:39:29.06

>>649
とりあえずPathBuf（参照ならPath）で保持しておいて必要な時にcomponents()で展開する感じがいいのかな
std::pathのPathBuf、Component、Prefixあたりでそれなりに抽象化はできてると思う
あとは目的次第

**デフォルトの名無しさん** · 2023/01/03(火) 21:42:19.01

>>651
>>231

**デフォルトの名無しさん** · 2023/01/03(火) 21:54:07.94

>>651
知ってたらRustなんか使わんだろ。

**デフォルトの名無しさん** · 2023/01/03(火) 21:57:01.67

しかし何でこんなにアンチ多いんだろうな
ノイジーマイノリティのような気もするけど
海外だと人気あるのにな

**デフォルトの名無しさん** · 2023/01/03(火) 21:57:32.41

Rustは使うこと自体が修行だからだよ

**デフォルトの名無しさん** · 2023/01/03(火) 21:59:13.22

C/C++のように黒魔術を使いたい

**デフォルトの名無しさん** · 2023/01/03(火) 22:14:16.03

>>655
多いって言っても結局はいつもの人が連投してるだけだしせいぜい数人では
他のSNSやリアルではこんな人見たことないしなぁ

**デフォルトの名無しさん** · 2023/01/03(火) 22:17:50.62

あくまでこのスレの雰囲気からの判断だけど
自分は万能で何でもできると思ってるタイプの人間がどうしてもRustを使いこなせなくて
自分が理解できない言語は欠陥言語に違いないって感じで叩いてる印象
多少扱いにくい言語でもHaskellみたいにマイナーならここまで荒れなかったかもしれない

**デフォルトの名無しさん** · 2023/01/03(火) 22:23:59.76

Haskellも叩かれてただろ。
技術評論社のステマが過ぎるんだよ。

**デフォルトの名無しさん** · 2023/01/03(火) 22:56:34.25

>>659
「すっぱい葡萄」だな

**デフォルトの名無しさん** · 2023/01/03(火) 23:01:13.76

少なくともRustを使えっていう現場は今のところ日本では皆無だと思うけどね

**はちみつ餃子** ◆8X2XSCHEME · 2023/01/03(火) 23:03:15.73

>>659
C/C++ は文法が無茶苦茶で扱いにくい部類なんだがなんだかんだで資料も多いし
慣れている人も多いから「これが普通」みたいな感覚になっちゃってるんだよな。
そこから遠い言語は「なんか普通じゃないやつ」に見えてしまうんだと思う。

言語としてスマートであろうがなかろうがエコシステムが充実してるほうが強いので
そこで C/C++ が長く支配的な立場だったけど現状の Rust なら十分すぎるほどに
充実してきてるんだから用途的にマッチするなら使えばいいと思うんだがなぁ。

**デフォルトの名無しさん** · 2023/01/03(火) 23:11:21.73

>>659
叩かれてるうちが華よ。
Haskellスレの↓が的を射ている。2023年、Rustでも見放しが起きるかもよ。
https://mevius.5ch.net/test/read.cgi/tech/1639713446/181

**デフォルトの名無しさん** · 2023/01/03(火) 23:18:33.15

>>663
Rustはそれ以上に変な文法だ。

**デフォルトの名無しさん** · 2023/01/03(火) 23:19:10.28

>>659
使いこなせないんじゃなくて、魅力を感じない。

**デフォルトの名無しさん** · 2023/01/03(火) 23:19:50.78

新着レスの表示を押したらgihyoアンチ出てきて笑ってしまった

**デフォルトの名無しさん** · 2023/01/03(火) 23:23:41.66

なお、Rustが欠陥言語なのはハッキリ分かってる。

**デフォルトの名無しさん** · 2023/01/03(火) 23:26:45.90

https://mevius.5ch.net/test/read.cgi/tech/1639713446/181
になぞらえよう。

2022年、NSA(アメリカ国家安全保障局)公認メモリ安全言語にGoが入った時点で、
「Rustが自賛する」メモリ安全は「白けた話」になった。
Rustはもうどうでもいい。

**デフォルトの名無しさん** · 2023/01/03(火) 23:27:03.95

>>660
お前にとって技術評論社はギフハブか何かに見えてるのか？

**デフォルトの名無しさん** · 2023/01/03(火) 23:48:42.74

使いたいけど使えない人 = 能力不足。
使えるけど使いたくない人 = 個人の選択の自由。
俺は後者だから。

**デフォルトの名無しさん** · 2023/01/04(水) 00:40:30.83

技術評論社が自演ステマする言語はすべて潰れる。

**デフォルトの名無しさん** · 2023/01/04(水) 00:42:55.13

文字列のパスの正当性をチェックしてくれるクレートとかないんだろうか
いわゆる汚染チェックだがダメ文字が含まれている、記法が有効ではない等々
WindowsのAPIにそれっぽいのがないかと思ったけど見つけられんかった
GetFullPathNameはファイルのみでディレクトリ名は不可っぽいし
exist類を利用する方法も出てくるけどこれはファイルやディレクトリがある
ケースでしか使えない

**デフォルトの名無しさん** · 2023/01/04(水) 00:55:50.44

2022年はちみつ味の複製ポエムバレしてRustは白けた話になった
2023年標準ライブラリ軽視からのクレート探しの自走力無き苦行
合計：白けた話＋苦行＝見放し

**デフォルトの名無しさん** · 2023/01/04(水) 01:06:23.83

いままでC/C++の代わりになると云われた言語たちがどれだけ敗走したことか
そのRustの力とやら、見せてもらおうか！

**デフォルトの名無しさん** · 2023/01/04(水) 01:06:49.84

>>657
ハイジェニックマクロはどうだい？

**デフォルトの名無しさん** · 2023/01/04(水) 02:42:42.79

Rust使わないことを選んだのなら、こんなとこで無駄な時間使ってないでC/CPPのスレで活躍したほうが良いのでは？

**デフォルトの名無しさん** · 2023/01/04(水) 03:10:48.22

Rust「うあ～！汚コード増し増し負けたンゴ～！」

**デフォルトの名無しさん** · 2023/01/04(水) 09:03:32.34

>>662
ここのRust'erも大体は海外企業勤めでしょ
国内は仕事無いし

**デフォルトの名無しさん** · 2023/01/04(水) 09:34:24.21

>>662
わかんないよ、数年前だけどAdaの仕事があったし
まあ研究所からだけどウチの会社にAdaなんて書けるやつがいることにビビったわ

**デフォルトの名無しさん** · 2023/01/04(水) 15:33:07.79

ま、ぶっちゃけ、RustよりSQL覚えた方が仕事はあると思うよ。

**デフォルトの名無しさん** · 2023/01/04(水) 15:42:42.57

カーネルドライバのいくつかがRustで書かれ始めちゃってるので
いやでもぶち当たる日が来るので仕方なく勉強してます。
今のところはクソ言語と言い切れるほどのクソさにはぶつかってないかな

**デフォルトの名無しさん** · 2023/01/04(水) 16:09:30.84

基本的にクソだけど我慢出来ないほどではない

**デフォルトの名無しさん** · 2023/01/04(水) 18:43:18.99

>>659
叩かれてない言語は多くの人が使いこなしてるって意味だねｗ

**デフォルトの名無しさん** · 2023/01/04(水) 18:51:29.68

プロファイラーの皆さん鑑定お願いします
https://mevius.5ch.net/test/read.cgi/tech/1672409791/27
https://mevius.5ch.net/test/read.cgi/tech/1670663822/673

**デフォルトの名無しさん** · 2023/01/04(水) 19:22:28.35

オッサンだけど女の子に生まれて百合恋愛がしたいだけの人生だった、女の最大の特権って百合ができる事だよな

**デフォルトの名無しさん** · 2023/01/04(水) 19:56:07.97

>>666
なんで魅力を感じない言語のスレなんてわざわざ見てるんだ？
暇すぎるだろw

**デフォルトの名無しさん** · 2023/01/04(水) 19:58:59.00

業務で使わされてるから

**デフォルトの名無しさん** · 2023/01/04(水) 20:25:18.15

>>687
悪い評価も言論の自由な社会では大事。

**デフォルトの名無しさん** · 2023/01/04(水) 20:45:25.47

>>689
正しい評価ならな
無能の誹謗中傷は要らん

**デフォルトの名無しさん** · 2023/01/04(水) 20:48:18.41

>>690
正しい評価のつもりだ。

**デフォルトの名無しさん** · 2023/01/04(水) 20:55:18.09

技術評論社のステマが最も有害。

**デフォルトの名無しさん** · 2023/01/04(水) 21:20:30.26

>>691
根拠も示さずに正しいつもりとか言われてもね

> なお、Rustが欠陥言語なのはハッキリ分かってる。

**デフォルトの名無しさん** · 2023/01/04(水) 21:23:31.68

Rustには欠陥が無いようなことを言い出したぞコイツ。

**デフォルトの名無しさん** · 2023/01/04(水) 21:25:52.36

なんかまたErrorトレイトのメソッド変わってる……
見落としてたけど1.64からでしたか

**デフォルトの名無しさん** · 2023/01/04(水) 21:59:12.78

>>694
なにが欠陥なのか指摘も出来ないクズ乙

**デフォルトの名無しさん** · 2023/01/04(水) 23:47:28.90

まあリーナスみたいに的確な指摘がちゃんと出来れば皆聞く耳を持つだろうにね

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

>>697
Linusみたいな有名人が言ったら信じるだけで、
ちゃんと説明しても自分の頭で理解できない人が多い。

**デフォルトの名無しさん** · 2023/01/05(木) 01:10:45.51

それ以前に欠陥の具体例すら挙がってないが

**デフォルトの名無しさん** · 2023/01/05(木) 01:14:21.99

>>699
このスレや前スレで何度も上がってる。

**デフォルトの名無しさん** · 2023/01/05(木) 01:23:36.54

複数の実装を抽象化する想定のtraitにErrorなどというassociated typeを持たせて実装を分けてしまうと死ぬほど面倒だということを学んだ

**デフォルトの名無しさん** · 2023/01/05(木) 12:28:43.89

windows::～の使い方の情報が少なすぎ。String→PCWSTRの変換方法もよくわからないし
MessageBoxWに任意の文字列を表示することすら不安定
FFIでuser32のMessageBoxWを直接叩いたほうがマシ。こっちならさすがに安定するようだ

**デフォルトの名無しさん** · 2023/01/05(木) 13:45:51.93

制限多いしリファクタリングしづらいわな

**デフォルトの名無しさん** · 2023/01/05(木) 17:20:24.40

結果汚コードまみれのゴミになる

**デフォルトの名無しさん** · 2023/01/05(木) 17:33:14.38

>>702
Rustの文字列はUTF-8でナル終端なしだからワイド文字だと
・UTF-8→UTF-16変換
・'\0'追加
の２段階の操作が必要

ナル終端だけならstd::ffi::CStringでいけるけど、ワイド文字（UTF-16）使うなら
内部でVec<u16>を保持する専用の文字列型を用意した方がよさそう

あとはwindows::core::PWCSTR::from_ptr()にVec::as_ptr()を渡してPWCSTRを作る
このPWCSTRが使われてる間はVecを消したり変更したりすると危ないけど
&PCWSTRで返す形にすればライフタイムで束縛できるかな

この辺の操作はwindows-rsでも直のFFIでも変わらないと思う

**デフォルトの名無しさん** · 2023/01/05(木) 18:06:32.68

>>705
そんな感じで実験してみたんだけど不定期にMessageBoxWが意図しない文字列を表示する
ボローチェッカーは何も言わないけど結果からすると明らかに信用ならない
FFI利用の直叩きなら問題ないさそうだしPWCSTR::from_ptr()以降が怪しそう

**デフォルトの名無しさん** · 2023/01/05(木) 20:22:41.35

Carbonに期待

**デフォルトの名無しさん** · 2023/01/05(木) 21:53:29.87

他の言語でも同じ問題抱えているのに
rustではこういう問題があるぞーって批判目的で書いてる人って何なんだろう

**デフォルトの名無しさん** · 2023/01/05(木) 22:15:07.43

というか
ttps://learn.microsoft.com/ja-jp/windows/dev-environment/rust/rss-reader-rust-for-windows
この記事って罠じゃね？winapi使うかFFI使うかしたほうが無難な気がする

**デフォルトの名無しさん** · 2023/01/05(木) 22:32:24.42

レイヤー低いところをいじる場合はそのまま生で見えた方がデバッグがやりやすいってのはある。
まあ生で見えるから変なことも起こるんだが、この辺りはトレードオフの話だ。

**デフォルトの名無しさん** · 2023/01/05(木) 23:50:31.90

RustがCやC++の文法に似ているというのはウソだと思うね。
本当に似てると思うなら感性を疑う。

**デフォルトの名無しさん** · 2023/01/06(金) 00:27:00.08

似てる
C++から黒魔術をほとんど排除したのがRust

**はちみつ餃子** ◆8X2XSCHEME · 2023/01/06(金) 00:30:58.61

文法つっても BNF 的な意味での文法とセマンティクスまで含めた文法では意味合いが違うし、
「どういう意味で似ている」「どういう意味で似ていない」という基準を提示せずに感性で判断しようとするのなら感性を疑う。

**デフォルトの名無しさん** · 2023/01/06(金) 00:47:31.60

>>712
そうは思えないけどな。
似てると言い切るのは無理やり感がある。

**デフォルトの名無しさん** · 2023/01/06(金) 00:59:43.04

プロファイラーの皆さん鑑定お願いします
https://i.imgur.com/c9uHodQ.png
https://i.imgur.com/cQKkRzG.png

**デフォルトの名無しさん** · 2023/01/06(金) 01:00:07.18

はちみつ餃子vsｵｲｺﾗﾐﾈｵスレ並行するのやめてもらっていいですか

**デフォルトの名無しさん** · 2023/01/06(金) 01:04:05.46

お前ら独自エラーはどうやって作ってる？
俺はenum使ってるんだけどこれ普通？

**デフォルトの名無しさん** · 2023/01/06(金) 01:25:12.21

ディレクトリのコピーってないのか・・・再帰処理の実装は特に面倒なのに

**デフォルトの名無しさん** · 2023/01/06(金) 01:33:35.60

MSの際と出もRustをC++と似てると豪語しているが、信じられない。

**デフォルトの名無しさん** · 2023/01/06(金) 02:32:49.50

RustとC++がそっくりってそれ中国語と英語がそっくりって言ってるようなもんだよ

**デフォルトの名無しさん** · 2023/01/06(金) 02:35:31.30

RustはテンプレートがC++よりスマートだよね
template<typename T>とか書かなくてもいいし

**デフォルトの名無しさん** · 2023/01/06(金) 02:57:32.46

>>720
中国語と英語はそっくりかもしれないけど
C++とRustは全く違うものです

**デフォルトの名無しさん** · 2023/01/06(金) 03:08:45.48

Rust, Go, Swiftの3言語登場の前後で、時代が変わった級の変化を感じてしまうが・・・・
有名言語で一番どれに近いって言われたら、文法は違うけどSwiftじゃないかな

**デフォルトの名無しさん** · 2023/01/06(金) 08:20:37.92

ムーブとRAIIあたりはC++くらいしか似てるものがない気はする
他はそんなに似てないかな

**デフォルトの名無しさん** · 2023/01/06(金) 11:05:56.60

C++は似てる似てない以前にちゃんとした知識がないわ。

**デフォルトの名無しさん** · 2023/01/06(金) 11:09:49.68

>>717
普通
thiserrorのドキュメント見るといい

**デフォルトの名無しさん** · 2023/01/06(金) 11:11:24.59

>>723
俺もメジャーな言語ならSwiftが一番近いと思う

**デフォルトの名無しさん** · 2023/01/06(金) 11:25:37.00

Kotlin/Nativeもポインタ触れたりして結構似てるぞい
根幹をC++で作ってるから当たり前なんだけどもw

**デフォルトの名無しさん** · 2023/01/06(金) 11:26:31.04

Swiftと比べたらKotlin/Native とか下の中の下ではあるがw

**デフォルトの名無しさん** · 2023/01/06(金) 11:51:53.71

zigのcomptimeが他言語でもほしいです

**デフォルトの名無しさん** · 2023/01/06(金) 14:03:28.15

Rustは型チェッカが厳しすぎるからゴミ言語

**デフォルトの名無しさん** · 2023/01/06(金) 14:04:50.34

厳しすぎる？？

**デフォルトの名無しさん** · 2023/01/06(金) 14:05:57.12

普通にocamlとかのそこらの関数型言語よりはるかに厳しい

**デフォルトの名無しさん** · 2023/01/06(金) 14:36:09.35

たぶん型チェックではない気がするけどコンパイラのチェックが厳しいとゴミ言語になる理由がよく分からない
何となくで書けないのが不満なのかクラッシュバグを量産できないのが不満なのか
C言語でも-Wallとか-Werrorをつければ結構コンパイラうるさいよ

RustとCが近いと感じるのは脳内で同等のコードをイメージしやすいからかな
RustとC++はそんなに近いとは思わない（被ってる部分もあるけど別方向に派生したC言語という感じ）

**デフォルトの名無しさん** · 2023/01/06(金) 14:40:01.34

>>733
具体的には？OCamlではどうでRustではどうって例ある？

**デフォルトの名無しさん** · 2023/01/06(金) 14:48:19.40

>>734
>RustとCが近いと感じるのは脳内で同等のコードをイメージしやすいからかな
近いとは思わんけどな。

**デフォルトの名無しさん** · 2023/01/06(金) 14:50:54.43

>>734
Rustほど型チェッカを厳しめにしなくても
安全なプログラムは実現できる
だからこそRustは流行らない

**デフォルトの名無しさん** · 2023/01/06(金) 14:52:43.20

>>735
OCamlでは値の寿命を気にしなくていい
GCが管理するから
後はRustとは違って型推論をさせるコツというのが少ない

**デフォルトの名無しさん** · 2023/01/06(金) 14:56:59.14

>>715
これ、ねらったトリップを出せるってこと？
どうやるの？

**デフォルトの名無しさん** · 2023/01/06(金) 15:15:47.67

毎日似たようなやつ出てくるな

**デフォルトの名無しさん** · 2023/01/06(金) 15:30:04.53

向こうで聞けよ
https://i.imgur.com/cQKkRzG.png
http://hissi.org/read.php/tech/20230102/Y3FtNVJpZ20.html
http://mevius.5ch.net/test/read.cgi/tech/1588748438/1000

**デフォルトの名無しさん** · 2023/01/06(金) 15:32:03.05

>>738
暗黙的に型変換されることが多いという話なのか？
でなければどっちも型チェックの話じゃないと思うんだが

**デフォルトの名無しさん** · 2023/01/06(金) 15:40:58.01

>>738
> 後はRustとは違って型推論をさせるコツというのが少ない

（´･∀･`）ﾍｰ
でも少ないどころかOCamlに
「型推論をさせるコツ」なんてもんがそもそもあっただろうか…

型チェッカがどうこうは実は今もよくわからんけど
型の推論はRustのほうが数段ショボい感じ
「型推論をさせるコツ」とかいう話も大変Rustっぽい

**デフォルトの名無しさん** · 2023/01/06(金) 15:54:57.11

「Rustを勉強したい」「WasmをRustで決まり」みたいな話ばかりで
実際に作ってる人がほぼ居ないのがRust。

**デフォルトの名無しさん** · 2023/01/06(金) 16:18:23.51

rust も ocaml も型推論はHindley Milnerベースだろ。
rustで厳しいのはボローチェックやライフタイムのせいじゃないの？
それらも型に含める？広義では含むか、でも狭義にはちょと違うような。

**デフォルトの名無しさん** · 2023/01/06(金) 16:52:55.39

ボローチェックやライフタイムをそこまで低レイヤー向けじゃない言語に入れてみた方が需要あるんじゃないかね。

**デフォルトの名無しさん** · 2023/01/06(金) 17:37:26.05

低レイヤー向けじゃないならGC使えばいいんだからライフタイムチェックなんてする意味無くね

**デフォルトの名無しさん** · 2023/01/06(金) 17:45:15.81

意図しない変数書き換えはGCで防げないと思う

**デフォルトの名無しさん** · 2023/01/06(金) 18:18:03.78

>>745
hindly milnerベースって言っても使い勝手が違う
rustは関連型という機能があるからocamlのように型推論が強力なわけではない
あと推論順序の影響を受ける