Rust part10

**デフォルトの名無しさん** · 2021/04/02(金) 21:38:04.11

Mozilla発のRust言語のスレ

公式
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 part9
https://mevius.5ch.net/test/read.cgi/tech/1598112455/

**デフォルトの名無しさん** · 2021/04/26(月) 20:00:38.89

>>324
&'a &'b T の lifetime は 'a と 'b の短い方になるから
むりやり書こうとすると min('a, 'b) みたいになる

'a: 'b というのは 'a が 'b より長生きするという意味で
この場合 min('a, 'b) = 'b になるので f3 が valid になる

なお、&'a &'b T については暗黙的に 'b: 'a とみなされてるからコンパイルが通る
('b: 'a の時しか &'a &'b T 型の値が作れないため)

**デフォルトの名無しさん** · 2021/04/26(月) 20:05:03.48

>>322
じゃあ自分で作ってみりゃいいじゃん。
linuxなんかにいちゃもんつけてないでさ。

**デフォルトの名無しさん** · 2021/04/26(月) 23:42:53.23

>>301
自分で書いてて全然理解できてない奴らが量産されて、キーボードを叩く拳に血が混じりながら
意味不明なコードを誰かが直す。なんというおそろしい未来かw

**デフォルトの名無しさん** · 2021/04/26(月) 23:56:56.13

linuxにいちゃもんつけてる人はいないが
rustユーザーがlinuxにいちゃもんつけてると主張する人はいる不思議

**デフォルトの名無しさん** · 2021/04/27(火) 01:41:47.11

来年は組み込みRust元年になるやで

**デフォルトの名無しさん** · 2021/04/27(火) 02:20:03.39

あわしろ氏もそう言ってますね。

**デフォルトの名無しさん** · 2021/04/27(火) 02:20:38.76

何で今年じゃないの？

**デフォルトの名無しさん** · 2021/04/27(火) 02:36:39.16

panicのせいで実質組み込みでも死んじゃったな
linusやりすぎだぞ

**デフォルトの名無しさん** · 2021/04/27(火) 02:51:16.77

>>332
Linux カーネルで受け入れられないからと言って組み込みで panic が使えないわけじゃないでしょ。

**デフォルトの名無しさん** · 2021/04/27(火) 08:06:21.79

>>325
https://play.rust-lang.org/?version=stable&;mode=debug&edition=2018&gist=4f6ac5931e40d5e3dcf41712634e9390
元ネタこれなんですが
min('a,'b)的な考え方だと確かにf3について納得できる気がしますが、今度はf1が通るのがわからなくなります

f1を&'a &'b Tの参照がひとつ外せて&'b Tと考え
f0は'b:'aなので&'b Tから&'a Tに変換可能と考えると
f2が通ってf3が通らないことが理解できない
rust難しい。。

**デフォルトの名無しさん** · 2021/04/27(火) 08:11:26.79

>>326
だから作るにあたって参考になる資料とか実装例はあるのかって話なんだが
OSを作るみたいな資料はあってもその多くはCとアセンブラを前提としているし
それを参考にしたらC流になってしまうだろ

**デフォルトの名無しさん** · 2021/04/27(火) 08:43:32.76

実用的なOSとしてはこの辺かな。
https://github.com/tock/tock

あとは研究論文レベルでは、Rustの所有権システムをOSの権限管理周りに使って堅牢なシステムを作ろう、みたいなのもある。

**デフォルトの名無しさん** · 2021/04/27(火) 12:44:22.23

こんなんCで書いてるのと変わらんだろ。。
https://github.com/tock/tock/blob/master/arch/cortex-m/src/lib.rs

**デフォルトの名無しさん** · 2021/04/27(火) 13:52:57.49

>>337
インラインアセンブリでもRustを使うとコンパイル時に強力なチェックが！
あるわけないよな…Cでいいと思います

**はちみつ餃子** ◆8X2XSCHEME · 2021/04/27(火) 14:21:05.00

OS 全体の中でも低レイヤ寄りの部分はしょうがないでしょ。
どうせほとんどインラインアセンブリなら C でもいいが Rust で駄目という理由にもならんし。

**デフォルトの名無しさん** · 2021/04/27(火) 15:07:33.38

