疑われる「C++」の安全性、今後の動きはどうなる

「C++」は非常に人気があるプログラミング言語だが、同言語の標準化に取り組んでいるグループが、C++の「メモリ安全性」を（新しいライバル言語である「Rust」のように）高めるための今後の道筋について議論する文書を発表した。 Rustは、MicrosoftやAmazon Web Services（AWS）、Meta、GoogleのAndroid Open Source Project、主にC++で書かれている「Chromium」プロジェクト（まだ始まったばかりだが）、Linuxカーネルなど、多くの企業やプロジェクトで採用されており、メモリ関連のセキュリティホールを減らすのに役立っている。最近では、米国家安全保障局（NSA）までが、開発者に対してC++からC#やJava、Ruby、Rust、Swiftへの戦略的な移行を促す事態になっている。 C++の生みの親であるBjarne Stroustr

[gabill]

偉い人「おい、うちの会社のマシンにもC++が混入してるんじゃないか？総点検して発見次第直ちに削除しろ！取引先にもC++が混入してないか報告書を提出させるんだ！」

[hope_ring]

C++の安全性は疑いようもないほど低い。けども今までの莫大なソフトウェア資産がありRustに移行する費用を払う動機もないのでC,C++は生き残り続ける。COBOLが未だに死なないのだから

[maeda_a]

“C++が近年、ダングリングや、リソースや、メモリ安全性に関して長足の進歩を遂げていることが見過ごされてしまっている”…アドバイスやガイドラインじゃダメだと思うなあ。危険なコードが書けない仕組みがないと。

[kako-jun]

安全のためにC++に追加されてる<>で修飾する記法を覚えるコストは、Rustを覚えるコストより大きい気がして、最新のC++に自分を対応させても、ジョジョ7部でいう対応者に過ぎない気がして、Rustを選ぶ

[ichiken7]

C++が安全だと思われたことなんてあるのか？

[mohno]

なんかさー、安全性とか、そういうのが必要なら、わざわざ“C++”を変質させなくても、別の言語に切り替えればいい話だと思うんだよね。それで互換性が犠牲になるなら“C++”（あるいはC）を選ぶ理由がないというか。

[atsushieno]

2022年は（Rustではなく）C++のコンセプトで安全にコードを書くアプローチを採用するツールがたくさん出てきてC++が見直されつつあった1年なのだが、この記事は1年遅れくらい? https://accu.org/journals/overload/30/172/teodorescu/

[satomi_hanten]

C/C++以外でカーネルドライバが動くようなOSがあるなら。今時普通のアプリで進んでC++選ぶマゾは居らんやろ。

[getcha]

そりゃ高級言語か低級言語かでメモリの安全性はプログラマの腕次第になる。高いとか低いじゃないんだよね本質は。プロ用と一般用のようなもの。この当たり前の話は何世代にも渡り再生産されてるな。

[ytakano]

既存のC++コードは資産として残るかもしれないけれど、新たなコードは危険なC/C++でわざわざ書く必要はないよね。RustからもC++コードは利用出来るので、安全にこしたことはない。

[nharuki]

疑うも何も、もとから安全ではない。そのリスクを差し置いても既存資産とか速度とかメリットがあっただけで、今は「尚且つ安全なRust」が台頭してきただけ。

[tick2tack]

びょーんすぽっすぽ！？ /　今のC++ろくに知らんけど「安全にも書ける」でなく「デフォルトでは安全にしか描けない」になってはないんだろうな

[tsimo]

安全性もそうだけど、自身の著書の分厚さを見て何か疑問に思わないのかなというのはある。

[mas-higa]

あー疑われちゃったかー

[tattyu]

疑われてるのは人間の書くコードの安全性だよ。C++は人類には煩雑すぎる。テンプレート周りとか覚えるのもかったるいし、それで拡張されまくった他人のオレオレC+＋とか覚えるのも苦痛。

[y_hirano]

C++はそもそもがマジで辛いので、組み込みとかのハードでも早くRustなんかがさらっと使えるようになって欲しい

[tettekete37564]

最近こう言うのたまに見るけど、みんな有能で知識のあるプログラマにお金出したくないんだろうな、と思うようになった。どんな言語だろうとインセキュアなアプリは作れる。っつかメモリの管理は OS の役目だろう。

[mattn]

C++ 悪者扱いされてて可哀想。

[u_sho]

Rustをやらずに「これはできない」「あれはできない」と言ってる人が多いな。GCを導入せずruntimeを薄く保ち低レイヤーへのアクセス手段を残しながらメモリ安全性を高めることはできるよ

[cartman0]

rustでええよ

[mkusunok]

確かにC++は長足の進歩を遂げているのだがModern C++を書けるプログラマーがどれだけいるのか、コンパイルが通り普通にリンクできるレガシーコードを書き直す余裕があるか考えると、つくづく資産は負債でもあるんだろう

[uehaj]

ちょっとこれは駄目。Cとの互換機能を使用禁止すれば確かにC++もある程度安全だが、その方向性でCとギャップがあってもいいならRustのほうがC++より何倍もよい。Cからの移植やCとの相互運用はZigのほうがC++より何倍も良い

[tanakh]

疑われる･･･？(´･_･`)

[ardarim]

適材適所、それだけでしょ。C++は安全ではないとしても他の言語と等価に入れ替え可能ではないのだから。

[hdampty7]

皆が欲しいのは安全なC++だということは分かりきってるんだけれど、未だ銀の弾丸なし。

[dp212]

C#は安全らしい

[topiyama]

C/C++への要求ってベアメタルランタイムで動くことだから、OSもMMUも無しで出来るようにしてからにしてくれ。（無理だから事前の静的解析で検出しよう、っていう流れじゃないのか）

[houyhnhm]

個人的にはRustのヌルポ対策とか嫌いではないけどだからといって実装レベルの穴含めてだと思うし、C++並に成長出来るかはちょっと不安もある。

[naskin]

[C++}

[t_trad]

「自分で自分の足を撃てない銃はゴミだ」勢は何処へ行く

[temtan]

確かにC++は安全でないコードも書くことが出来る言語（他の最近の言語は安全なコードしか書けない）だけど、それがC++の良さに繋がってる感もあり。C++の良さを維持しつつ安全に書けるならそれは良いことだけど。

[raitu]

「プログラム言語自体にメモリ安全性を備えているような高級言語」が「リソースが慢性的に切迫する組込実装全般」に使える未来なんてぜんぜん想像できないけどな…アセンブラ言語すら当然生き残り続けるでしょうよ

[twainy]

Rustに将来性は感じつつも他社に使ってもらうライブラリを作るならC++にせざるをえない現実

[enemyoffreedom]

「最近では、米国家安全保障局（NSA）までが、開発者に対してC++からC#やJava、Ruby、Rust、Swiftへの戦略的な移行を促す事態になっている」

[strawberryhunter]

元から安全だと思って使っている人なんていないと思う。

[hanagesan]

C++は安全でないコードを書くのが簡単すぎるのでもし文明が滅んだらRustで書き直せばいいとは思うが、それはそれとして既存の資産が膨大すぎるのでな

[esper]

イメージの問題なの？

[l-_-ll]

"最近では、米国家安全保障局（NSA）までが、開発者に対してC++からC#やJava、Ruby、Rust、Swiftへの戦略的な移行を促す事態になっている。"　・・・Ruby？