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

2023/01/30 208 users C++ 安全性 Meta rust 道筋

「C++」は非常に人気があるプログラミング言語だが、同言語の標準化に取り組んでいるグループが、C++の「メモリ安全性」を（新しいライバル言語である「Rust」のように）高めるための今後の道筋について議論する文書を発表した。 Rustは、MicrosoftやAmazon Web Services（AWS）、Meta、GoogleのAndroid Open Source Pro... 続きを読む

Rustの所有権（ownership）を語義から理解する - igagurimk2の日記

2019/08/18 75 users Ownership rust Lifetime 語義 所有権

所有権（ownership）と借用（borrowing）とライフタイム（lifetime）はRust特有の言語仕様として有名である。 Rustではガベージコレクション（GC）を使用せずにメモリ安全性を確保するために所有権と借用とライフタイムの仕様を採用している。 この機構によって、Rustではプログラマが変数の値が有効である範囲を意識す... 続きを読む

Rustの二次元配列の要素のswap

2018/07/30 54 users swap rust 不在 型検査 現状

ボローチェッカーは、GCに頼ることなくメモリ安全性を保障してくれたりデータレースの不在を保障してくれるRustのユニークで有用な機能ですが、現状のボローチェッカーはずいぶん保守的な型検査を行うので、普通に考えるとどう考えても安全なコードが型検査を通せなかったりすることがちょくちょくあります。そんなもの... 続きを読む

【翻訳】型安全性とは何か | POSTD

2014/09/04 190 users かなり コメント C言語 型安全性 POSTD

以前書いた（C言語についての）メモリ安全性について定義した記事について、型安全性について説明する記事も投稿してほしいというコメントがありました。型安全性についてはかなりよく知られてきていると思いますが、ズバリこうだと簡単 […]以前書いた（C言語についての）メモリ安全性について定義した記事について、型安全性について説明する記事も投稿してほしいというコメントがありました。型安全性についてはかなりよく... 続きを読む