1 양식의 함수 정의 :
attribute-specifier-seq opt decl-specifier-seq opt declarator virt-specifier-seq opt = default ;
명시 적 기본 정의라고합니다. 명시 적으로 기본 설정된 기능은
2 삭제 된 것으로 정의되지 않은 명시 적으로 디폴트 된 함수는 constexpr로 내재적으로 선언 된 경우에만 constexpr로 선언 될 수 있습니다. 함수가 첫 번째 선언에서 명시 적으로 기본값을 설정 한 경우 암시 적 선언은 암묵적으로 constexpr로 간주됩니다.
3 명시 적으로 기본 설정된 함수가 암시 적 선언 (18.4)과 동일한 예외 사양을 생성하지 않는 noexcept-specifier로 선언 된 경우
4 [예 :
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
— 최종 예]
5 명시 적으로 디폴트 된 함수와 내재적으로 선언 된 함수를 통칭하여 디폴트 함수라고하며, 구현은 그것들에 대한 암시 적 정의를 제공해야합니다 (15.1 15.4, 15.8). 함수는 사용자가 선언하고 첫 번째 선언에서 명시 적으로 기본값을 지정하거나 삭제하지 않으면 사용자가 제공합니다. 사용자가 제공 한 명시 적 기본값 기능 (즉, 첫 번째 선언 후 명시 적으로 기본값이 지정됨)은 명시 적으로 기본값이 지정된 지점에서 정의됩니다. 이러한 기능이 암시 적으로 삭제 된 것으로 정의되면 프로그램이 잘못 구성됩니다. [참고 : 첫 번째 선언 후 함수를 기본값으로 선언하면 효율적인 코드 실행과 간결한 정의를 제공하면서 진화하는 코드 기반에 안정적인 이진 인터페이스를 사용할 수 있습니다. — 끝 참고]
6 [예 :
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
— 최종 예]
그렇다면 어떤 함수가 암시 적으로 선언 될 수 있고 언제 일어날 수 있는지에 대한 질문입니다.