問題タブ [exception-safety]

Rust プログラムがパニックした場合、パニック キャッチャーがないと仮定すると (しばらくの間はありませんでした)、デストラクタを実行せず、プロセス後に OS をクリーンアップさせるだけで安全で問題ありません。Rust がスレッドをほどくのはなぜですか?

私が考えることができる唯一の理由は、メモリを再利用する OS がない場合ですが、そのニッチを除けば不要のようです。

オブジェクトを std::vector に移動しているときにメモリ割り当てが失敗し、bad_alloc がスローされた場合、std::vector は、移動されたオブジェクトが変更されていない/まだ有効であることを保証しますか?

例えば：

Item一意であると想定されているため、コピーできない s を含むゲームがあります。

class Creatureを受け取り、Itemそれを自分の に追加することができinventoryます:

このアプローチは素晴らしくきれいに見えますが、小さな問題があります。コードの一部が後で回復でき、 'sstd::bad_allocによってスローされたものをキャッチした場合、ゲーム内のロジックは未定義です。失われるだけです。さらに、この可能性のためだけに指定子を削除する必要があります。recieve_item()push_back()Itemnoexcept

したがって、この方法で例外の安全性を提供できます (間違っている場合は指摘してください)。

ただし、現在、新しい欠点があります。

• std::move()呼び出し元のコードに がないため、 item;を移動したという事実がわかりにくくなります。
• 「resize(+1)」の部分は見苦しく、コード レビュー中に誤解される可能性があります。

質問はタイトルにあります。このような奇妙なケースでも例外の安全性は良い設計と見なされますか?