[cfe-dev] Exception Specs & Redeclarations

[Douglas Gregor]

On Mar 6, 2011, at 11:01 AM, Sebastian Redl wrote:

> 
> On 06.03.2011, at 19:27, Douglas Gregor wrote:
> 
>> Check out 
>> 
>> 	http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1073
>> 
>> which strikes the problematic compatibility rule. Let's assume the proposed resolution; IIRC, it's what GCC does.
> 
> The resolution doesn't address Alistair's example, though. How do throw and noexcept specifiers get composed for implicitly generated definitions?


I think that if any throw() is present, the implicitly generated definition needs to get the dynamic exception specification throw(), since throw() is, in effect, a slightly looser exception specification than noexcept.

	- Doug