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/

**デフォルトの名無しさん** · 2021/02/15(月) 03:28:26.27

喧嘩売りたいわけじゃないんですけど、Rustって明示性を重視してますよね、mutとか、所有権とか
でもそのくせ式としてreturnを省略できたり、でも例外はないからOptionやResultが普通でunwrap
しなくちゃならなかったり、でも>>505-508のようにメモリモデルの（まだ）定義がなく?、>>333
みたいな暗黙の再借用が出来たり色々ちぐはぐな気がするんですが、1.5、2.0辺りになったら大幅に
変わったりしますか？足を撃ち抜かないCPPとしては「良い」出来だと思うんですが、、正直、ほんの
ちょっと触ってみてCargoコンパイルが重くて、特徴の明示的など非常にめんどくさいんですがそういうもの？
C++20やC++23なんてありますが正直、もう時代の役目を終えたと感じます。いくら色々な機能を追加しても
能力次第で足を撃ち抜く事には変わりなく、そのような用途であるカーネルさえ古典的な安定したC、C++を
使いますよね。RustがWebkitを倒せたらほとんど使いどころがないような？

それと恐らく借用があるのでGCは搭載・あるいはON/OFFされないとほぼ確実に思いますが、async
awaitな非同期ではくGoのようなライトウェイトなGoroutineみたいなのが搭載される計画はありますか?
余談ですがLinux-kernelやドライバに使われると聞いているので、（標準的・言語的にはランタイムに入る事は）
無いんだと思ってますが、Goも例外は無いけど、なんであの界隈はブロック例外がアンナにも、お嫌い
なんでしょうかね？ちなみに最近、Nimというのを触ってとても感銘を受けました。

**はちみつ餃子** ◆8X2XSCHEME · 2021/02/15(月) 04:42:37.54

>>722
これはきちんと議論を追っているわけではなく私なりの理解だということを事前に断っておくけど、
(unsafe を除いて) メモリ管理のチェックが自動化できることが最重要の指針だと思う。

チェックするにあたって必要な情報が多いから結果的にたくさんのことを明示する必要があるけど、
曖昧さがないなら明示する必要はないし、
実際の利用でほとんど常に同じような指定をしているならそれをデフォルトにして違うときだけ指定するのでも問題にならない。

**デフォルトの名無しさん** · 2021/02/15(月) 09:10:14.02

>>722
単に明示性を重視してるというよりは、分かりにくいとか非推奨とか高コストなとこは明示して
そうでないとこは省略させたいように見えるな。
例えば関数の型なんかは技術的には省略して推論できるけど
分かりにくくなるからあえて書かせるとか。
なのでreturnは自明だけどResultはちゃんと処理させたい、
という考え方かと。

goroutineみたいなのはまず入らないだろうね。
そもそもなるべく標準ライブラリは小さくする方針だし、
現状でもrayonみたいな並列処理ライブラリ使えばいいし。

**デフォルトの名無しさん** · 2021/02/15(月) 14:18:13.02

>>723 >>724
なるほど、スペシャルサンクスです！メモリ管理のチェックを”最”重要視してるわけで、あまり煩雑な明示
及び、高コストな明示はしない方針だろうという事ですね。ドライバーやカーネル、OSコマンドに使われて
セキュリティホールが一掃される日が早く来てほしい。
並列処理でrayonというのがあるんですか！教えてくれてありがとうございます。確かにライブラリというか
C++のようなRTLは小さくしてほしいですね。Goのようにデカすぎるのは組み込み用途に向かないので。

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

goroutineの代替ならtokioとかasync-stdみたいな非同期IO系のランタイムも外せないのでは
goroutineの並列と並行のどっちの側面について言ってるのか次第ではあるけど

**デフォルトの名無しさん** · 2021/02/15(月) 18:57:38.65

asyncではなく、って言ってるのでrayonとかの方が近いかな、と。
まぁどっちにしてもgoroutineそのものなモデルを提供するライブラリは多分ないので
各自必要な並列並行性に応じたライブラリを選ぶ必要はある。

**デフォルトの名無しさん** · 2021/02/15(月) 22:30:19.90

RustにあってC++にない機能はありますか？

**デフォルトの名無しさん** · 2021/02/15(月) 23:16:52.31

>>728
memory safety

**デフォルトの名無しさん** · 2021/02/15(月) 23:34:00.74

リージョン推論とアフィン型

