1 Định nghĩa hàm của biểu mẫu:
attribute-specifier-seq opt decl-specifier-seq opt declarator virt-specifier-seq opt = default ;
được gọi là một định nghĩa mặc định rõ ràng. Một chức năng được mặc định rõ ràng sẽ
(1.1) - là một chức năng thành viên đặc biệt,
(1.2) - có cùng loại chức năng được khai báo (ngoại trừ có thể khác nhau về các vòng loại giới thiệu và ngoại trừ trong trường hợp của hàm tạo sao chép hoặc toán tử gán sao chép, loại tham số có thể là tham chiếu tới T-không phải là const, trong đó T là tên của lớp chức năng thành viên) như thể nó đã được khai báo ngầm, và
(1.3) - không có đối số mặc định.
2 Hàm mặc định rõ ràng không được xác định là đã xóa chỉ có thể được khai báo constexpr nếu nó được khai báo ngầm là constexpr. Nếu một hàm được mặc định rõ ràng trong khai báo đầu tiên của nó, thì nó được coi là ngầm định nếu khai báo ngầm sẽ là.
3 Nếu một chức năng được mặc định rõ ràng được khai báo với một bộ xác định noexcept không tạo ra đặc tả ngoại lệ giống như khai báo ngầm (18.4), thì
(3.1) - nếu chức năng được mặc định rõ ràng trong khai báo đầu tiên, nó được định nghĩa là đã xóa;
(3.2) - mặt khác, chương trình không được định hình.
4 [Ví dụ:
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
- ví dụ kết thúc]
5 Các hàm được mặc định rõ ràng và các hàm được khai báo ngầm được gọi chung là các hàm mặc định và việc triển khai sẽ cung cấp các định nghĩa ngầm cho chúng (15.1 15.4, 15.8), có nghĩa là xác định chúng là đã bị xóa. Một hàm được cung cấp bởi người dùng nếu nó được khai báo bởi người dùng và không được mặc định hoặc xóa rõ ràng trên khai báo đầu tiên của nó. Hàm được mặc định rõ ràng do người dùng cung cấp (nghĩa là được mặc định rõ ràng sau khi khai báo đầu tiên) được xác định tại điểm mà nó được mặc định rõ ràng; nếu một chức năng như vậy được định nghĩa ngầm là bị xóa, chương trình sẽ không được định dạng. [Lưu ý: Khai báo một hàm như mặc định sau khai báo đầu tiên của nó có thể cung cấp thực thi hiệu quả và định nghĩa ngắn gọn trong khi cho phép giao diện nhị phân ổn định cho cơ sở mã đang phát triển. - lưu ý cuối]
6 [Ví dụ:
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
- ví dụ kết thúc]
Sau đó, câu hỏi là tất nhiên các chức năng có thể được khai báo ngầm và khi nào điều đó xảy ra, mà tôi đã giải thích tại: