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(火) 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のように型推論が強力なわけではない
あと推論順序の影響を受ける

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

>>719
アイデアをまるパクりしてるので、同じに見える人も居るだろう。
文法が似てるとかではなく。

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

プロファイラーの皆さん鑑定お願いします

Cyclonベースのセマンティクスでホラ吹いてた複オジ
https://mevius.5ch.net/test/read.cgi/tech/1663409149/352
https://mevius.5ch.net/test/read.cgi/tech/1670663822/713
イキ〇トリップオジ
https://i.imgur.com/c9uHodQ.png
https://mevius.5ch.net/test/read.cgi/tech/1672635305/17

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

しかし、Rustが流行ってよかったよ。
ScalaやHaskellみたいなモナモナした言語が未来って言われても全然ピンとこなかったからな。

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

プロファイラーの皆さん鑑定お願いします

何やってるのかと思ったら、何やってんだか、オジ
https://i.imgur.com/Ug1VIIs.png

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

くそーCreateProcessWがGetLastError=87で動かねぇ・・・
昔も苦労させられた記憶があるし結構鬼門なんだよなー

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

>>752
OptionとかResult返すときの?オペレータは実質モナドなんだけど
モナドって言葉を使わなければみんな平気なんだろう

>>754
Win32 APIって今も32bit？
ワードサイズで引っ掛かった記憶があるようなないような

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

>>755
PEヘッダ確認してみたけどちゃんとAMD64になっている
ポインタは8バイト、BOOL/DWORDは4バイトでいいはず

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

>>753
RustをWeb系で使ってるとか豪語してたよww
個人の趣味スクレイピングをWeb系と言う虚勢にクスクスさせてもらった

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

Web系はフロントはTypeScript/JavaScript、サーバーサイドはGoしか有り得ない

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

#[link(name = "kernel32")]
extern "stdcall" {
fn CreateProcessW (
lpApplicationName: *mut u16,
lpCommandLine: u64,
lpProcessAttributes: u64,
lpThreadAttributes: u64,
bInheritHandles: u32,
dwCreationFlags: u32,
lpCurrentDirectory: u64,
lpStartupInfo: *const u8,
lpProcessInformation: *mut u8
) -> u32;
}

fn main() {
let mut cl:[u16; 5] = [0x63, 0x61, 0x6c, 0x63, 0x00]; // "calc\0"
let mut si:[u8; 104] = [0; 104];
si[0] = 104;
let mut pi:[u8; 24] = [0; 24];
let mut ret;
unsafe {ret = CreateProcessW (cl.as_mut_ptr(), 0, 0, 0, 0, 0, 0, si.as_ptr(), pi.as_mut_ptr());}
}
>error: process didn't exit successfully: `target\debug\test03.exe` (exit code: 0xc0000005, STATUS_ACCESS_VIOLATION)
ここまで単純化しても動かねぇ・・・というかsiとpiの正しいサイズがわからない

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

よーくみたら引数が1個足りなかったｗ　コピペ時にガバったか

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

The Book 10.1に掲載されていたlargest関数を、
参照でかけたりしないのかなと思い試しているのですがうまくいきません。。
どうやって書いたらよいのでしょう？
fn largest<T: PartialOrd + Copy>(list: &[T]) -> &T {
let mut res: &T = &list[0];
for &elem in list.iter() {
if elem > *res {
res = &elem;
}
}
res
}

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

今度はWaitForSingleObjectで止まらない。というか
ttps://learn.microsoft.com/ja-jp/windows/win32/procthread/creating-processes
これをコピペしてコンパイルして電卓を起動させても止まらない。どうなっているのｗ
って思ったらcalc.exeはラッパーで即終了していたというオチ。MSはロクなことしないな

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

>>762
>>759を動かそうとしてるんなら"calc\0"は第1引数じゃなくて第2引数よ
もうちょっと落ち着いて色々見直しなさいな