>>339
Rustは書き辛いし、生成されるコードや意味解釈に闇がある。

**デフォルトの名無しさん** · 2021/04/27(火) 15:26:51.13

言語の設計思想をOS全体に広げて実用的に成功した例ってあるの？
LispOSみたいなのは全部失敗してるじゃん
Cはもともとアセンブラで書かれてたOSを高級言語で書き直せるように
言語自体を後から設計したものだからね
Rustがシステム記述言語として使われたいなら、Linusに意向に100%従って
言語仕様をどんどん書き換えていかないとダメ絶対

**デフォルトの名無しさん** · 2021/04/27(火) 16:09:23.12

ここまでRedoxの話を避けているのはなぜ

**デフォルトの名無しさん** · 2021/04/27(火) 17:15:40.85

Redoxとか使ったことないし……

**デフォルトの名無しさん** · 2021/04/27(火) 19:00:31.49

>>341
forth?

**デフォルトの名無しさん** · 2021/04/27(火) 19:17:36.18

forthとかなつかしいなオイ

**デフォルトの名無しさん** · 2021/04/27(火) 20:00:34.98

FORTH作者「FORTHには申し訳ないことをした…」
ホントだよ！
FORTHがきちんとケアされ続けた世界線を見てみたい

**デフォルトの名無しさん** · 2021/04/28(水) 00:25:46.13

forthって今も使われとるのだろか。。

**デフォルトの名無しさん** · 2021/04/28(水) 01:56:40.25

昔はＢＩＯＳとか forth で書かれてたけど今はどうかなー

**デフォルトの名無しさん** · 2021/04/28(水) 03:06:12.66

Rustは配列に添え字アクセスする時、必ず境界チェックされるよね？

**デフォルトの名無しさん** · 2021/04/28(水) 06:10:01.83

言語設計とOSが一体ていうのがどのくらいまでを指すかにもよるけど
Smalltalk は元々は言語=OSみたいなシステムだったな

**デフォルトの名無しさん** · 2021/04/28(水) 10:12:57.76

>>349
言語仕様的にチェックされるかという意味ならYes

**デフォルトの名無しさん** · 2021/04/28(水) 10:51:18.82

>>351
ライブラリの実装ではチェックされるようなコードになっているが
最適化で消えるかも知れないので実行時に必ずしもチェックされるとは限らないという意味？

**デフォルトの名無しさん** · 2021/04/28(水) 11:29:39.09

コンパイル時に境界チェックを外せると確定してない限り最適化しようが境界チェックはやる

**デフォルトの名無しさん** · 2021/04/28(水) 13:16:17.19

例のLKML見直してて思ったけど
unsafeなコードetcが不変条件を破壊した場合に対する安全な対処法って今なんかあるのかな

**デフォルトの名無しさん** · 2021/04/28(水) 13:47:19.78

こんなとこじゃね
https://doc.rust-lang.org/edition-guide/rust-2018/error-handling-and-panics/controlling-panics-with-std-panic.html

**デフォルトの名無しさん** · 2021/04/28(水) 15:27:12.87

二重投稿になるかも知れませんが、[0; n] で、n要素のi32 型の配列という
意味になるようですが、n が実行時にしか決まらない変数でも大丈夫ですか？
その場合、データ領域はスタック領域から確保するのでしょうか。

**デフォルトの名無しさん** · 2021/04/28(水) 18:08:50.70

>>356
まずはリファレンスを
https://doc.rust-lang.org/std/primitive.array.html

**デフォルトの名無しさん** · 2021/04/28(水) 18:22:21.07

>>354
不変条件の種類によるけど最悪 undefined behavior になるから対処は無理じゃないかな
コンパイラの最適化レベル落とすとかで振る舞いを予測可能にすることは出来るのかも

**デフォルトの名無しさん** · 2021/04/28(水) 19:36:40.90

>>357
でも、Box::new([0; n])と書いた場合には、nはコンパイル時に決まらない値
でもいいの？

**デフォルトの名無しさん** · 2021/04/28(水) 20:41:55.42

いいに決まってんだろハゲ！

**デフォルトの名無しさん** · 2021/04/28(水) 20:43:40.06