**デフォルトの名無しさん** · 2021/02/15(月) 23:35:54.84

勢い

**デフォルトの名無しさん** · 2021/02/16(火) 00:39:31.16

若者

**デフォルトの名無しさん** · 2021/02/16(火) 01:35:01.04

hygenicなマクロやproc macro

**デフォルトの名無しさん** · 2021/02/16(火) 14:47:28.42

初心者

**デフォルトの名無しさん** · 2021/02/16(火) 19:09:01.10

LinuxカーネルをRustで書こうとかいう話が去年出てたけど、
社会のインフラにもなってるようなカーネルの開発者が考えてることと
プログラミング言語で遊びたい人の考えてることが違いすぎて萎えた

しょせん、プログラミング言語なんてアセンブラとC以外は全部遊びだよね
安かろう悪かろうの遊びレベルの仕事に金払う会社があるから勘違いされやすいけど

**デフォルトの名無しさん** · 2021/02/16(火) 19:18:56.90

JAVAも遊びってマジ！？

**デフォルトの名無しさん** · 2021/02/16(火) 19:36:38.83

COBOLも遊びだそうです

**デフォルトの名無しさん** · 2021/02/16(火) 19:47:40.11

遊びで生まれた子供がなんか言ってらｗ

**デフォルトの名無しさん** · 2021/02/16(火) 20:07:29.86

今はカーネルモジュールを対象にRustをサポートする予定みたい
ABIとかメモリ管理まわりの差異の吸収をどうするか一番熱いところをやってるね
https://lwn.net/Articles/829858/

**デフォルトの名無しさん** · 2021/02/16(火) 20:25:37.08

C/Ruby 併用のmruby の本が出た。
文字列処理などは、GC のあるRuby側で書く

Webで使えるmrubyシステムプログラミング入門、近藤宇智朗、2020/11

宇宙開発などの組み込み用、MicroPython, Lua, Squirrel の代替になる。
Ubuntu 18.04, C99 対応

人工衛星イザナギ・イザナミでも、使っている

**デフォルトの名無しさん** · 2021/02/16(火) 21:11:02.07

なぜここで宣伝？

**デフォルトの名無しさん** · 2021/02/16(火) 22:20:14.90

そいつただのキチガイだから聞いても無駄だぞ

**デフォルトの名無しさん** · 2021/02/16(火) 22:40:03.47

>>735
LinuxもC言語ももとはと言えばスペーストラベルってゲームで遊びたくてLinuxの前身のUNIXが作られたし、そのゲームを移植するためにB言語がつくられて、
さらにそれを改良したのがC言語だ。

**デフォルトの名無しさん** · 2021/02/17(水) 00:07:57.00

ここにも出没するのか…

**デフォルトの名無しさん** · 2021/02/17(水) 00:30:02.75

なるほど。いろんなスレで同じこと書きまくってんのな

**デフォルトの名無しさん** · 2021/02/17(水) 02:18:16.85

>>743
Cが遊びにも使えることを主張しても反論になってないぞ

**デフォルトの名無しさん** · 2021/02/17(水) 03:00:38.28

推奨NGワード： ruby

**デフォルトの名無しさん** · 2021/02/17(水) 11:52:49.70

RUSTはウェブとかAI分野でのバブルは考えにくい

あるとすればIOTやら組み込み向けだろう

**デフォルトの名無しさん** · 2021/02/17(水) 13:28:23.14

金融でHaskell流行ったみたいな感じでrust流行ったりしないかね

**デフォルトの名無しさん** · 2021/02/17(水) 13:40:51.06

そもそもそんなに流行ってほしいか？
インフラとかライブラリとか地味なところで
ひっそりと使われるのが適してると思うけど。

**デフォルトの名無しさん** · 2021/02/17(水) 18:07:12.21

利用者増えた方が投資も増えて進歩が速くなるから

**デフォルトの名無しさん** · 2021/02/17(水) 20:57:43.14

今の様子じゃ10年経ってもなんも変わらんだろ。先のある言語じゃない。

**デフォルトの名無しさん** · 2021/02/17(水) 21:22:18.90

システムプログラミング分野ではC++からRustに変わっていくんじゃないの？

**デフォルトの名無しさん** · 2021/02/17(水) 21:34:22.05

GAHUMが採用し出して団体まで作ったのに先がないなんてどんな世界観なんじゃ

**デフォルトの名無しさん** · 2021/02/17(水) 22:03:18.40

