結局C++とRustってどっちが良いの？ 7traits

**デフォルトの名無しさん** · 2023/08/31(木) 12:16:53.23

C++の色々配慮してめんどくさい感じは好きだけど、実務になったらメモリ安全性とか考えて今後Rustに変わっていくんかな」
「うだうだ言ってないで仕事で必要なのをやればいいんだよ、趣味なら好きなのやればいい」

っていう雑談スレ。

前スレ: 結局C++とRustってどっちが良いの？ 6traits
http://mevius.5ch.net/test/read.cgi/tech/1690610746/

関連スレ(マ板): Google&Microsoft「セキュリティバグの70%はC/C++のメモリ管理ミス。Rustにする」
https://medaka.5ch.net/test/read.cgi/prog/1619943288/

**デフォルトの名無しさん** · 2023/08/31(木) 12:33:26.11

あるあるトピックス
・後発のRustが優れているといっても、C/C++から「推し変」するほどじゃないな
・現状のRustはまだまだ書きにくい、移行するにしてももっと進化してからでいいのでは
・現状のcrateシステムでけえ、大げさ
・いくら安全っつっても、ヘタクソがunsafeだらけに書いちゃったらおんなし
・てかC++にも unsafe{ } はよ

・C/C++ <=> Rust いまさら聞けない移行質問なども適当にどぞ

・レスバはじめんのは勝手だけど、面白いこと・へぇなこと書いたヤツが優勝
・マな話は、マのスレもご活用ください >>1

**デフォルトの名無しさん** · 2023/08/31(木) 12:37:09.57

GPTベースのソースチェッカーの登場でRustの必要性はほぼなくなる

**デフォルトの名無しさん** · 2023/08/31(木) 12:38:30.42

ネットインフラが次々とRust製になっていってる

＞【CDN世界トップシェアCloudflare】
＞https://www.publickey1.jp/blog/22/cloudflarenginxrusthttppingoracdncpu31.html
＞CDNプロバイダのCloudflareは、同社のグローバルなCDNの基盤として長らく利用してきたNGINXに代えて、
＞同社自身がRust製のHTTPプロキシである「Pingora」を開発し利用していることを明らかにしました。
＞
＞【クラウド世界トップシェアAWS】
＞https://japan.zdnet.com/article/35183866/
＞Rustで構築されたAWSサービスの例としては、
＞コンテナーアプリ用のサーバーレスプラットフォーム「Lamba」を支える「Firecracker」、
＞「Amazon Simple Storage Service（S3）」、
＞「Amazon Elastic Compute Cloud（EC2）」、
＞コンテンツ配信ネットワーク「Amazon CloudFront」、
＞LinuxベースのコンテナーOS「Bottlerocket」などがある。

**デフォルトの名無しさん** · 2023/08/31(木) 12:46:13.82

>>3
それ逆
GPTは論理的に必ず正しいことを示せるわけではない
しかしGPTは(多少間違えても)生成するのは得意
だからGPTにRustのコードの叩き台を生成させてGPTに再指示したり人間が仕上げる
そしてRustコンパイラが論理的に必ず正しく安全性を保証する
以上が互いの得意分野を組み合わせたベストな今後の向かう方向

**デフォルトの名無しさん** · 2023/08/31(木) 12:54:47.09

>>2
ここまでのスレと真逆のまとめはよくないね
Rustの方が言語機能が充実しているため圧倒的に書きやすいのは客観的な事実

**デフォルトの名無しさん** · 2023/08/31(木) 13:08:56.12

=== 複製おじさん（通称複おじ）について ===
Rustスレを中心に活動し、2023年4月現在で1年以上ム板に住み着くRustacean。無自覚な荒らし。

Rustスレでは、基本的に他住民の意見を聞いて糧とすることなく、自らのコードが最善であると、ID変更自演を交えいつまでも主張し続ける。
同スレで「所有権が複製される」という違和感のある表現を、「違和感がある」とする他住民の意見をすべて否定してしつこく擁護し続けたことから、「複製おじさん」というあだ名が付けられた。
それ以外のム板スレでは、基本的に他住民の意見を聞いて糧とすることなく、Rustこそが最善であると、ID変更自演を交えいつまでも主張し続ける。
その基本戦術は、「GC言語は遅い」の一声でC/C++/Rust以外の言語を否定し、残ったC/C++は安全ではないので、Rustが最善であるとするもの。

しかしながら、Rust以外の言語に関しては、正当な批判を展開するのに十分な知識を持っているとは言いがたい。
本スレPart1では、C++の問題点を指摘しようとして多数の誤り・知識不足を露呈することとなった。特にしつこく食い下がったのが「動的ディスパッチ」に関する誤解である。
https://mevius.5ch.net/test/read.cgi/tech/1677286186/786-799（ID:Evbafc70とID:RiLc+pIfが複製おじさんであると考えられている）
要約すると、通常「条件分岐」と呼ばれるものを「動的ディスパッチ」と呼ぶのが正しいと主張し続けたのである。
常識的にはあり得ない誤解だが、提示されたC++のコードが自らの主張（C++にはパターンマッチが無い）に不都合であると感じたためか、C++のコードを正しく読み解くことができないにもかかわらず脊髄反射的に否定してしまい、その根拠として誤った論理をこじつけてしまったものと思われる。

