公式
https://www.rust-lang.org/
https://blog.rust-lang.org/
https://github.com/rust-lang/rust
公式ドキュメント
https://www.rust-lang.org/learn
Web上の実行環境
https://play.rust-lang.org
※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/
※次スレは原則>>980が立てること
前スレ
Rust part24
https://mevius.5ch.net/test/read.cgi/tech/1716759686/
ワッチョイスレ
プログラミング言語 Rust 4【ワッチョイ】
https://mevius.5ch.net/test/read.cgi/tech/1514107621/
探検
Rust part25
レス数が1000を超えています。これ以上書き込みはできません。
2024/07/31(水) 00:46:26.17ID:DBMWY2QT
907デフォルトの名無しさん
2024/09/18(水) 12:51:56.38ID:Vqc4Tj2+ >>906
ソース見たらコストの高いハッシュ衝突安全性を必要としない計算ベンチでそれを使っているいつもの話だった
知識がないとそういうミスをしてしまいがち
他にもVecをインデックスでシーケンシャルアクセスしたりRustに不慣れすぎ
ソース見たらコストの高いハッシュ衝突安全性を必要としない計算ベンチでそれを使っているいつもの話だった
知識がないとそういうミスをしてしまいがち
他にもVecをインデックスでシーケンシャルアクセスしたりRustに不慣れすぎ
908デフォルトの名無しさん
2024/09/18(水) 13:01:04.32ID:vQRPyR7n それより>>890ってどうなの
909デフォルトの名無しさん
2024/09/18(水) 13:54:44.95ID:3YdRpzvH910デフォルトの名無しさん
2024/09/18(水) 14:41:44.76ID:Qk7JHPx8 >>906
Rsutってインタープリター言語だっけ?
Rsutってインタープリター言語だっけ?
911デフォルトの名無しさん
2024/09/18(水) 15:08:51.57ID:TO48nZmb >>906
Rustは二重ループ内(141行目)の
let new_prefix = prefix.clone() + &ch.to_string();
が負担になってそう
他の言語と比べてないけどcloneはいらないはず
Rustは二重ループ内(141行目)の
let new_prefix = prefix.clone() + &ch.to_string();
が負担になってそう
他の言語と比べてないけどcloneはいらないはず
912デフォルトの名無しさん
2024/09/18(水) 15:25:03.39ID:TO48nZmb zigの実装に寄せるなら
let new_prefix = format!("{prefix}{ch}");
でいいのかな
全部見てないから動くか分からんけど
let new_prefix = format!("{prefix}{ch}");
でいいのかな
全部見てないから動くか分からんけど
913デフォルトの名無しさん
2024/09/18(水) 15:26:20.88ID:SWVF2jAZ914デフォルトの名無しさん
2024/09/18(水) 19:11:45.89ID:mTxD41RC >> 909
Go & trie-rs 追加
Go 0.845
Rust 1.306 (trie-rs)
>> 912
影響ないっぽい、ブレの範囲内だった
Go & trie-rs 追加
Go 0.845
Rust 1.306 (trie-rs)
>> 912
影響ないっぽい、ブレの範囲内だった
915デフォルトの名無しさん
2024/09/18(水) 22:13:43.11ID:nFxNUCWE >>906
意図的なのかわからないがそのコード
ZigではArenaAllocatorつまりアリーナを用いている
C++ではmonotonic_buffer_resorceつまりアリーナを用いている
Rustではなぜかアリーナが使われていない
その差が速度差となっている
前にもこのアリーナ利用の有無で速度が全く異なる話がこのスレで出ていたような
意図的なのかわからないがそのコード
ZigではArenaAllocatorつまりアリーナを用いている
C++ではmonotonic_buffer_resorceつまりアリーナを用いている
Rustではなぜかアリーナが使われていない
その差が速度差となっている
前にもこのアリーナ利用の有無で速度が全く異なる話がこのスレで出ていたような
916デフォルトの名無しさん
2024/09/19(木) 03:23:22.25ID:NqtXmLsQ >>915
GoはアリーナアロケータなしでRustより速い
GoはアリーナアロケータなしでRustより速い
917デフォルトの名無しさん
2024/09/19(木) 03:57:37.37ID:kiFDdu85 そもそも Rust のアリーナアロケータってなんで全部独自コンテナみたいな感じで実装されてんの?
allocator_api がまだ unstable だから?
allocator_api がまだ unstable だから?
918デフォルトの名無しさん
2024/09/19(木) 04:11:09.43ID:kiFDdu85 真面目に改善しようと思うなら、プロファイル取った上で alloc/dealloc が本当にボトルネックだったのか、そこから検証しなきゃ
919デフォルトの名無しさん
2024/09/19(木) 04:44:55.41ID:99kJCx26 >>916
Goはガベージコレクタ依存言語だから
アリーナを使用するか否かでそれほど大きくは変わらない
特に今回はGCが起きる前に終わるため影響は限りなく小さい
アリーナを使用するか否かで非常に大きく影響を受けるのはGCを前提としない言語
Goはガベージコレクタ依存言語だから
アリーナを使用するか否かでそれほど大きくは変わらない
特に今回はGCが起きる前に終わるため影響は限りなく小さい
アリーナを使用するか否かで非常に大きく影響を受けるのはGCを前提としない言語
920デフォルトの名無しさん
2024/09/19(木) 07:08:15.45ID:+8pHe+Yd 一般にガベコレ言語はalloc/freeが速い
特にfreeが速い
さらに小さなプログラムでは、遅延させたfreeを結局実行しないまま終わるのでさらに速い
特にfreeが速い
さらに小さなプログラムでは、遅延させたfreeを結局実行しないまま終わるのでさらに速い
921デフォルトの名無しさん
2024/09/19(木) 09:38:22.33ID:10l+f26H > アリーナ利用の有無
×
> アリーナを使用するか否か
×
○ Rustはアリーナアロケーターなトライ木をポンと書ける程に整備されてない
×
> アリーナを使用するか否か
×
○ Rustはアリーナアロケーターなトライ木をポンと書ける程に整備されてない
922デフォルトの名無しさん
2024/09/19(木) 10:26:52.55ID:v0DA15Jd Sorena
923デフォルトの名無しさん
2024/09/19(木) 12:34:03.58ID:bzcz+C1u アリーナ関係ない前段のsieve部分もrustが遅い
programming-language-benchmarks.vercel.app/problem/nsieve
前まで最適化に熱心だった信者がZigに移ったんかな
programming-language-benchmarks.vercel.app/problem/nsieve
前まで最適化に熱心だった信者がZigに移ったんかな
924デフォルトの名無しさん
2024/09/19(木) 12:48:12.80ID:kiFDdu85925デフォルトの名無しさん
2024/09/19(木) 13:03:22.18ID:FghkJ/1s >>923
BunでZigが始まった感ある
BunでZigが始まった感ある
926デフォルトの名無しさん
2024/09/19(木) 16:25:47.59ID:ZuBUnHjP >>925
1.0に達してから出直してくれ
1.0に達してから出直してくれ
927デフォルトの名無しさん
2024/09/19(木) 17:04:35.08ID:W7Rw00sD いい加減ベンチでHashMap使うのやめてくれんかな
928デフォルトの名無しさん
2024/09/19(木) 17:04:45.88ID:AQ9Jto0I929デフォルトの名無しさん
2024/09/19(木) 17:18:19.21ID:kiFDdu85 Zig 1.0 は 2025 年にリリース予定らしいので、その後はどうなるかね
930デフォルトの名無しさん
2024/09/19(木) 18:00:30.55ID:5zXjGsxJ931デフォルトの名無しさん
2024/09/19(木) 18:00:52.16ID:99kJCx26 Zigはasync/awaitなどの非同期対応を捨てたまま狭い領域でやっていくのかな
932デフォルトの名無しさん
2024/09/19(木) 18:04:31.95ID:5zXjGsxJ Zigはstd.DynamicBitSet
C++はvector<bool>
を使っている
C++はvector<bool>
を使っている
933デフォルトの名無しさん
2024/09/19(木) 21:18:23.55ID:js953yg3934デフォルトの名無しさん
2024/09/19(木) 21:23:20.81ID:js953yg3 それと一番最初Zigはコンパイルエラーだったので>>909の段階でstd.TailQueueはstd.DoublyLinkedListにした
935デフォルトの名無しさん
2024/09/19(木) 22:39:32.91ID:Ar0pN/Hy >>115
Zigはそんな安全性無視なことをして速さを得ているの?
Zigはそんな安全性無視なことをして速さを得ているの?
936デフォルトの名無しさん
2024/09/19(木) 23:08:32.65ID:O+mD9PcY 範囲外チェックに突っ込むならC/C++もそうですがな
RustはC/C++ほどには速さを優先してなくて、安全性の方を重視してる
HashMapがデフォルトで「遅いけど安全」なハッシュアルゴリズムを使うのもそう
Rustが良いのは安全性や型による表現力の高さが提供されてて、その上で十分に速いところ
純粋な速さだけであれば、よりCに近いZigの方が上というのも妥当といえば妥当
RustはC/C++ほどには速さを優先してなくて、安全性の方を重視してる
HashMapがデフォルトで「遅いけど安全」なハッシュアルゴリズムを使うのもそう
Rustが良いのは安全性や型による表現力の高さが提供されてて、その上で十分に速いところ
純粋な速さだけであれば、よりCに近いZigの方が上というのも妥当といえば妥当
937デフォルトの名無しさん
2024/09/19(木) 23:24:05.93ID:a7Zco7ef そういう方針のZigを採用する企業は極少数になりそう
アメリカ政府が安全な言語に置き換えよう!と言ってるけどZigはNG側だね
アメリカ政府が安全な言語に置き換えよう!と言ってるけどZigはNG側だね
938デフォルトの名無しさん
2024/09/19(木) 23:46:52.22ID:AQ9Jto0I 「言語が」というだけでなく「デフォルトでは」という前提が付く。
広く使われるようになるとカスい判断をする人も出てくるし、比較的マシなほうをデフォルトにしておくのは合理的な判断だ。
Zig はまだ言語をよく理解しようとする好事家 (いわゆるアーリーアダプタ) のものであってしょうもないユーザは参加してない段階 (なので低能なユーザを考慮してない) というだけかもしれない。
状況や用途によって判断は違ってくるので単純な良し悪しでは測れない。
広く使われるようになるとカスい判断をする人も出てくるし、比較的マシなほうをデフォルトにしておくのは合理的な判断だ。
Zig はまだ言語をよく理解しようとする好事家 (いわゆるアーリーアダプタ) のものであってしょうもないユーザは参加してない段階 (なので低能なユーザを考慮してない) というだけかもしれない。
状況や用途によって判断は違ってくるので単純な良し悪しでは測れない。
939デフォルトの名無しさん
2024/09/19(木) 23:56:50.81ID:H7B6P1++ ホワイトハウスの意向で今は安全な言語への移行を推奨という状況だけど近いうちにもっと厳しくなる
その時にZigの立場はない
その時にZigの立場はない
940デフォルトの名無しさん
2024/09/19(木) 23:57:18.58ID:O+mD9PcY unsafe Rustを使う分野だとRustも安全だと言い切れなくない?
RustほどではないけどZigもCに比べれば安全なコードを書きやすいし、Better Cとしての価値は十分にあると思う
将来的に採用が増えるかは分からないけど、C開発者にとって移植しやすい・学習コストが小さいという理由でZigを選ぶケースはありそう
RustほどではないけどZigもCに比べれば安全なコードを書きやすいし、Better Cとしての価値は十分にあると思う
将来的に採用が増えるかは分からないけど、C開発者にとって移植しやすい・学習コストが小さいという理由でZigを選ぶケースはありそう
941デフォルトの名無しさん
2024/09/20(金) 00:04:52.33ID:/FW0+jsA いくら悪いと主張したところで低レイヤは C が支配している (OS やデバイスドライバは大抵の場合に C で書かれている) という現実があるのは変わらんからな。
過渡的な措置として (充分に安全ではなくても) C から移植しやすい言語に出番がありうるというのはわかる。
過渡的な措置として (充分に安全ではなくても) C から移植しやすい言語に出番がありうるというのはわかる。
942デフォルトの名無しさん
2024/09/20(金) 00:12:09.61ID:nStvhCnF とはいえ最近のLinuxカーネルメンテナの話とか見るに彼ら(の一部)はC以外に移行する気は一切なさそうだよね
あと組み込み系でC使っている人は多いけど、あっちはあっちでコンパイラ認証必須だったりして
Zigが使い物になるにはまだ10年とかかかりそう
そこまでZigがちゃんと生きているかというと結構難しいところなんでは…
あと組み込み系でC使っている人は多いけど、あっちはあっちでコンパイラ認証必須だったりして
Zigが使い物になるにはまだ10年とかかかりそう
そこまでZigがちゃんと生きているかというと結構難しいところなんでは…
943デフォルトの名無しさん
2024/09/20(金) 00:20:40.07ID:zHznArWB >>940
そのスレにいるならそろそろ学習しようよ
「unsafe Rustを使う分野」というものは存在しない
標準ライブラリがunsafeで作られているためどんな分野であろうとunsafeのお世話になる
しかしunsafeは特定の関数やモジュールに閉じ込められていてそれ以外の部分の安全性をRust(コンパイラ)が保証してくれる
新たな分野であろうとこの原理は同じ
プログラムのほとんどの部分は自動的に安全性が保証される
どうしても必要な極一部のunsafe部分のみに人間の監視リソースを集中できる
この原理によりRustは安全であるとされて選ばれている
そのスレにいるならそろそろ学習しようよ
「unsafe Rustを使う分野」というものは存在しない
標準ライブラリがunsafeで作られているためどんな分野であろうとunsafeのお世話になる
しかしunsafeは特定の関数やモジュールに閉じ込められていてそれ以外の部分の安全性をRust(コンパイラ)が保証してくれる
新たな分野であろうとこの原理は同じ
プログラムのほとんどの部分は自動的に安全性が保証される
どうしても必要な極一部のunsafe部分のみに人間の監視リソースを集中できる
この原理によりRustは安全であるとされて選ばれている
944デフォルトの名無しさん
2024/09/20(金) 02:06:23.53ID:hHX3CUd7946デフォルトの名無しさん
2024/09/20(金) 08:14:15.43ID:ombgsYO5 走行中に連結器が外れたら
そのまま走り続けるのがC言語
緊急停止がabort
そもそも外れないのがRust
でFA?
そのまま走り続けるのがC言語
緊急停止がabort
そもそも外れないのがRust
でFA?
947デフォルトの名無しさん
2024/09/20(金) 08:19:24.68ID:ombgsYO5 >>940
unsafe Rust は安全だ
unsafe Rust は安全だ
948デフォルトの名無しさん
2024/09/20(金) 08:22:06.57ID:ombgsYO5949デフォルトの名無しさん
2024/09/20(金) 08:26:57.74ID:+urgn5Bc Cから移植するのはZig
C++から移植するのはRust
明快だ
C++から移植するのはRust
明快だ
950デフォルトの名無しさん
2024/09/20(金) 08:36:43.29ID:0kwaWsQC というより充分に安全でないならわざわざCから移植する必要がないんだよな
Rustは安全というメリットがあるから移植コストを払える(人もいる)けど
Zigがbetter Cであるのはわかるけど、現実にはCを使い続ける人がほとんどじゃないかと思う
Rustは安全というメリットがあるから移植コストを払える(人もいる)けど
Zigがbetter Cであるのはわかるけど、現実にはCを使い続ける人がほとんどじゃないかと思う
951デフォルトの名無しさん
2024/09/20(金) 08:41:47.73ID:0kwaWsQC ZigはDとかNimと同じ匂いがするんだよね
確かに便利になってる部分はいろいろあるんだけど、すでに慣れ親しんだ言語から移行するだけの強力なモチベーションがないというか
確かに便利になってる部分はいろいろあるんだけど、すでに慣れ親しんだ言語から移行するだけの強力なモチベーションがないというか
952デフォルトの名無しさん
2024/09/20(金) 09:54:00.87ID:ZOd0SPdk C/C++より安全でC/++から移植し易いのはNim
953デフォルトの名無しさん
2024/09/20(金) 09:57:45.63ID:ZOd0SPdk954デフォルトの名無しさん
2024/09/20(金) 10:26:50.19ID:U1w7xIBY Rustは管理者・経営者という強力な味方がいるから、コーダーに強制するのは簡単だな。
かつてのJavaの流れになれるかどうか。
かつてのJavaの流れになれるかどうか。
955デフォルトの名無しさん
2024/09/20(金) 10:47:55.86ID:SuyVRk3R956デフォルトの名無しさん
2024/09/20(金) 11:17:57.80ID:/FW0+jsA 問題は想定しないところから出てくる。
想定されるところは対処済みだから。
想定漏れを潰すには実際に運用して、出てきた問題を潰してというループを繰り返すしかない。
実務者の考えはそういうものだ。
運用実績があることが保証の裏付けなんだよ。
Rust の保証が C に比べて強力なのはメモリアクセスまわりの違反検出くらいなので
Rust で書きなおすなら他の要素は検証しなおしになる。
OS が保証しなけりゃならないのはメモリアクセス違反がないことだけじゃないんだぞ。
想定されるところは対処済みだから。
想定漏れを潰すには実際に運用して、出てきた問題を潰してというループを繰り返すしかない。
実務者の考えはそういうものだ。
運用実績があることが保証の裏付けなんだよ。
Rust の保証が C に比べて強力なのはメモリアクセスまわりの違反検出くらいなので
Rust で書きなおすなら他の要素は検証しなおしになる。
OS が保証しなけりゃならないのはメモリアクセス違反がないことだけじゃないんだぞ。
957デフォルトの名無しさん
2024/09/20(金) 11:24:36.15ID:ZOd0SPdk Rustは清書用(キリっ
958デフォルトの名無しさん
2024/09/20(金) 11:35:22.91ID:Z+QjUDB+ 組み込み系はMISRA Cとかあるがお作法レイヤーだからな。
rustの場合は言語レベルの層で対応できるのがメリットでかい。
rustの場合は言語レベルの層で対応できるのがメリットでかい。
959デフォルトの名無しさん
2024/09/20(金) 11:36:34.54ID:iYhQa7Jy960デフォルトの名無しさん
2024/09/20(金) 11:48:11.57ID:KtEON28z >>956
モダンな言語を使ったことがない時代遅れの人から見るとそういう間違った勘違いをしてしまいがちだけど
C言語と比較するとモダンな言語はいずれも驚くほど様々なことを保証してくれていたりミスが減ったりするよ
Rustはさらにメモリ競合なども防止してくれて強力だよ
モダンな言語を使ったことがない時代遅れの人から見るとそういう間違った勘違いをしてしまいがちだけど
C言語と比較するとモダンな言語はいずれも驚くほど様々なことを保証してくれていたりミスが減ったりするよ
Rustはさらにメモリ競合なども防止してくれて強力だよ
962デフォルトの名無しさん
2024/09/20(金) 13:06:37.11ID:/FW0+jsA963デフォルトの名無しさん
2024/09/20(金) 13:13:40.32ID:/FW0+jsA964デフォルトの名無しさん
2024/09/20(金) 13:22:45.84ID:ihDm1oNN965デフォルトの名無しさん
2024/09/20(金) 13:38:51.47ID:hHX3CUd7 >>963
全体の文意を読まないで「デバイスドライバは大抵の場合に C で書かれている」の部分だけ拾って反応しちゃったんだと思う
全体の文意を読まないで「デバイスドライバは大抵の場合に C で書かれている」の部分だけ拾って反応しちゃったんだと思う
966デフォルトの名無しさん
2024/09/20(金) 13:47:00.37ID:F4gFpM7i >>827
C++はそのようなデータ競合を見逃すけど
Rustはコンパイルエラーにしてくれる
let mut v = vec![0, 1, 2, 3, 4, 5, 6, 7];
let p5 = &v[5];
v.push(8);
assert!(*p5 == 5);
error[E0502]: cannot borrow `v` as mutable because it is also borrowed as immutable
| let p5 = &v[5];
| - immutable borrow occurs here
| v.push(8);
| ^^^^^^^^^ mutable borrow occurs here
| assert!(*p5 == 5);
| --- immutable borrow later used here
C++はそのようなデータ競合を見逃すけど
Rustはコンパイルエラーにしてくれる
let mut v = vec![0, 1, 2, 3, 4, 5, 6, 7];
let p5 = &v[5];
v.push(8);
assert!(*p5 == 5);
error[E0502]: cannot borrow `v` as mutable because it is also borrowed as immutable
| let p5 = &v[5];
| - immutable borrow occurs here
| v.push(8);
| ^^^^^^^^^ mutable borrow occurs here
| assert!(*p5 == 5);
| --- immutable borrow later used here
967デフォルトの名無しさん
2024/09/20(金) 14:22:18.97ID:ZOd0SPdk968デフォルトの名無しさん
2024/09/20(金) 14:47:29.30ID:hHX3CUd7 >>966
シングルスレッド上で同一アドレスに読み書きが発生することをデータ競合とは言わない
https://en.cppreference.com/w/cpp/language/multithread#Data_races
https://doc.rust-lang.org/nomicon/races.html
シングルスレッド上で同一アドレスに読み書きが発生することをデータ競合とは言わない
https://en.cppreference.com/w/cpp/language/multithread#Data_races
https://doc.rust-lang.org/nomicon/races.html
969デフォルトの名無しさん
2024/09/20(金) 15:06:48.25ID:F4gFpM7i970デフォルトの名無しさん
2024/09/20(金) 15:27:19.87ID:cjvM7FOS >>969
>>827のASAN実行結果
AddressSanitizer: heap-use-after-free
$ clang++ -O1 -g -fsanitize=undefined,address -fno-omit-frame-pointer main.cpp -o main
$ ./main
=================================================================
==26132==ERROR: AddressSanitizer: heap-use-after-free on address 0x...
WRITE of size 4 at 0x... thread T0
#0 0x7ff62e7716d4 in main ~/main.cpp:15:9
...
0x... is located 20 bytes inside of 32-byte region [0x...,0x...)
freed by thread T0 here:
...
#9 0x... in main ~/main.cpp:13:7
...
previously allocated by thread T0 here:
...
#7 0x... in main ~/main.cpp:5:22
...
...
>>827のASAN実行結果
AddressSanitizer: heap-use-after-free
$ clang++ -O1 -g -fsanitize=undefined,address -fno-omit-frame-pointer main.cpp -o main
$ ./main
=================================================================
==26132==ERROR: AddressSanitizer: heap-use-after-free on address 0x...
WRITE of size 4 at 0x... thread T0
#0 0x7ff62e7716d4 in main ~/main.cpp:15:9
...
0x... is located 20 bytes inside of 32-byte region [0x...,0x...)
freed by thread T0 here:
...
#9 0x... in main ~/main.cpp:13:7
...
previously allocated by thread T0 here:
...
#7 0x... in main ~/main.cpp:5:22
...
...
971デフォルトの名無しさん
2024/09/20(金) 15:35:56.11ID:YCHSHi4r このようにC++だとサニタイザーで実行するまでわからない
レアケースで発生するものだと実行しても何日間も見つからないこともある
そして本番へ投入してレアケースが発生して大惨事となる
つまりサニタイザーでは本質的な解決にならないのだ
Rustのように実行せずともコンパイル時に確実に判明することが正しい解決策だ
レアケースで発生するものだと実行しても何日間も見つからないこともある
そして本番へ投入してレアケースが発生して大惨事となる
つまりサニタイザーでは本質的な解決にならないのだ
Rustのように実行せずともコンパイル時に確実に判明することが正しい解決策だ
972デフォルトの名無しさん
2024/09/20(金) 15:36:26.98ID:DKDJjDvH >>827のような操作がバグかどうかは状況による
Rustがやってるのはバグと見做されるような挙動を生みやすいパターンを弾く安全側のアプローチ
言語によっちゃ同名変数の宣言によるシャドウイングを禁止してたりするが、それと似たようなもんだ
Rustがやってるのはバグと見做されるような挙動を生みやすいパターンを弾く安全側のアプローチ
言語によっちゃ同名変数の宣言によるシャドウイングを禁止してたりするが、それと似たようなもんだ
973デフォルトの名無しさん
2024/09/20(金) 15:41:33.93ID:F4gFpM7i974デフォルトの名無しさん
2024/09/20(金) 15:51:51.16ID:DKDJjDvH >>973
それはpush_backの実装がたまたま領域を解放しうるから結果的にバグなだけで、
Rustのチェックがそこまで考慮してこのエラーを出しているわけじゃないでしょ
安全側に倒した結果としてたまたまバグを検出できた例と考えるのが適切
それはpush_backの実装がたまたま領域を解放しうるから結果的にバグなだけで、
Rustのチェックがそこまで考慮してこのエラーを出しているわけじゃないでしょ
安全側に倒した結果としてたまたまバグを検出できた例と考えるのが適切
975デフォルトの名無しさん
2024/09/20(金) 15:51:55.07ID:+urgn5Bc >>959
政治的な理由でマージされないなら、それは記述されているとは言えない
政治的な理由でマージされないなら、それは記述されているとは言えない
976デフォルトの名無しさん
2024/09/20(金) 16:13:04.26ID:YKBLs+L3 >>966,971が裏でJS/TS書いてると思うとほっこりする
977デフォルトの名無しさん
2024/09/20(金) 17:24:13.84ID:Z+QjUDB+978デフォルトの名無しさん
2024/09/20(金) 18:37:17.32ID:fL6HDpBx979デフォルトの名無しさん
2024/09/20(金) 18:46:47.16ID:be7Y0ISI 今rustでグラフィックスプログラミングって実用的?
dx12とかvulkanとか
いい加減c++捨てたいと思ってるけどrustで性能でないなら使えない
dx12とかvulkanとか
いい加減c++捨てたいと思ってるけどrustで性能でないなら使えない
980デフォルトの名無しさん
2024/09/20(金) 18:57:32.01ID:DxeYxJuZ >>974
一般的に参照を保持したままそのデータへの別の可変参照が用いられる(=データが書き換わる)と
意味論的に最初の参照が期待していたものと異なるデータ状態になっている可能性があるためバグの発生要因となる
その例のうち最も極端なものがデータがメモリ開放されてしまっているベクタ伸長による自動メモリ移動の例
もちろんメモリ開放を伴わなくてもデータの状態が変わってしまって意味論的に食い違いが起きることでのバグが生じる
特に複雑な状況だとその食い違いが起きていることを人間が把握しきれなくなり見落としてしまう
Rustではそのようなデータ参照の競合を検出してコンパイルエラーにしてくれるため安全である
一般的に参照を保持したままそのデータへの別の可変参照が用いられる(=データが書き換わる)と
意味論的に最初の参照が期待していたものと異なるデータ状態になっている可能性があるためバグの発生要因となる
その例のうち最も極端なものがデータがメモリ開放されてしまっているベクタ伸長による自動メモリ移動の例
もちろんメモリ開放を伴わなくてもデータの状態が変わってしまって意味論的に食い違いが起きることでのバグが生じる
特に複雑な状況だとその食い違いが起きていることを人間が把握しきれなくなり見落としてしまう
Rustではそのようなデータ参照の競合を検出してコンパイルエラーにしてくれるため安全である
981デフォルトの名無しさん
2024/09/20(金) 19:02:50.08ID:h3rsYutP >>977,980
Rustはコンパイルが超遅いから、Rustがコンパイルエラーを吐くより先に、C++がコンパイルとサニタイザー検出を終えてるだろ
Rustはコンパイルが超遅いから、Rustがコンパイルエラーを吐くより先に、C++がコンパイルとサニタイザー検出を終えてるだろ
982デフォルトの名無しさん
2024/09/20(金) 19:28:29.22ID:DxeYxJuZ >>981
サニタイズはプログラムを実行しなければならず更に問題が発生する条件がたまたま揃うまで無限に待たなければいけない
したがって必ずしも問題が検出できるとは限らない非常に劣った方法
しかも対象領域がメモリ問題などいくつかに限られた項目のみ
Rustはデータ参照競合を一般的にコンパイル時点で確実に検出できる
サニタイズはプログラムを実行しなければならず更に問題が発生する条件がたまたま揃うまで無限に待たなければいけない
したがって必ずしも問題が検出できるとは限らない非常に劣った方法
しかも対象領域がメモリ問題などいくつかに限られた項目のみ
Rustはデータ参照競合を一般的にコンパイル時点で確実に検出できる
983デフォルトの名無しさん
2024/09/20(金) 19:54:50.23ID:d/Vr9ark >>982
データ競合の間違い指摘でデータ参照競合と言い出す奴
データ競合の間違い指摘でデータ参照競合と言い出す奴
984デフォルトの名無しさん
2024/09/20(金) 20:22:52.87ID:eBsokoVK985デフォルトの名無しさん
2024/09/20(金) 20:25:25.31ID:eBsokoVK986デフォルトの名無しさん
2024/09/20(金) 20:32:05.98ID:eBsokoVK987デフォルトの名無しさん
2024/09/20(金) 20:37:14.78ID:hHX3CUd7 >>982
> Rustはデータ参照競合を一般的にコンパイル時点で確実に検出できる
「データ競合」の誤用はさておき、このたった一文のために unsafe Rust は決して健全性を破壊しないように書かれなくてならないのですが
safe Rust の健全性保証を一切受けられないその開発者たちは、一体どうやって検証していると思っているんですか?
unsafe ライブラリ開発者のこと、ちゃんとリスペクトしてますか?
> Rustはデータ参照競合を一般的にコンパイル時点で確実に検出できる
「データ競合」の誤用はさておき、このたった一文のために unsafe Rust は決して健全性を破壊しないように書かれなくてならないのですが
safe Rust の健全性保証を一切受けられないその開発者たちは、一体どうやって検証していると思っているんですか?
unsafe ライブラリ開発者のこと、ちゃんとリスペクトしてますか?
988デフォルトの名無しさん
2024/09/20(金) 21:14:33.29ID:YCHSHi4r >>987
unsafeブロック内でも借用(参照)関係のルールは同じ
unsafeブロック内でも借用(参照)関係のルールは同じ
989デフォルトの名無しさん
2024/09/20(金) 21:23:28.17ID:AH7W/bFk >>979
WGPU
WGPU
990デフォルトの名無しさん
2024/09/20(金) 21:28:48.15ID:AH7W/bFk 次スレよろ
991デフォルトの名無しさん
2024/09/20(金) 22:02:42.38ID:hHX3CUd7992デフォルトの名無しさん
2024/09/20(金) 22:22:54.89ID:c48cFuZJ993デフォルトの名無しさん
2024/09/20(金) 22:27:40.78ID:TuwTNvNc994デフォルトの名無しさん
2024/09/21(土) 06:57:11.60ID:Wickqrt+ >>993
マージされてないって聞いたんだが?
マージされてないって聞いたんだが?
995デフォルトの名無しさん
2024/09/21(土) 07:19:00.02ID:yZmm+XDT rust for linuxのトップメンテナーが一抜けしたよな
いわくnontechnical nonsenseなことに飽きただと
言語変えても何か新しい機能が作れるわけじゃないからな
熱量は下がってる
いわくnontechnical nonsenseなことに飽きただと
言語変えても何か新しい機能が作れるわけじゃないからな
熱量は下がってる
996デフォルトの名無しさん
2024/09/21(土) 08:01:00.78ID:1xZtzolN997デフォルトの名無しさん
2024/09/21(土) 09:01:51.68ID:tGswm/a3 Linuxの新たな機能やデバイスドライバが次々とRustで書かれるようになってきたね
998デフォルトの名無しさん
2024/09/21(土) 09:23:20.76ID:MXmAIymZ 安全性には新しさがないと?
敵に危害を加えると新しさを感じて熱量が上がる理由がそれなのか
敵に危害を加えると新しさを感じて熱量が上がる理由がそれなのか
999デフォルトの名無しさん
2024/09/21(土) 09:51:32.91ID:7V9P6+h8 RustはCVE出している時点で安全性の新しさはないな
1000デフォルトの名無しさん
2024/09/21(土) 09:52:42.78ID:7V9P6+h8 しかもRust製のTauriがCVE出してるのが安全性の新しさがない証明になっている
10011001
Over 1000Thread このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 52日 9時間 6分 17秒
新しいスレッドを立ててください。
life time: 52日 9時間 6分 17秒
レス数が1000を超えています。これ以上書き込みはできません。
ニュース
- 習政権、高市首相への態度硬化 台湾有事発言で連日非難 中国 ★11 [ぐれ★]
- 国内ホテル、既にキャンセルも 訪日客関連業界、事態見守る ★3 [蚤の市★]
- 日本損失1.7兆円に修正 中国渡航自粛の影響試算 [蚤の市★]
- 「どうしようもない」 ため息つくアジアの玄関口 中国の訪日自粛で−福岡市 [蚤の市★]
- 「アベノミクス」で投資対象と化したマンション ローンの低金利続き「年収の12倍」借りる20代出現 [蚤の市★]
- 橋下徹氏 外務省幹部の訪中受け「口だけ番長」へ痛烈指摘 「喧嘩は日本の完敗…なんとかっこ悪い日本か」 [冬月記者★]
- 高市周辺、さすがに焦り始めるww「小さな火種が火事になりかけている。早く鎮火しなくてはいけない」 [271912485]
- 【実況】博衣こよりのえちえち朝こよ🧪
- 【高市悲報】神谷「部下が間違えて脱炭素を脱酸素て書いたんですよ😡それ読んだだけなのに挙げ足とるな!小学生か!」 [359965264]
- 中国「高市が頭を下げて謝罪しない限り、絶対に許さない」 [329329848]
- 【超悲報】中国への武力行使、世論調査で「賛成」「どちらかといえば賛成」48.8% 「反対」「どちらかといえば反対」の44.2%を上回る [314039747]
- ほかほかご飯にかけるとうまいもの一覧