Rustが流行らなくてもRustの考え方を取り入れた言語が広まってくれればいいな

**はちみつ餃子** ◆8X2XSCHEME · 2021/02/17(水) 23:46:21.75

やりたいことが出来るライブラリ (クレート) があるなら
言語の詳細がどうでもよくなりがちってのはあると思う。

**デフォルトの名無しさん** · 2021/02/18(木) 00:18:21.59

コンストラクタ、構造体のめんどくささ考えても絶対流行らんわ。
根本的におかしい言語機能なんだよ。

**デフォルトの名無しさん** · 2021/02/18(木) 01:33:00.72

プログラマーって人と違った事が好きな尖った奴のイメージがあるけど、実際は
寄らば大樹の陰で巨人が採用したプログラミング言語に従うのが吉なのだ。

**デフォルトの名無しさん** · 2021/02/18(木) 02:01:34.78

rustにはコンストラクタなんていうげんごきのうはないが

**デフォルトの名無しさん** · 2021/02/18(木) 02:22:20.29

型コンストラクタはあるのでは

**デフォルトの名無しさん** · 2021/02/18(木) 02:35:11.90

ボカァ、今後はC++がRustのパラダイムを吸収して (saferな書き方を提供して) Rustの役割は終わると思うね

**デフォルトの名無しさん** · 2021/02/18(木) 05:45:24.92

それならそれでもいいけどそうなるためにはある程度Rustの取り組みが成果を上げる必要があるわけで

C++の建て増し感も気になる

**デフォルトの名無しさん** · 2021/02/18(木) 05:57:46.70

C++の建て増し感はもはや長所と思うしかない
仮に今後「Rustのパラダイムを吸収する」方向に進むとしたらそれはまさに建て増しだ

個人的にはマルチパラダイムを体現してるようで結構だと思うが、建て増し感が受け入れられない人にとってはやはりクソ言語なのだろうね。C++は

**デフォルトの名無しさん** · 2021/02/18(木) 07:19:44.62

>>758
それ日本というかプログラマを使い捨てられる文化圏だけじゃね

**デフォルトの名無しさん** · 2021/02/18(木) 14:50:08.00

リナスやストールマンやヘルスバーグが興味持てばまた違って来るだろう

**デフォルトの名無しさん** · 2021/02/18(木) 19:42:22.85

どこかでRocketで非同期処理できるようになるって見た気がするんだけど、
ググってもそれらしき情報が見つからない。
俺の勘違い？

**デフォルトの名無しさん** · 2021/02/18(木) 20:20:01.72

>>766
たしか次の0.5でできるようになるはず。
gitのmasterなら試せるんじゃないかな。

**デフォルトの名無しさん** · 2021/02/19(金) 01:45:21.75

>>761
それを何年も何十年も待ってる人が沢山いるけど、やらないでしょ

**デフォルトの名無しさん** · 2021/02/19(金) 06:37:54.65

コンパイラスイッチなりプラグマなり必要になるからそれなら新言語で、ってなっちゃうわな

**デフォルトの名無しさん** · 2021/02/19(金) 08:59:27.98

>>768
やらないやつはrustで書くのも無理だよ

**はちみつ餃子** ◆8X2XSCHEME · 2021/02/19(金) 12:37:09.63

>>761
Rust が依存関係をチェックする仕組みはそういう機能があるというだけではなくて、
それで全体が統一されていることが大事でしょ。 (一部には unsafe もあるけど。)

C++ の上に Rust 的なパラダイムを建て増しして便利になることもあるかもしれないけど、
統率されていることの有用さとは別物だよ。

**デフォルトの名無しさん** · 2021/02/19(金) 12:59:22.09

原理的には従来のunsafe C++にsafe C++を建て増して
既存のコードを徐々にsafeにうつしていくというのは出来そうかな。
しかし実際やるとなるとRustへの移行と同じくらい手間がかかりそう。
safe/unsafe間がFFIでなくなるのは多少楽かもだけど、
境界でsafeなことを保証するのは人間が考えないといけないし。

**デフォルトの名無しさん** · 2021/02/19(金) 13:00:29.26

基本的saferで特例でunsafeとその逆じゃ全然違うからなあ

**デフォルトの名無しさん** · 2021/02/19(金) 13:44:19.68

ぼく丘safer

**デフォルトの名無しさん** · 2021/02/19(金) 13:54:40.33