Vec::with_capacity使えよ

**デフォルトの名無しさん** · 2021/04/28(水) 21:18:06.47

試せば2秒で分かるんだから試しなよ

**デフォルトの名無しさん** · 2021/04/28(水) 21:32:36.01

２秒で試してみろや

**デフォルトの名無しさん** · 2021/04/28(水) 21:34:25.75

うまくいかなかったとしてほかに問題がないか状況を切り分け周辺を調査
誤りのない環境を整備
学習内容を保存し整理
単純な文法ひとつでも最低３０分

**デフォルトの名無しさん** · 2021/04/28(水) 22:27:00.95

Rustの場合
｢2秒で試せる｣ || ｢試すしたら2秒でわかる｣
error: 意図が曖昧です

Cの場合
｢2秒で試せる｣
｢2秒で試してみろやカス｣

**デフォルトの名無しさん** · 2021/04/29(木) 00:40:38.91

Golangが難しかったのでRustにきました
よろしくおねがいします

**デフォルトの名無しさん** · 2021/04/29(木) 00:53:02.27

ゴールデンウィークに釣りですか

**デフォルトの名無しさん** · 2021/04/29(木) 12:40:02.43

Animal から、C++ の継承のようなことをした構造体(?)を Dog とした時、
Box<T> a; で T を Animalのようなものにして、a には、実際には Dog
への参照を入れるようなことは出来ますか？

**はちみつ餃子** ◆8X2XSCHEME · 2021/04/29(木) 13:12:17.47

>>368
dyn かな？
完全に一致する機能というわけではないけど、
Rust ではトレイトに dyn キーワードを付けると (C++ で言うところの) 抽象クラスのように機能する。

**デフォルトの名無しさん** · 2021/04/29(木) 13:33:28.09

>>369
https://stackoverflow.com/questions/53897315/rust-polymorphic-calls-for-structs-in-a-vector
↑には、Questionの人の書いたのももしかしたら動作するかも知れないけど
Answerの人に従えば、以下のようにするのが正しいのかな？

trait Function {
fn value(&self, arg: &[f64]) -> f64;
}
struct Add {}
struct Multiply {}
impl Function for Add {
fn value(&self, arg: &[f64]) -> f64 { arg[0] + arg[1] }
}
impl Function for Multiply {
fn value(&self, arg: &[f64]) -> f64 { arg[0] * arg[1] }
}

impl Add {
fn new() -> Add { Add {} }
fn new_boxed() -> Box<Add> { Box::new(Add::new()) }
}
impl Multiply {
fn new() -> Multiply { Multiply {} }
fn new_boxed() -> Box<Multiply> { Box::new(Multiply::new()) }
}
fn main() {
let x = vec![1.0, 2.0];
let funcs: Vec<Box<dyn Function>> = vec![Add::new_boxed(), Multiply::new_boxed())];
for f in funcs {
println!("{}", f.value(&x));
}
}

**デフォルトの名無しさん** · 2021/04/29(木) 17:34:51.47

C++でis-a関係の継承使うデータはRustだとenum使う方が単純になるケースもある

struct AnimalData { ... }
struct DogData { ... }
struct CatData { ... }

#[non_exhaustive]
enum Animal {
Dog (AnimalData, DogData),
Cat (AnimalData, CatData),
}

この方法にも色々欠点はあるけど（クレートの外で新しいAnimalを追加できないとか）
trait使う抽象化が大袈裟だと思ったら考えてみて

**デフォルトの名無しさん** · 2021/04/29(木) 17:51:11.31

>>370
継承とは違うけど
そのユースケースはfnかFn使えば十分じゃないの？

let functions: Vec<fn(f64, f64) -> f64> = vec![|x, y| x + y, |x, y| x * y];
for f in &functions {
println!("{}", f(1.0, 2.0));
}

**デフォルトの名無しさん** · 2021/04/30(金) 01:35:27.25

>>372
簡単な例として書いただけで、同じ表示結果を得ることが目的ではないので
そういうこととは趣旨が違う。
さまざまな種類の多態なオブジェクトを1つのリストの中に入れるということは
オブジェクト指向に置いて基本的な概念の一つで、Polymorphismの基本なので、
継承的なものを使わずに同じ結果を書けたとしてもそれは違う。

