闘え
※前スレ
C++ vs Rust
https://mevius.5ch.net/test/read.cgi/tech/1619219089/
C vs C++ vs Rust Part.2
https://mevius.5ch.net/test/read.cgi/tech/1639539350/
探検
C vs C++ vs Rust Part.3
レス数が900を超えています。1000を超えると表示できなくなるよ。
2022/01/27(木) 22:19:47.56ID:avZQ9Wm7
836デフォルトの名無しさん
2022/03/30(水) 07:56:10.67ID:ES6j8MQa837デフォルトの名無しさん
2022/03/30(水) 08:14:44.56ID:MqQwCbKz838デフォルトの名無しさん
2022/03/30(水) 08:18:15.81ID:qdlu4xZp >>834
横だけど、std::ostreamてRAII使えなかったっけ?
コードは適当。
if (std::ofstream sw(filename)) {
sw << "test" << '\n';
} else {
std::cerr << "unable to open '" << filename << "'\n";
}
横だけど、std::ostreamてRAII使えなかったっけ?
コードは適当。
if (std::ofstream sw(filename)) {
sw << "test" << '\n';
} else {
std::cerr << "unable to open '" << filename << "'\n";
}
839デフォルトの名無しさん
2022/03/30(水) 08:47:18.97ID:zgtKcvNm >>834
C++向けに設計されたライブラリならデストラクタに終了処理を全部書いてあるのでusing構文自体が不要
スコープアウトでデストラクタが呼ばれる
std::ofstream fs("a.txt");
fs<<"test"<<std::endl;
C++向けに設計されたライブラリならデストラクタに終了処理を全部書いてあるのでusing構文自体が不要
スコープアウトでデストラクタが呼ばれる
std::ofstream fs("a.txt");
fs<<"test"<<std::endl;
840デフォルトの名無しさん
2022/03/30(水) 08:57:42.45ID:zgtKcvNm841デフォルトの名無しさん
2022/03/30(水) 10:15:21.19ID:sgjjbJfo842デフォルトの名無しさん
2022/03/30(水) 13:15:41.55ID:ES6j8MQa >>839
>fs<<"test"<<std::endl;
ファイルオープンできてるかどうかわからないのに書き込むのかよwww
C++てファイルオープンできてもないところに書き込んだときに
処理を停止せず、自動でうまく例外処理するおしゃれな機能なんてあったっけ?
using(var sw=new StreamWriter("a.txt")){
sw.WriteLine("test");
}
とじゃ全然意味が違うだろ
なんでエラーチェックしないの?
わざわざチェックしなきゃいけないかどうかの話をしてんだよ
わざと論点ずらすな
>C#2.0以降に実装されてた糖衣構文の多くはC++には実装されていない
その通り
それを問題にしてんの。
そのおかげでC++では生産性の向上が見られない
認めてるじゃねーかwww
>fs<<"test"<<std::endl;
ファイルオープンできてるかどうかわからないのに書き込むのかよwww
C++てファイルオープンできてもないところに書き込んだときに
処理を停止せず、自動でうまく例外処理するおしゃれな機能なんてあったっけ?
using(var sw=new StreamWriter("a.txt")){
sw.WriteLine("test");
}
とじゃ全然意味が違うだろ
なんでエラーチェックしないの?
わざわざチェックしなきゃいけないかどうかの話をしてんだよ
わざと論点ずらすな
>C#2.0以降に実装されてた糖衣構文の多くはC++には実装されていない
その通り
それを問題にしてんの。
そのおかげでC++では生産性の向上が見られない
認めてるじゃねーかwww
843デフォルトの名無しさん
2022/03/30(水) 13:54:11.00ID:nEZBRLmQ C++ vs C#スレ立てるか?
844デフォルトの名無しさん
2022/03/30(水) 14:02:35.35ID:uj+JKNAz >>842
> ファイルオープンできてるかどうかわからないのに書き込むのかよwww
そういうのが欲しけりゃエラー時に例外を出すようにしとけばいいだけ
C# 使ってりゃそれぐらいわかるだろ
... 使えてりゃねw
> ファイルオープンできてるかどうかわからないのに書き込むのかよwww
そういうのが欲しけりゃエラー時に例外を出すようにしとけばいいだけ
C# 使ってりゃそれぐらいわかるだろ
... 使えてりゃねw
845デフォルトの名無しさん
2022/03/30(水) 15:37:33.26ID:Blieee3P846デフォルトの名無しさん
2022/03/30(水) 18:17:46.54ID:aaZp/+dN >>838見ればC++がなぜ衰退していくかよくわかるな
847デフォルトの名無しさん
2022/03/30(水) 18:28:11.81ID:4Wrqo5DU848デフォルトの名無しさん
2022/03/30(水) 20:08:24.48ID:WCI7hBXJ iostreamなんて今使ってないだろ
849デフォルトの名無しさん
2022/03/30(水) 20:21:40.16ID:qIK9n1MF > C#のusingみたいな構文
C#の発明と言うより、発祥は、お前らの嫌いな、Visual Basic(VBA)の、With〜
End Withじゃないかな?
C#の発明と言うより、発祥は、お前らの嫌いな、Visual Basic(VBA)の、With〜
End Withじゃないかな?
850デフォルトの名無しさん
2022/03/30(水) 20:22:04.28ID:UJJsLtPb C++は例外がcharベースのwhatしかない時点で日本語Win上では実情と合わなくなるんよね。
851デフォルトの名無しさん
2022/03/30(水) 20:22:32.28ID:/krHLZdG >>834
Rustだと以下のようになる
> ・using
RustもC++と同じくRAIIなのでusingは不要
let mut file = File::create("a.txt")?;
file.write("test")?;
エラー時は?演算子で即returnとなり例外処理と類似状態になる
スコープを抜ける時に自動的にデストラクタdrop()が呼ばれる
何もしなくてもファイルなら自動closeされてロックなら自動解除される
> ・$"X = {X}"
Rustでは標準マクロ利用でほぼ同様の形式
format!("x={x}")
> ・null合体演算子
Rustは安全重視のため各型にnullやnilといった値が無い状態というものがない
そこで関数型言語と同様に代数的データであるenumを用いてジェネリックにT型に対してenum Option<T>型を使う
Option<T>型はT型の値tが存在する場合Some(t)と存在しない場合Noneの2つのenum値をとる
なのでnullに対応するものはNoneとなるが型が異なるので明白に区別できてミスがあればコンパイル時に検出可能
Rustだと以下のようになる
> ・using
RustもC++と同じくRAIIなのでusingは不要
let mut file = File::create("a.txt")?;
file.write("test")?;
エラー時は?演算子で即returnとなり例外処理と類似状態になる
スコープを抜ける時に自動的にデストラクタdrop()が呼ばれる
何もしなくてもファイルなら自動closeされてロックなら自動解除される
> ・$"X = {X}"
Rustでは標準マクロ利用でほぼ同様の形式
format!("x={x}")
> ・null合体演算子
Rustは安全重視のため各型にnullやnilといった値が無い状態というものがない
そこで関数型言語と同様に代数的データであるenumを用いてジェネリックにT型に対してenum Option<T>型を使う
Option<T>型はT型の値tが存在する場合Some(t)と存在しない場合Noneの2つのenum値をとる
なのでnullに対応するものはNoneとなるが型が異なるので明白に区別できてミスがあればコンパイル時に検出可能
852デフォルトの名無しさん
2022/03/30(水) 20:25:10.41ID:/krHLZdG >>834
> ・null合体演算子
Rustでは>>851という状況なのでnull合体演算子についても少し概念が違ってくるが
xがNoneの時にDEFAULT_VALUEとしたい場合
x.or(Some(DEFAULT_VALUE)) でOption<T>型を得る
x.or(Some(DEFAULT_VALUE)).unwrap() でT型を得る
x.unwrap_or(DEFAULT_VALUE) が上記の簡易版でT型を得る
例えばC#での x ?? y ?? z を全てOption<T>型で表すと
Rustでは x.or(y).or(z) となりほぼ同じシンプルな表現
ちなみに?演算子によるNone時の即retun Noneも可能で
例えば各メソッドがOption<T>型を返すとするとこれでT型を得られる
let output = input.method1()?.method2()?.method3()?;
> ・null合体演算子
Rustでは>>851という状況なのでnull合体演算子についても少し概念が違ってくるが
xがNoneの時にDEFAULT_VALUEとしたい場合
x.or(Some(DEFAULT_VALUE)) でOption<T>型を得る
x.or(Some(DEFAULT_VALUE)).unwrap() でT型を得る
x.unwrap_or(DEFAULT_VALUE) が上記の簡易版でT型を得る
例えばC#での x ?? y ?? z を全てOption<T>型で表すと
Rustでは x.or(y).or(z) となりほぼ同じシンプルな表現
ちなみに?演算子によるNone時の即retun Noneも可能で
例えば各メソッドがOption<T>型を返すとするとこれでT型を得られる
let output = input.method1()?.method2()?.method3()?;
853デフォルトの名無しさん
2022/03/30(水) 20:27:16.59ID:WCI7hBXJ854デフォルトの名無しさん
2022/03/30(水) 20:31:07.93ID:UJJsLtPb それは例外そのものの型のことでしょ。
基本的にはexceptionの派生や孫で作られてるものが大半だからwhatでメッセージ受けるわけだが、
何のエンコードかは定かではない。
基本的にはexceptionの派生や孫で作られてるものが大半だからwhatでメッセージ受けるわけだが、
何のエンコードかは定かではない。
855デフォルトの名無しさん
2022/03/30(水) 20:33:36.81ID:qIK9n1MF >>842
根本的な理解がない、残念君のご様子。
> std::ofstream fs("a.txt");
コンストラクタでOpenする場合、失敗すると例外がスローされるから、関数内
または上位でtry〜catchかな。 C#やJavaで毎回NULL参照チェック書いてるか?
いずれにしろ、オープンされていないオブジェクトが
> fs<<"test"<<std::endl;
に渡されることはない。 こうした処理は、オブジェクトのシリアライズ処理を実装
した関数内へ記述して、参照渡しでオープン済のオブジェクトを渡すのが一般的。
根本的な理解がない、残念君のご様子。
> std::ofstream fs("a.txt");
コンストラクタでOpenする場合、失敗すると例外がスローされるから、関数内
または上位でtry〜catchかな。 C#やJavaで毎回NULL参照チェック書いてるか?
いずれにしろ、オープンされていないオブジェクトが
> fs<<"test"<<std::endl;
に渡されることはない。 こうした処理は、オブジェクトのシリアライズ処理を実装
した関数内へ記述して、参照渡しでオープン済のオブジェクトを渡すのが一般的。
856デフォルトの名無しさん
2022/03/30(水) 20:43:31.08ID:/krHLZdG Rustにはnullも例外もなく
どちらも代数的データ型であるenumで表現するため
シンプルかつ安全性をコンパイル時に保証できる
どちらも代数的データ型であるenumで表現するため
シンプルかつ安全性をコンパイル時に保証できる
857デフォルトの名無しさん
2022/03/30(水) 21:06:36.60ID:UJJsLtPb RustでC#のdynamicみたいなことやるにはどうするの?
858デフォルトの名無しさん
2022/03/30(水) 21:23:30.04ID:yBbOBLyf >>849
全然ちゃうわww
全然ちゃうわww
859デフォルトの名無しさん
2022/03/30(水) 21:25:28.30ID:9xKIjqbP >>857
C#はdynamic型という間違った方法を取ったため
C#は実行時エラーおよび実行時例外が発生し安全でない
Rustは型とは直行するトレイトがあるため
複数の様々な型に対して共通する振る舞いをトレイトとして実装できる
これらはコンパイル時にチェックされ実行時の安全性が保証される
更に加えてトレイトの利用方法は用途に向けて2種類用意されている
1つは利用時にimpl Traitで宣言する静的なトレイト利用であり
複数の様々な型に対して各々の静的に異なるコードが適用され高速である
もう1つは利用時にdyn Traitで宣言する動的なトレイト利用であり
複数の様々な型に対して実行時にダイナミックにディスパッチし柔軟である
2種類ともにコンパイル時にチェック確定するため
Rustではこれら実行時にエラーや例外が起きることはない
C#はdynamic型という間違った方法を取ったため
C#は実行時エラーおよび実行時例外が発生し安全でない
Rustは型とは直行するトレイトがあるため
複数の様々な型に対して共通する振る舞いをトレイトとして実装できる
これらはコンパイル時にチェックされ実行時の安全性が保証される
更に加えてトレイトの利用方法は用途に向けて2種類用意されている
1つは利用時にimpl Traitで宣言する静的なトレイト利用であり
複数の様々な型に対して各々の静的に異なるコードが適用され高速である
もう1つは利用時にdyn Traitで宣言する動的なトレイト利用であり
複数の様々な型に対して実行時にダイナミックにディスパッチし柔軟である
2種類ともにコンパイル時にチェック確定するため
Rustではこれら実行時にエラーや例外が起きることはない
860デフォルトの名無しさん
2022/03/30(水) 21:55:25.20ID:qIK9n1MF > Rustではこれら実行時にエラーや例外が起きることはない
実行時にメモリが足りなくなったら、Rustで書かれたプログラムは
どんな挙動を返すの?
実行時にメモリが足りなくなったら、Rustで書かれたプログラムは
どんな挙動を返すの?
861デフォルトの名無しさん
2022/03/30(水) 21:57:54.53ID:UJJsLtPb それだと使えないなぁ。
862デフォルトの名無しさん
2022/03/30(水) 21:58:03.62ID:qIK9n1MF863デフォルトの名無しさん
2022/03/30(水) 22:00:39.04ID:T6u2kz/X 毎度のことながら複オジのアホ解説読むと
Rust勧めてるのはこのレベルの人なのかと悲しくなる
無知にも程がある
Rust勧めてるのはこのレベルの人なのかと悲しくなる
無知にも程がある
864デフォルトの名無しさん
2022/03/30(水) 22:05:28.12ID:qUkXH45r >>860
それちゃんとよく読めよ
C#のdynamic型に対応するものの話だろ
ちなみにRustではメモリアロケータも変更可能&自作も可能でベアメタル含めて任意の環境に対応できる
だからメモリ不足時の対応も自由にできてOS等も書ける
もちろん一番単純な対処としてはpanic
それちゃんとよく読めよ
C#のdynamic型に対応するものの話だろ
ちなみにRustではメモリアロケータも変更可能&自作も可能でベアメタル含めて任意の環境に対応できる
だからメモリ不足時の対応も自由にできてOS等も書ける
もちろん一番単純な対処としてはpanic
865デフォルトの名無しさん
2022/03/30(水) 22:07:51.84ID:jqrh8rWF866デフォルトの名無しさん
2022/03/30(水) 22:11:11.16ID:bu0twkVZ867デフォルトの名無しさん
2022/03/30(水) 22:14:11.74ID:UJJsLtPb 対象なオブジェクトがrust内にあるわけでも存在してるかさえわからない状態なんだから、
実行時にはエラーや例外が発生すると思うのだが...
実行時にはエラーや例外が発生すると思うのだが...
868デフォルトの名無しさん
2022/03/30(水) 22:25:39.59ID:ALQUZfnd869デフォルトの名無しさん
2022/03/30(水) 22:26:22.84ID:qIK9n1MF >>866
お前がナー
お前がナー
870デフォルトの名無しさん
2022/03/30(水) 22:31:08.47ID:YEeL7eMZ >>867
それはC#でdynamic型を使って問題を解決している例ではないのでは?
例えばWebのDOM操作など色んな異なる型が返ってくるときのためにC#ではdynamic型を使う
Rustではそういう時にトレイトを使うので色んな異なる型が返ってきても対応できる
それはC#でdynamic型を使って問題を解決している例ではないのでは?
例えばWebのDOM操作など色んな異なる型が返ってくるときのためにC#ではdynamic型を使う
Rustではそういう時にトレイトを使うので色んな異なる型が返ってきても対応できる
871デフォルトの名無しさん
2022/03/30(水) 22:34:21.72ID:qIK9n1MF872デフォルトの名無しさん
2022/03/30(水) 22:37:02.42ID:qIK9n1MF873デフォルトの名無しさん
2022/03/30(水) 22:42:11.12ID:OkNrkUse874デフォルトの名無しさん
2022/03/30(水) 22:47:22.15ID:4xlnCCQ3 >>860
君は頭が悪いな
C#のdynamic型は失敗仕様であるという話だぜ
メモリが十分にあっても実行時エラーや例外で死んでしまう
コンパイラが検知できない仕様なためミスがあっても通してしまうからだ
君は頭が悪いな
C#のdynamic型は失敗仕様であるという話だぜ
メモリが十分にあっても実行時エラーや例外で死んでしまう
コンパイラが検知できない仕様なためミスがあっても通してしまうからだ
875デフォルトの名無しさん
2022/03/30(水) 22:50:27.28ID:NgOFxdTU876デフォルトの名無しさん
2022/03/30(水) 23:09:24.22ID:4bDt5Vb4 dynamic自体は名前がわかってるreflectionをいちいち書くのダルいから妥当な導入ではある
ジェネリクスにC++20のrequiresみたいな制限があればdynamicなんていらなかったのは確かだが
ジェネリクスにC++20のrequiresみたいな制限があればdynamicなんていらなかったのは確かだが
877デフォルトの名無しさん
2022/03/30(水) 23:15:44.80ID:SheiVyTd 実行時になってようやくエラーを引き起こし得るdynamicはC#の設計ミス
C++やRustは異なる解決をしている
C++やRustは異なる解決をしている
878デフォルトの名無しさん
2022/03/30(水) 23:59:52.46ID:Lj4LP6Zg dynamicってそもそもリフレクション+式木でしょうが
こんなもん使うな
ジェネリック使え
こんなもん使うな
ジェネリック使え
879デフォルトの名無しさん
2022/03/31(木) 00:03:05.89ID:EY1WgKK4 tagged-unionだよ
880デフォルトの名無しさん
2022/03/31(木) 00:24:36.68ID:LBSBAbTE ミスった時にコンパイルエラーを出せない仕様はよくないな
>>859
Rustでの対応は3種類だな
(1) ジェネリックにトレイト境界で制約して静的にモノモーフィゼーション
(2) ジェネリックにトレイト境界で制約して動的にディスパッチ
(3) enumでタグ付け収容して処理時分岐
いずれもプログラミングでミスれば実行時ではなくコンパイル時に早期エラー発覚できる
>>859
Rustでの対応は3種類だな
(1) ジェネリックにトレイト境界で制約して静的にモノモーフィゼーション
(2) ジェネリックにトレイト境界で制約して動的にディスパッチ
(3) enumでタグ付け収容して処理時分岐
いずれもプログラミングでミスれば実行時ではなくコンパイル時に早期エラー発覚できる
881デフォルトの名無しさん
2022/03/31(木) 01:54:42.49ID:sTE3Pr3t882デフォルトの名無しさん
2022/03/31(木) 15:47:20.37ID:TWJkYixT883デフォルトの名無しさん
2022/03/31(木) 16:56:25.59ID:+qzJxbYZ >>882
上にも書いたけど自由度は高いと思うけど忘れたり間違えたりしそうで怖い
上にも書いたけど自由度は高いと思うけど忘れたり間違えたりしそうで怖い
884デフォルトの名無しさん
2022/03/31(木) 17:43:45.66ID:TWJkYixT デストラクタを正しく書く方が簡単で間違いと考えてる?あんまり理解できんな。
885デフォルトの名無しさん
2022/03/31(木) 18:24:33.50ID:wBL3yx/w886デフォルトの名無しさん
2022/03/31(木) 18:47:26.32ID:d1Z8MU3o887デフォルトの名無しさん
2022/04/02(土) 20:19:43.92ID:Yphv2UuC https://discourse.llvm.org/t/rfc-lifetime-annotations-for-c/61377
clangの独自拡張としてだけどC++にlifetime入れようという議論があるんだね
clangの独自拡張としてだけどC++にlifetime入れようという議論があるんだね
888デフォルトの名無しさん
2022/04/02(土) 20:54:43.62ID:ezdDFz2p ライフタイム導入すればコンパイル時点でバグを発見できて
実行時の無駄なデバッグを減らせるし
メモリ関係の未知のセキュリティバグもコンパイル時点で検出できるもんな
実行時の無駄なデバッグを減らせるし
メモリ関係の未知のセキュリティバグもコンパイル時点で検出できるもんな
889デフォルトの名無しさん
2022/04/02(土) 22:41:04.77ID:5MtdHF70 これ以上C++を接ぎ木してこねくり回すの止めにしたら
890デフォルトの名無しさん
2022/04/03(日) 11:55:08.48ID:W9pHkRzU >>887
でもrustと同じならdoubly linked listは表現出来ないんでしょ?
でもrustと同じならdoubly linked listは表現出来ないんでしょ?
891デフォルトの名無しさん
2022/04/03(日) 12:04:52.85ID:llhYZSlD >>889
C++ってかわいそうな運命だよなあ
C++ってかわいそうな運命だよなあ
892デフォルトの名無しさん
2022/04/03(日) 16:13:05.78ID:9lFqLTmO >>890
それはlifetime関係なくてxor mutabilityの話だよね
それはlifetime関係なくてxor mutabilityの話だよね
893デフォルトの名無しさん
2022/04/03(日) 16:37:52.29ID:W9pHkRzU >>892
なるほど
なるほど
894デフォルトの名無しさん
2022/04/03(日) 17:12:35.56ID:Qom6hzMo >>890
Rustでは出来るよ
Rustでは出来るよ
895デフォルトの名無しさん
2022/04/03(日) 17:28:58.27ID:FsLhH6TX >>885
そんなの一行書くだけろ。。むしろ意図通りのデストラクタが動いてるか怪しい挙動するデストラクタのが問題起こりまくりだわ。
そんなの一行書くだけろ。。むしろ意図通りのデストラクタが動いてるか怪しい挙動するデストラクタのが問題起こりまくりだわ。
896デフォルトの名無しさん
2022/04/03(日) 17:44:36.67ID:77d+30yb >>895
> そんなの一行書くだけろ。。
できないプログラマーの典型で草
一行書くだけだから確実にできると言うならバグは無くなるわ
> むしろ意図通りのデストラクタが動いてるか怪しい挙動するデストラクタのが問題起こりまくりだわ。
それはお前の能力が足らんだけ
> そんなの一行書くだけろ。。
できないプログラマーの典型で草
一行書くだけだから確実にできると言うならバグは無くなるわ
> むしろ意図通りのデストラクタが動いてるか怪しい挙動するデストラクタのが問題起こりまくりだわ。
それはお前の能力が足らんだけ
897デフォルトの名無しさん
2022/04/03(日) 17:49:59.46ID:rc6NcMYZ >>895
defer使えば怪しい挙動は絶対しないとでも?
defer使えば怪しい挙動は絶対しないとでも?
898デフォルトの名無しさん
2022/04/03(日) 17:57:55.57ID:9lFqLTmO デストラクタでリソースが解放されることを保証するのはデータ構造を定義する人だけど
deferの場合はデータ構造を使う人の責任になる
データ構造を定義する回数と使う回数では普通は後者の方が多くなるから
deferの方が間違いを起こしやすいと
deferの場合はデータ構造を使う人の責任になる
データ構造を定義する回数と使う回数では普通は後者の方が多くなるから
deferの方が間違いを起こしやすいと
899デフォルトの名無しさん
2022/04/03(日) 19:34:48.12ID:W9pHkRzU >>894
実行時にオーバヘッドが出る形でしか実現できないやん
実行時にオーバヘッドが出る形でしか実現できないやん
900デフォルトの名無しさん
2022/04/03(日) 20:40:47.40ID:9lFqLTmO901デフォルトの名無しさん
2022/04/04(月) 09:02:06.19ID:14cK0a9Z >>900
LinkedListってunsafeで実装されてるんだけど静的にメモリセーフティを実現する言語機能があるRustでそれをするっておかしいよね?
それって行儀よく実装するとオーバーヘッドが出ることの裏返しだよね?ちょっとは頭を使おうか?
LinkedListってunsafeで実装されてるんだけど静的にメモリセーフティを実現する言語機能があるRustでそれをするっておかしいよね?
それって行儀よく実装するとオーバーヘッドが出ることの裏返しだよね?ちょっとは頭を使おうか?
902デフォルトの名無しさん
2022/04/04(月) 09:14:12.42ID:y2zkcNcq903デフォルトの名無しさん
2022/04/04(月) 09:31:58.76ID:WSInp7AV >>901
linked listに限らず何でもunsafeで作られているよ
unsafeは悪ではなく、安全なインタフェースを備えた型やモジュールの内部に閉じ込めるもの
その結果Rustではプログラム全体の安全性を保証できる
悪なのはプログラム全体がunsafe状態なC/C++
linked listに限らず何でもunsafeで作られているよ
unsafeは悪ではなく、安全なインタフェースを備えた型やモジュールの内部に閉じ込めるもの
その結果Rustではプログラム全体の安全性を保証できる
悪なのはプログラム全体がunsafe状態なC/C++
904デフォルトの名無しさん
2022/04/04(月) 09:56:40.12ID:88Lrr0N7905デフォルトの名無しさん
2022/04/04(月) 10:04:31.11ID:y2zkcNcq906デフォルトの名無しさん
2022/04/04(月) 10:09:11.84ID:9r+bgOYm >>903
それってRustの型システムに基づいて行儀よく実装するとオーバーヘッドが出ることへの反論になってないよね?
つまりRustの型システムはdoubly linked listを含めたあらゆるデータ構造をオーバーヘッドなく実装できるほどの表現力がないってことだよね
それってRustの型システムに基づいて行儀よく実装するとオーバーヘッドが出ることへの反論になってないよね?
つまりRustの型システムはdoubly linked listを含めたあらゆるデータ構造をオーバーヘッドなく実装できるほどの表現力がないってことだよね
907デフォルトの名無しさん
2022/04/04(月) 10:23:50.48ID:y2zkcNcq >>906
safe rustの範疇ではあらゆるデータ構造を表現できないのはその通り
なのでunsafeというescape hatchを用意している
rustはpureな言語ではないのでコンパイラですべての安全性を保証することは最初から狙ってないよ
safe rustの範疇ではあらゆるデータ構造を表現できないのはその通り
なのでunsafeというescape hatchを用意している
rustはpureな言語ではないのでコンパイラですべての安全性を保証することは最初から狙ってないよ
908デフォルトの名無しさん
2022/04/04(月) 10:34:53.41ID:M7C/Fpbq >>906
それは違う
例えばVec(ベクタ)はRustが標準ライブラリで提供している型だが
LinkedList(二重リンクリスト)もRustが標準ライブラリで提供している型である
VecもLinkedListも内部でunsafeを用いているが安全なインタフェースのみを公開している
その両者に違いはなくRustによる安全性の保証に何も問題を及ぼしていない
それは違う
例えばVec(ベクタ)はRustが標準ライブラリで提供している型だが
LinkedList(二重リンクリスト)もRustが標準ライブラリで提供している型である
VecもLinkedListも内部でunsafeを用いているが安全なインタフェースのみを公開している
その両者に違いはなくRustによる安全性の保証に何も問題を及ぼしていない
909デフォルトの名無しさん
2022/04/04(月) 13:39:53.90ID:RabHiWd3 オーバーヘッドwってことでいいじゃん
中途半端な知識でムキになるから無駄なやり取りが続くんだよ
中途半端な知識でムキになるから無駄なやり取りが続くんだよ
910デフォルトの名無しさん
2022/04/04(月) 15:17:06.36ID:ilb8jjlp >>908
> VecもLinkedListも内部でunsafeを用いているが安全なインタフェースのみを公開している
ホントかなぁ。 ベクターやリストが管理するオブジェクト参照を、別の参照ポインタ
に代入して、ベクターやリストを破棄した後で参照を使うとぬるぽになりそうだけど?
これを防ぐには、ベクターやリスト自体はもちろん、各要素や生ポインタを含めて
あらゆる変数に参照カウンタを設けた上で、参照数が0になったタイミングでオブ
ジェクト自動破棄する必要があるが、まさにオーバーヘッド。
> VecもLinkedListも内部でunsafeを用いているが安全なインタフェースのみを公開している
ホントかなぁ。 ベクターやリストが管理するオブジェクト参照を、別の参照ポインタ
に代入して、ベクターやリストを破棄した後で参照を使うとぬるぽになりそうだけど?
これを防ぐには、ベクターやリスト自体はもちろん、各要素や生ポインタを含めて
あらゆる変数に参照カウンタを設けた上で、参照数が0になったタイミングでオブ
ジェクト自動破棄する必要があるが、まさにオーバーヘッド。
911デフォルトの名無しさん
2022/04/04(月) 18:59:43.72ID:RDBERkGC rustって、unsafe使っていても
メモリ安全のチェックはしてくれるって事であってる?
メモリ安全のチェックはしてくれるって事であってる?
912デフォルトの名無しさん
2022/04/04(月) 19:11:22.90ID:vi3Hd2oR913デフォルトの名無しさん
2022/04/04(月) 19:18:31.93ID:UrWVuubJ rustって、制限きついなら制限緩い他の言語に変換しやすいとかある?
914デフォルトの名無しさん
2022/04/04(月) 20:04:42.98ID:0mSmJ0PC 標準ライブラリに問題がないって言い切れるの?
コンパイラとか標準ライブラリを盲信できるほど完成度高いんですかね
盲信してると不具合の発見に支障が出そう
コンパイラとか標準ライブラリを盲信できるほど完成度高いんですかね
盲信してると不具合の発見に支障が出そう
915デフォルトの名無しさん
2022/04/04(月) 20:07:34.39ID:Aq9lII9f 嫌なら使わなければいいだけやろ
916デフォルトの名無しさん
2022/04/04(月) 20:19:31.81ID:VNZL7sLo >>910
そんなRustの初歩くらいは学んでからレスしようぜw
そんなRustの初歩くらいは学んでからレスしようぜw
917デフォルトの名無しさん
2022/04/04(月) 20:23:28.80ID:y2zkcNcq >>914
プログラムがバグった時にまず自分のコードを疑うべきと言える程度には信頼できると思うよ
プログラムがバグった時にまず自分のコードを疑うべきと言える程度には信頼できると思うよ
918デフォルトの名無しさん
2022/04/04(月) 20:28:34.57ID:88Lrr0N7 >>916
オーバーヘッドなのは否定できてなくて草
オーバーヘッドなのは否定できてなくて草
919デフォルトの名無しさん
2022/04/04(月) 20:41:28.56ID:y2zkcNcq >>910
> ベクターやリストが管理するオブジェクト参照を、別の参照ポインタ
> に代入して、ベクターやリストを破棄した後で参照を使うとぬるぽになりそうだけど?
以下のようなコードを意図してるんだと思うけど rust だとコンパイルエラーになるよ
let v = vec![Box::new(1), Box::new(2)];
let ptr = &v[1];
drop(v);
println!("{ptr}");
https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=f4b4be3e93f71ec0828c6039dd156cb7
> ベクターやリストが管理するオブジェクト参照を、別の参照ポインタ
> に代入して、ベクターやリストを破棄した後で参照を使うとぬるぽになりそうだけど?
以下のようなコードを意図してるんだと思うけど rust だとコンパイルエラーになるよ
let v = vec![Box::new(1), Box::new(2)];
let ptr = &v[1];
drop(v);
println!("{ptr}");
https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=f4b4be3e93f71ec0828c6039dd156cb7
920デフォルトの名無しさん
2022/04/04(月) 20:48:51.57ID:ZmDtAG5s921デフォルトの名無しさん
2022/04/04(月) 21:00:31.84ID:V8HUi7lD 殆どの言語が標準ライブラリはバグってたりセキュリティの穴見つかったりして更新し続けてるがな。
922デフォルトの名無しさん
2022/04/04(月) 21:11:15.35ID:y9KalPQq メモリ安全性に関していえば
Rustなら不具合の可能性があるのはコンパイラとライブラリのunsafe領域だけだけど
(しかもそれらはそこそこの人数でチェックされている)
C/C++の場合ありとあらゆる箇所で可能性があるからな
盲信とかでなく単純に引く確率が低い
Rustなら不具合の可能性があるのはコンパイラとライブラリのunsafe領域だけだけど
(しかもそれらはそこそこの人数でチェックされている)
C/C++の場合ありとあらゆる箇所で可能性があるからな
盲信とかでなく単純に引く確率が低い
923デフォルトの名無しさん
2022/04/04(月) 21:11:46.66ID:yn3hKO4L libcにもバグあるしそれどころか
カーネルもヤバい問題発覚することがある
もうパソコンを窓から投げ捨てよう
カーネルもヤバい問題発覚することがある
もうパソコンを窓から投げ捨てよう
924デフォルトの名無しさん
2022/04/04(月) 21:41:12.90ID:dNgOu4No >>921
だからそれお前が見つけたのか?
だからそれお前が見つけたのか?
925デフォルトの名無しさん
2022/04/04(月) 22:18:49.72ID:yJV2c6am 初心者ほど「コンパイラのバグ」などと言い出す
ダニング=クルーガー効果である
ダニング=クルーガー効果である
926デフォルトの名無しさん
2022/04/04(月) 23:05:18.52ID:jLJ2cB6c927デフォルトの名無しさん
2022/04/05(火) 06:13:13.50ID:l+kYPJyP そろそろ飽きろよこの流れ
928デフォルトの名無しさん
2022/04/05(火) 09:01:35.21ID:rwKxODkm >>926
Rustはunsafe内のメモリ関連のバグまでは検出しないけど?
例えRustには無知だとしてもunsafeという語感からだけでunsafe内では何も保証されないってことは推測できるよね?
Rustはunsafe内のメモリ関連のバグまでは検出しないけど?
例えRustには無知だとしてもunsafeという語感からだけでunsafe内では何も保証されないってことは推測できるよね?
929デフォルトの名無しさん
2022/04/05(火) 09:22:45.52ID:i/q849BZ930デフォルトの名無しさん
2022/04/05(火) 11:55:20.23ID:Md/fZtCu 2038年問題を再発させるコードが多数の場所にコピーされてしまっている
ttps://gigazine.net/news/20220330-2038-problem/
> エイドリアンさんが調べた限りでは、下記のリポジトリにて問題のあるコードが使用されていたとのことです。
>
> O3DE
> Dokany
> Ceph-Dokan
> libarchive
> ghc::filesystem
> ImageMagick
> Cxbx-Reloaded
> ReactOS
>
> また、下記のリポジトリについては記事作成時点で既にエイドリアンさんの指摘を受けてコード修正済みとなっていました。
>
> OpenRCT2
> DuckStation
ttps://gigazine.net/news/20220330-2038-problem/
> エイドリアンさんが調べた限りでは、下記のリポジトリにて問題のあるコードが使用されていたとのことです。
>
> O3DE
> Dokany
> Ceph-Dokan
> libarchive
> ghc::filesystem
> ImageMagick
> Cxbx-Reloaded
> ReactOS
>
> また、下記のリポジトリについては記事作成時点で既にエイドリアンさんの指摘を受けてコード修正済みとなっていました。
>
> OpenRCT2
> DuckStation
931デフォルトの名無しさん
2022/04/06(水) 03:36:26.34ID:A9app5rs932デフォルトの名無しさん
2022/04/06(水) 03:42:32.00ID:ryRy0Ktk933デフォルトの名無しさん
2022/04/06(水) 04:46:14.51ID:MueoLJZZ エスパーさせんな、コードで示せ
934デフォルトの名無しさん
2022/04/06(水) 09:00:45.09ID:Z4fh8uHR >>931
見事な恥の上塗りでワロタ
見事な恥の上塗りでワロタ
935デフォルトの名無しさん
2022/04/06(水) 09:22:57.25ID:A9app5rsレス数が900を超えています。1000を超えると表示できなくなるよ。
ニュース
- 中国外務省局長 「ポケットに手を入れていたのは寒いから」 日本との局長級会談で ★2 [お断り★]
- 高市首相答弁を“引き出した”立民・岡田克也氏が改めて説明「なぜ慎重な答弁をされなかったのか。非常に残念に思っている」 ★7 [ぐれ★]
- 中国、日本行き“50万人”キャンセル 渡航自粛でコロナ禍以来最大 ★3 [お断り★]
- 高市首相答弁を“引き出した”立民・岡田克也氏が改めて説明「なぜ慎重な答弁をされなかったのか。非常に残念に思っている」 ★8 [ぐれ★]
- 「母の部屋に安倍氏が表紙の機関誌が」「(安倍氏が被害者なのは)不思議に思いませんでした」山上被告の妹が証言 [おっさん友の会★]
- 【外交】元台湾総統・馬英九氏、高市首相発言に「台湾を危険にさらす」台湾海峡の問題は「両岸の中国人が自ら話し合うべき」★2 [1ゲットロボ★]
- 【実況】博衣こよりのえちえちフログロ学力テスト🧪★5
- エッヂ落ちた?
- 【悲報】ヤフコメ民「中国が水産物を輸入禁止にするなら、日本国民向けに安く販売すればいい。中国依存から脱するべき」 [153736977]
- 【ぺこ専🐰】なんG 兎田ぺこら実況スレ🏡【ホロライブ▶】
- 中国発の日本行きチケット、50万枚キャンセルwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww✈ [329329848]
- 高市早苗がいつまで引きこもってるかガチ予想スレ [358382861]
