問題タブ [nothrow]

nothrowのデストラクタがFooスローされないときはいつでも関数があることを指定しようとしています。型特性を使用してこれを行うことができますstd::is_nothrow_destructible<>。これを直接行うにはどうすればよいですか？次のことを試しましたが、コメント行のコメントを外すとコンパイルされません

エラーが発生する

エラー指定子noexcept(noexcept(~Foo()))は OK ではありませんが、コンストラクターには を使用できますnoexcept(noexcept(Foo()))。ここにいくつかの明らかな構文がありませんか?

以前のプログラムでは、次のコードを使用して、通常は代替案を考えずに、メモリ割り当ての失敗をチェックしました。

この方法については、こちらにも記載されています。

ここで構文のリファレンスを見つけました：

nothrowプログラマーがnew への「引数」を含めない場合、チェックnullptrが無効になることを示唆していますか? これは正しいです？それともOS依存？

私が理解しているように、これに関連するオーバーヘッドのために、実際にブロックから回復できない限りnew、ブロックを配置してもほとんど意味がありません。try-catchこれも正しいですか？

operator++() を非スローにできないのはなぜですか?

これは、後置 ++ 演算子 (前置 ++ 演算子よりも) を使用する数少ない利点の 1 つです。

たとえば、このコードはコンパイルされません

余談ですが、後置演算子もスレッドセーフにすることができます。

長いタイトル:の noexcept 指定が内部型のデストラクタの noexcept 指定に依存しないのはstd:variantなぜですか?operator=(T&& t)

私はcppreferenceでそれを見ることができます

は

したがって、これはコンパイルされます：

しかし、次FooThrowのデストラクタを呼び出しnoexcept(false)ます。

正しくないようです。何か不足していますか？