- 1 名前：デフォルトの名無しさん [2023/02/25(土) 09:49:46.74 ID:VRyB88xR.net]
- C++の色々配慮してめんどくさい感じは好きだけど、実務になったらメモリ安全性とか考えて今後Rustに変わっていくんかな？
- 348 名前：デフォルトの名無しさん mailto:sage [2023/03/16(木) 15:38:33.76 ID:07ACJDqQ.net]
- >>340
>あとマルチスレッドにおけるデッドロックはRustで検出できるのかい?
コンパイルエラーになるかという意味ならならない
その辺はGoとかと一緒でイディオムで対処
- 349 名前：デフォルトの名無しさん mailto:sage [2023/03/16(木) 15:42:21.06 ID:I4Z9PBKv.net]
- >>348
メモリ安全だけだとあんまり有り難くないな
もしミスってもデバッガで直ぐ分かる訳だし
- 350 名前：デフォルトの名無しさん mailto:sage [2023/03/16(木) 15:51:10.02 ID:TBYrYTSU.net]
- >>349
メモリ安全だけでなく
C++とは異なりRustはデータ競合を完全に防げる
C++とは異なりRustは広義のヌル安全であることも大きい
- 351 名前：デフォルトの名無しさん mailto:sage [2023/03/16(木) 16:02:01.69 ID:PpEtLqb1.net]
- >>350
それでも言語が汚いから使いたくない。
- 352 名前：デフォルトの名無しさん mailto:sage [2023/03/16(木) 16:24:46.13 ID:TBYrYTSU.net]
- 様々なプログラミング言語と比較してもRustは美しい側に入るとともに
言語機能が強力で可読性が高い
とくにパターンマッチング
これはC++でも導入しようとしているが進んでいないだけでなく
C++で出ている提案では強力でなく可読性もよくないようにみえる
Rustはパターンマッチングが非常に強力で可読性の向上の最大要因となっている
- 353 名前：デフォルトの名無しさん mailto:sage [2023/03/16(木) 16:52:12.01 ID:3grScBM3.net]
- >>351
Rustかどうかは別として10年後くらいには
今Rustが実現してるやり方が標準的なものになるのは間違いないから
考え方やメリットデメリット、限界をある程度学んでおいた方がいいかもよ
Rust自体はいいところもあれば悪いところも沢山あるので実際に使うかどうかは状況次第
- 354 名前：デフォルトの名無しさん mailto:sage [2023/03/16(木) 17:04:30.58 ID:YeYGULup.net]
- 結局Rustがもひとつ流行らないのって
①エコシステム
②ライブラリ
なんじゃやいの？
①は流行ってきたら充実するものでニワトリと卵だけど、②はどうなん？
②が中々充実しないのは何かRustのライブラリ書いてやろうと言う人が出てこない理由あるんかな？
- 355 名前：デフォルトの名無しさん mailto:sage [2023/03/16(木) 17:12:09.28 ID:3C3pOHVn.net]
- 採用宣言が大手から出たんだし、そのへんは急ピッチで進むっしょ
>>353
10年後には、いまRustが提示しているものを踏まえた、さらにスマートなものが出ているかもしれない
でも、それを理解するには、ここから10年間、Rustの成果を学び、踏まえるのがいい だから俺はいま学ぶぜ
願わくば、10年後にも、しぶとい感じでC++が現役であってほしいな
- 356 名前：デフォルトの名無しさん mailto:sage [2023/03/16(木) 17:15:50.99 ID:QTF1+6wX.net]
- C++は次々と新たな機能を増やし続けてきたが増築工事だから色んな点で限界が多い
例えば話が出ている広い意味のnull安全はC++がoptionalの導入をとっくに行っているが
・なかなか普及しない
・既存ライブラリの仕様とのチグハグ
・パターンマッチング機能の導入がまだなので使い勝手が悪い
などの問題が山積みであまり使われていない
C++の他の機能導入でも似たような状況が多い
Rustが美しく書きやすく読みやすいのはそれらの多くが最初から解決されているからだと感じる
C++をさっさと棄てるのが現実解であると理解できた
- 357 名前：デフォルトの名無しさん mailto:sage [2023/03/16(木) 17:23:01.97 ID:3C3pOHVn.net]
- C++はなんでも書けるかわりに、いまや考えなしに勝手に組み合わせると めちゃくちゃになるんだよね
Rustには引き算の美学の成果が入ってる
C++も、先頭で縛りを宣言できるようにして、美しく書けるようになるべきだ 絶対に
- 358 名前：デフォルトの名無しさん mailto:sage [2023/03/16(木) 17:47:47.57 ID:VzH+f4s6.net]
- ソースコードのコンパイル・ビルドの時点ですべての問題点をエラーで全部弾いてくれたら理想的だね
大抵はテストツールまで書かないと使えない
- 359 名前：デフォルトの名無しさん [2023/03/16(木) 19:59:01.19 ID:srO8KDRm.net]
- >>350
コンストラクタでlockしてデストラクタでunlockするproxyクラス作って
その一時オブジェクト経由で触れば良いだけなので何を今更という感じ
メモリ安全は別にデバッガですぐ特定できるし
マルチスレッドではRustの利点がない
デッドロックが検出できたらまぁ嬉しいが?
- 360 名前：デフォルトの名無しさん [2023/03/16(木) 20:03:11.00 ID:u3ZLVO1D.net]
- クラス笑
- 361 名前：デフォルトの名無しさん mailto:sage [2023/03/16(木) 20:03:55.24 ID:srO8KDRm.net]
- >>354
多くの人に使ってもらおうと思ったらCで書いて
各言語のラッパーを提供するってのが多い
RustにこのCの代わりができれば良いんだけども?
もしRustユーザしかリンクできないライブラリだったら
Rustはそもそもユーザー数が少ないし
Rustで書く動機が減る
- 362 名前：デフォルトの名無しさん mailto:sage [2023/03/16(木) 20:07:00.05 ID:srO8KDRm.net]
- >>357
多人数でやるプロジェクトにはC++は自由過ぎて
その点は書き方にある程度拘束される意義はあると思う
- 363 名前：デフォルトの名無しさん [2023/03/16(木) 23:56:33.56 ID:ufHOK4fg.net]
- >>320
ありがと
意外と変わらないんだ
- 364 名前：デフォルトの名無しさん [2023/03/17(金) 00:02:12.50 ID:aeVIJ/KU.net]
- Rustでゲームエンジンやグラフィックソフト作れたら認めてやるよ
- 365 名前：デフォルトの名無しさん [2023/03/17(金) 00:04:03.80 ID:aeVIJ/KU.net]
- DTMに使いそうなDAWソフトとかでもいいぞ
書き方はGitHubにいろんなOSSの見本があるから簡単でしょ？
- 366 名前：デフォルトの名無しさん [2023/03/17(金) 00:04:27.28 ID:aeVIJ/KU.net]
- Rust使いこなせるくらいなら余裕のはず
- 367 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 00:14:30.94 ID:o5CBT2m0.net]
- SDLのRustバインディングはあるけども
Rustで本体を書いて他の言語のバインディングって出来るの?
他の言語との乖離でRustならではの部分が封じられて
あんまり嬉しくないような気もするのだが?
それともRustでライブラリ書いたらターゲットはRustだけになるのかな?
- 368 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 00:14:49.50 ID:6s2Kuhdf.net]
- >>356
>Rustが美しく書きやすく読みやすいのはそれらの多くが最初から解決されているからだと感じる
俺とは感覚が違う。Rustを美しく感じない。
- 369 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 00:21:48.75 ID:6s2Kuhdf.net]
- これは理解できるし、はっきりそう書けばよい:
・Rustの本を書きました。Rustは良い言語なので本を買ってください。
・Rust用のライブラリを書きました。Rustは良い言語なのでライブラリを買ってください。
これは理解できないし、問題:
・C++は害悪なのでRustをみんなが使って世の中を良くしよう。
・自分がC++を使いこなせないのに、使いこなせる人が許せないから、使いこなせるRustを普及させたい。
- 370 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 00:39:18.46 ID:2hBAQcCo.net]
- RustはC++なんかよりずっと簡単! <- これならわかる
- 371 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 00:51:57.03 ID:6s2Kuhdf.net]
- >>370
それも意見が分かれそうだ。
- 372 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 00:54:59.09 ID:UJajhYy7.net]
- >>367
出力をcdylibにすれば一般的なCソースのライブラリと同じ形式（soとかdll）で出力されるはず
当然FFI絡みの制約は出てくるしextern指定とかも必要だけど境界部分だけ気を付ければ内部は自由にRustできる
wgpuはRustで書かれたグラフィックライブラリだけどその機能をC/C++から呼ぶためのwrapperでwgpu-nativeがあって
さらにそのC用のwrapper経由で別言語（Pythonとか）のwrapperが作られてたりする
依存関係がややこしいけど
wgpu (Rust製、Rust用Lib出力) ← wgpu-native (Rust製、C用Lib出力） ← wgpu-py (C+Python製、Python用ライブラリ）
みたいな構造
- 373 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 01:04:51.03 ID:o5CBT2m0.net]
- >>372
なるほどー
- 374 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 05:58:07.48 ID:HbMAHHRq.net]
- >>359
Rustならマルチスレッドでもマルチタスク(=グリーンスレッド)でも書きやすく
さらにデータ競合を完全に防げるRustしか現状の言語では選択肢ないと思うよ
各言語で書き比べてみれば一目瞭然
そのため並行並列を使うプログラムはC++→RustだけでなくJava→Rustの移行も進んでる
- 375 名前：デフォルトの名無しさん [2023/03/17(金) 10:42:47.45 ID:o5CBT2m0.net]
- >>374
>>そのため並行並列を使うプログラムはC++→RustだけでなくJava→Rustの移行も進んでる
全く進んでいないのだが?w
俺の周りではC++やJavaでマルチスレッドで書く奴の方が多い
というかそもそもRustを使っている奴は一人もいないw
妄想なのか詐欺師なのか...
Linuxでも さもRustの導入が進んでるように言うが実際は>>39だし...
- 376 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 10:55:37.94 ID:FKqwIQQI.net]
- マルチスレッドはまあ普通だけどマルチタスクはめちゃくちゃ書きにくいぞ
単純なWeb Serverくらいならいいがちょっと凝った処理を書こうとするとくっそ面倒くさい
tokio依存なのもダメなところ
- 377 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 11:06:44.98 ID:tBmmskox.net]
- そここそ、OSがRust化するっていうんだから、きれいなAPIが出てきてほしいね
結局、効率を求めたらC API に肉薄することになるし
- 378 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 11:15:24.56 ID:TZnQdWAf.net]
- Linuxの現状はRustでドライバが書けるようになったってだけだよ
誤解なきよう
- 379 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 11:17:48.64 ID:RPqYd1dp.net]
- >>376
マルチタスク(並行)で綺麗に書ける言語はRustとGoだけだな
GoはPromise(Future)使わないあのスタイルに寄せられるのとGC言語であるため
Rustが汎用では筆頭言語になる
- 380 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 11:33:47.61 ID:Igk62yzo.net]
- >>376
だよな
Rustの非同期が簡単だと勘違いしてるやつはチュートリアルレベルしかやったことないやつだと思うわ
- 381 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 11:43:37.53 ID:RPqYd1dp.net]
- >>380
自分でpollしたりするのも含めて色んなレベルで書いているが簡単だぞ
Rustで並行並列が難しいと言うならばとこが難しいのかを具体的に述べよ
そしてそのケースでRustの代わりに使える別言語があるならば述べよ
- 382 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 11:51:53.17 ID:UWSndCzi.net]
- Goと比較したら性能面でも劣ることが多くて同程度の性能を実現したければ手動であれこれやらないといけないからな
- 383 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 12:19:57.65 ID:CZQwnfV3.net]
- >>381
そうやって自分が分かってない事を無料で聞き出してしまおうとする。ずる賢い。
- 384 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 12:31:22.55 ID:RPqYd1dp.net]
- >>382
Goが速い遅いと言ってたのは昔の話
今はGoもRust tokioも改善してほぼ同じwork stealing方式になり似たりよったりの速度
C++をあきらめてRustに対抗できるGoを持ち出すしかないほど追い込まれてるのかね
>>383
Rustで並行並列が他の言語より難しいことはない
難しいと主張するならば何が難しいのかを述べたまえ
もし本当に具体的に困ったことがあるならばアドバイスできる
- 385 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 12:38:18.49 ID:YQ2F/Sw2.net]
- 追い込まれてるってなんだろうね
楽しそうだね
- 386 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 12:39:30.67 ID:o5CBT2m0.net]
- この人は妄想癖がある
- 387 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 12:56:40.90 ID:LTrpjv8n.net]
- >>384
>Rustで並行並列が他の言語より難しいことはない
>難しいと主張するならば何が難しいのかを述べたまえ
>もし本当に具体的に困ったことがあるならばアドバイスできる
問題意識があること、気付くこと、それが大事。
あなたにはそれがない。
- 388 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 13:03:24.97 ID:Gi38nai6.net]
- >>383
わかり味
こいついつも教えて君だよなぁ
総論しか書けないところみると
マニュアルだけ読み込んだペーパープログラマーがそれを隠すためのネタを欲してるようにしか見えない
- 389 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 13:03:47.55 ID:T8dNhcTz.net]
- Goはgoroutine間のデータ競合の発見を実行時のランタイムでやるしかなく
Goはあまりお勧めできないなあ
メモリ共有せずチャネルを使う範囲ならGoでもいいけど
Rustでもチャネルはもちろん使えるし
共有メモリで安全にデータ競合を起こさず使えるからRustがいいよ
- 390 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 14:28:10.79 ID:ZRpBqjDt.net]
- ほんと嘘ばっかりだな
- 391 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 15:04:18.42 ID:RPqYd1dp.net]
- >>389
Goに限らずデータ競合を実行時にしか検出できない言語ではデータ競合が時々しか起きない場合のデバッグが難しい
Rustを使うべき理由はデータ競合を静的に検出できる点にある
- 392 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 15:55:42.60 ID:LTrpjv8n.net]
- >>391
それはマルチスレッドプログラミングのアルゴリズムをRustは強く制限しているから。
だから、その制限から外れるようなアルゴリズムは使えないので柔軟性は欠く。
- 393 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 16:03:41.59 ID:tBmmskox.net]
- そこが、新規書き起こしのRustのメリットでもあるわけよな
- 394 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 16:05:57.04 ID:LTrpjv8n.net]
- >>393
そして、独自のアルゴリズムは使えないので、アルゴリズムの研究には向かない。
- 395 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 16:11:31.46 ID:TZnQdWAf.net]
- 第n次LinkedListおじさんvsGCおじさん戦争
- 396 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 16:16:19.10 ID:tBmmskox.net]
- 頑張ったら書けるんじゃねーの、それもsafeで
そのへんはC++もおなじ 自分も、ニッチすぎる薄いラッパなら頑張って書くし
- 397 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 16:20:04.75 ID:KZujdKGk.net]
- >>392
Rustで記述できないマルチスレッドプログラミングのアルゴリズムなんてものは存在しない
Rustは柔軟性が非常に高い
- 398 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 16:32:10.93 ID:LTrpjv8n.net]
- >>397
嘘を書かないで。
- 399 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 16:41:56.97 ID:T8dNhcTz.net]
- Rustで書けないのがあると主張している人が例を出せばいいんじゃね
Rustにそんな制限はないからすべて書けるよたぶん
- 400 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 16:52:07.05 ID:4tGjgBNl.net]
- 結局何年か後にはlinux kernelを全部rustで書くつもりなんかな
- 401 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 17:00:34.34 ID:tBmmskox.net]
- 書けなくはないだろ、書きやすいかどうかだ 実際どうなん
C++は、なんでも書けるが、油断すると複雑すぎる代物ができあがる
そんで、「でも例外がくるとー」「でも異常値がくるとー」って
- 402 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 17:01:41.44 ID:LTrpjv8n.net]
- >>399
マルチスレッドのアルゴリズムは非常に多く存在していて、ある意味では無限に
考えられる。Rustは数個しかサポートしていないから、無理。
- 403 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 17:26:21.78 ID:T8dNhcTz.net]
- >>402
Rustで書けない例があると主張したいなら例を出せばいいんじゃね
Rustに何か制限があるわけじゃないからおそらくなんでも書けるよ
- 404 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 17:31:51.55 ID:LTrpjv8n.net]
- >>403
unsafeになる。
- 405 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 17:42:50.37 ID:T8dNhcTz.net]
- >>404
マジ？信じられん
もし本当ならそのunsafeを使わざるを得なかった例を具体的に出せばいいんじゃね
- 406 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 17:43:39.56 ID:tBmmskox.net]
- unsafeをゼロにするよりも、極小なunsafeブロックを組み込んで華麗にキメてほしいね
これはC++も同様
- 407 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 17:52:35.17 ID:2s/kFNH6.net]
- >>400
そういう枯れた古いものをわざわざ書き直すことに熱意を燃やせる人間は少ない
新世代のデータベースやcrypt/blockchainのように金になる新しい成長分野ではc/c++よりもrustがよく使われてる
技術の自然な世代交代は既存システムの置き換えから始まるものではない
- 408 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 18:01:30.86 ID:LTrpjv8n.net]
- >>405
次のことが成り立っていれば教えてもらわなくても自然に分かる:
・マルチスレッドの事を理解している。
・Rustのことを理解している。
・算数的直観力に優れる。
- 409 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 18:03:48.04 ID:u99ocdLb.net]
- 複製おじさん vs 100点おじさん
Fight!
- 410 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 18:24:08.50 ID:NC4w42Nt.net]
- >>401
そのへんの問題もRustだと安全安心なのがいいよなー
特に例外機構を無くしたのは大成功
あとResult放置してると警告もしてくれるしな
>>404
そのunsafe使わないと書けなかったコードを出してみ
寄ってたかって添削してやろう
- 411 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 18:36:02.65 ID:LTrpjv8n.net]
- >>410
俺は天才だから、お前みたいな凡人に無料でヒントをくれてやらない。
- 412 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 19:13:16.48 ID:tBmmskox.net]
- Rustって、削ぎ落したものは復活させません、って宣言とかしてるん?
- 413 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 19:55:25.86 ID:9o1NNcpX.net]
- >>408
Rustをあんまり知らんけど言語間に根本的な差はなくね？
- 414 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 20:02:50.35 ID:kImSYq8C.net]
- >>408はいつものキチガイ
RustもC++もコードを書けたことがない
相手にするだけ無駄
- 415 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 20:19:10.88 ID:TZnQdWAf.net]
- >>414
今さらなに言ってるんだ？
ここにはキチガイしかいないぞ？
俺もお前もな
- 416 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 20:29:34.70 ID:Zxg/DnHC.net]
- >>413
ん？だから何？
- 417 名前：デフォルトの名無しさん mailto:sage [2023/03/17(金) 21:29:42.97 ID:o5CBT2m0.net]
- >>416
アルゴリズムを書ける書けないの差はでない
- 418 名前：デフォルトの名無しさん [2023/03/17(金) 23:44:57.66 ID:Lcw0Ean/.net]
- Rustほとんど知らん俺でも総合的にRustのほうがC++よりはいいだろと思う
C++より後発言語で、で、ライバルになるC＋＋に劣っているようじゃダメだからな
で、お前らは、すごいRustで具体的に何を作っているんだ？
- 419 名前：デフォルトの名無しさん mailto:sage [2023/03/18(土) 00:11:15.51 ID:6kQD14Ek.net]
- ChatGPT先生に聞いてみた
>>404の言う通り
template <typename T>
class LockFreeStack {
public:
void push(const T& value) {
Node* new_node = new Node(value);
new_node->next = head.load(std::memory_order_relaxed);
while (!head.compare_exchange_weak(new_node->next, new_node,
std::memory_order_release,
std::memory_order_relaxed));
}
std::shared_ptr<T> pop() {
Node* old_head = head.load(std::memory_order_relaxed);
while (old_head && !head.compare_exchange_weak(old_head, old_head->next,
std::memory_order_acquire,
std::memory_order_relaxed));
return old_head ? std::make_shared<T>(old_head->value) : nullptr;
}
private:
struct Node {
T value;
Node* next;
Node(const T& value) : value(value), next(nullptr) {}
};
std::atomic<Node*> head{nullptr};
};
- 420 名前：デフォルトの名無しさん mailto:sage [2023/03/18(土) 00:31:48.86 ID:jelBOeFa.net]
- 先生にからかわれとるぞｗ
- 421 名前：デフォルトの名無しさん mailto:sage [2023/03/18(土) 00:53:02.93 ID:rMRLIFsD.net]
- >>419はこれと同じのをRustで書いたらunsafeになる(だろ?)
って言いたいんだろ
偉大なるChatGPT先生が言うんだから間違いないだろな
- 422 名前：デフォルトの名無しさん mailto:sage [2023/03/18(土) 00:58:57.68 ID:6kQD14Ek.net]
- >>421
いやChatGPTは信用しない方が良い
俺はRustは良く分からんがChatGPT曰く
>Rustには、このようなロックフリーなデータ構造を提供する
>クレート（ライブラリ）が存在します。その一つがcrossbeamです。
>このクレートは、スレッドセーフで効率的なデータ構造を提供しており、
>crossbeam内でUnsafeな操作が行われているにもかかわらず、
>APIを通じて安全に使用できます。
だそうな
crossbeamってRustで書かれとらんのかな?
- 423 名前：デフォルトの名無しさん mailto:sage [2023/03/18(土) 01:14:24.86 ID:pMxUNH+f.net]
- >>422
本当は、ライブラリの中だけをunsafeにして、アプリ側はsafeに出来るケースも有れば、
アプリ側も unsafe を消せないケースもありえる。
- 424 名前：デフォルトの名無しさん mailto:sage [2023/03/18(土) 01:17:39.13 ID:6kQD14Ek.net]
- unsafeってキーワード使えばチェックをオフにできるのね
- 425 名前：デフォルトの名無しさん mailto:sage [2023/03/18(土) 01:29:02.55 ID:6kQD14Ek.net]
- >>420
Rustで書いてみよう！
- 426 名前：デフォルトの名無しさん mailto:sage [2023/03/18(土) 04:35:18.48 ID:+IGrKU6n.net]
- ArcとAtomicでほぼそのまま書けるけど
pointer dereferenceのためにunsafeは必須
- 427 名前：デフォルトの名無しさん mailto:sage [2023/03/18(土) 10:03:55.24 ID:fNuha5Rk.net]
- 言語マウントごっこにしか使われてないrust
- 428 名前：デフォルトの名無しさん [2023/03/18(土) 10:25:46.77 ID:fSPMk7mF.net]
- no chance
- 429 名前：デフォルトの名無しさん mailto:sage [2023/03/18(土) 11:41:47.24 ID:ux4diyjf.net]
- 平日の昼にID真っ赤なのは仕事か
板違いのスレで必死に毎日お疲れさん
- 430 名前：デフォルトの名無しさん mailto:sage [2023/03/18(土) 14:02:46.54 ID:d2/CRNVk.net]
- ちょうどオライリーから「Rust Atomics and Locks」という本が出てるよ
基本的な内容を説明してる本なのでC++でatomicsやmemory orderingに慣れ親しんでる人がわざわざ買うほどのものではないかもしれないけど
かなりわかりやすくまとまってるのでRustでこの辺りの機能を使ったコードを良く書く人は読んで置いて損はないと思う
- 431 名前：デフォルトの名無しさん [2023/03/18(土) 16:09:57.63 ID:fSPMk7mF.net]
- ほう
https://bokuweb.github.io/undefined/articles/20230205.html
- 432 名前：デフォルトの名無しさん mailto:sage [2023/03/18(土) 18:42:10.12 ID:kFUsfJhu.net]
- Lock-Freeなデータ構造を自分で作りたい人はこれを見るといい
Porting Java's ConcurrentHashMap to Rust (part 1)
https://www.youtube.com/watch?v=yQFWmGaFBjk
- 433 名前：デフォルトの名無しさん mailto:sage [2023/03/19(日) 12:22:41.89 ID:LfQxDddq.net]
- > cargo new hoge
> cargo run
→ 3MB
main.rs に
use clap::Parser;
追加すると
> cargo run
→ 100MB 超えるんだが
どうすれば容量減らせるん？
- 434 名前：デフォルトの名無しさん mailto:sage [2023/03/19(日) 12:44:51.20 ID:TIfaDrwo.net]
- とりあえず--releaseつける
- 435 名前：デフォルトの名無しさん mailto:sage [2023/03/19(日) 13:32:03.94 ID:fPDrKYk/.net]
- しらんけど
https://igaguri.はてなぶろぐ.com/entry/2020/06/07/133847
https://crates.io/crates/cargo-clean-recursive
- 436 名前：デフォルトの名無しさん mailto:sage [2023/03/19(日) 13:35:18.59 ID:fPDrKYk/.net]
- とりあえずは
cargo clean
で良いはず
最初から余計なのは造りたくないって言う話ならほんまにしらん
- 437 名前：デフォルトの名無しさん mailto:sage [2023/03/19(日) 14:03:33.37 ID:4KWNgnTF.net]
- >>436
ありがとうございました
- 438 名前：デフォルトの名無しさん mailto:sage [2023/03/20(月) 08:59:55.73 ID:8VwEKWf+.net]
- やっぱC++にもボローチェッカ欲しい
なんならCにも欲しい
attributeとか併用したら、やってできないことはないんじゃねーの
- 439 名前：デフォルトの名無しさん mailto:sage [2023/03/21(火) 17:20:17.93 ID:icU0z8mb.net]
- rg3d はなぜ
https://github.com/rg3dengine/rg3d
から
https://github.com/FyroxEngine/Fyrox
に改名したのですか？
- 440 名前：デフォルトの名無しさん mailto:sage [2023/03/21(火) 17:50:34.39 ID:5MGYYNx+.net]
- rustの読み物公式が面白いのしっかり出してるから
それ読むだけでも大分良い
後発言語らしくイイトコどりしまくってる
null無くした代わりになんでもかんでもラップしてるから若干だるいけど
すげー面白い
- 441 名前：デフォルトの名無しさん [2023/03/21(火) 19:41:09.03 ID:4irMO5jk.net]
- Unity超えるゲームエンジン作ってから言え
- 442 名前：デフォルトの名無しさん [2023/03/21(火) 19:42:14.14 ID:4irMO5jk.net]
- Blenderとかでもいいよ
- 443 名前：デフォルトの名無しさん mailto:sage [2023/03/21(火) 21:54:25.24 ID:gItZ+a0F.net]
- cpp2rsみたいのがじきできるから、そしたら一発
ただ、それだと、safeではあるけど、Rustのシンプルさは(メリットとして)失うな
- 444 名前：デフォルトの名無しさん [2023/03/22(水) 07:30:44.03 ID:7nCtmzjD.net]
- >>443
ほんとにできる？
- 445 名前：デフォルトの名無しさん [2023/03/22(水) 09:09:27.85 ID:II3LrhVD.net]
- 文法がRustなだけで
Rustのコードとして使い物にならん
ゲテモノが出て来るわ
今のGPTも酷い
- 446 名前：デフォルトの名無しさん mailto:sage [2023/03/22(水) 09:47:28.48 ID:RLKJ2atP.net]
- ああ、あと全自動とは言わない あっちこっちで、あれなおせーこれなおせーって言われるかと
- 447 名前：デフォルトの名無しさん [2023/03/22(水) 10:40:01.19 ID:Motackg9.net]
- たしかに、C++でメモリ安全性を静的チェックするツールを作るのはなかなか難しいもんかね？
- 448 名前：デフォルトの名無しさん mailto:sage [2023/03/22(水) 12:19:59.74 ID:jZlOcGNt.net]
- gccだとvargrindとかあるけどね
- 449 名前：デフォルトの名無しさん mailto:sage [2023/03/22(水) 14:27:48.09 ID:RqRpj7Ax.net]
- valgrindはgcc関係なくないか？
rustでもメモリリークの確認に使う
有用なツールだけど静的チェックと呼べるのかは疑問
- 450 名前：デフォルトの名無しさん mailto:sage [2023/03/22(水) 21:31:28.83 ID:vDLoPLCP.net]
- valgrindは実行時チェックだから出現レアケースだと時間内に検出できない
- 451 名前：デフォルトの名無しさん mailto:sage [2023/03/22(水) 21:43:05.82 ID:jZlOcGNt.net]
- AddressSanitizerでもValgrindでもmtraceでも好きなの選べ
https://kivantium.hateblo.jp/entry/2018/07/14/233027
- 452 名前：デフォルトの名無しさん mailto:sage [2023/03/22(水) 21:46:10.74 ID:vDLoPLCP.net]
- 全て実行時チェックだな
- 453 名前：デフォルトの名無しさん mailto:sage [2023/03/22(水) 21:54:30.07 ID:jZlOcGNt.net]
- 静的ツールだとこんなのもあるね
https://cppcheck.sourceforge.io/
スマートポインタ使えばそもそもいらんがね
|
 |
