Rust part10

1 名前：デフォルトの名無しさん mailto:sage [2021/04/02(金) 21:38:04.11 ID:L7IeSfpL.net] 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/ 267 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 08:59:24.96 ID:MAG7Rri7.net] 一般的なテーマだってこともわからんのか。馬鹿だな。 268 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 09:02:59.11 ID:CqGuC/ho.net] リナス「やっぱCが至高、C++もRustもクソ！」 269 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 09:13:04.98 ID:IM8zU0Pj.net] rustもpanicをコアから外せればいけると思うのだが もろ言語のコアなんだよな 痛いところ突かれた 270 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 10:06:12.73 ID:yJd/gJxx.net] 言語の問題じゃなくてライブラリの問題では 271 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 10:11:32.69 ID:vtdgUVMq.net] へーpanicってライブラリなんだ 272 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 10:29:13.61 ID:nPKzA798.net] >>259 仮にその対立構造を認めるにしても 「雑に書くならC++のほうが楽」なんて、曖昧で基準も何も示されない話に真面目に付き合う奴はいないよ そういう奴らのための隔離スレとして用意したから好き放題書き散らせばいい 273 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 10:42:59.04 ID:2MdujosH.net] コード長の話でしょ？ どー考えてもC++の方が短いよ んなとこで張り合ってもしゃーない 274 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 11:44:33.91 ID:8fCyRscb.net] 3割ぐらいは長いな https://benchmarksgame-team.pages.debian.net/benchmarksgame/how-programs-are-measured.html median source code gzip (July 2018) Ruby 568 Python 672 C++ 1044 C 1115 Rust 1319 275 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 12:07:10.57 ID:RPGHdVOi.net] >>258 乙。次からテンプレ入りで >>980 スレ立てよろ ========== 公式 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/ ※C++との比較は専用スレへ C++ vs Rust https://mevius.5ch.net/test/read.cgi/tech/1619219089/ 前スレ Rust part10 https://mevius.5ch.net/test/read.cgi/tech/1617367084/ ========== 276 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 12:17:31.75 ID:HBFF7y2e.net] Rustしかまじめに勉強したことないけどいい言語だと思うよ 277 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 12:21:15.48 ID:8fCyRscb.net] >>272 C/C++で一度ひどい目にあわないとRustの良さは分からんよ 今はまだ分かった気になってるだけ 278 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 12:39:27.31 ID:aNHhbYgZ.net] Rustはコンパイルでひどい目にあうから問題無い 同じことだ 279 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 12:56:02.52 ID:1Wwd5OE1.net] Rustのコンパイラに怒られまくる奴は三流プログラマ 280 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 12:59:06.14 ID:hc4SaSPr.net] Rustの文字列変数って、 str1 = str2; のように書いた時、copyではなくmoveでしたっけ？ 281 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 13:03:33.00 ID:kYV5ExS+.net] String型ならmove、&str型ならcopy 文字列リテラルなら後者 282 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 13:09:43.73 ID:hc4SaSPr.net] >>276 調べてみたら、やっぱり、 let s1 = String::from("hello"); let s2 = s1; とすると、以後、s1は使用できなくなり、使用しようとするとコンパイルエラー になるんだね。こうなるのは珍しいと言えば珍しい言語。 1. Javaだと、参照を入れるだけで同じ実体を指しているため、s2経由で変更してもs1が 　指しているものも変更される。 2. JS の 文字列は primitive 型なので「コピー動作」となり、s2とs1は別の実体を 　指すことになり、一方を変更しても他方には変更の影響は及ばない。 3. MFCのCStringも意味的にはコピー動作なのでJSと似ているが、高速化のため、 　代入後に一度も書き換えなければ、文字列を入れているメモリブロックは複製 　されないし、コピーもされない。 4. STL(C++) の std::striingもMFCと意味的には似た動作。 5. BASIC言語でも、文字列はコピー動作。 6. Rubyの場合、Javaと同じで同じ実体を参照しているだけなので、一方を書き換えると 　他方も全く同じように書き換わる。コピーするためには、s2 = s1.dup; と書く。 つまり、 a. BASIC、JS、MFC、STL(C++)は似た動作。 b. JavaとRubyも似た動作。 c. Rustは、b の系統に似ているが、s1 が使えなくなるのでちょっと違う。 283 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 13:13:27.35 ID:vtdgUVMq.net] >>278 無駄なことに時間使ってないでthe bookくらい読みなよ 284 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 13:20:12.76 ID:hc4SaSPr.net] >> C# は、「b.」の系統で、JavaとRubyと似た動作だね。 285 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 13:23:38.54 ID:hc4SaSPr.net] >>279 いろんな言語をかじってしまうと、どれがどれだか分からなくなってしまうんだよ。 文字列の s2 = s1 の動作は： a. BASIC、JS、MFC、STL(C++)は似た動作。中身をコピーする。 b. Java、Ruby、C# が似た動作。参照を代入するだけ。コピーしたければ明示する。 c. Rustは、b の系統に似ているが、s1 が使えなくなる。 286 名前：デフォルトの名無しさん [2021/04/24(土) 13:27:17.48 ID:hc4SaSPr.net] >>281 Javaの場合、Stringは参照しか出来ないが、Rustの場合は、「String型」だけでなく、 「Stringへの参照型」も使えるんだっけ (let s3:&String ??) ？ 287 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 13:36:44.63 ID:hc4SaSPr.net] >>281 C++11以降は、x = y と書いた時、y が捨ててよいと判断した場合は、 moveで、それ以外の時は copy。 一方、Rustだと、「デフォルト move」なので、基本的には move 動作。 cooy したければ、x = y.clone; と書くのかな。 色々ややこしい。 288 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 13:39:26.22 ID:glcm53ed.net] >>283 > C++11以降は、x = y と書いた時、y が捨ててよいと判断した場合は、moveで、それ以外の時は copy。 そんな親切け？？？ 左辺値同士だと明示しないとmoveしてくれないだろ 最適化次第ではしてくれるの？ 289 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 13:43:36.80 ID:hc4SaSPr.net] >>284 えっと、関数の戻り値が構造体型(or クラス型)の場合、右辺値と解釈されるので、 s2 = func(xxx); 見たいにした場合は自動的に move代入されたと思う。 それ以外だと、たいていは、s2 = std::move(s1); のように書かなければ copy代入になるんじゃないかな。 s2 = func(xxx).s; のようにした場合も move代入になるはず。 自信は無い。 290 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 13:47:10.36 ID:Kvw1J2lw.net] >>285 RVOは全然違うぞ s2の構築にコピーコンストラクタを使わなくなって早くなるというだけ ムーヴコンストラクタはそもそも出てこない 291 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 13:47:25.73 ID:hc4SaSPr.net] >>285 自分の記憶だと、一時オブジェクトも右辺値だから、 s2 = std::string("xxx"); ともし書いたとしたら、右辺は右辺値になるのでmove代入になるはず。 s2 = s3 + s4; みたいにしても、右辺は関数の戻り地と解釈されるので右辺値になるので move代入になるはず。 292 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 15:48:01.23 ID:QvmQEBVA.net] Rustってコードをフォーマットしてくれる機能があるからいいね これこそモダンな言語だと思う 293 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 16:01:24.29 ID:93XQhLV9.net] C++と比べりゃ大抵の言語はモダンだろうよ 294 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 16:18:04.79 ID:rGfKetgv.net] しーぷらぷらあきらめてどろっぷあうとした ちんちんぶらぶらまるはだかなひとたちが rustすぱぁとをきめるスレ 295 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 16:38:27.41 ID:MAG7Rri7.net] lintツールも満足に使えない人が喜んでるのかね 296 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 17:14:02.73 ID:yJd/gJxx.net] 非Syncなデータに複数スレッドからアクセスするコードに警告だしてくれるlintある？ 297 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 18:12:05.46 ID:6780eEd1.net] へーそれコードをフォーマットしてくれる機能なんだ 298 名前：デフォルトの名無しさん [2021/04/24(土) 22:25:57.79 ID:EY30SvcB.net] >>293 君は、松永の論文を読んだのかい？ 299 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 11:06:21.68 ID:M4WxeD2J.net] 質問です let a = 10; let b = &a; let &c = b; としたときに変数cは数値の10になるのですが cの前にある&は参照外しの効果があるということなのでしょうか？ 300 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 12:30:46.33 ID:yYRREqIx.net] >>295 pattern matchとdestructuringでそうなる 3行目でbの型が&Tの場合に`&c`にマッチさせたらcの型はTになる dereferenceの意味で「参照外し」と言ってるなら意味は違うかも 301 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 13:38:30.57 ID:rtrHqrCb.net] >>296 横から失礼するけど、なるほど。 let &c = b; は、C++の int &c = b; とはかなり違った解釈をされてしまうんだね。後者の場合、&は参照型の 記号で、cの型は、intへの参照型になる。Rustで似たことをしたいなら、 let c:&i32 = &b; だったっけ？ 302 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 13:41:33.98 ID:C031ZmfT.net] String::fromとString::newの使い分けを教えてください 303 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 15:13:55.60 ID:3Jdhcm8q.net] >>297 cも参照にしたいなら単純に let c = b; でいいはず let &c = b; は let (x, y) = (1, 2); と似たような代入式だからbが参照型（かつ被参照型がCopy可能）じゃないと コンパイルできない >>298 String::newは引数取らないで空文字列を作る String::fromは引数に文字とか文字列を取って同じ内容の文字列を作る リファレンス（↓）読みなさいと言いたいけどRustのリファレンスって traitとか理解しないとなかなか読みこなせないよね _ttps://doc.rust-lang.org/std/string/struct.String.html 304 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 15:19:02.60 ID:yYRREqIx.net] >>297 >let c:&i32 = &b; >>295の続きならbがすでに&i32なので let c = b; か let c: &i32 = b; C++でもStroustrupに従ってint& c = b;と書いとけば同じ意味にとれなくもない 305 名前：デフォルトの名無しさん [2021/04/25(日) 15:31:18.79 ID:2bakgkUg.net] 意図もわからずなんとなく動くからそのメソッドを使い、借用をつければなんとなく動くから 借用し、変更する予定はないけどmutし、ここはエラーだからとpanic!し、補足するなと言われているのに catch_unwind/recoverして、血の涙で泣きながら渡されたソースをシコシコ直すおまいら・・・ 306 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 16:19:28.48 ID:S2tV53BX.net] >>299 >>300 なるほど、Rustでの b は、C++で言えば「参照」ではなく「ポインタ」の「ようなもの」に なっているので、 let a = 10; let b = &a; の状態だと、 let c = b; か let c: &i32 = b; か let c: &i32 = &a; で c を b と同じような「Rustでの参照型」の変数に出来るわけね？ 307 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 16:55:56.06 ID:S2tV53BX.net] >>302 C++で書き直すと、 int a = 10; int *b = &a; の状態だと、 int *c = b; か int *c = &a; で c を b と同じような「C++のポインタ型」の変数になる。 ということだね。 308 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 17:24:01.78 ID:Ef2Yns/P.net] >>301 割とこの未来はもう始まってるんだよな。。rust書き逃げは結構ある。。 309 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 17:25:49.32 ID:vrxr0D/D.net] 悪用できない道具など無い 310 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 17:30:22.71 ID:VydP0zWV.net] 構造体があるじゃん a.b.cの更新参照もってて 同時に a.b.dの更新参照とって 両方更新しようしたら aの更新参照が２箇所にあることになるからできないの？ 使い物にならんくない？ 311 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 17:40:32.44 ID:M4WxeD2J.net] >>296 なるほど match式と同じ様に振る舞うのね 312 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 17:58:15.33 ID:In1fvQYU.net] >>306 更新参照ってのが&mutのことならできる時とできない時がある 同じ関数内で &mut a.b.c と&mut a.b.d を取ることはできるけど &mut a.b をとって &mut a.b.d を返す関数を呼び出した後は a.b.d にアクセスできない これは関数呼び出し時点で a.b が borrow されると判断されるため このあたりを何とかしようとする 議論は昔からあるけど特に進展なし https://github.com/rust-lang/rfcs/issues/1215 実用的にはデータ構造の設計を見直すか、RefCell でくるむのが良いと思う 後者は &a.b をとって RefMut を返す関数にするってことね 313 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 18:57:01.34 ID:1PPsE ] [ここ壊れてます] 314 名前：J27.net mailto: 文字列についてなんかわかりにくいのだけど C++に例えると strはchar a[len] Stringはstruct String { long len; char* str;} &strはchar* str=&a[2] このイメージで問題なし？ [] [ここ壊れてます] 315 名前：デフォルトの名無しさん [2021/04/25(日) 18:59:07.81 ID:2bakgkUg.net] 悪用できない道具など無いキリッwwwwwwww 316 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 19:04:09.95 ID:3Jdhcm8q.net] >>308 細かいけど関数の例はRefMut返すより&RefCellで返す方が安全な気がする RefCell本体の参照をシェアするだけなら二重で呼んでも大丈夫だし RefMut作るのは変更が必要な瞬間だけに限定したい 317 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 19:28:29.93 ID:gk8/Gpze.net] >>309 &strはlenも持ってる fat pointerでぐぐれ 318 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 19:34:37.74 ID:bkWFj8iO.net] RefCellについての良いドキュメントや、本などがあれば教えて。 319 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 10:05:04.39 ID:HMswZhLH.net] f3がコンパイルエラーになる理由がわかる方います？ fn f2<'a, 'b, T>(x: &'a &'b mut T) -> &'a T { x } fn f3<'a, 'b, T>(x: &'a &'b mut T) -> &'b T { x } &'b mut TがTに変換可能で &'a Tから&'b Tが変換不可だから？ 320 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 12:08:58.70 ID:DOIDJi7O.net] >>314 ‘aが’bをoutliveするかどうかわからないからじゃない？ fn f3<'a: 'b, 'b, T>(x: &'a &'b mut T) -> &'b T { x } 321 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 12:53:56.61 ID:SHVW/hag.net] リーナスのRustのパニックがどうのはCを前提としたプロジェクトとRustの流儀がマッチしないって話に見える 逆にRustの流儀に沿ってデザインされたシステムなら問題は起きない可能性もある てかそういう研究はされていないのかな？ 322 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 12:57:40.62 ID:cN+lbm0F.net] 全部rustで書けばいいってか。馬鹿すぎる発想だな。 323 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 13:02:47.63 ID:+85I2LX6.net] パニックってFFI Boundaryさえ越えなければベアメタルだろうが使っても問題ない認識なんだけど間違ってる？ 324 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 14:09:26.26 ID:u7NjNSbC.net] >>316 そのシステムの基礎を作るのがOSで、Rustの流儀に従うようにする 基礎の部分を作るために Rust の流儀を前提とした言語で書くのは出来ない。 C言語は素朴なマシン語に直るために基礎を作ることが出来る。 325 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 14:16:19.84 ID:ie84aLaE.net] >>318 別に使って問題ないし、ベアメタル用のパニックハンドラなんかもいろいろあるよ。 326 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 14:33:09.14 ID:DOIDJi7O.net] >>313 https://doc.rust-lang.org/book/ch15-05-interior-mutability.html https://ricardomartins.cc/2016/06/08/interior-mutability https://stackoverflow.com/questions/30831037/ 327 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 15:35:40.97 ID:EKg1PdAE.net] >>317 いきなりLinuxやWindows級のOSを作るのは現実的ではないが 組み込み用のOS程度なら馬鹿げてはないだろう 328 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 18:30:20.34 ID:ONuspOvn.net] >>315 回答ありがとうございます 確かに'a: 'bを付けるとコンパイル通りますね xの変換については &'a (&'b mut T) → &'a T → &'b T ('a: 'b指定により可能) という考え方で良いのでしょうか 329 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 18:39:37.14 ID:ONuspOvn.net] >>323 いや自分で書いてて全然理解できてないです 下記変換は無しですかね。。 &'a (&'b mut T) → &'a T 330 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 20:00:38.89 ID:+85I2LX6.net] >>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 型の値が作れないため) 331 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 20:05:03.48 ID:cN+lbm0F.net] >>322 じゃあ自分で作ってみりゃいいじゃん。 linuxなんかにいちゃもんつけてないでさ。 332 名前：デフォルトの名無しさん [2021/04/26(月) 23:42:53.23 ID:y3Z2xzaE.net] >>301 自分で書いてて全然理解できてない奴らが量産されて、キーボードを叩く拳に血が混じりながら 意味不明なコードを誰かが直す。なんというおそろしい未来かw 333 名前：デフォルトの名無しさん mailto:sage [2021/04/26(月) 23:56:56.13 ID:MHmHz52r.net] linuxにいちゃもんつけてる人はいないが rustユーザーがlinuxにいちゃもんつけてると主張する人はいる不思議 334 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 01:41:47.11 ID:Wan/QADt.net] 来年は組み込みRust元年になるやで 335 名前：デフォルトの名無しさん [2021/04/27(火) 02:20:03.39 ID:+/hUQLiN.net] あわしろ氏もそう言ってますね。 336 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 02:20:38.76 ID:GJuK6dTy.net] 何で今年じゃないの？ 337 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 02:36:39.16 ID:lIgwswD1.net] panicのせいで実質組み込みでも死んじゃったな linusやりすぎだぞ 338 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 02:51:16.77 ID:53lThlBD.net] >>332 Linux カーネルで受け入れられないからと言って組み込みで panic が使えないわけじゃないでしょ。 339 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 08:06:21.79 ID:C32SFGMy.net] >>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難しい。。 340 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 08:11:26.79 ID:Xxuu6Rq/.net] >>326 だから作るにあたって参考になる資料とか実装例はあるのかって話なんだが OSを作るみたいな資料はあってもその多くはCとアセンブラを前提としているし それを参考にしたらC流になってしまうだろ 341 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 08:43:32.76 ID:W9X9APV9.net] 実用的なOSとしてはこの辺かな。 https://github.com/tock/tock あとは研究論文レベルでは、Rustの所有権システムをOSの権限管理周りに使って堅牢なシステムを作ろう、みたいなのもある。 342 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 12:44:22.23 ID:/+bIFNU8.net] こんなんCで書いてるのと変わらんだろ。。 https://github.com/tock/tock/blob/master/arch/cortex-m/src/lib.rs 343 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 13:52:57.49 ID:B18ZzSzj.net] >>337 インラインアセンブリでもRustを使うとコンパイル時に強力なチェックが！ あるわけないよな…Cでいいと思います 344 名前：はちみつ餃子 mailto:sage [2021/04/27(火) 14:21:05.00 ID:gsHoUi4w.net] OS 全体の中でも低レイヤ寄りの部分はしょうがないでしょ。 どうせほとんどインラインアセンブリなら C でもいいが Rust で駄目という理由にもならんし。 345 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 15:07:33.38 ID:V9b4VlmB.net] >>339 Rustは書き辛いし、生成されるコードや意味解釈に闇がある。 346 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 15:26:51.13 ID:+CyfYLC3.net] 言語の設計思想をOS全体に広げて実用的に成功した例ってあるの？ LispOSみたいなのは全部失敗してるじゃん Cはもともとアセンブラで書かれてたOSを高級言語で書き直せるように 言語自体を後から設計したものだからね Rustがシステム記述言語として使われたいなら、Linusに意向に100%従って 言語仕様をどんどん書き換えていかないとダメ絶対 347 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 16:09:23.12 ID:sPb/VVK7.net] ここまでRedoxの話を避けているのはなぜ 348 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 17:15:40.85 ID:MBTyAJrN.net] Redoxとか使ったことないし…… 349 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 19:00:31.49 ID:UNWScvKY.net] >>341 forth? 350 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 19:17:36.18 ID:SeQzLHjb.net] forthとかなつかしいなオイ 351 名前：デフォルトの名無しさん mailto:sage [2021/04/27(火) 20:00:34.98 ID:B18ZzSzj.net] FORTH作者「FORTHには申し訳ないことをした…」 ホントだよ！ FORTHがきちんとケアされ続けた世界線を見てみたい 352 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 00:25:46.13 ID:zZPOP3tR.net] forthって今も使われとるのだろか。。 353 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 01:56:40.25 ID:RzWjm9zz.net] 昔はＢＩＯＳ とか forth で書かれてたけど今はどうかなー 354 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 03:06:12.66 ID:k8H8q1SE.net] Rustは配列に添え字アクセスする時、必ず境界チェックされるよね？ 355 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 06:10:01.83 ID:Er4sy6AA.net] 言語設計とOSが一体ていうのがどのくらいまでを指すかにもよるけど Smalltalk は元々は言語=OSみたいなシステムだったな 356 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 10:12:57.76 ID:HN4XQcog.net] >>349 言語仕様的にチェックされるかという意味ならYes 357 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 10:51:18.82 ID:EDIdYwla.net] >>351 ライブラリの実装ではチェックされるようなコードになっているが 最適化で消えるかも知れないので実行時に必ずしもチェックされるとは限らないという意味？ 358 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 11:29:39.09 ID:1OyY1L+6.net] コンパイル時に境界チェックを外せると確定してない限り最適化しようが境界チェックはやる 359 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 13:16:17.19 ID:BfdKSrwu.net] 例のLKML見直してて思ったけど unsafeなコードetcが不変条件を破壊した場合に対する安全な対処法って今なんかあるのかな 360 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 13:47:19.78 ID:3EuQZ3Ew.net] こんなとこじゃね https://doc.rust-lang.org/edition-guide/rust-2018/error-handling-and-panics/controlling-panics-with-std-panic.html 361 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 15:27:12.87 ID:jQpDsyge.net] 二重投稿になるかも知れませんが、[0; n] で、n要素のi32 型の配列という 意味になるようですが、n が実行時にしか決まらない変数でも大丈夫ですか？ その場合、データ領域はスタック領域から確保するのでしょうか。 362 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 18:08:50.70 ID:HN4XQcog.net] >>356 まずはリファレンスを https://doc.rust-lang.org/std/primitive.array.html 363 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 18:22:21.07 ID:t+PzYqgO.net] >>354 不変条件の種類によるけど最悪 undefined behavior になるから対処は無理じゃないかな コンパイラの最適化レベル落とすとかで振る舞いを予測可能にすることは出来るのかも 364 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 19:36:40.90 ID:jQpDsyge.net] >>357 でも、Box::new([0; n])と書いた場合には、nはコンパイル時に決まらない値 でもいいの？ 365 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 20:41:55.42 ID:m2UbhZH5.net] いいに決まってんだろハゲ！ 366 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 20:43:40.06 ID:XWuZH88T.net] Vec::with_capacity使えよ 367 名前：デフォルトの名無しさん mailto:sage [2021/04/28(水) 21:18:06.47 ID:EDIdYwla.net] 試せば2秒で分かるんだから試しなよ

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef