From Jason Turner

[special]

Diff to HTML by rtfpessoa

tmp/tmpnl4n4e6n/{from.md → to.md} RENAMED
@@ -5,13 +5,12 @@ constructors [[class.copy.ctor]], copy assignment operators, move
5
  assignment operators [[class.copy.assign]], and prospective destructors
6
  [[class.dtor]] are *special member functions*.
7
 
8
  [*Note 1*: The implementation will implicitly declare these member
9
  functions for some class types when the program does not explicitly
10
- declare them. The implementation will implicitly define them if they are
11
- odr-used [[basic.def.odr]] or needed for constant evaluation
12
- [[expr.const]]. — *end note*]
13
 
14
  An implicitly-declared special member function is declared at the
15
  closing `}` of the *class-specifier*. Programs shall not define
16
  implicitly-declared special member functions.
17
 
@@ -67,9 +66,5 @@ which:
67
  For a class, its non-static data members, its non-virtual direct base
68
  classes, and, if the class is not abstract [[class.abstract]], its
69
  virtual base classes are called its *potentially constructed
70
  subobjects*.
71
 
72
- A defaulted special member function is *constexpr-compatible* if the
73
- corresponding implicitly-declared special member function would be a
74
- constexpr function.
75
-
 
5
  assignment operators [[class.copy.assign]], and prospective destructors
6
  [[class.dtor]] are *special member functions*.
7
 
8
  [*Note 1*: The implementation will implicitly declare these member
9
  functions for some class types when the program does not explicitly
10
+ declare them. The implementation will implicitly define them as needed
11
+ [[dcl.fct.def.default]]. *end note*]
 
12
 
13
  An implicitly-declared special member function is declared at the
14
  closing `}` of the *class-specifier*. Programs shall not define
15
  implicitly-declared special member functions.
16
 
 
66
  For a class, its non-static data members, its non-virtual direct base
67
  classes, and, if the class is not abstract [[class.abstract]], its
68
  virtual base classes are called its *potentially constructed
69
  subobjects*.
70