Rust より C++ が優れている 12 のポイント

若干釣りタイトルですが，私が「Rust にはない C++ の良さ」を募ったところ，12 個ほどの優れている点が報告されたので，まとめてみます．

背景

私は 2018/10/08 開催予定の技術書典5で，『C++でできる！OS自作入門』と題して，Clang+LLD で C++ を使って OS 開発する際の注意点とか C++ の活用例を解説する同人誌を書こうと思っています． その下調べもかねて，このようなツイートをしました．

そうしたら知り合いからこんなリプが飛んできました．

一部の人に参考になるかもしれないのでまとめることにしました．ただしネタ多めです．

私の立場

私（@uchan_nos）の立場を表明しておくとこんな感じです．

• C++ が大好き．
• Rust は書いたことはないが，人から聞く限り良い言語だと思う．静的解析をガンガン使ってプログラムのミスを発見するのはコンパイラの目指すべき方向性だと思っており，ゆえに Rust の方向性は素晴らしい．
• C++ は Rust より優れていない点が多いように見える．が，そこがかわいいし，使いこなしている感があって好き．何とかして C++ が優れている点を発見したい．

反応まとめ

• 常に unsafe

  • 解説：C++ はいとも簡単にメモリの整合性を崩すことができる．ダングリングポインタの生成ならお任せあれ．Rust では，そのような危険な操作をするにはコードを unsafe で囲まなければならない．

• Rustが918 SpyderならC++はCarrera GT

  • 解説：RustもC++もどちらもきちんと乗りこなすのは非常に難しいけどRustは技術によるサポートが手厚くてC++はもっと自由度が高いイメージで、その分C++を書く楽しさみたいなのがある気がしてる

• 完全に理解できる

  • 解説：C++完全に理解した。

• 型のキャストが1発で出来る(・∀・)。Rust だと レガシーな API を呼ぶときなどに as を連ねることが割とある(・∀・)。

  • 解説：C++ ではポインタの型のキャストは static_cast<int>(1.2) や reinterpret_cast<uint8_t*>(0x4000) などと書くことが可能．

• 夜じゃなくてもベアメタルプログラミングできる。

  • 解説：Rust コンパイラは安定板と nightly build 版があり，ベアメタルプログラミングで使いたくなる機能が，現状では nightly build 版にしかない．

• Rustはスコープベースでのポインタの安全性に関しては極められているけれど、それ以外の状況ではスマートポインタに丸投げになってる。C++ではRustでスマートポインタに丸投げされてる部分に踏み込める。

• スマートポインタを使わないこともできるでしょ。個人的には一切使ってないし。Rust的のスコープベース管理に相当する部分では所有権に留意してればいいし、リストなんかにぶら下がってる自己deleteが前提なオブジェクトはリストにぶら下がってる事自体が存在証明なのでスマートポインタは不要。

• スコープベース以外では、排他処理と同様にポインタをオブジェクトの外には見せない設計にすると管理が簡単になる。特にオブジェクト外でdeleteするのは避けるべき...程度の注意でスマートポインタは不要になる。スマートポインタだと消滅のタイミングがわからなくなるし。

  • 解説：メモリ関連のエラーを起こさない自信がある部分のプログラミングには防御が少ない C++ で書いた方がイライラが少ないことがある．

• ツールサポートの良さ，言語の後方互換性の高さもさることながら，C++の言語の学習曲線の高さが好き．Vimみたいな感じで，ある程度訓練しないと使えないが，訓練すれば楽しく扱える的な．まあ，それはRustも同じかRustの方が学習曲線が高いのかもしれないけど．

  • 解説：難しいものを使いこなす感が良い．

• C++だと「テンプレートテンプレートパラメタ」が使えると教えてもらいました．これはRustではできないことだそうです．テンプレートテンプレートパラメタは初耳でしたが，std::vectorのような具体化していないテンプレート型を引数にとるテンプレートを定義できるということだそうです．

  • 解説：テンプレートテンプレートパラメータ

• あとはグラフ構造を操作するときはRustよりC++の方が書きやすいと．Rustだと循環参照があるようなデータ構造を操作するのが非常に面倒だ，ということでした．

• Rust だと面倒、というよりも Rust だと間違えない代わりに動かすまでに時間がかかって、C++ だと間違えて死ぬ、だと思います。

  • 解説：競技プログラミングで循環のあるグラフ構造を操作するには Rust はだるいとのこと（研究室の学生談）．C++ だとプログラマが貧弱だとミスを起こしがち．

• 可能な限りすべてをコンパイル時に。可変長引数で美味しく行こう。overloadは基本的人権

  • 解説：C++ は可能な限り実行時オーバーヘッドを無くすことを至上命題として設計されている節がある．オーバーロードはC++の強みというが、Rustでもそれっぽいことはできる。 という意見もあった．

• Variadic templateとfold expressionはどうだろう

  • 解説：variadic template は，可変個のテンプレート引数をとることができる機能で，これを使うとテンプレートで再帰計算ができたりする．fold expression は可変個のテンプレート引数を二項演算子により畳み込む機能のこと．こういう機能が Rust にあるのか私は知らない．

• Rust に勝てる C++ あった、C++ には中３女子がいるぞ！！！１！

  • 解説：C++ 界のカリスマ，中３女子． この 1 点の存在により C++ の Rust に対する絶対的優位が約束される．

追記

この記事の初版を書いた後に発見した反応たちをまとめます．まだこの記事に載ってない Rust に対する C++ の良さをご存知の方は，是非教えてください．追加します．

• GUIライブラリと開発環境のQtが好きすぎてC++から離れられません

  • 解説：Qt は C++ 用の GUI ライブラリ兼開発環境．割と C++ のキラーアプリ的存在なのかもしれない．

• Rust になくて C++ にある機能と言えば Non-type template parameter がある。これはぜひ Rust に入ってほしい (現状の配列型 [T; N] に対する各種トレイトの実装は見るに耐えないし不完全) 。

  • 解説：非型テンプレートパラメタを使うと整数値などを受け取れる． template <size_t N> とか．

• Rust だとllvmがサポートしてないから使えないけど、C++だと標準ライブラリで使えるものがある

• <cfenv> 相当の機能がRustになくて困る
• 浮動小数点数の丸め方法が変更されない前提で作られてるらしく、軽く絶望した

• https://twitter.com/range_v3/status/1033161245426253824

  • 解説：LLVM は色々な言語のバックエンドとして使われている．が，LLVM はちょっと浮動小数点数のサポートが弱いとのこと．Rust は浮動小数点数使いの人には絶望する仕様らしい．
  • 追加でリンクをいただいた． LLVM (thus, Rust) floating point support support is incomplete

• というかC++のいいところのひとつにBoost入れていいんじゃなかろうか

  • 解説：Boost はとても機能が豊富なライブラリ．モダンな C++ で書かれていて良さがある．

• Rustではどうか分かりませんが、C++でできることは、ソースコード量の59億倍のコンパイルエラーメッセージを出力することです。WSL g++ 5.4.0だとコンパイルが終わりません。

  • 解説：コンパイラをいじめたい方に C++ はおすすめの言語だ．