月刊「Rustは低レイヤーで使ってもunsafeだらけになるから意味がない」廃刊のお知らせ

組込みRustや自作OSなどにおいて、従来言語より高い安全性があるとされているRustは注目される一方、Rustでも低レイヤー分野で頻発するメモリアクセスやインラインアセンブラなどでunsafeブロックが存在が多くなりがちです。 このunsafeブロックが多くなるので、結局Rustでこのような低レイヤー分野を触っても意味がないのでは？安全ではないのでは？という疑問が投げかけられることがしばしばあります。 筆者はTwitterや過去のブログで、組込みRustにおいてのunsafeとの付き合い方について触れていきましたが、内容としては分散していたので今一度この疑問に対するアンサーをまとめることにし、この論争に終止符を打とうと思います。 Rustにおけるunsafeとは そもそもunsafeとは何かというのはThe Rust Programming Languageのドキュメントにも詳しく書かれ

[flurry]

これも明記してないですけど、文脈としてはSNS上でのこういった雑な煽りへの応答ですので…… https://x.com/nonNoise/status/1875347974861246798

[topiyama]

タイトルわかりにくい。（そういう言い回しがあるのね）／『Rustの魅力は安全性だけではない』アピールポイントはこっちなんでしょうね。Linuxのドライバ用途で使われると環境整備充実されそうで期待

[ytkibk]

タイトル見て「？」となって、記事の頭を少し読んで「なるほど、そういう意味か」と思う人が対象になる記事だと思うので、このタイトルで問題ないと思われ。タイトルはキャッチーに機能してる。

[tokuniimihanai]

Twitter（自称X）で流行るエンジニアの話題って本当に下らないのが多いね。とっくに答えが出てる話に延々とズレた議論を続けていたり。この記事自体は別に悪くないけど。

[atsushieno]

低レイヤーを実装せずに動かせる言語は存在しないので藁人形論法っぽい疑問に反駁するような内容だ。無意味というわけではないけど別にRust以外でも同じ話になる。

[qwerty86]

結局人間が保証するならC++でも大して変わらん気がするけどなあ。まあそりゃなんか起きたらunsafe部分に限定されるから少しはマシなんだろうけど

[hobbiel55]

「insertメソッドを使っているコードはunsafeかと言われるとそんなことはないです。insertメソッドが正しく実装されている限りは配列の挿入操作によってメモリモデルが破壊されることはないためです」←それを言ったら感

[beeeyond]

｢ちゃんと実装されていれば｣の部分が切り分けられたり､少なくすることができるという理解で良いのでしょうか｡個人的にはC99しかコンパイラがない8bit MCUがメインなので触ることはなさそうです｡残念｡

[mohri]

“unsafeな操作をしなければならない箇所というのを限定して適切な抽象化を行うことで、その上位のコードは安全に書けるようになります”

[poad1010]

この記事をおすすめしました

[zyzy]

この話何周目だ、ってくらい最初期から延々されてる気が……

[zgmf-x20a]

実際、銀の弾丸って硬度や剛性の点で使い物になるのかな？

[rgfx]

はい

[earu]

Zigも同じなん？

[tor4kichi]

安全担保の仕組みを実行バイナリに対するテストからコンパイル前のコードに早期適用しようって話で、より安全にしたいならGCクレートを使うとかテストも組んで動作が意図通りかチェックするとか選択肢はあるよね

[nemoba]

関数型言語の副作用無しで処理中に電源切ったら副作用起きると言ってるのとほぼ同じ話。マーケティングとリテラシの問題。それかノイマン型以外のコンピュータ発明しろといってるかの話

[suka6411144]

前にDARPAが発表してたCをRustに自動で書き換えるプログラムは意味あるのかと思ったりしていた

[FreeCatWork]

貴重な情報をありがとうございます。今後も楽しみにしています

[fuji_haruka]

ブコメに証明駆動原理主義者がいて味わい深い

[getcha]

多様性はあっていいと思うという前提で、多くの人にはC言語でいいだろうな。と言う気持ちをあらたにした。どの言語も同じ課題に当たるし、課題に対するアプローチの味付けの違いで優劣ではないと言っていいと思う。

[TakamoriTarou]

開発の手続保障が厳格に求められる様な分野でRustが出てこないのはなんだろうんはと

[UhoNiceGuy]

「unsafe部分をCで書いて、ラップしても同じでは」←それはそう。だけど、全部をRustで統一できた方がRustプロジェクトではいいのでは、という話だと思う//「Cは誰でも読めて当たり前だろ」とも思うんだけどね

[syu-m-5151]

廃刊おめでとうございます。それはそう。

[threethree]

非安全領域にバグがなければ上位は安全ってのはそうだろうけど、それなら低レイヤー部を既存のCコード流用してRustでラップするのと同じ気が。表題の指摘は当該領域をバグなく安全に書けているかを気にしているのでは