実際の機能がCのライブラリにリンクしてるだけとか、丘saferだな

**デフォルトの名無しさん** · 2021/02/19(金) 15:45:22.92

上手いことsafetyにラップしてくれてればそれでいいよ

**デフォルトの名無しさん** · 2021/02/19(金) 20:14:37.43

safetyだと思い込めればええんやろ。単純な連中だわ。

**デフォルトの名無しさん** · 2021/02/20(土) 01:02:31.59

こいつめっちゃウザい

**デフォルトの名無しさん** · 2021/02/20(土) 12:53:25.44

誰だよ

**デフォルトの名無しさん** · 2021/02/28(日) 14:52:22.32

アクセスを強要する言語はダメだよ

**デフォルトの名無しさん** · 2021/03/05(金) 19:00:28.35

Iterator周りのconst fn化って目処立ってたりするのかな

**デフォルトの名無しさん** · 2021/03/09(火) 11:54:18.25

Rustで作られた有名なものを教えてください

Rubyだったらrails、homebrewとか

**デフォルトの名無しさん** · 2021/03/09(火) 12:47:03.15

https://qiita.com/hadashiA/items/3dec1713bd999b38e848

あとdenoもC++からrustで書き換えられたらしいし今後増えてくると思う

**デフォルトの名無しさん** · 2021/03/09(火) 13:27:01.38

>>782
Servo(Firefoxのレンダリングエンジン)

**デフォルトの名無しさん** · 2021/03/09(火) 13:44:11.22

tauriが伸びて来るかはまだ未知数

**デフォルトの名無しさん** · 2021/03/09(火) 19:29:25.88

Haskellで言うxmonadみたいな？

**デフォルトの名無しさん** · 2021/03/09(火) 19:53:58.75

>>782
dropbox

**デフォルトの名無しさん** · 2021/03/09(火) 20:01:24.82

firecrackerもRust製だっけか

https://github.com/firecracker-microvm/firecracker

**デフォルトの名無しさん** · 2021/03/09(火) 20:04:31.04

firecracker >>783 のところに書かれてたか・・・。

**デフォルトの名無しさん** · 2021/03/09(火) 20:10:47.51

Tock/OpenTitan/OpenSKみたいなセキュリティ系のファームウェアとか
こういうのは特にアナウンスもなく採用されていくから
気づいたらみんな使ってたということになるかも。

**デフォルトの名無しさん** · 2021/03/09(火) 23:06:36.57

rustで書かれた有名なもの…rustかな？

**デフォルトの名無しさん** · 2021/03/11(木) 12:01:52.44

Rustが使ってるLLVMってC++製なんだ

**デフォルトの名無しさん** · 2021/03/11(木) 12:11:40.89

ダメじゃん
根幹がC++
C++にタマタマ握られてる

**はちみつ餃子** ◆8X2XSCHEME · 2021/03/11(木) 14:41:42.94

C++ の資産を (ほぼ) 一方的に利用しているのもそれはそれで気分いいじゃん？

**デフォルトの名無しさん** · 2021/03/11(木) 14:49:39.38

同じ目的のために作られた道具として既存のものに取って替われないのは不名誉しかない

**デフォルトの名無しさん** · 2021/03/11(木) 15:10:09.87

>>782
ripgrep

**デフォルトの名無しさん** · 2021/03/11(木) 15:32:57.89

アホな人相手にしてると自分もだんだんアホになるよ

**デフォルトの名無しさん** · 2021/03/11(木) 16:11:55.93

新紙幣発行したその日にすべての旧紙幣を使えなくすべきって主張する人？

**デフォルトの名無しさん** · 2021/03/11(木) 16:44:26.00

LLVMをrustで書き換えた日こそ天下か？いやいやOSのカーネルこそ

**デフォルトの名無しさん** · 2021/03/11(木) 19:03:39.84

Runuxはよ

**デフォルトの名無しさん** · 2021/03/11(木) 19:19:34.73

相変わらずしょーもない妄想にふけるやつしかおらんな

**デフォルトの名無しさん** · 2021/03/11(木) 23:57:00.49

Rustにいわゆるクラス変数みたいなものってないんですか？

**デフォルトの名無しさん** · 2021/03/12(金) 00:04:34.96

リーナス「オブジェクト指向のたわごとを持ち込むならRustの評価見直すぞ」

**デフォルトの名無しさん** · 2021/03/12(金) 01:07:04.26

