1 Una definición de función de la forma:
attribute-specifier-seq opt decl-specifier-seq opt declarator virt-specifier-seq opt = default ;
se llama una definición explícitamente predeterminada. Una función que está explícitamente predeterminada
(1.1) - ser una función miembro especial,
(1.2): tienen el mismo tipo de función declarada (excepto para posibles calificadores de referencia diferentes y excepto que en el caso de un constructor de copia u operador de asignación de copia, el tipo de parámetro puede ser "referencia a T no constante", donde T es el nombre de la clase de la función miembro) como si se hubiera declarado implícitamente, y
(1.3): no tiene argumentos predeterminados.
2 Una función explícitamente predeterminada que no se define como eliminada puede declararse constexpr solo si se hubiera declarado implícitamente como constexpr. Si una función se omite explícitamente en su primera declaración, se considera implícitamente constexpr si la declaración implícita lo fuera.
3 Si una función que está explícitamente predeterminada se declara con un especificador noexcept que no produce la misma especificación de excepción que la declaración implícita (18.4), entonces
(3.1) - si la función está explícitamente predeterminada en su primera declaración, se define como eliminada;
(3.2) - de lo contrario, el programa está mal formado.
4 [Ejemplo:
struct S {
constexpr S() = default; // ill-formed: implicit S() is not constexpr
S(int a = 0) = default; // ill-formed: default argument
void operator=(const S&) = default; // ill-formed: non-matching return type
~ S() noexcept(false) = default; // deleted: exception specification does not match
private:
int i; // OK: private copy constructor
S(S&);
};
S::S(S&) = default; // OK: defines copy constructor
- ejemplo final]
5 Las funciones predeterminadas explícitamente y las funciones declaradas implícitamente se denominan colectivamente funciones predeterminadas, y la implementación proporcionará definiciones implícitas para ellas (15.1 15.4, 15.8), lo que podría significar definirlas como eliminadas. Una función es proporcionada por el usuario si es declarada por el usuario y no está explícitamente predeterminada o eliminada en su primera declaración. Una función explícitamente predeterminada por el usuario (es decir, explícitamente predeterminada después de su primera declaración) se define en el punto donde está explícitamente predeterminada; si dicha función se define implícitamente como eliminada, el programa está mal formado. [Nota: Declarar una función como predeterminada después de su primera declaración puede proporcionar una ejecución eficiente y una definición concisa al tiempo que permite una interfaz binaria estable a una base de código en evolución. - nota final]
6 [Ejemplo:
struct trivial {
trivial() = default;
trivial(const trivial&) = default;
trivial(trivial&&) = default;
trivial& operator=(const trivial&) = default;
trivial& operator=(trivial&&) = default;
~ trivial() = default;
};
struct nontrivial1 {
nontrivial1();
};
nontrivial1::nontrivial1() = default; // not first declaration
- ejemplo final]
Entonces, la pregunta es, por supuesto, qué funciones pueden declararse implícitamente y cuándo sucede eso, lo que he explicado en: