1 Uma definição de função do formulário:
attribute-specifier-seq opt decl-specifier-seq opt declarator virt-specifier-seq opt = default ;
é chamada de definição explicitamente padronizada. Uma função explicitamente inadimplente deve
(1.1) - ser uma função membro especial,
(1.2) - tem o mesmo tipo de função declarada (exceto para possíveis qualificadores ref diferentes e exceto que, no caso de um construtor de cópias ou operador de atribuição de cópias, o tipo de parâmetro pode ser "referência a não-const T", onde T é o nome da classe da função membro) como se tivesse sido implicitamente declarado, e
(1.3) - não possui argumentos padrão.
2 Uma função explicitamente padronizada que não é definida como excluída pode ser declarada constexpr apenas se tivesse sido implicitamente declarada como constexpr. Se uma função é explicitamente padronizada em sua primeira declaração, ela é considerada implicitamente constexpr se a declaração implícita for.
3 Se uma função explicitamente padronizada for declarada com um noexcept-specifier que não produz a mesma especificação de exceção que a declaração implícita (18.4), então
(3.1) - se a função for explicitamente padronizada em sua primeira declaração, ela será definida como excluída;
(3.2) - caso contrário, o programa está mal formado.
4 [Exemplo:
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
- exemplo final]
5 Funções explicitamente padronizadas e funções declaradas implicitamente são chamadas coletivamente de funções padrão, e a implementação deve fornecer definições implícitas para elas (15.1 15.4, 15.8), o que pode significar defini-las como excluídas. Uma função é fornecida pelo usuário se for declarada pelo usuário e não for explicitamente padronizada ou excluída em sua primeira declaração. Uma função explicitamente padronizada fornecida pelo usuário (ou seja, explicitamente padronizada após sua primeira declaração) é definida no ponto em que é explicitamente padronizada; se tal função estiver implicitamente definida como excluída, o programa será mal formado. [Nota: Declarar uma função como padrão após sua primeira declaração pode fornecer execução eficiente e definição concisa enquanto permite uma interface binária estável para uma base de código em evolução. - nota final]
6 [Exemplo:
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
- exemplo final]
É claro que a questão é quais funções podem ser declaradas implicitamente e quando isso acontece, que expliquei em: