Rust part14

**デフォルトの名無しさん** · 2022/02/12(土) 01:24:16.59

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

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

日本語の情報
https://rust-jp.rs/

※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/

※C++との比較は専用スレへ
C++ vs Rust
https://mevius.5ch.net/test/read.cgi/tech/1619219089/

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

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

**デフォルトの名無しさん** · 2022/02/15(火) 16:20:56.03

look aheadのパターンにしたかったのかな
Peekableならnext_ifがいい感じにはまりそう

...
let mut is_debug = false;
let mut is_quiet = false;
while let Some(option) = args.next_if(|s| s.starts_with("-")) {
match option.as_str() {
"-d" => is_debug = true,
"-q" => is_quiet = true,
"--" => break,
_ => usage(),
}
}
if args.len() != 1 {
usage();
}
...

**デフォルトの名無しさん** · 2022/02/15(火) 22:18:31.12

>>17
そういうのは >>16にこれ追加で行けそう
"-o" => output = args.next().or_else(|| { usage(); None }),

**デフォルトの名無しさん** · 2022/02/15(火) 22:42:34.06

ところで
>>16の as_bytes().first() と
>>18の s.starts_with("-") はどっちが速いのかな？
今回は誤差として例えば数万行のテキストで＃から始まるコメント行を除外したい場合
最善手は何？

**デフォルトの名無しさん** · 2022/02/15(火) 23:44:22.03

どちらも文字列の先頭数byte参照するだけだから大差ないよ
as_* じゃなくて to_* を使うとかだと差が出るかもね

**デフォルトの名無しさん** · 2022/02/16(水) 01:25:58.91

短くてもいつもの汚コード氏だと分かるコードなのがすごい

**デフォルトの名無しさん** · 2022/02/16(水) 18:46:05.60

