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/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 が
(今後現れるかもしれない) 他の処理系でも使えるポータブルな機能なのかわからんけど。

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

フランスのデータセンターの火災で『Rust』はデータの大規模なロストが発生

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

なんか
struct Foo {
　　int m_a;
　　bool m_b;
　　int m_c;
　　bool m_d;
};
とかあったら
struct Foo {
　　int m_a;
　　int m_c;
　　bool m_b;
　　bool m_d;
};
にしたい衝動に駆られてストレスmaxなのでどうでもいい話ではない

**デフォルトの名無しさん** · 2021/03/14(日) 00:49:22.71

>>824
LP64ならどっちもサイズ同じじゃん

**デフォルトの名無しさん** · 2021/03/14(日) 04:01:46.70

構造体定義するときc++だとアライメントずれないように手作業でダミーのデーター詰めたりしてたけど、途中で型変えると並び替えメンドクサイ。自動で最適化してくれる方がいいし、どっちも選択出来るのだからRustの方が正しいわ。

**デフォルトの名無しさん** · 2021/03/14(日) 05:38:07.85

>>825
https://ideone.com/7DbqpX

**デフォルトの名無しさん** · 2021/03/14(日) 08:27:15.60

>>826
ビット単位で詰めるからな。

**デフォルトの名無しさん** · 2021/03/14(日) 09:39:13.15

>>823
rustはrustで書かれたの？

**デフォルトの名無しさん** · 2021/03/14(日) 13:13:21.06

ポケモンGOはGoで書かれた

**デフォルトの名無しさん** · 2021/03/14(日) 13:44:08.22

マジかよ…

rustで書かれたゲームエンジンってのもちらほらあるんだな

**デフォルトの名無しさん** · 2021/03/14(日) 14:08:02.49

アライメント合わせとかコンパイラに任せたら良いし
最悪でもunionを使って型を並べたら最もアライメント条件が強い方の型に合うから
アライメント合わせの目的で手作業でダミーのデーター詰めを行うというのは都市伝説、
コンパイラがアライメントを合わせた結果としてできたPADDING部分のデータを
どうしても不定値にしたくないがmemset()で構造体全体をゼロクリアするわけにもいかないという
きわめてレアなケースでしか行わない

**デフォルトの名無しさん** · 2021/03/14(日) 18:04:27.92

非同期のランタイムはtokioとasync-stdどどっちが標準になりそう？

**デフォルトの名無しさん** · 2021/03/14(日) 19:05:56.64

>>830
ポケモンRustじゃカッコ悪いしな。

**デフォルトの名無しさん** · 2021/03/14(日) 21:20:59.71

Rustの悪口言いたい訳じゃないけど、デフォルトで並び替えるのは正しく思えないわ
#[repr(C)]つけろってのはその通りだけど、組み込み用途でつけ忘れてリリースして
しまったら考えるだけで恐ろしい

**デフォルトの名無しさん** · 2021/03/14(日) 22:04:54.76

>>835
その程度も出来ない馬鹿だとCでやったら大惨事じゃね？

**デフォルトの名無しさん** · 2021/03/14(日) 22:31:41.33

デフォルトで余計なことやる設計が好きな人にはいいんじゃないの？
結局どっちに寄せるかだし。

**デフォルトの名無しさん** · 2021/03/14(日) 23:37:14.51

>>835
自動ったって最適化の挙動はごく単純なルールだし、結果も解る範囲なのだからやはり問題ないとおもうけど。

**デフォルトの名無しさん** · 2021/03/14(日) 23:48:28.09

メモリレイアウトのパターンを何種類か決められて、それぞれの最適化パターンに名前が付けられていくと考えれば、概念的な意思の統一がしやすくなるわけでしよ。今まで皆がバラバラにやってた方がおかしいわけで。構造体の隙間にあちこちゴミ入ってるのどれほど見たことか。

**デフォルトの名無しさん** · 2021/03/15(月) 01:33:05.21

>>835
clippy の improper-ctypes-definition とかで検出できるのでは

**デフォルトの名無しさん** · 2021/03/15(月) 01:42:14.94

Cはコンパイラによりけりで最適化の度合いによるけど、無茶な事をしなければ基本は
書いた通りにしか動かないよ。C++のクラスは継承を使うとよう分からんレイアウトを
しくさるけど。Rustのやり方でも問題は確かにないし、結局どっちに寄せるかと言うのも
その通り。むしろゴミと言うか他人がレイアウトを整理しようとして事故るパターンの方が
多いが、まあ確かに些細な事だろう

**デフォルトの名無しさん** · 2021/03/15(月) 01:45:53.32

C言語でも非標準とはいえ呼び出し規約の指定とかあったなあ

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

付け忘れでリリースってテストもせずにリリースってこと？
確かにデフォルトで安全側に振るのはRustの基本方針だとは思うけど
全ての型をFFIする前提というのはやりすぎだと思うが。

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

Cは書いたとおりにしか動かないってのは単にCに対する理解度が高いだけでは
例えばアセンブリしか知らない人から見たら自動変数の振る舞いなんかは暗黙的な動作ばかりだと思うが

**デフォルトの名無しさん** · 2021/03/15(月) 13:54:57.20

まったくその通り
Cでは書いたとおりにしか動かない、と思うのはCにあまりにペッタリ入り込みすぎて
もはやC脳になってしまっている(なので考えずに自動でなされる変換が頭のなかでできてしまう)か
またはじつは思いこみで理解が足りてないかのどっちか

**はちみつ餃子** ◆8X2XSCHEME · 2021/03/15(月) 14:00:05.56

更に言えば最適化を有効にしたらかなりアクロバティックなコードを生成してくることもあるので人間には予測不能。

**デフォルトの名無しさん** · 2021/03/15(月) 19:06:12.98

たいしてメモリ削減できない言語のくせに変な最適化かけんなよって話だわ

**デフォルトの名無しさん** · 2021/03/15(月) 19:34:49.20

Rustではunsafe使わない限りは構造体のフィールドレイアウトを変更しても問題無いので、最適化の余地を残す仕様になってるのは良い事なんでは

**デフォルトの名無しさん** · 2021/03/15(月) 19:54:56.71

>>845
書いた通りに動かないのはバグでは？

**デフォルトの名無しさん** · 2021/03/15(月) 20:16:17.39

Cが書いたとおりにしか動かないのと同様にRustも書いたとおりにしか動かないということ

構造体メンバの順序の話はrepr(C)つけたりclippy使えというのが結論で
デフォルトの挙動に違和感を覚えるか否かという話はbikeshed

**デフォルトの名無しさん** · 2021/03/15(月) 23:27:42.36

メンバの配置が固定だと移植性も下がるよね
パフォーマンスの低下くらいだったらかわいいけど
下手すればバスエラーで落ちる

**デフォルトの名無しさん** · 2021/03/16(火) 00:53:01.99

勝手に最適化する方が移植性落ちるわ。

**デフォルトの名無しさん** · 2021/03/16(火) 00:56:51.74

Cの常識がどこでも通用すると思ってると別の言語でも怪我しそう

**デフォルトの名無しさん** · 2021/03/16(火) 00:59:01.44

コンパイラに全て任せればいいって考えのやつのが実際は事故ってるがな。

**デフォルトの名無しさん** · 2021/03/16(火) 01:07:50.71

何に怒ってるのかよく分からないけどコンパイラによる構造体レイアウトの最適化がデフォルトオンになってるのがそんなに気に入らないの？

**デフォルトの名無しさん** · 2021/03/16(火) 05:37:04.29

>>854
それは言語の問題なのか、コンパイラの問題なのか、何が事故ってるの？

**デフォルトの名無しさん** · 2021/03/16(火) 07:17:52.07

ていうかCコンパイラのアラインメントだって最適化の一種じゃ？

**デフォルトの名無しさん** · 2021/03/16(火) 08:01:04.42

そんなに気になるなら、フォークして、
デフォルトの挙動が違うrustを作れば済む話じゃないの？

**デフォルトの名無しさん** · 2021/03/16(火) 08:39:27.88

最適化でunalignedになって落ちるならコンパイラのバグなんだから直せばいいし、
手動であらゆるアーキ向けにパディングを調整するよりよっぽどいいと思うけどな。

**デフォルトの名無しさん** · 2021/03/17(水) 04:59:36.34

メモリレイアウトの話まだ続いてるの？
C++でダメなところ潰して制約強めでバグ出にくくしようって言語で、コンパイラが信じられないと言われてもコンセプトが違うとしか

**デフォルトの名無しさん** · 2021/03/17(水) 20:44:00.69

C++でダメなところ潰して制約強めでバグ出にくくしようってのと、
コンパイラが信じられないからコンパイラ設計を楽にしようってのは別に矛盾しないがな。
頭悪すぎ。

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

コンパイラ設計を楽にするって、例えばどういうこと？

**デフォルトの名無しさん** · 2021/03/18(木) 03:06:39.25

ここまでの流れでコンパイラがバグるほど難しい事してないと思うけど。何を心配してるの？

**デフォルトの名無しさん** · 2021/03/18(木) 06:33:11.45

何が問題なのかiefoneか何かで実例出して欲しいな

**デフォルトの名無しさん** · 2021/03/18(木) 06:33:40.91

ideoneでした

**デフォルトの名無しさん** · 2021/03/18(木) 08:04:15.94

問題になるのは外部リンゲージな関数で構造体を渡すときだと思うが
コンパイルした後リンクするみたいな本番行為ってiefoneできるんでしたっけ

**デフォルトの名無しさん** · 2021/03/18(木) 08:37:15.10

テストの段階でわかるじゃないか

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

本番行為大好きです

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

イデオンの本番？

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

iefone って中華スマホっぽいな。

**デフォルトの名無しさん** · 2021/03/19(金) 01:15:52.96

ウィンドーズのAPIの構造体みたいにメンバの数が異なる構造体のシリーズで
先頭部分は同じレイアウトであって欲しい、みたいな要請がある場合は
いかに自動レイアウトの規則が厳格に決まっていても問題を生じるし、
テストで見つけろといっても限界がある
メンバ数3、4、5はOKだった！→５６億年後に弥勒菩薩が6番目のメンバをboolにしたらすべて崩れ去った、みたいな

**デフォルトの名無しさん** · 2021/03/19(金) 01:18:45.07

それとも何かねここで言うテストというのはコンパイラの
自動レイアウトするロジックを見通したホワイトボックステストで
カバレッジ100%を目指せというのかね？