**デフォルトの名無しさん** · 2021/04/30(金) 15:35:29.77

ポリモーフィズムを理解してないようなやつでもRustをはじめるようになったんだな

**デフォルトの名無しさん** · 2021/04/30(金) 17:06:26.25

c++と同じで難しくてランタイム速度最強てなところが厨を呼び寄せてる

**デフォルトの名無しさん** · 2021/04/30(金) 18:24:08.88

C++やってたら配列のインデックスアクセスが安全かどうかや
ディスパッチがスタティックかどうかを普通気にするよね

**デフォルトの名無しさん** · 2021/04/30(金) 20:47:52.42

グーグルやMSが「Rust」言語でOS開発、背景に国家による諜報活動の影＝日経 xTECH中田敦

背景に国家による諜報活動の影っていう根拠が１つも示されてないんだけど、こいつの言ってることマジなん？
それとも日経新聞のおなじみの「飛ばし」によるクリック集め？

**デフォルトの名無しさん** · 2021/04/30(金) 21:05:00.75

GAFAMって言いたいだけ

**デフォルトの名無しさん** · 2021/04/30(金) 21:27:01.84

マイクロソフトがwindows書くのにc++使って後悔した話も知らん層が今も同じようなことやろうとしてんだろ。。
バカは歴史に学ばない。

**デフォルトの名無しさん** · 2021/05/01(土) 00:25:31.33

これ見てたら、いきなり日本語で「ネコ」って出てきてびっくりした
https://www.programming-idioms.org/cheatsheet/Rust
実は、お前らの中の誰かが書いてんのか？

**デフォルトの名無しさん** · 2021/05/01(土) 05:47:22.98

>>380
https://www.publickey1.jp/blog/21/http35firefoxmozillaquicrustneqo.html
今、プログラムやる若い層じゃアニメとアニメに出てくる簡単な日本語は基礎教養だぞ
github見たらアニメキャラアイコンだらけだ

**デフォルトの名無しさん** · 2021/05/01(土) 08:00:51.92

NANI

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

>>379
>マイクロソフトがwindows書くのにc++使って後悔した話
興味有るので詳しく :

◆QZaw55cn4c · 2021/05/01(土) 17:21:37.61

>>379
流出したソースを見る限り、MS は C で Windows を書いていたようですよ‥‥

**デフォルトの名無しさん** · 2021/05/01(土) 17:53:57.44

そういえば初期WindowsのWindow管理のサンプルコード見た記憶がある
ツリーリンクリストが構造体に埋め込む形で自作されてた

**デフォルトの名無しさん** · 2021/05/01(土) 17:54:25.77

コードの８割方コメントだった

**デフォルトの名無しさん** · 2021/05/02(日) 09:31:00.53

The Windows Research Kernel AKA WRK
https://github.com/zhuhuibeishadiao/ntoskrnl

**デフォルトの名無しさん** · 2021/05/02(日) 09:42:02.70

9割がCか

**デフォルトの名無しさん** · 2021/05/02(日) 09:51:42.31

まあLinuxもCと一部アセンブラだから似たようなものか

**デフォルトの名無しさん** · 2021/05/02(日) 12:27:53.91

当時の言語状況からして他に選択肢なんかなかったと思うがねぇ。
他の言語選択してたら駆逐されてた可能性すらある。

**デフォルトの名無しさん** · 2021/05/02(日) 12:37:35.62

NT kernelが開発されたのが1990年代か
C++も既にあったがまだ浸透してなかったかな

**デフォルトの名無しさん** · 2021/05/02(日) 13:45:15.23

チュートリアルやってたらトレートオブジェクトってのの説明が意味不明級だったぜ
https://tourofrust.com/82_ja.html
なんじゃこりゃ

**デフォルトの名無しさん** · 2021/05/02(日) 14:35:17.11

>>392
Javaの知識があれば
　trait object： interfaceとして渡されたオブジェクト
という感じで説明できるけど何か使い慣れた言語はあるかね

**デフォルトの名無しさん** · 2021/05/02(日) 15:05:16.82

>>393
もしかしてExistential Container(和訳不明)が独立のオブジェクトとして括り出さている感じですか？
なおC#が一番使い慣れているのですが、この範囲ではJavaと大きく違わなさそうでしょうか・・・・

**デフォルトの名無しさん** · 2021/05/02(日) 15:36:14.52

>>392
The Bookの該当箇所を読むのを勧める
Java/C#のインターフェースと基本的には同じだけど違う部分もある
https://doc.rust-lang.org/book/ch17-02-trait-objects.html

その少し後に出てくるBoxのコードに出てくる
`animals: Vec<Box<dyn NoiseMaker>>`の
Box<dyn NoiseMaker>がTrait Object

Trait Objectは動的サイズの型なので&NoiseMakerやBox<dyn NoiseMaker>のようにポインタの形になる
そのチュートリアルは前後のページとどう関係があるのかについて説明がほぼないのでわかりにくいかもね

**はちみつ餃子** ◆8X2XSCHEME · 2021/05/02(日) 15:50:22.98

他の言語の概念と対応付けるよりはそれ自体として理解したほうがいいのは確かだと思う。
(理解できずに行き詰まるくらいなら雑な理解でも一旦前に進んだほうがいいかもしれんけど。)

言語機能ってひとつだけを取り出して使えるものじゃなくて、他の言語機能との連携の中で活きてくるものだから
個別の言語機能を他言語の言語機能と対応付けて理解しても綺麗に繋がらない感じがする。

**デフォルトの名無しさん** · 2021/05/02(日) 15:58:09.22

https://doc.rust-lang.org/reference/types/trait-object.html

こっちじゃ`dyn Trait`のことをtrait objectと呼んでいるようだけど
というか俺はこれだと思ってた
Traitを実装する具体型の値のアドレスと、その型に対するTrait実装のvtableの組

**デフォルトの名無しさん** · 2021/05/02(日) 16:04:49.31

>>394
C#はあまり詳しくないけど、例えばListのAddRange関数の引数の(IEnumerable collection)が近いかな
AddRangeにはIEnumerableを実装してればどんな型でも渡せるはず（ArrayList、HashSet, etc）

これをAddRangeの視点で見ると、渡されたcollectionが実際に何の型かは分からないけど
IEnumerable（interface≒trait）を実装してることは分かってるから
そのGetEnumeratorを呼んでIEnumeratorを受け取ってそこから取り出せる要素を全部追加すれば
目的の動作は果たせることになる

このAddRangeの引数のcollectionがIEnumerableトレイトを実装したtrait objectって感じ

**デフォルトの名無しさん** · 2021/05/02(日) 17:25:27.83

>>397
正確に言うとリファレンスに書いてる通りdyn Trait型のオブジェクトがTrait Object
&dyn TraitやBox<dyn Trait>はTrait Objectを指してるfat pointer

でも実用上は&dyn TraitやBox<dyn Trait>のfat pointerのこと自体を
Trait Objectというものとして理解したほうがわかりやすいので
The Bookや他の解説書でも区別してないのが多い

**デフォルトの名無しさん** · 2021/05/03(月) 09:09:00.34

>>76
Visual Rust#やろ

**デフォルトの名無しさん** · 2021/05/03(月) 11:04:52.91

https://marketplace.visualstudio.com/items?itemName=vosen.VisualRust

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

囲い込んでブラックボックス強要するあたりはMSと相性いいかもな

**デフォルトの名無しさん** · 2021/05/04(火) 15:41:01.40

facebookも財団に参加したのか
appleも時間の問題かな

intelとかのCPUメーカーにも参加して欲しい所だが

**デフォルトの名無しさん** · 2021/05/04(火) 17:15:37.01

CPUメーカーが参加するとどういうことが嬉しいの？
LLVMなら分かるんだけど

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

まあ元intelのエンジニアも開発に参加しとるけどね

**デフォルトの名無しさん** · 2021/05/04(火) 20:33:44.63

え？脆弱で有名なあのインテル？
ヤバいじゃないですかぁ

**デフォルトの名無しさん** · 2021/05/04(火) 21:04:23.81

rustが低レイヤーの開発言語としては覇権取りそうね
今から勉強しとくのが良さそう

