1 Definisi fungsi dari bentuk:
attribute-specifier-seq opt decl-specifier-seq opt declarator virt-specifier-seq opt = default ;
disebut definisi eksplisit-standar. Suatu fungsi yang secara eksplisit default harus
(1.1) - menjadi fungsi anggota khusus,
(1.2) - memiliki tipe fungsi yang dideklarasikan sama (kecuali untuk kemungkinan ref-kualifikasi yang berbeda dan kecuali bahwa dalam kasus copy constructor atau operator penugasan copy, tipe parameter dapat “merujuk ke non-const T”, di mana T adalah nama kelas fungsi anggota) seolah-olah telah dinyatakan secara implisit, dan
(1.3) - tidak memiliki argumen default.
2 Fungsi eksplisit-standar yang tidak didefinisikan sebagai dihapus dapat dideklarasikan hanya dengan constexpr jika secara implisit dinyatakan sebagai constexpr. Jika suatu fungsi secara eksplisit default pada deklarasi pertama, itu secara implisit dianggap sebagai constexpr jika deklarasi implisit akan.
3 Jika suatu fungsi yang secara eksplisit default dinyatakan dengan noexcept-specifier yang tidak menghasilkan spesifikasi eksepsi yang sama dengan deklarasi implisit (18.4), maka
(3.1) - jika fungsi secara eksplisit default pada deklarasi pertamanya, itu didefinisikan sebagai dihapus;
(3.2) - jika tidak, program ini cacat.
4 [Contoh:
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
- contoh akhir]
5 Fungsi-fungsi yang secara eksplisit-default dan fungsi-fungsi yang dinyatakan secara implisit secara kolektif disebut fungsi-fungsi yang gagal, dan implementasinya harus memberikan definisi implisit untuk mereka (15.1 15.4, 15.8), yang mungkin berarti mendefinisikannya sebagai dihapus. Suatu fungsi disediakan pengguna jika dideklarasikan oleh pengguna dan tidak secara default dihapus atau dihapus pada deklarasi pertamanya. Fungsi yang disediakan pengguna secara default-default (yaitu, secara eksplisit default setelah deklarasi pertama) didefinisikan pada titik di mana ia secara eksplisit default; jika fungsi seperti itu secara implisit didefinisikan sebagai dihapus, program tersebut salah bentuk. [Catatan: Mendeklarasikan fungsi sebagai default setelah deklarasi pertama dapat memberikan eksekusi yang efisien dan definisi ringkas sambil mengaktifkan antarmuka biner yang stabil ke basis kode yang berkembang. - catatan akhir]
6 [Contoh:
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
- contoh akhir]
Maka pertanyaannya tentu saja fungsi mana yang dapat dinyatakan secara implisit dan kapan itu terjadi, yang telah saya jelaskan di: