CWG Issue 595 (original) (raw)

This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 118e. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.

2025-11-05

595. Exception specifications in templates instantiated from class bodies

Section: 14.5 [except.spec]Status: dupSubmitter: Daveed VandevoordeDate: 7 September 2006

A type used in an exception specification must be complete (14.5 [except.spec] paragraph 2). The resolution ofissue 437 stated that a class type appearing in an exception specification inside its own_member-specification_ is considered to be complete. Should this also apply to exception specifications in class templates instantiated because of a reference inside the member-specification of a class? For example,

template<class T> struct X {
    void f() throw(T) {}
};

struct S {
    X<S> xs;
};

Note, January, 2012:

With the deprecation of _dynamic-exception-specification_s, the importance of this issue is reduced even further. The current specification is clear, and the suggested resolution is an extension. It has been suggested that the issue be closed as NAD.

Notes from the February, 2012 meeting:

The outcome of this issue will be affected by the resolution ofissue 1330. See alsoissue 287.

This issue is subsumed by the newer issue 1330and should be discussed in that context.