This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 112c. See for the official list.


1644. Equivalent exception-specifications in function template declarations

Section:  []     Status: NAD     Submitter: Richard Smith     Date: 2013-03-17

Although 14.5 [except.spec] paragraph 3 says,

Two exception-specifications are compatible if:

it is not clear whether “equivalent” in this context should be taken as a reference to the definition of equivalent given in [] paragraph 5:

Two expressions involving template parameters are considered equivalent if two function definitions containing the expressions would satisfy the one definition rule (6.3 [basic.def.odr]), except that the tokens used to name the template parameters may differ as long as a token used to name a template parameter in one expression is replaced by another token that names the same template parameter in the other expression.

since the context there is expressions that appear in function template parameters and return types.

There is implementation variance on this question.

Rationale (February, 2021):

The text in question no longer appears in the Standard.