C++ vs Rust
■ このスレッドは過去ログ倉庫に格納されています
2021/04/24(土) 08:04:49.48ID:nPKzA798
競え
261デフォルトの名無しさん
2021/11/22(月) 21:17:24.64ID:DZQ1+JmR Rustの実装 (>>257) はポインタでの直接アクセスではなく配列への添え字アクセスだからオーバーヘッドが大きいとか言い出したらみんなで笑ってあげましょう
262デフォルトの名無しさん
2021/11/22(月) 21:26:20.75ID:7gi7NmEv >>257
独自のLinkedListで、実装としては配列を持っていて、
ノード間が参照でリンクされておらず、添え字番号でリンクしており、
get(), set()が添え字番号を返して配列要素を返しているので
ゼロコストではないね。
struct LinkedList<T> {
first_idx_a: Option<usize>,
first_idx_b: Option<usize>,
elems: Vec<Elem<T>>,
}
struct Cursor {
a_idx: usize,
}
fn get(&self, elem: Cursor) -> &T {
&self.elems[elem.a_idx].data
}
fn set(&mut self, elem: Cursor, data: T) {
self.elems[elem.a_idx].data = data;
}
独自のLinkedListで、実装としては配列を持っていて、
ノード間が参照でリンクされておらず、添え字番号でリンクしており、
get(), set()が添え字番号を返して配列要素を返しているので
ゼロコストではないね。
struct LinkedList<T> {
first_idx_a: Option<usize>,
first_idx_b: Option<usize>,
elems: Vec<Elem<T>>,
}
struct Cursor {
a_idx: usize,
}
fn get(&self, elem: Cursor) -> &T {
&self.elems[elem.a_idx].data
}
fn set(&mut self, elem: Cursor, data: T) {
self.elems[elem.a_idx].data = data;
}
263デフォルトの名無しさん
2021/11/22(月) 21:27:13.68ID:7gi7NmEv >>261
ゼロコストが謳いなのに、ゼロコストで無い。
ゼロコストが謳いなのに、ゼロコストで無い。
264デフォルトの名無しさん
2021/11/22(月) 21:27:14.40ID:5egSOJea265デフォルトの名無しさん
2021/11/22(月) 21:33:11.94ID:fRCpO7Rh >>264
_b は単一の要素が複数のリストに属するという要件に対する実装ですね
面倒だったのでメンバーだけ用意して実装はしてないですが
タプル使ってるのも構造体定義が面倒だったため
というかできるできないを実証するための例なので細かいところは適当です
お好きなように修正してください
>>263
>>245 の
> C/C++/Java/C#/JS/Ruby/Python など多くの言語では可能だが、Rust
だけが不可能
> なので、Rustだけが仲間はずれであり、他の言語でできる事ができない。
というのはほかの言語ではゼロコストで実装できることを意味していますか?
それともRustでも実装できることを認めた上でのただの負け惜しみですか?
はたまたこれを書いたのは自分とは別の人と主張されるのでしょうか
_b は単一の要素が複数のリストに属するという要件に対する実装ですね
面倒だったのでメンバーだけ用意して実装はしてないですが
タプル使ってるのも構造体定義が面倒だったため
というかできるできないを実証するための例なので細かいところは適当です
お好きなように修正してください
>>263
>>245 の
> C/C++/Java/C#/JS/Ruby/Python など多くの言語では可能だが、Rust
だけが不可能
> なので、Rustだけが仲間はずれであり、他の言語でできる事ができない。
というのはほかの言語ではゼロコストで実装できることを意味していますか?
それともRustでも実装できることを認めた上でのただの負け惜しみですか?
はたまたこれを書いたのは自分とは別の人と主張されるのでしょうか
266デフォルトの名無しさん
2021/11/22(月) 21:34:40.04ID:fRCpO7Rh >>262
ゼロコストを定義してください
ゼロコストを定義してください
267デフォルトの名無しさん
2021/11/22(月) 21:37:06.49ID:7gi7NmEv268デフォルトの名無しさん
2021/11/22(月) 21:38:01.88ID:7gi7NmEv >>266
参照に関しては、参照がC言語の生ポインタと同じ速度で扱えること。
参照に関しては、参照がC言語の生ポインタと同じ速度で扱えること。
269デフォルトの名無しさん
2021/11/22(月) 21:38:56.97ID:fRCpO7Rh270デフォルトの名無しさん
2021/11/22(月) 21:49:14.11ID:EEj8G+es271デフォルトの名無しさん
2021/11/22(月) 21:56:48.89ID:7gi7NmEv >>269
1. データを格納している場所が配列になっているが、動的に長さを長くしようとすれば
動的配列と同様のコピー動作が生じてしまうから、その実装は、本来のLinkedListの
性質とはかなり異なる。リンクリストは速度的に安定である事が重要なのに、
この性質により、動的配列と同様に、時々大規模コピーが生じて、スパイク的に
速度が遅くなる減少を伴うことになってしまう。このようなスパイク的な
速度低下は、twitterかFacebook のどちらか忘れたが、どっかのSNSでも問題
になっていた。
2. アクセスするときに、番号を配列のアドレスに変換する動作を毎回行っている。
1. データを格納している場所が配列になっているが、動的に長さを長くしようとすれば
動的配列と同様のコピー動作が生じてしまうから、その実装は、本来のLinkedListの
性質とはかなり異なる。リンクリストは速度的に安定である事が重要なのに、
この性質により、動的配列と同様に、時々大規模コピーが生じて、スパイク的に
速度が遅くなる減少を伴うことになってしまう。このようなスパイク的な
速度低下は、twitterかFacebook のどちらか忘れたが、どっかのSNSでも問題
になっていた。
2. アクセスするときに、番号を配列のアドレスに変換する動作を毎回行っている。
272デフォルトの名無しさん
2021/11/22(月) 22:00:19.83ID:7gi7NmEv >>271
[補足]
誤解を招いて議論に混乱を来たしそうなので捕捉しておくと、
271の2で書いた「番号」は、リンクリストの先頭からの通し番号の事ではなく、
今回示されたリンクリスト風のコードで、内部で用いられている配列の添え字番号
のことで、リンクリストの先頭からは、辿っていっても、連続した番号には成ってないもの。
[補足]
誤解を招いて議論に混乱を来たしそうなので捕捉しておくと、
271の2で書いた「番号」は、リンクリストの先頭からの通し番号の事ではなく、
今回示されたリンクリスト風のコードで、内部で用いられている配列の添え字番号
のことで、リンクリストの先頭からは、辿っていっても、連続した番号には成ってないもの。
273デフォルトの名無しさん
2021/11/22(月) 22:05:48.24ID:fRCpO7Rh >>271
あらゆる言語で実装できないがRustでは実装できない
他の言語だと O(1) だが Rustだと O(N) になる
という主張を撤回されたと理解しました
そういうことでしたら私の方から言うことはなにもありません
またアロケーションについてはVecを実装が工夫されたコンテナ型に変えることで対応できそうですね
実装詳細のないまま議論してもしょうがないトピックなのでこれ以上こちらからレスを重ねることはやめます
ありがとうございました
あらゆる言語で実装できないがRustでは実装できない
他の言語だと O(1) だが Rustだと O(N) になる
という主張を撤回されたと理解しました
そういうことでしたら私の方から言うことはなにもありません
またアロケーションについてはVecを実装が工夫されたコンテナ型に変えることで対応できそうですね
実装詳細のないまま議論してもしょうがないトピックなのでこれ以上こちらからレスを重ねることはやめます
ありがとうございました
274デフォルトの名無しさん
2021/11/22(月) 22:10:00.62ID:7gi7NmEv >>271
[追加]
3. そこにさらに削除メソッドを実装したとしよう。
削除したノードに対する番号が、どこかのCursorの中にまだ生きた状態に
なっている場合、ダングリング参照と似た現象が起きる。
削除したノードの中を参照できてしまうのだ。
[追加]
3. そこにさらに削除メソッドを実装したとしよう。
削除したノードに対する番号が、どこかのCursorの中にまだ生きた状態に
なっている場合、ダングリング参照と似た現象が起きる。
削除したノードの中を参照できてしまうのだ。
275デフォルトの名無しさん
2021/11/22(月) 22:15:27.68ID:7gi7NmEv >>273
その主張、Rustの中に超軽量のインタプリタの様なものを載せておいて、
そのインタプリタの中ではランダムアクセスがO(1)のリンクリストが
完全に実装できることを示しただけだね。
しかも、追加すると、時々、大規模なメモリーコピーが生じるし。
newやmallocではそのようなメモリーコピーは生じない。
ノードを追加しても、リンクリスト中の他のノードの本当のマシン語レベルでの
線形アドレスが固定で変化し無いし。
あなたの実装では、それが変化してしまう。相対アドレスは変化しないが。
ベースアドレスが変化している。
その主張、Rustの中に超軽量のインタプリタの様なものを載せておいて、
そのインタプリタの中ではランダムアクセスがO(1)のリンクリストが
完全に実装できることを示しただけだね。
しかも、追加すると、時々、大規模なメモリーコピーが生じるし。
newやmallocではそのようなメモリーコピーは生じない。
ノードを追加しても、リンクリスト中の他のノードの本当のマシン語レベルでの
線形アドレスが固定で変化し無いし。
あなたの実装では、それが変化してしまう。相対アドレスは変化しないが。
ベースアドレスが変化している。
276デフォルトの名無しさん
2021/11/22(月) 22:19:00.36ID:fRCpO7Rh >>274
generational arenaという手法を利用することでダングリングポインタ的アクセスを検知してハンドリング可能になります
generational arenaという手法を利用することでダングリングポインタ的アクセスを検知してハンドリング可能になります
277デフォルトの名無しさん
2021/11/22(月) 22:19:03.44ID:7gi7NmEv278デフォルトの名無しさん
2021/11/22(月) 22:23:12.75ID:7gi7NmEv >>276
動的コストを掛けていいなら、C++でも安全性の高いものは作れるぞ。
ポインタも正しいメモリーブロックを指していることを動的に確認した後で
実際に参照するようなことは、C++でも出来るから。
Rustも配列の範囲チェックはやっているが、配列以外のアドレスでも、動的に
チェックしようと思えばいろいろなチェック法はある。
その一つの方法が、アドレスではなく、あなたが書いたような配列の中の
番号方式にしてしまうこと。
番号に対する配列要素がNULLになっていれば、動的にエラーを出力して
アプリを停止させる、などの方法が有る。
動的コストを掛けていいなら、C++でも安全性の高いものは作れるぞ。
ポインタも正しいメモリーブロックを指していることを動的に確認した後で
実際に参照するようなことは、C++でも出来るから。
Rustも配列の範囲チェックはやっているが、配列以外のアドレスでも、動的に
チェックしようと思えばいろいろなチェック法はある。
その一つの方法が、アドレスではなく、あなたが書いたような配列の中の
番号方式にしてしまうこと。
番号に対する配列要素がNULLになっていれば、動的にエラーを出力して
アプリを停止させる、などの方法が有る。
279デフォルトの名無しさん
2021/11/22(月) 22:25:32.33ID:fRCpO7Rh280デフォルトの名無しさん
2021/11/22(月) 22:36:23.68ID:7gi7NmEv >>265
>> C/C++/Java/C#/JS/Ruby/Python など多くの言語では可能だが、Rust
だけが不可能
>> なので、Rustだけが仲間はずれであり、他の言語でできる事ができない。
>というのはほかの言語ではゼロコストで実装できることを意味していますか?
>それともRustでも実装できることを認めた上でのただの負け惜しみですか?
分かった。ゼロコストで無くて良いなら Rustでも実装できるということだね。
なるほど、今回の実装法のような裏技の発想は無かったよ。それは認める。
でも、ゼロコストでなくなるということは、RustがC/C++の代替になるという
説には反することになるね。
それと、C++, Java, C# では最初から標準ライブラリ的なもので最初から実装済み
なのに対して、あなたのやり方は、少なくとも標準のLinkedListではないね。
Cursorも標準のものとは別。
>> C/C++/Java/C#/JS/Ruby/Python など多くの言語では可能だが、Rust
だけが不可能
>> なので、Rustだけが仲間はずれであり、他の言語でできる事ができない。
>というのはほかの言語ではゼロコストで実装できることを意味していますか?
>それともRustでも実装できることを認めた上でのただの負け惜しみですか?
分かった。ゼロコストで無くて良いなら Rustでも実装できるということだね。
なるほど、今回の実装法のような裏技の発想は無かったよ。それは認める。
でも、ゼロコストでなくなるということは、RustがC/C++の代替になるという
説には反することになるね。
それと、C++, Java, C# では最初から標準ライブラリ的なもので最初から実装済み
なのに対して、あなたのやり方は、少なくとも標準のLinkedListではないね。
Cursorも標準のものとは別。
281デフォルトの名無しさん
2021/11/22(月) 22:37:35.24ID:0LbM6y2O 結局何がしたいのよ
ノードへの参照を持ったままリストを変更したいの?
ノードへの参照を持ったままリストを変更したいの?
282デフォルトの名無しさん
2021/11/22(月) 22:44:50.09ID:7gi7NmEv >>281
何がしたいって、C/C++/C#/Javaでは、LinkedListへのアクセスがO(1)で
自由自在に出来るのに、標準のRust実装では出来ないことが問題なんだ。
それに、今回示された実装法では、内部では配列で実装されているから、
ノードを追加してい言って、配列の要素数を超える時には、新しい配列を
コピーして内部でコピー動作が生じる。これは、C++のnewよりも遥かに
遅い動作になってしまうし、スパイク的に時々生じるから速度的な安定性
が求められるソフトでは好ましくない現象。
また、実質的なダングリング参照的が生じることも指摘した。
結論は、このやり方で、C/C++などと同じO(1)にはなったものの、安全性も失われ、
ゼロコスト性も失われ、C/C++の実装に比べて速度的に不安定でありスパイク的に
遅くなるということだ。
何がしたいって、C/C++/C#/Javaでは、LinkedListへのアクセスがO(1)で
自由自在に出来るのに、標準のRust実装では出来ないことが問題なんだ。
それに、今回示された実装法では、内部では配列で実装されているから、
ノードを追加してい言って、配列の要素数を超える時には、新しい配列を
コピーして内部でコピー動作が生じる。これは、C++のnewよりも遥かに
遅い動作になってしまうし、スパイク的に時々生じるから速度的な安定性
が求められるソフトでは好ましくない現象。
また、実質的なダングリング参照的が生じることも指摘した。
結論は、このやり方で、C/C++などと同じO(1)にはなったものの、安全性も失われ、
ゼロコスト性も失われ、C/C++の実装に比べて速度的に不安定でありスパイク的に
遅くなるということだ。
283デフォルトの名無しさん
2021/11/22(月) 22:51:04.06ID:0LbM6y2O284デフォルトの名無しさん
2021/11/22(月) 22:52:27.47ID:7gi7NmEv285デフォルトの名無しさん
2021/11/22(月) 22:56:03.63ID:qBbb57Hy デマを流すのはゼロコストなんだから相手にした時点で負け
286デフォルトの名無しさん
2021/11/22(月) 22:57:09.11ID:7gi7NmEv >>283
>「LinkedListへのアクセスがO(1)で自由自在に出来る」
>が正確にはどういう意味かと聞いているんだ
Cの場合、ポインタでアクセスすれば、O(1)でリンクリストの
ノードを参照できるし、削除も出来る。
削除しても、他のノードのアドレスは変化しないから、ポインタも
書き換える必要も無い。
配列だったら、削除するとそれより後ろのノードの番号が全て
変化してしまうので、書き直さなくてはならない。
リンクリストでも、先頭からの通し番号を識別番号に
している場合には、同様にそれ以後のノードの全ての番号を書き換えないといけない。
リンクリストのノードにO(1)でアクセスするというのは、ポインタでアクセスすれば
当たり前の事で、どう説明していいのか分からない。マシン語では、間接参照の
[アドレス]
だけの話だから。
コンピュータの基礎から学び直してもらわないと理解してもらえないかも知れない。
マシン語を学んで欲しい。
>「LinkedListへのアクセスがO(1)で自由自在に出来る」
>が正確にはどういう意味かと聞いているんだ
Cの場合、ポインタでアクセスすれば、O(1)でリンクリストの
ノードを参照できるし、削除も出来る。
削除しても、他のノードのアドレスは変化しないから、ポインタも
書き換える必要も無い。
配列だったら、削除するとそれより後ろのノードの番号が全て
変化してしまうので、書き直さなくてはならない。
リンクリストでも、先頭からの通し番号を識別番号に
している場合には、同様にそれ以後のノードの全ての番号を書き換えないといけない。
リンクリストのノードにO(1)でアクセスするというのは、ポインタでアクセスすれば
当たり前の事で、どう説明していいのか分からない。マシン語では、間接参照の
[アドレス]
だけの話だから。
コンピュータの基礎から学び直してもらわないと理解してもらえないかも知れない。
マシン語を学んで欲しい。
287デフォルトの名無しさん
2021/11/22(月) 22:57:21.67ID:0LbM6y2O コンテナと各要素の&mutと&が同時に取れない件はsplitして借用の単位を分けるべし
Vec::split_at_mutと同様の発想
Vec::split_at_mutと同様の発想
288デフォルトの名無しさん
2021/11/22(月) 22:59:22.03ID:0LbM6y2O289デフォルトの名無しさん
2021/11/22(月) 23:01:06.85ID:7gi7NmEv >>285
どっちがデマだと思ってるのか知らんが、俺のはデマじゃないぞ。
実際に、今回の実装を示した彼は、俺の言ってることはある程度正しく理解していた。
つまり、基本的にデマじゃないということを理解した人がいるということだ。
ただし、彼は、ゼロコスト安全性である、ということを無視して独自実装したり、
参照を独自に修正したものを勝手に導入した誤魔化しがあったのが残念であった
だけだ。
つまり、俺の主張自体は、彼は本当は理解している。
理解しているが、悔し紛れに詐欺めいた独自実装をしたことだけが残念なだけだ。
どっちがデマだと思ってるのか知らんが、俺のはデマじゃないぞ。
実際に、今回の実装を示した彼は、俺の言ってることはある程度正しく理解していた。
つまり、基本的にデマじゃないということを理解した人がいるということだ。
ただし、彼は、ゼロコスト安全性である、ということを無視して独自実装したり、
参照を独自に修正したものを勝手に導入した誤魔化しがあったのが残念であった
だけだ。
つまり、俺の主張自体は、彼は本当は理解している。
理解しているが、悔し紛れに詐欺めいた独自実装をしたことだけが残念なだけだ。
290デフォルトの名無しさん
2021/11/22(月) 23:01:57.98ID:7gi7NmEv >>288
1つのリンクリストに対して、書き込み参照や読み込み参照を同時に複数持てない。
1つのリンクリストに対して、書き込み参照や読み込み参照を同時に複数持てない。
291デフォルトの名無しさん
2021/11/22(月) 23:13:17.79ID:5egSOJea292デフォルトの名無しさん
2021/11/22(月) 23:14:41.21ID:7gi7NmEv293デフォルトの名無しさん
2021/11/22(月) 23:15:37.93ID:WXoW4mOX unsafe で生ポインタ使えばCと同じ実装は確実にできるが
294デフォルトの名無しさん
2021/11/22(月) 23:15:41.59ID:NDd1353W リンクトリストな?
295デフォルトの名無しさん
2021/11/22(月) 23:16:05.08ID:5egSOJea296デフォルトの名無しさん
2021/11/22(月) 23:18:27.46ID:WXoW4mOX297デフォルトの名無しさん
2021/11/22(月) 23:18:40.37ID:7gi7NmEv298デフォルトの名無しさん
2021/11/22(月) 23:21:22.25ID:0LbM6y2O299デフォルトの名無しさん
2021/11/22(月) 23:22:12.49ID:7gi7NmEv300デフォルトの名無しさん
2021/11/22(月) 23:22:18.49ID:EEj8G+es >>292
ゼロコストって他のことでもそうだけど全くコストがかからないってことではない
必要最低限のことのみでそれ以外はゼロコストってこと
今回のRefCellならば並行プログラミングの時の書き換え競合が起きないことを保証する
RefCellはゼロコスト
ゼロコストでないと主張するならば他の対処方法を述べよ
ゼロコストって他のことでもそうだけど全くコストがかからないってことではない
必要最低限のことのみでそれ以外はゼロコストってこと
今回のRefCellならば並行プログラミングの時の書き換え競合が起きないことを保証する
RefCellはゼロコスト
ゼロコストでないと主張するならば他の対処方法を述べよ
301デフォルトの名無しさん
2021/11/22(月) 23:24:19.66ID:7gi7NmEv >>298
「策」があるっていうが、どんどん複雑化し、コストも増えているだろ。
「策」があるっていうが、どんどん複雑化し、コストも増えているだろ。
302デフォルトの名無しさん
2021/11/22(月) 23:28:31.00ID:7gi7NmEv >>300
俺も正直言うとRefCellとか出てくると複雑すぎてよくわからなくなってくるが、
RefCellは内部可変性に対するものだから、並行プログラミングを使わない時
にも使うことがあるはずだが。
俺も正直言うとRefCellとか出てくると複雑すぎてよくわからなくなってくるが、
RefCellは内部可変性に対するものだから、並行プログラミングを使わない時
にも使うことがあるはずだが。
303デフォルトの名無しさん
2021/11/22(月) 23:28:31.66ID:NDd1353W Rustは安全性を追求した言語でC++と比較する物ではない。
比較するならRubyが妥当。
比較するならRubyが妥当。
304デフォルトの名無しさん
2021/11/22(月) 23:30:51.55ID:7gi7NmEv305デフォルトの名無しさん
2021/11/22(月) 23:33:19.88ID:WXoW4mOX コンパイラに安全性を保証してほしければ実行時のコストを払ってRefCellを使えばいいし、
そのコストを払いたくなければunsafe 使って自分で安全性を保証すればいいって話なんだが
そのコストを払いたくなければunsafe 使って自分で安全性を保証すればいいって話なんだが
306デフォルトの名無しさん
2021/11/22(月) 23:35:15.39ID:4Q+A1yLL 必要最低限のunsafeを使うのは大前提で、
それでもリンクリストがどうたらって話じゃなかったっけ・・・??
それでもリンクリストがどうたらって話じゃなかったっけ・・・??
307デフォルトの名無しさん
2021/11/22(月) 23:36:31.09ID:NDd1353W だからリンクトリストな?
308デフォルトの名無しさん
2021/11/22(月) 23:38:22.71ID:5egSOJea >>299
シングルスレッドマルチタスクでも競合は起き得る
そのため書き込み権限がある者がある瞬間に複数存在しないことを保証する(排他制御)ためにRefCellがある
マルチスレッドの場合は並列に起き得るからもっと厳しくてRefCellではダメでMutexやRwLockを使う
シングルスレッドマルチタスクでも競合は起き得る
そのため書き込み権限がある者がある瞬間に複数存在しないことを保証する(排他制御)ためにRefCellがある
マルチスレッドの場合は並列に起き得るからもっと厳しくてRefCellではダメでMutexやRwLockを使う
309デフォルトの名無しさん
2021/11/22(月) 23:39:08.56ID:NDd1353W Rustは安全性を追求した言語でC++と比較する物ではない。
比較するならVBAが妥当。
比較するならVBAが妥当。
310デフォルトの名無しさん
2021/11/22(月) 23:40:06.95ID:NDd1353W RustがC++をライバル視してきて非常にウットオシイ。
貴様のライバルはJavascriptだろ。
貴様のライバルはJavascriptだろ。
311デフォルトの名無しさん
2021/11/22(月) 23:41:22.24ID:7gi7NmEv312デフォルトの名無しさん
2021/11/22(月) 23:42:38.96ID:0LbM6y2O313デフォルトの名無しさん
2021/11/22(月) 23:44:32.43ID:5egSOJea >>311
それCでもC++でもダングリングポインタ発生の駄目プログラマーパターン
それCでもC++でもダングリングポインタ発生の駄目プログラマーパターン
314デフォルトの名無しさん
2021/11/22(月) 23:49:43.35ID:7gi7NmEv315デフォルトの名無しさん
2021/11/22(月) 23:55:11.62ID:4Q+A1yLL316デフォルトの名無しさん
2021/11/22(月) 23:58:04.28ID:7gi7NmEv >>315
参照先を削除するのは普通なことで、安全に行えるぞ。
参照とは、つまり、識別番号の代わりに使うものだからな。
参照はオブジェクトに付けられた名前みたいなもんだから、
逆に言えば、参照先を削除できないなら、削除する方法がほぼ無い。
参照先を削除するのは普通なことで、安全に行えるぞ。
参照とは、つまり、識別番号の代わりに使うものだからな。
参照はオブジェクトに付けられた名前みたいなもんだから、
逆に言えば、参照先を削除できないなら、削除する方法がほぼ無い。
317デフォルトの名無しさん
2021/11/23(火) 00:00:50.13ID:1c3aeddQ 何の話についてもまずは具体的なC言語のコードを示すべきじゃないかな
そうすればRustのコードを2種類みんなが出してくれるよ
・1つは元のC言語と同じ安全度で場合によってはunsafeを用いて実装
・もう1つはメモリ安全性を保証してunsafeを使わずに実装
つまり「C言語で出来ることはRustで必ず出来る」+「Rustではメモリ安全性を保証した実装も可能」
明らかにC言語よりもRustの方が能力も高く優れている
そうすればRustのコードを2種類みんなが出してくれるよ
・1つは元のC言語と同じ安全度で場合によってはunsafeを用いて実装
・もう1つはメモリ安全性を保証してunsafeを使わずに実装
つまり「C言語で出来ることはRustで必ず出来る」+「Rustではメモリ安全性を保証した実装も可能」
明らかにC言語よりもRustの方が能力も高く優れている
318デフォルトの名無しさん
2021/11/23(火) 00:00:51.12ID:16zHq7La >>314
残り9個の参照はそのノードが削除されたことを知る術がないからダングリングポインタになるってことだろ
残り9個の参照はそのノードが削除されたことを知る術がないからダングリングポインタになるってことだろ
319デフォルトの名無しさん
2021/11/23(火) 00:08:02.67ID:xJBrssBV >>318
本来は、明らかに別のノードであれば問題ない。
C++では普通に安全にそれが行える。
リンクリストの中に、A, B, C という名前の人のデータが入っていて、
それぞれに対して1つずつそれぞれ、ポインタ pA, pB, pC が存在している時に
ポインタ pA を介してAを削除しても、B, C へのポインタ pB, pC は残っていて、
値も変更されることも絶対に無いから完全に安全。
Aさんのデータを削除する場合にはこのようなことが起きるが、その時には、
delete pA の後、pAを捨ててしまうだけで全く安全。
pB, pC は何事も無くまったく安全に残せるし、何のバグも入らない。
こんな単純なロジック、何の問題も無い。
本来は、明らかに別のノードであれば問題ない。
C++では普通に安全にそれが行える。
リンクリストの中に、A, B, C という名前の人のデータが入っていて、
それぞれに対して1つずつそれぞれ、ポインタ pA, pB, pC が存在している時に
ポインタ pA を介してAを削除しても、B, C へのポインタ pB, pC は残っていて、
値も変更されることも絶対に無いから完全に安全。
Aさんのデータを削除する場合にはこのようなことが起きるが、その時には、
delete pA の後、pAを捨ててしまうだけで全く安全。
pB, pC は何事も無くまったく安全に残せるし、何のバグも入らない。
こんな単純なロジック、何の問題も無い。
320デフォルトの名無しさん
2021/11/23(火) 00:15:34.94ID:8Ju98kPx 同一のノードに10個の参照って意味ちゃうん?
321デフォルトの名無しさん
2021/11/23(火) 00:16:47.17ID:1c3aeddQ322デフォルトの名無しさん
2021/11/23(火) 00:20:07.35ID:xJBrssBV >>320
1つのリンクリストの異なる10個のノードに対する10個の参照。
1つのリンクリストの異なる10個のノードに対する10個の参照。
323デフォルトの名無しさん
2021/11/23(火) 00:21:41.44ID:/rTkTwIT324デフォルトの名無しさん
2021/11/23(火) 00:21:54.64ID:xJBrssBV >>321
何度もしているが、それはフェイク。
Cできることのうち、Rustでは追加コストを掛けずにはsafeモードで出来ないことはたくさん有る。
unsafeモードを使いまくれば別。
しかしそれではRustを使う意味が無い。
何度もしているが、それはフェイク。
Cできることのうち、Rustでは追加コストを掛けずにはsafeモードで出来ないことはたくさん有る。
unsafeモードを使いまくれば別。
しかしそれではRustを使う意味が無い。
325デフォルトの名無しさん
2021/11/23(火) 00:22:40.62ID:xJBrssBV >>323
C++ではなく、Cのリンクリストで考えよう。C++は別の複雑さを入れ込んだから。
C++ではなく、Cのリンクリストで考えよう。C++は別の複雑さを入れ込んだから。
326デフォルトの名無しさん
2021/11/23(火) 00:22:46.42ID:s6k3uLQ1 >>324
なぜRustを使う意味がないのですか
なぜRustを使う意味がないのですか
327デフォルトの名無しさん
2021/11/23(火) 00:25:21.42ID:xJBrssBV328デフォルトの名無しさん
2021/11/23(火) 00:26:18.34ID:6/+wazXE ああ、なるほど
安全性を考慮していないCのLinked Listと、安全性が保証されたRustのLinked Listを比較して、
Rustは遅い、できることが少なくて不便だ、みたいなことを述べてたわけか
Cでもメモリリークしないようにして、スレッドセーフにするとかしたら、途端に大変になりそう
安全性を考慮していないCのLinked Listと、安全性が保証されたRustのLinked Listを比較して、
Rustは遅い、できることが少なくて不便だ、みたいなことを述べてたわけか
Cでもメモリリークしないようにして、スレッドセーフにするとかしたら、途端に大変になりそう
329デフォルトの名無しさん
2021/11/23(火) 00:26:36.02ID:s6k3uLQ1 >>327
違いますよ
違いますよ
330デフォルトの名無しさん
2021/11/23(火) 00:27:06.93ID:8Ju98kPx >>324
リンクトリスト内のメソッドでunsafeを閉じ込めることできると思うんだけどそれではだめなのか
リンクトリスト内のメソッドでunsafeを閉じ込めることできると思うんだけどそれではだめなのか
331デフォルトの名無しさん
2021/11/23(火) 00:28:01.20ID:8Ju98kPx なんなら>>330は「基本的な操作のメソッドは」ってしてもいいけど
332デフォルトの名無しさん
2021/11/23(火) 00:31:19.33ID:xJBrssBV >>330
複数のノードへの読み書き自由なアクセスの速度をO(1)を保ったままで、
RustではunsafeをLinkedListのメソッド内には閉じ込めることが基本的に
出来ない。基本的に、と言ったのは、先ほど彼が示したリンク先の独自
実装の様に、ゼロコストであることを諦めてコストを掛ければできる
ようになるから。ただし、その場合、スパイク的にO(N)の時間でコピー
動作が発生してしまう。
複数のノードへの読み書き自由なアクセスの速度をO(1)を保ったままで、
RustではunsafeをLinkedListのメソッド内には閉じ込めることが基本的に
出来ない。基本的に、と言ったのは、先ほど彼が示したリンク先の独自
実装の様に、ゼロコストであることを諦めてコストを掛ければできる
ようになるから。ただし、その場合、スパイク的にO(N)の時間でコピー
動作が発生してしまう。
333デフォルトの名無しさん
2021/11/23(火) 00:32:59.52ID:xJBrssBV334デフォルトの名無しさん
2021/11/23(火) 00:38:03.01ID:1c3aeddQ >>262
その人が作ったLinkedList実装がポインタではなく格納配列のインデックスを使っているだけだよ
Rustの標準ライブラリのLinkedList実装ではポインタを使っています
std::collections::LinkedList
https://doc.rust-lang.org/std/collections/struct.LinkedList.html
その人が作ったLinkedList実装がポインタではなく格納配列のインデックスを使っているだけだよ
Rustの標準ライブラリのLinkedList実装ではポインタを使っています
std::collections::LinkedList
https://doc.rust-lang.org/std/collections/struct.LinkedList.html
335デフォルトの名無しさん
2021/11/23(火) 00:39:30.31ID:xJBrssBV336デフォルトの名無しさん
2021/11/23(火) 00:43:10.08ID:qrGqDm2c >>335
RustはLinkedListでも問題を感じたことがないですが何を根拠に?
RustはLinkedListでも問題を感じたことがないですが何を根拠に?
337デフォルトの名無しさん
2021/11/23(火) 00:49:14.22ID:xJBrssBV338デフォルトの名無しさん
2021/11/23(火) 01:04:38.76ID:qrGqDm2c >>337
意味がわからないので具体的に意味のあるCコードを書いて
意味がわからないので具体的に意味のあるCコードを書いて
339デフォルトの名無しさん
2021/11/23(火) 01:08:49.01ID:8Ju98kPx Rustだと確かに複数個所のノードへの可変参照を得るのはunsafeメソッドになるだろうね
そのノードが全部別々であることが保証できないから
でもそれは他の言語でも同じで、例えば1のノードに複数の可変参照があって、
1の参照がノード消したらまずことになる
そしてunsafeを許すのなら、内部実装でUnsafe Cell使えばコンパイラからの見た目は不変参照になるから、
オーバーヘッドなしでそういうのは実装可能(ただしstdのLinkedListはそのようにはなっていない)
んで、複数個所のノードへの可変参照を得るというのは相当レアな操作なはずなので、
それはunsafeにしてもAPIの使い勝手としては全然問題はない
そのノードが全部別々であることが保証できないから
でもそれは他の言語でも同じで、例えば1のノードに複数の可変参照があって、
1の参照がノード消したらまずことになる
そしてunsafeを許すのなら、内部実装でUnsafe Cell使えばコンパイラからの見た目は不変参照になるから、
オーバーヘッドなしでそういうのは実装可能(ただしstdのLinkedListはそのようにはなっていない)
んで、複数個所のノードへの可変参照を得るというのは相当レアな操作なはずなので、
それはunsafeにしてもAPIの使い勝手としては全然問題はない
340デフォルトの名無しさん
2021/11/23(火) 01:37:22.61ID:1c3aeddQ あるC/C++コードがあった時
(A) 常にRustではC/C++コードと同じ安全度で(必要時はunsafeを用いて)実装できる
(B) ほとんどのケースでRustでは安全なコードを(unsafeを用いずに)実装できる
つまりRustの能力はC/C++を上回っている
言い換えると
C/C++を捨ててRustを使えば
(B) ほとんどのケースで安全性を保証する形で実装できる
(A) 残りのレアケースでもC/C++と同じ安全度で実装できる
したがってC/C++を用いずにRustを用いたほうがよい
(A) 常にRustではC/C++コードと同じ安全度で(必要時はunsafeを用いて)実装できる
(B) ほとんどのケースでRustでは安全なコードを(unsafeを用いずに)実装できる
つまりRustの能力はC/C++を上回っている
言い換えると
C/C++を捨ててRustを使えば
(B) ほとんどのケースで安全性を保証する形で実装できる
(A) 残りのレアケースでもC/C++と同じ安全度で実装できる
したがってC/C++を用いずにRustを用いたほうがよい
341デフォルトの名無しさん
2021/11/23(火) 05:32:01.67ID:RKGfozTd 安全性よりも、
とにかくパフォーマンスや使用リソースが最重要な用途がある
そういう所でC/C++が使われる
C/C++は少なくとも今後20年は使われ続ける
とにかくパフォーマンスや使用リソースが最重要な用途がある
そういう所でC/C++が使われる
C/C++は少なくとも今後20年は使われ続ける
342デフォルトの名無しさん
2021/11/23(火) 05:47:19.80ID:qrGqDm2c343デフォルトの名無しさん
2021/11/23(火) 07:27:06.42ID:RKGfozTd 本当に良いことばかりなら
ここで宣伝しなくても自然に広まるはず
ここで宣伝しなくても自然に広まるはず
344デフォルトの名無しさん
2021/11/23(火) 13:48:55.03ID:VKZug2mU いや、あわしろ氏もC++は窓から投げ捨てろと言ってる。
346デフォルトの名無しさん
2021/11/23(火) 14:20:23.73ID:BTZW3nye ほんとRust気持ち悪いなw
リンクリストのような単純な構造でSTLでもboostでもそれ自体が「安全でない」ことはめったにない。
バグや脆弱性を作りこんでしまうのは多くは固定長のバッファに対するパース処理などで、確かに各種の
*nixコマンドなんかはRustで書いて貰ったほうが良い場合があるが、C/C++の数msが致命となる世界で
Rustが一般的となることはない。そんな布教をやってるから嫌われるんだよw
悔しかったらOpenSSLとか書き直して”安全なコード”で出してみろよ?WebkitにC/C++を排除させて
Rustだけにさせてみろw
リンクリストのような単純な構造でSTLでもboostでもそれ自体が「安全でない」ことはめったにない。
バグや脆弱性を作りこんでしまうのは多くは固定長のバッファに対するパース処理などで、確かに各種の
*nixコマンドなんかはRustで書いて貰ったほうが良い場合があるが、C/C++の数msが致命となる世界で
Rustが一般的となることはない。そんな布教をやってるから嫌われるんだよw
悔しかったらOpenSSLとか書き直して”安全なコード”で出してみろよ?WebkitにC/C++を排除させて
Rustだけにさせてみろw
347デフォルトの名無しさん
2021/11/23(火) 14:29:53.22ID:VKZug2mU いまさらC++やってるようでは時代についていけない老害という評価しかない。
348デフォルトの名無しさん
2021/11/23(火) 14:45:56.12ID:CrSl9z1L Linusも老害だしChromeコミッターも全部老害、気持ち悪さNo1のRustたちが敵を作りまくる自己評価で
あらゆるスレで暴れてる
あらゆるスレで暴れてる
350デフォルトの名無しさん
2021/11/23(火) 14:56:32.81ID:s6k3uLQ1 >>346
usじゃなくてmsなのか...
usじゃなくてmsなのか...
351デフォルトの名無しさん
2021/11/23(火) 14:57:43.30ID:2khltGI7 twitterでも、RustはHaskell程度にしか発言されて無い。
一方、C 言語 で検索すると一日分でも見ることが不可能なくらい大量に
発言されてることが分かる。
twitterでは「C++」というキーワードでは検索できないので推定するしかないが、
C 言語以上であろう。
一方、C 言語 で検索すると一日分でも見ることが不可能なくらい大量に
発言されてることが分かる。
twitterでは「C++」というキーワードでは検索できないので推定するしかないが、
C 言語以上であろう。
352デフォルトの名無しさん
2021/11/23(火) 15:54:02.42ID:hMtNqdGd353デフォルトの名無しさん
2021/11/23(火) 16:13:02.54ID:hMtNqdGd ・速度を落として安全性を高めたものは、既にJavaやC#がある。
・Rustが仮に速度面ではCに比べて余り遅くならないケースが多いと
仮定しても(この仮定には嘘があるのだが)、使いこなすのがJavaやC#
に比べると難しい。
特に参照関連だけでも、Option, Box, Rc, Arc, Cell, RefCell, Cursor, ref, &
の理解が必要な他、mut &'a などの表記、
let mut a : mut &:T = mut& b
や
Option<Rc<RefCell<T>>> a;
new Box<T>( T {・・・} );
のような解読が難しいシンタックスも多い。
このような複雑な表記は、JavaやC#には存在しない。
また、& と * の違いもあれば、& と ref の違いも有る。
let文ですらパターンマッチング方式になっているので Cのポインタの 10倍理解が難しい。
つまり、普通IQ者には理解が難しい。
逆に高IQ者は、C++でも安全に使えるし、C++を安全面では余り問題を感じて無い人が多い。
・Rustが仮に速度面ではCに比べて余り遅くならないケースが多いと
仮定しても(この仮定には嘘があるのだが)、使いこなすのがJavaやC#
に比べると難しい。
特に参照関連だけでも、Option, Box, Rc, Arc, Cell, RefCell, Cursor, ref, &
の理解が必要な他、mut &'a などの表記、
let mut a : mut &:T = mut& b
や
Option<Rc<RefCell<T>>> a;
new Box<T>( T {・・・} );
のような解読が難しいシンタックスも多い。
このような複雑な表記は、JavaやC#には存在しない。
また、& と * の違いもあれば、& と ref の違いも有る。
let文ですらパターンマッチング方式になっているので Cのポインタの 10倍理解が難しい。
つまり、普通IQ者には理解が難しい。
逆に高IQ者は、C++でも安全に使えるし、C++を安全面では余り問題を感じて無い人が多い。
354デフォルトの名無しさん
2021/11/23(火) 16:19:09.75ID:hMtNqdGd >>353
さらに言えば、
・「自動参照外し」は便利だとされるが、逆に勝手に参照が外れることで、
他人の書いたコードの理解が難しいことがある。明記してるコードと
省略してるコードが同じことを意味してるのが理解しにくいので。
・&の意味が、let文の左辺ではパターンマッチング、右辺では参照、
の意味になっているので混乱しやすい。左辺では参照をはずす意味
になってしまう。
・&は、reference(参照)演算子と呼ばれるのに、ref という演算子もあるが、
これは、意味がかなり違うため、混乱し易い。
・nullポインタを代入するポインタは、Option<Box<T>> のように長くなる。
・ライフタイム注釈が発展途上中なのか、特に構造体に関するライフタイム注釈
のドキュメントが少なく、例で説明されるだけで、根本的な意味を書いた
ドキュメントが存在して無い。
さらに言えば、
・「自動参照外し」は便利だとされるが、逆に勝手に参照が外れることで、
他人の書いたコードの理解が難しいことがある。明記してるコードと
省略してるコードが同じことを意味してるのが理解しにくいので。
・&の意味が、let文の左辺ではパターンマッチング、右辺では参照、
の意味になっているので混乱しやすい。左辺では参照をはずす意味
になってしまう。
・&は、reference(参照)演算子と呼ばれるのに、ref という演算子もあるが、
これは、意味がかなり違うため、混乱し易い。
・nullポインタを代入するポインタは、Option<Box<T>> のように長くなる。
・ライフタイム注釈が発展途上中なのか、特に構造体に関するライフタイム注釈
のドキュメントが少なく、例で説明されるだけで、根本的な意味を書いた
ドキュメントが存在して無い。
356デフォルトの名無しさん
2021/11/23(火) 18:18:27.96ID:VKZug2mU LinuxはRustを第二言語と位置づけ、カーネル開発に積極利用する計画です。
357デフォルトの名無しさん
2021/11/23(火) 18:21:55.09ID:1c3aeddQ C/C++/Rustをやってきた人ならRustが圧倒的にプログラミングしやすいことで一致している
調査結果でもRustが連続1位を続けていることからも客観的に明白
調査結果でもRustが連続1位を続けていることからも客観的に明白
358デフォルトの名無しさん
2021/11/23(火) 18:23:28.79ID:VKZug2mU あわしろ氏もC++は終了する言語と言っています。
359デフォルトの名無しさん
2021/11/23(火) 19:08:31.54ID:s6k3uLQ1 >>353
例示してるシンタックス全部間違ってるし釣りだろこれ
例示してるシンタックス全部間違ってるし釣りだろこれ
360デフォルトの名無しさん
2021/11/23(火) 19:22:32.43ID:4h9SSBVx >Rustが圧倒的にプログラミングしやすい
うんこ嘘つき野郎
うんこ嘘つき野郎
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【次の一手】台湾問題で小林よしのり氏が私見「まさに戦争前夜」「ただちに徴兵制を敷いて、高市支持者を最前線へ」… ★5 [BFU★]
- 【野球】大谷翔平、佐々木朗希、山本由伸らがWBC辞退なら広がる不協和音… 『過去イチ盛り上がらない大会』になる可能性も★2 [冬月記者★]
- 【国際】ロシアはすでに戦争準備段階――ポーランド軍トップが警告 [ぐれ★]
- 「町中華」の“息切れ倒産”が増加 ブームにも支えられ職人技で踏ん張ってきたが… 大手チェーンは値上げでも絶好調 [ぐれ★]
- 【news23】小川彩佳アナ「ここまでの広がりになるということを、高市総理はどれだけ想像できていたんでしょうね」 日中問題特集で [冬月記者★]
- 毛寧(もう・ねい)報道官「中国に日本の水産品の市場は無い」 高市首相の国会答弁に「中国民衆の強い怒り」 ★2 [ぐれ★]
- 【高市売り】円安、止まらず!凄い勢いで暴落中。157円へ [219241683]
- 俺「お湯を流してと…」シンク「ボンッw」
- 【悲報】ヤフコメ民「中国が水産物を輸入禁止にするなら、日本国民向けに安く販売すればいい。中国依存から脱するべき」 [153736977]
- もう寝ます
- 1,000万円のBMWに擦ってしまった札幌のガキ、捕らえられてガチで詰む [329329848]
- さすがに広告の煽りエグくね?
