Title
Omission of const in a defaulted copy constructor
Status
cd3
Section
9.5.2 [dcl.fct.def.default]
Submitter
Daniel Kr├╝gler

Created on 2011-06-21.00:00:00 last changed 90 months ago

Messages

Date: 2012-02-15.00:00:00

[Voted into the WP at the February, 2012 meeting; moved to DR at the October, 2012 meeting.]

Date: 2011-08-15.00:00:00

Proposed resolution (August, 2011):

  1. Change 9.5.2 [dcl.fct.def.default] paragraph 2 as follows:

  2. ...If a function is explicitly defaulted on its first declaration,

    • ...

    • in the case of a copy constructor, move constructor, copy assignment operator, or move assignment operator, it shall have the same parameter type as if it had been implicitly declared.

  3. Change _N4750_.15.8 [class.copy] paragraph 12 as follows:

  4. A copy/move constructor for class X is trivial if it is not user-provided, its declared parameter type is the same as if it had been implicitly declared, and if...
  5. Change _N4750_.15.8 [class.copy] paragraph 25 as follows:

  6. A copy/move assignment operator for class X is trivial if it is not user-provided, its declared parameter type is the same as if it had been implicitly declared, and if...
Date: 2012-09-24.00:00:00

Paragraph 1 of 9.5.2 [dcl.fct.def.default] allows an explicitly-defaulted copy constructor or copy assignment operator to have a parameter type that is a reference to non-const, even if the corresponding implicitly-declared function would have a reference to const. However, paragraph 2 says that a copy constructor or copy assignment operator that is defaulted on its first declaration, the parameter type must be exactly the same. Is there a good reason for the stricter rule for a function that is defaulted on its first declaration?

History
Date User Action Args
2014-03-03 00:00:00adminsetstatus: drwp -> cd3
2012-11-03 00:00:00adminsetstatus: dr -> drwp
2012-09-24 00:00:00adminsetmessages: + msg4005
2012-02-27 00:00:00adminsetmessages: + msg3812
2012-02-27 00:00:00adminsetstatus: ready -> dr
2011-06-21 00:00:00admincreate