ちなみにこの後、同種の誤解を持って書き込むID:wHEiYRW7（これはID使用歴的に複製おじさんとは考えにくい）に対して、正しい理解に基づく指摘を行う単発IDが複数出現するが、この中にも複製おじさんが多数含まれていると考えられている。
このように自分の誤りを認識した場合、それを認める書き込みは決して行わず、別人の振りをして最初から正しく理解していた体を装うのも複製おじさんの特徴である。

**デフォルトの名無しさん** · 2023/08/31(木) 13:20:21.68

>>5
GPTの性能向上のスピードを舐めてはいけない
更にはRustでは不可能なデッドロックすら検出できる

**デフォルトの名無しさん** · 2023/08/31(木) 13:21:39.72

GPTが開発ツールに統合されることで
Rustのセールスポイントの価値はなくなる

**デフォルトの名無しさん** · 2023/08/31(木) 13:22:06.11

動的ディスパッチはvtableを使った型による条件分岐で合ってるような

**デフォルトの名無しさん** · 2023/08/31(木) 13:26:30.09

>>10
用語の使い方以外で双方の認識に齟齬はない
どうも用語の使い方に方言があるようだ

**デフォルトの名無しさん** · 2023/08/31(木) 13:27:09.24

>>8
簡単で自明なデッドロックのよくある例が検出できただけであれは学習マッチングだよ
実用的じゃない
理論的にデッドロックの静的な検出は不可能なのは知っているよね？

**デフォルトの名無しさん** · 2023/08/31(木) 13:29:13.22

>>12
>簡単で自明なデッドロックのよくある例が検出できただけであれは学習マッチングだよ
>実用的じゃない
そうなのかどうかは私も分からんので反例を1つ示して反駁してくれ

>理論的にデッドロックの静的な検出は不可能なのは知っているよね？
人間はできるよね? <- 反例

**デフォルトの名無しさん** · 2023/08/31(木) 13:34:06.16

>>13
人間にもデッドロックの静的な検出はできません
そのため実行時のデッドロック検出ツールが使われています
この分野はGPTにも無理です

**デフォルトの名無しさん** · 2023/08/31(木) 13:39:30.11

>>14
>人間にもデッドロックの静的な検出はできません
お前はソース見てもデッドロックをデバッグできないんだなw
「静的な検出」に限定する必要はないのだよ

**デフォルトの名無しさん** · 2023/08/31(木) 13:41:32.63

>>9
むしろGPT支援でRustが有利になった
GPT自体は安全性の保証をできなくて間違いも犯すけど
GPTへRustコンパイラを通すように指示すればRustコンパイラにより必ず安全性が保証される

**デフォルトの名無しさん** · 2023/08/31(木) 13:48:22.11

まだ読んでない人もついてこれるように
>>12が学習マッチングと言ってるのは前スレの>>289だよ
http://mevius.5ch.net/test/read.cgi/tech/1690610746/
確かに検証したソースはシンプルで
1. ソースの規模が大きくなるとこれは検出できなくなるのか?
2. もしできなくなるとしたらどのくらいの大きさが限界なのか?
3. あるとしてその限界は実用的なのか?
など謎が多く興味深い

**デフォルトの名無しさん** · 2023/08/31(木) 13:49:39.59

>>15
デッドロックは簡単なものを除いて見つけるのが極めて難しくて
コードを解析してもデッドロックを見つけることは無理だと証明されてる分野
そのため検出デバッグコード入りでデッドロックが起きるまで実行させて検出しているのが現状
だからGPTも同じように長期間実行させないとデッドロックを見つけられない

デッドロックはロックの順序さえ決めて守れば発生しないので
ほとんどのプログラムはそうすることでデッドロックを回避してる

**デフォルトの名無しさん** · 2023/08/31(木) 13:51:16.54

>>18
反例出しなよ
1個だよ

**デフォルトの名無しさん** · 2023/08/31(木) 14:19:56.37

今度はデッドロックで埋まるのか

**デフォルトの名無しさん** · 2023/08/31(木) 14:36:00.57

デッドロック検出の現実的な需要がないので無意味だな
各ロックの依存関係が階層構造となるよう制限して設計すればデッドロックは絶対に発生しない
実用的なプログラムにおいてその制限はなんら支障をもたらさない
つまりその制限を課すだけでデッドロック問題は発生することなく終わる

**デフォルトの名無しさん** · 2023/08/31(木) 14:46:26.78

反例をあきらめたか
デッドロックの検出に限らず
GPTによるデバッガ（にも限らないが）の開発環境への統合は
今日のプログラミング言語に求められる要件を大きく変えるだろうね
Rustはこの先生きのこれるのだろうか?

**デフォルトの名無しさん** · 2023/08/31(木) 14:56:20.19

GPTのおかげでRustだけが有利になってしまった
ミスもするが命令すれば何度でもやり直すGPT
必ず安全なコードのみを通すRustコンパイラ
この二つを組み合わせると必ず安全なコードを生成できる

**デフォルトの名無しさん** · 2023/08/31(木) 15:15:28.97

そういう異世界が有っても良いとは思うが
こっちの世界はそうじゃないしならなくても良いわ