>>802
ありますけど、mutable static変数なんて扱いづらいだけですよ？

**デフォルトの名無しさん** · 2021/03/12(金) 01:23:52.52

staticはクラス変数とは違うような

**はちみつ餃子** ◆8X2XSCHEME · 2021/03/12(金) 03:18:16.54

Rust は色んなものをモジュール単位にしているような印象がある。
構造体のフィールドへのアクセスもモジュール内では制限がなくて、
モジュールの外に対して可視性を制御する仕組みになってるわけだし。
型の単位ではプライベートとパブリックを分ける気がない。

考え方次第ではあるけどスコープ管理の「雰囲気」からすると
C++ のクラスが Rust で言うところのモジュールに近いと言えなくもないんじゃね？
まあ前提が違うものについて無理やり共通点を見つけることにどれほど意味があるかわからんけど。

**デフォルトの名無しさん** · 2021/03/12(金) 10:21:25.50

>>802
定数でよければ associated constant が使える
変数にしたいなら >>804 の言うように static 使うしかなさそう

**デフォルトの名無しさん** · 2021/03/12(金) 12:26:55.76

Dropboxは何のGUIライブラリで作られているのかわかりますか？

**デフォルトの名無しさん** · 2021/03/12(金) 16:33:37.37

>>808
rustで書き直したのはサービス側と同期エンジンじゃないかな？

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

Rustって何で構造体のメモリーレイアウトをデフォルトでは勝手に並び替えるんだ？まじやめて欲しい
サイズを小さくする為？それとの他の理由があんのか？明示的だと言いながら余計な事ばかりすんなや

**デフォルトの名無しさん** · 2021/03/12(金) 20:33:09.00

老害乙

**デフォルトの名無しさん** · 2021/03/12(金) 20:59:59.44

構造体の並び順はメモリーアライメントで苦労したこと無い人の意見だな。

**デフォルトの名無しさん** · 2021/03/12(金) 21:41:21.91

>>810
#[repr(C)]付けないで文句言ってるならお前のせいやで？

**デフォルトの名無しさん** · 2021/03/12(金) 22:08:58.65

>>807
>>804

サンクス
あんまり使わない方が良さげだなあ
設計変えた方が良さそうだ

**デフォルトの名無しさん** · 2021/03/12(金) 23:34:08.62

今時プラットフォームに依存する構造体のメモリーレイアウトを前提としたコードは書いちゃダメよ

**デフォルトの名無しさん** · 2021/03/13(土) 00:40:30.95

>>814
クラス変数って要はグローバル変数だから濫用すべきではないよ

**デフォルトの名無しさん** · 2021/03/13(土) 15:49:02.94

>>815
アセンブラと連携したい時には問題となりそう。
また、順序が書いたとおりの方が、色々と効率よいコードが書ける場合がある。

**デフォルトの名無しさん** · 2021/03/13(土) 16:03:49.74

>>817
>>813

**デフォルトの名無しさん** · 2021/03/13(土) 17:29:01.78

>>817
具体例は？
Ord::cmpがmemcmpだけでできるとか？

**デフォルトの名無しさん** · 2021/03/13(土) 18:01:56.32

選択可能なんだからどうでもいい
https://doc.rust-lang.org/nomicon/repr-rust.html

**デフォルトの名無しさん** · 2021/03/13(土) 20:55:02.47

>>817
コンパイラが十分賢くなったときに様々な最適化を自動で出来るようにする余地を残すため
デフォルトでメモリレイアウトを保証しないって設計になってるんだけど
自分で最適化する場合はコンパイラの最適化を抑止するってのはrustに限らずよくある話だしなにが不満なのかよくわからない

**はちみつ餃子** ◆8X2XSCHEME · 2021/03/13(土) 22:01:36.30

>>810
明示的じゃん。
明示的に並べ替えを禁止する指定があるじゃん。
ほとんどの場合に順序はどうでもいいんだから、
どちらがデフォルトであるべきなのかなんて自明だろ。

条件付きだが C++ もデータメンバの順序を並び替えることは (言語仕様上は) 有りうるし、
並べ替えて良いと規定されているときに並べ替えを抑止するような指定方法はない。
(処理系の拡張としては有ったりするかもしれんが。)

Rust のほうがマシ。

現在の Rust は言語仕様と処理系の仕様の区別が曖昧なので repr が
(今後現れるかもしれない) 他の処理系でも使えるポータブルな機能なのかわからんけど。