>>20
他にも色々方法がある
例えば落とし穴だが一番表記が短いスライス &(&s)[..1]
ただし空行をs.len()で回避した場合でも
if "#" == &(&s)[..1] { これは先頭が非ASCIIだとpanicなので注意
utf8境界を見極めて最初の1文字を取り出すには面倒で
if "#" == &(&s)[..s.char_indices().nth(1).unwrap().0] { となり本末転倒
なので最初の1文字を取り出すには普通はイテレータchars()を使って
if Some('#') == s.chars().next() { となるが
今回は正しく先頭1文字ではなく先頭1バイトを取り出せれば判断できるので
if Some(b'#') == s.bytes().next() { の方が速い
しかしイテレータを使うまでもないから
if Some(&b'#') == s.as_bytes().get(0) { と配列アクセスでも十分だろう
先頭は需要が大きいためなのか
if Some(&b'#') == s.as_bytes().first() { と専用メソッドが用意されてるようだ
ただしここでもサボって
if b'#' == s.as_bytes()[0] { とすると空行でpanicするので注意
以上ここまでは先頭取り出し系だがシンプルに
if s.starts_with("#") { が一番わかりやすい
ただしこれは実装でinline指定がないから不利で遅いかもしれない
inlineで&[u8]に読み替えるだけの as_bytes() は確実に速い
あとは get(0) と first() がどちらもinlineでコードが
前者が if self < slice.len() { unsafe { Some(&*self.get_unchecked(slice)) } } else { None }
後者が if let [first, ..] = self { Some(first) } else { None }
たぶん展開して最適化した最終コードは同じになるのではないか
そしてSomeやNoneは最適化で if Some(&b'#') == 部分と反応しておそらく消えると予想しているが
if let [b'#', ..] = s.as_bytes() { と最初からOption使わなければその点も確実という結論か
あとはみんなでツッコミしてくれ

**デフォルトの名無しさん** · 2022/02/17(木) 10:37:24.58

premature optimizationの典型例
このレベルの最適化が本当に必要ならまずは計測しろ

**デフォルトの名無しさん** · 2022/02/17(木) 10:41:11.69

百理ある

**デフォルトの名無しさん** · 2022/02/17(木) 11:01:53.16

結論の if let [b'#', ..] = s.as_bytes() { なら可読性も落ちず意味もわかりやすいからいいんじゃね？
それを満たした上で長さが0でないことと先頭バイトの定数比較コードになると誰もが予測可能

**デフォルトの名無しさん** · 2022/02/17(木) 11:06:38.82

うーんRustのデフォルトがムーブになっているのはおもしろいな
かなり思い切った設計をしている

**デフォルトの名無しさん** · 2022/02/17(木) 11:42:39.48

千里ある

**デフォルトの名無しさん** · 2022/02/17(木) 12:41:58.72

>>20
リテラルなら差はないみたいね
https://godbolt.org/z/hGrPEa5rc

**デフォルトの名無しさん** · 2022/02/17(木) 23:06:37.97

あらためてRustは凄いな
enum Optionで意味わかりやすく安全にプログラミングしつつ
生成コードからはSomeやNoneが綺麗に跡形もなく消え去ってC言語で書いたときと同じになるんだな

**デフォルトの名無しさん** · 2022/02/17(木) 23:36:39.74

ML系言語の概念とC的な低レイヤの概念を融合した上で
オブジェクトの依存性の概念も付け加えるというのは実に素晴らしい考えだと私も思う。
個人的には Haskell が好きなんだけどランタイムサポートが重すぎると思ってたので Rust は大歓迎だ。

**デフォルトの名無しさん** · 2022/02/17(木) 23:47:52.93

ヒープを使うか使わないかと
dynを使うか使わないかの2点だけは
コンパイラも最適化できないのでそれだけ気をつけていれば大丈夫

**デフォルトの名無しさん** · 2022/02/18(金) 08:09:00.13

>>32
boxを使わない時は常にスタックじゃないの？

**デフォルトの名無しさん** · 2022/02/18(金) 08:29:45.01

>>33
BoxだけでなくVecやStringなどもヒープを使う
配列[T;N]や配列を使ったArrayVecやArrayStringなどはスタック上のみ使う
dynはBox<dyn ...>の形ならヒープ上だけど&dynの形ならスタック上のみで使うことができる

**デフォルトの名無しさん** · 2022/02/18(金) 09:51:02.85

>&dynの形ならスタック上のみで使うことができる
ん？

**デフォルトの名無しさん** · 2022/02/18(金) 10:17:03.62

>>35
例えば標準入力stdin()とファイルFile::open()は型がStdinとFileで異なるが
どちらもtrait Readを実装しているから&mut dyn Readに入れることで同じコードでreadできるようになる
このdyn Traitをtrait objectと言って動的ディスパッチとなるが生成コードは一つになる
ちなみにimpl Traitだとコンパイル時に静的に解決されて生成コードは型毎に多数のコードが生成される

trait objectは?Sizedだから直接は扱わずに&dynの形かBox<dyn>の形で使うことになる
&dynの形ならスタック上のみで使うことができるが元の型よりは長く生きられない制限がある
そこで例えば関数の返り値にしたい時などはヒープを使ってBox<dyn>の形にして返す

**デフォルトの名無しさん** · 2022/02/18(金) 18:16:26.39

Box<T>の形ならヒープ上だけど
&Tの形ならスタック上のみで使うことができる

と言われたら、ん？ってならない？

**デフォルトの名無しさん** · 2022/02/18(金) 18:18:33.56

ヒープ使わないんだったら、そりゃスタックになるが、
そもそもなにか勘違いしてない？

**デフォルトの名無しさん** · 2022/02/18(金) 19:03:20.48

&dyn の形ならスタックで "も" 使うことができる
ってこと？

**デフォルトの名無しさん** · 2022/02/19(土) 02:35:40.94

dynはヒープを使わない
しかしサイズが不定
つまりdyn型の変数はない
スタック上で使う時は&dyn型の変数に入れて用いる
戻り値にしたいならBox<dyn Trait>
これはヒープ使うことになる

**デフォルトの名無しさん** · 2022/02/19(土) 03:42:10.99

(stable rustでは) dyn 型の変数はない
が正しい

**デフォルトの名無しさん** · 2022/02/19(土) 13:30:36.11

>>40
strはヒープを使わない
しかしサイズが不定
つまりstr型の変数はない
スタック上で使う時は&str型の変数に入れて用いる
戻り値にしたいならBox<str>
これはヒープ使うことになる

これでも
んー・・・ってならないならもういいや

**デフォルトの名無しさん** · 2022/02/19(土) 15:49:52.73

その置き換えは無理があるんじゃないか
&strは単なる参照で&strの一部でもStringの一部でも代入できる
&dyn Traitはそれを実装する具体型を代入することで生成される

**デフォルトの名無しさん** · 2022/02/19(土) 18:01:00.26

&dynの参照先はヒープ（例えばBoxの中身）の可能性もあるからヒープを使わないって表現は誤解を招きそう

**デフォルトの名無しさん** · 2022/02/19(土) 18:59:15.30

>>41
stable前提話でごめん
unsized localがstableとなるには
一旦可変長配列を切り離さないと厳しい？

>>44
そんなことを書いてる人はいない
俺が書いた分も、dyn自体は(arrayなどと同様に)ヒープを使わない、だけだぞ
しかもその後にBoxでヒープを使う話もしている

**デフォルトの名無しさん** · 2022/02/19(土) 22:32:05.29

>>43
&strがstrへの参照であるように
&dyn Traitもdyn Traitへ単なる参照
&strにStringを代入すればDerefがstrを生成してるように
&dyn ReadにFileを代入すればコンパイラがdyn Readを生成してる

BoxだけでなくRc<dyn Trait>とかも使えるからね

**デフォルトの名無しさん** · 2022/02/19(土) 23:18:16.06

>>46
自己矛盾を起こしているぞ2点も
まず1点目
前者はターゲットstrでimpl Deref for String実装というコードが実際にありその枠組みに従った規定通りの操作
後者はそのような枠組みも実装コードも公開されていない操作
次に2点目
前者はStringの一部を指しているだけであり何か新たな実体を生成してそこを指しているわけではない
後者はFileとは別にvtableなどの実体を生成している
このように明白に異なる

**デフォルトの名無しさん** · 2022/02/20(日) 01:59:50.05

>>47
strとtrait objectという別のものなんだから違いがあるのは当たり前
>>40と>>42の対比が成立しないと言えるような違いを指摘しないと意味ないよ

**デフォルトの名無しさん** · 2022/02/20(日) 02:11:24.76

>>47
>前者はStringの一部を指しているだけであり何か新たな実体を生成してそこを指しているわけではない
>後者はFileとは別にvtableなどの実体を生成している

ああ、なるほど
trait objectが生成されるときにvtableも生成されると思ってるのか

**デフォルトの名無しさん** · 2022/02/20(日) 02:49:14.40

dynにキャストするときにコンパイラがfat pointerから参照させる用のvtableを生成することを指しているのでは？

**デフォルトの名無しさん** · 2022/02/20(日) 03:20:02.69

>>48
そのように大きく違いのある全く別のものを対比させるのは無意味なので、置き換えは無理があるんじゃないか、と書いた

>>49
そこは実行時にvtableを生成とも誤解しかねない書き方をしてすまん
vtable自体は型とtraitのペアで静的に確定するものでありコンパイル時に生成している

**デフォルトの名無しさん** · 2022/02/20(日) 10:31:39.82

>>50,51
vtableはtrait objectの有無に限らずtrait実装につき1つコンパイル時に作成されそれが共有して使われる

vtableを指すtrait objectも実行時じゃなくコンパイル時に作成される
実行時にはvtable経由のダイナミックディスパッチが発生するだけ

**デフォルトの名無しさん** · 2022/02/20(日) 11:23:51.17

>>52
そうか、crate内で静的ディスパッチしかしてなくても他crateからtrait objectとして使われる場合もあるから常にvtableは生成されるのね

ちなみに、object safeでないtraitについては生成されない (できない) よね？

**デフォルトの名無しさん** · 2022/02/20(日) 13:54:46.64

Rustって関数のデフォルト引数ないの？

**デフォルトの名無しさん** · 2022/02/20(日) 14:48:11.68

>>53
trait objectとして使われなくても常にvtableが作成されるかどうかはコンパイラの最適化の話だからここでは関係ないよね
実際のところはdylibじゃなければコンパイル時に使われないことがはっきりしてるはずだから作られないと思うけど

**デフォルトの名無しさん** · 2022/02/20(日) 17:48:45.70

>>55
コンパイル時じゃなくてリンク時の最適化の話じゃないの
オブジェクトファイルには常にvtable埋め込まれてるのかと
それとも dyn Trait を使った側のcrateのオブジェクトファイルにvtableは埋め込まれる？

**デフォルトの名無しさん** · 2022/02/20(日) 22:19:41.32

>>51
>> vtable自体は型とtraitのペアで静的に確定するものでありコンパイル時に生成

>>52
>> vtableはtrait objectの有無に限らずtrait実装につき1つコンパイル時に作成

この件だがコンパイラのソースを見ると
必要となる型の分だけコンパイル時にvtableを作成してるよな
https://github.com/rust-lang/rust/blob/stable/compiler/rustc_codegen_ssa/src/meth.rs#L53

**デフォルトの名無しさん** · 2022/02/21(月) 00:37:14.94

crateあたり同一traitのvtableは最大一つ生成されるということかな

**デフォルトの名無しさん** · 2022/02/21(月) 00:58:29.74

同一traitが複数の型で実装されてたらその型ごとに作られるはず

**デフォルトの名無しさん** · 2022/02/21(月) 17:43:56.41

各型毎にtrait objectやvtableはこういう構造になっている
let mut stdin: std::io::Stdin = std::io::stdin();
let addr_stdin = addr!(stdin); // &mut借用する前にアドレスを得ておく
let dyn_stdin: &mut dyn std::io::Read = &mut stdin; // ここで dyn Readのtrait object作成
assert_eq!(val!(addr!(dyn_stdin), 0), addr_stdin); // 前半は元のstdinを指している
// assert_eq!(val!(addr!(dyn_stdin), 1), 【Stdin用のvtable】); // 後半はStdin用vtableをを指している
assert_eq!(val!(val!(addr!(dyn_stdin), 1), 3), <std::io::Stdin as std::io::Read>::read as usize);
assert_eq!(val!(val!(addr!(dyn_stdin), 1), 4), <std::io::Stdin as std::io::Read>::read_vectored as usize);

別の型でも同じようにdyn Read作成
let mut file: std::fs::File = std::fs::File::open("/dev/null").unwrap();
let addr_file = addr!(file);
let dyn_file: &mut dyn std::io::Read = &mut file; // trait object作成
assert_eq!(val!(addr!(dyn_file), 0), addr_file); // 前半は元のfileを指している
// assert_eq!(val!(addr!(dyn_stdin), 1), 【File用のvtable】); // 後半はFile用vtableをを指している
assert_eq!(val!(val!(addr!(dyn_file), 1), 3), <std::fs::File as std::io::Read>::read as usize);
assert_eq!(val!(val!(addr!(dyn_file), 1), 4), <std::fs::File as std::io::Read>::read_vectored as usize);
上述Stdinの時と同じ位置にFile用のread()やread_vectored()がvtableに入っていることがわかる

したがって>>59や>>51が正しいと思う
各trait毎にvtableのメソッドの位置が決まり
そのtraitを実装する各型毎にvtableが作成される

**デフォルトの名無しさん** · 2022/02/21(月) 18:18:27.01

traitをimplした型が違ったら対応するfnの中身も違うので
同じtraitでも実装された型ごとに違うvtable作らなきゃいけないのは確かに当然か

>>60
異なるcrateからtrait object生成した場合にvtableは同じアドレスのものになるの？
それとも、異なるものになるの？

**デフォルトの名無しさん** · 2022/02/21(月) 23:56:22.93

>>57
「trait objectを使うようなコードが一切存在しなくても」vtableが作られると言いたかったわけではないんだが書き方が悪かったね

**デフォルトの名無しさん** · 2022/02/22(火) 00:04:11.51

vtable自体はデバッグビルドのasmやllvm-irで確認できるよ
例えばxという名前のメソッド1つだけ持つFooトレイトのi32実装ならこんな形でvtableが出力される

.quad core::ptr::drop_in_place<i32>
.asciz "¥004¥000¥000¥000¥000¥000¥000¥000¥004¥000¥000¥000¥000¥000¥000"
.quad <i32 as playground::Foo>::x

**デフォルトの名無しさん** · 2022/02/22(火) 11:55:50.79

>>61
crateごとじゃなくcodegen unitごとにvtableが作成される可能性が一応ある
crateが違っても必ずしも複数のvtableができるわけではない

**デフォルトの名無しさん** · 2022/02/22(火) 12:24:58.23

違う型のvtableがmergeされることもあるみたい
https://rust-lang.github.io/rust-clippy/master/#vtable_address_comparisons

**デフォルトの名無しさん** · 2022/02/22(火) 12:36:19.01

>>64
前者は分かるんだけど後者はどういう時にそうなるの？
依存crateにvtableが含まれてる場合？

**デフォルトの名無しさん** · 2022/02/22(火) 14:56:23.72

>>60
もう少しvtableの情報を詳細にした
let mut file: std::fs::File = std::fs::File::open("/dev/null").unwrap();
let addr_file = addr!(file);
let dyn_file: &mut dyn std::io::Read = &mut file;
という状況で以下が成立

assert_eq!(val!(addr!(dyn_file), 0), addr_file);
let vtable_file = val!(addr!(dyn_file), 1);
assert_eq!(val!(vtable_file, 0), std::ptr::drop_in_place::<std::fs::File> as usize);
assert_eq!(val!(vtable_file, 1), std::mem::size_of::<std::fs::File>());
assert_eq!(val!(vtable_file, 2), std::mem::align_of::<std::fs::File>());
assert_eq!(val!(vtable_file, 3), <std::fs::File as std::io::Read>::read as usize);
assert_eq!(val!(vtable_file, 4), <std::fs::File as std::io::Read>::read_vectored as usize);
つまり型情報が消失したdynにおいてもこのvtableさえ保持していれば正しくトレイトメソッドやデストラクタを呼び出せる

>>65
そのコードだと比較しようとしているのはvtableやそのアドレスではなく
上述コードでのdyn_fileのアドレスを比較しているだけなのでそもそも前提が謎だな
さらにvtableの内容は各型に完全に依存しているからmergeの意味もよくわからない

**デフォルトの名無しさん** · 2022/02/22(火) 15:27:07.33

空traitなんかは異なる型同士でvtable使い回しできるのでは
あとは全associated fnにデフォルト実装が与えられていて中身が全く同じものとか
いずれにせよLLVMがよしなに最適化してくれるとかなのでは？

**デフォルトの名無しさん** · 2022/02/22(火) 17:06:00.72

vtableにはデストラクタも乗ってるようだけどそれも必要ない場合あるもんな
>>67の状況も今後実装が変わったり最適化で消えたり色々ありうるわけだ
いずれにせよ我々は興味本位で語り合ってるだけであり
このあたりの非公開の仕様に依存したコードを書いてはいけないしな

**デフォルトの名無しさん** · 2022/02/22(火) 23:08:55.74

>>67
>上述コードでのdyn_fileのアドレスを比較しているだけなのでそもそも前提が謎だな
Rc::ptr_eqで単純に比較するとfat pointer内のdataへのpointerとvtableへのpointerの両方が一致してるかのテストになる

>さらにvtableの内容は各型に完全に依存しているからmergeの意味もよくわからない
わかりやすいのは&Tと&mut Tのように可視性のみ違う場合

**デフォルトの名無しさん** · 2022/02/22(火) 23:17:56.21

>>70
dataへのpointerの一致を見てるなら
型を含めた一致が保証される？

**デフォルトの名無しさん** · 2022/02/22(火) 23:33:33.79

>>66
>依存crateにvtableが含まれてる場合？
そうだね
依存crateに含まれてても同じ内容のvtableができる場合もあるみたいだからいくつか条件があるみたいだけど

**デフォルトの名無しさん** · 2022/02/22(火) 23:44:43.85

>>71
std::ptr::eqでdataへのpointerを比較すれば保証されると思うよ

**デフォルトの名無しさん** · 2022/02/23(水) 08:40:05.57

プロジェクトのディレクトリの外から
$ cargo run
するときってどうやってプロジェクト (ディレクトリ) を指定するの？

**デフォルトの名無しさん** · 2022/02/23(水) 10:36:44.63

https://github.com/rust-lang/cargo/issues/1485

**デフォルトの名無しさん** · 2022/02/23(水) 15:08:57.81

>>74
用途が違うかもしれんがworkspace配下からなら-p <package-name>で指定できる

**デフォルトの名無しさん** · 2022/02/23(水) 23:58:29.92

>>70
vtableがmergeされるのかどうか
trait定義methodの定数返しと最適化されやすいようにして
さらに &T と &mut T でやってみたがtableは別々になった

まず最初の原因はvtable最初の要素である以下が成立していないためとわかった
assert_eq!(std::ptr::drop_in_place::<&i32> as usize, std::ptr::drop_in_place::<&mut i32> as usize);
ところが--releaseにすると上記は成立するようになった
同様にtrait定義methodも--releaseにすると同じアドレスとなった
つまりこういう実験において--releaseオプションは必須
そしてvtableの内容は全て完全に一致
しかしvtableのアドレス(格納場所)は異なり別々のvtableのままであった

**デフォルトの名無しさん** · 2022/02/24(木) 00:46:54.35

LLVMの最適化で何が行われるかrust側では保証できないから >>65 みたいに同一性について保証しないって仕様になっているんだろうね

**デフォルトの名無しさん** · 2022/02/24(木) 00:52:17.43

そういえばRustってC++とかFortranみたいに最適化で結果変わる可能性ってあるの？

**デフォルトの名無しさん** · 2022/02/24(木) 00:56:53.49

>>77 がその結果の変わる一例では、ってことではない？

**デフォルトの名無しさん** · 2022/02/24(木) 00:59:33.72

>>77は内部構造が変わるという話で出力が変わるという話ではないと思っていた

**デフォルトの名無しさん** · 2022/02/24(木) 01:53:13.93

>>79
Rustは他の言語と違い、UB (undefined behavior)すなわち未定義動作を基本的に起こさないように安全に設計されている
最適化オプションの有無でもその点は大丈夫

もちろん念のためだが、入力が異なれば結果は変わるし、非同期の実行タイミングは当然保証されないから実行順序に依存するコードは結果が変わり得る
そういうことでないならば結果は同じになる

ちなみにvtableの件は仕様が公開すらされていない内部情報の話
しかもそこに収容される関数のアドレスの値やvtableのアドレスの値というプログラマーが全く気にする必要ない話
だからこれらは変化してももちろん良くてそれを承知の上で盛り上がってるだけ

**デフォルトの名無しさん** · 2022/02/24(木) 01:56:10.31

>>82
よかった。安心したわ。ありがとう

**デフォルトの名無しさん** · 2022/02/24(木) 14:04:31.52

vtableの話は元々のスタックやヒープの話と関係あったの？

**デフォルトの名無しさん** · 2022/02/24(木) 14:36:03.44

関係ないけどスタックやヒープの話よりも面白かった

**デフォルトの名無しさん** · 2022/02/25(金) 09:31:23.23

ついに期待のRust 1.59がリリース！

**デフォルトの名無しさん** · 2022/02/25(金) 09:56:57.35

>>86
なにか目玉機能あるの？

**デフォルトの名無しさん** · 2022/02/25(金) 11:13:21.04

asm!とdestructuring assignmentかな

**デフォルトの名無しさん** · 2022/02/25(金) 12:42:45.63

来たね

**デフォルトの名無しさん** · 2022/02/25(金) 15:06:17.84

inline asm安定化は嬉しい、stableでベアメタルやりやすくなるかも

**デフォルトの名無しさん** · 2022/02/25(金) 16:04:22.84

この馬鹿はアホすぎて日本語分からないようなのでこちらに転送。
https://mevius.5ch.net/test/read.cgi/tech/1605467680/919
以降はこちらで。

**デフォルトの名無しさん** · 2022/02/25(金) 17:28:20.31

同じやつかもしれんが、スレ違いの指摘を聞かない馬鹿3名引き取ってくれ
ID:u7rOKKj6
ID:iu2arc+w
ID:aDhOSI3t

**デフォルトの名無しさん** · 2022/02/25(金) 17:31:49.95

お膣毛

**デフォルトの名無しさん** · 2022/02/25(金) 17:39:52.83

rustのバージョンごとのリリース予定機能ってどこかにまとまってるの？
betaに入ったものはだいたいそのままstableになるから事前にどの機能が来るのか分かると思うんだが
いつもstableリリースのブログ投稿で知るので、もっと早めに知れると嬉しい

**デフォルトの名無しさん** · 2022/02/25(金) 18:25:23.29

Rust コンパイラのリリースサイクルは六週間という時間で区切ってるから
その時点で確定してるものが入るって感じじゃないの。
次のリリースまでにこれとこれを……というようなマイルストーン方式ではない。

**デフォルトの名無しさん** · 2022/02/25(金) 18:45:09.48

最近12週間でnightly(master)でstabilizeされた機能一覧とか
最近6週間でbetaに入った機能一覧を知る方法ない？って意図だった

**デフォルトの名無しさん** · 2022/02/25(金) 18:59:15.48

Githubのマイルストーン見ればいいんじゃない？
例えば1.60.0だとこれが入る予定なはず
https://github.com/rust-lang/rust/milestone/90?closed=1

**デフォルトの名無しさん** · 2022/02/25(金) 19:27:57.07

なるほどmilestoneがあったか
relnotesラベルで絞り込むといい感じだ
ありがとう
https://github.com/rust-lang/rust/issues?q=milestone%3A1.60.0+label%3Arelnotes

**デフォルトの名無しさん** · 2022/02/25(金) 21:16:51.47

https://mevius.5ch.net/test/read.cgi/tech/1605467680/927
まだやってるんだがｗ
ID:aDhOSI3t

**デフォルトの名無しさん** · 2022/03/02(水) 12:22:44.66

Electronの代替を目指す軽量なRust製フレームワーク「Tauri」、リリース候補版に到達
https://www.publickey1.jp/blog/22/electronrusttauri.html

Electronの優れた特徴を備えつつ、よりメモリ消費量が小さくファイルサイズもコンパクトで、高いセキュリティを備え、柔軟なライセンスを実現しようと開発されたのが「Tauri」です。

GitHubにはElectronとの比較表が示されています。それによるとLinux版のインストールサイズがElectronで52.1MBのところ、Tauriは10分の1以下のわずか3.1MB。同じくLinux版でのメモリ消費量はElectronが462MBのところ、Tauriは半分以下の180MBとなっています。

起動時間もElectronの0.80秒に対してTauriは0.39秒です。

**デフォルトの名無しさん** · 2022/03/02(水) 13:09:17.24

モバイル版も予定されてるとなるとFlutterにも似てるかな
あっちはモバイルベースのフレームワークだけど

**デフォルトの名無しさん** · 2022/03/02(水) 16:28:42.01

rustで複数のプロセスで「共有メモリ」したい場合ってどうすればいいの？

**デフォルトの名無しさん** · 2022/03/02(水) 16:53:15.47

プロセス間だとCと大して変わらないと思う
libcのmmapとかでアドレスに共有ファイルを割り当ててそのポインタをBoxもどきで包む
Drop時にfreeじゃなくmunmapするBoxっぽい別の型が必要でプロセス間のロックとか考えるともっと面倒くさい
mmapでcrate検索すれば使えるのがあるかもしれない

**デフォルトの名無しさん** · 2022/03/02(水) 17:43:29.63

基本的には >>103 の言うとおり C と変わらないと思う
shared_memoryというLinuxとWindowsで使えるクロスプラットフォームなcrateもあるみたいだね

ただプロセス間でメモリを共有する場合に複数プロセスから同一領域に対して &mut 参照を作っちゃうと UB にならないかは気になる

**デフォルトの名無しさん** · 2022/03/03(木) 05:15:49.21

>>100
WebViewなら大して変わらんじゃないか
がっかり

**デフォルトの名無しさん** · 2022/03/03(木) 05:38:31.20

>>105
かなり違うよ？

**デフォルトの名無しさん** · 2022/03/03(木) 07:53:58.47

むしろ、rustでプロセス間通信をする場合に相性が良いのは何か、というのが本質では無いだろうか？
プロセス間共有メモリをrust的に安全になるように包むことは可能なのか？
パイプやソケットの再実装にならないか？

**デフォルトの名無しさん** · 2022/03/03(木) 08:16:43.34

本当に共有メモリが必要なのか？って所だよな
ベアメタル開発時のハードウェアみたいに必須のケースもあるけど

**デフォルトの名無しさん** · 2022/03/03(木) 08:44:34.78

メッセージキューのほうが安全かね。
速度と手間は犠牲になりそうだけど。

**デフォルトの名無しさん** · 2022/03/03(木) 09:15:37.98

どういう問題を解決したいかという文脈抜きに
どういう手段がいいかを論じても意味ないよ
いわゆるXY problem

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

>>107
共有メモリをミューテクスで排他制御するならロックの取得/解放をメモリの取得/解放と同等に扱えるような気はするが

**デフォルトの名無しさん** · 2022/03/03(木) 10:18:45.28

volatileアクセスするのが自然なんじゃねーの。

**デフォルトの名無しさん** · 2022/03/03(木) 16:55:17.18

>>112
volataileはプロセス間のリソース共有とは概念的には別の話。

**デフォルトの名無しさん** · 2022/03/03(木) 17:16:17.86

少なくともCでは
CON02-C. volatile を同期用プリミティブとして使用しない
ttps://www.jpcert.or.jp/sc-rules/c-con02-c.html
だけど、Rustは同期が保証されるんだっけ？

**デフォルトの名無しさん** · 2022/03/03(木) 19:04:46.11

それはマルチスレッドの話でしょ？

**デフォルトの名無しさん** · 2022/03/03(木) 19:15:45.62

全ての共有メモリのページアクセスに対して割込みをかけてるならそういう実装も可能だろうけど、現実的には考えにくいだろうｗ
アホなこと考える前に自分でコード読めよｗ

**デフォルトの名無しさん** · 2022/03/03(木) 19:22:14.52

>>100
そのTauriに興味を持ったのですが
それはJSの使用を限りなく小さくできますか？

**デフォルトの名無しさん** · 2022/03/04(金) 11:29:49.34

>>117
根拠はないけどできると思うよ