例外に投げられた型に対して、標準はどのような要件を課していますか？

Question

I thought exceptions imposed a bit more on the thrown type than the standard actually imposes.この混乱を解決したいと思います。これらのタイプに実際に課されるのは何ですか？

Answer 1

C++ ISO仕様、§ 15.1/3、スロー発現の

型がvoid以外、 不完全型、または不完全型へのポインタまたは参照であってはならないと述べています*、const void *、volatile void *、const volatile void *のいずれかです。これらの制限と15.3で述べた型マッチングの制限を除いて、throwのオペランドは、コール（5.2.2）またはreturn文のオペランドの関数引数として正確に扱われます。

これより、前方宣言したタイプを投げていない限り、好きなものを投げることができるようです。

EDIT：@Billy ONealが指摘するように、型はコピー可能である必要があります。つまり、コピーコンストラクタをサポートする必要があります。