**デフォルトの名無しさん** · 2021/05/04(火) 22:09:05.61

低レイヤーの仕事をしたことないってのがよくわかるわ。

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

>>405
エンジニア個々人が参加するのは普通にあると思うんだけど
企業として支援することにどんなうまみがあるのかなと思って

ただ改めて思うとintelもソフトウェアたくさん出しててrust使う旨みはあるから支援する意味はありそうだね

**デフォルトの名無しさん** · 2021/05/05(水) 01:46:02.42

SHやArmのRustコンパイラをメーカーが出たらｶﾞﾁ

**はちみつ餃子** ◆8X2XSCHEME · 2021/05/05(水) 03:09:13.31

うまみっていうか、それが上手くいくかどうかなんて事前にはわからん。
ほどほどに有用そうなものに支援してたらどれかひとつくらいはいい感じって程度の話だろ。

**デフォルトの名無しさん** · 2021/05/05(水) 05:31:11.89

協力し合うと同時にあまり勝手しないように牽制するのも目的なので

**デフォルトの名無しさん** · 2021/05/05(水) 12:35:13.44

どうも頭の悪い輩が多いなと思ってたけど、
この言語、ある程度まではスクリプト的に書けるからなんだな。。
なんとなくおかしなこと言ってる奴の感覚がわかってきたわ。

**デフォルトの名無しさん** · 2021/05/05(水) 13:37:38.31

>>413
> この言語、ある程度まではスクリプト的に書けるからなんだな。。
短く簡単に書けるようにするのはRustの課題の一つだと思ってるので、どういう観点から「スクリプト的に書ける」とおっしゃるのか伺いたいです
よく比較に上がるC++よりはよっぽど記述量多くなるよね？

**デフォルトの名無しさん** · 2021/05/05(水) 14:30:15.37

そりゃautoなんかを使いまくった最近のスクリプト厨のc++ならそうだろうけれど、
普通に仕事で読むc++コードはそういう感じではないからね。
てかc++と一口に言っても年代で全く別言語だわ。
そういうスクリプト的な書き方をした場合、rustのがc++より快適に感じるのはまあわかるよ。
問題もrustのが少なく感じる。そういう書き方だけしてる場合はね。

**デフォルトの名無しさん** · 2021/05/05(水) 14:59:14.54

炎上学習法かってくらい何も理解してない感じでワロス

**デフォルトの名無しさん** · 2021/05/05(水) 15:13:12.13

autoと動的型付けの区別が付いていない...?

**デフォルトの名無しさん** · 2021/05/05(水) 15:19:43.76

型再構築なんてむしろ厳格に型付けされた言語から生まれたんだが

**デフォルトの名無しさん** · 2021/05/05(水) 15:21:51.15

C#でvarキーワードが導入された時も
基本型の変数にvar使うのやめましょうみたいな規約を
意味不明な根拠で良い規約と信じて導入しようとする
おかしな人達がそこら中に居た
後にEffective C#かそこらの書籍で
ローカル変数はvar使えと明確に書かれるようになって
老害ザマァと思ったものだ

**デフォルトの名無しさん** · 2021/05/05(水) 15:46:10.02

正義が世俗の愚劣さに屈した

**はちみつ餃子** ◆8X2XSCHEME · 2021/05/05(水) 15:47:19.58

ローカル変数の場合は型がすぐ隣に書いてあるような状況だろうからな。

**デフォルトの名無しさん** · 2021/05/05(水) 16:17:27.41

ほらね。
好き勝手な自分流でコード書いてるだけで人のコードを読んでないのが丸わかりなコメントしてても
全く気づかないバカしかいない。

**デフォルトの名無しさん** · 2021/05/05(水) 16:25:26.72

>>421
ようするに型情報を二重に書いてるようなものだよな
情報の多重化であり
小さなDRY原則違反
こんな簡単な理屈を理解出来ない奴が不思議

**デフォルトの名無しさん** · 2021/05/05(水) 16:30:24.49

書かれておらずメソッドで戻り値を取得するような場合
C#もJavaも型で呼び出し先が変わる仕組みなので
意図せずに処理の流れまで変わってしまう