Đó là một vấn đề ngữ nghĩa trong một số trường hợp. Nó không rõ ràng lắm với các hàm tạo mặc định, nhưng nó trở nên rõ ràng với các hàm thành viên do trình biên dịch khác tạo ra.
Đối với hàm tạo mặc định, có thể làm cho bất kỳ hàm tạo mặc định nào có phần thân trống được coi là một ứng cử viên để trở thành hàm tạo tầm thường, giống như sử dụng =default. Rốt cuộc, các hàm tạo mặc định trống cũ là C ++ hợp pháp .
struct S {
int a;
S() {} // legal C++
};
Việc trình biên dịch có hiểu hàm tạo này là tầm thường hay không là không liên quan trong hầu hết các trường hợp ngoài tối ưu hóa (thủ công hoặc trình biên dịch).
Tuy nhiên, nỗ lực này để coi các cơ quan chức năng trống là "mặc định" bị phá vỡ hoàn toàn cho các loại chức năng thành viên khác. Hãy xem xét các hàm tạo sao chép:
struct S {
int a;
S() {}
S(const S&) {} // legal, but semantically wrong
};
Trong trường hợp trên, hàm tạo sao chép được viết với phần thân trống bây giờ là sai . Nó không còn thực sự sao chép bất cứ điều gì. Đây là một bộ ngữ nghĩa rất khác so với ngữ nghĩa của hàm tạo sao chép mặc định. Hành vi mong muốn yêu cầu bạn viết một số mã:
struct S {
int a;
S() {}
S(const S& src) : a(src.a) {} // fixed
};
Tuy nhiên, ngay cả với trường hợp đơn giản này, nó trở thành gánh nặng cho trình biên dịch khi xác minh rằng hàm tạo sao chép giống hệt với trình tạo mà nó sẽ tự tạo hoặc để thấy rằng hàm tạo sao chép là tầm thường (tương đương với a memcpy, về cơ bản ). Trình biên dịch sẽ phải kiểm tra từng biểu thức khởi tạo thành viên và đảm bảo nó giống hệt với biểu thức để truy cập thành viên tương ứng của nguồn và không có gì khác, đảm bảo không có thành viên nào bị bỏ mặc với cấu trúc mặc định không tầm thường, v.v. trình biên dịch sẽ sử dụng để xác minh rằng các phiên bản được tạo riêng của hàm này là tầm thường.
Hãy xem xét sau đó toán tử gán sao chép có thể nhận được cả hairier, đặc biệt là trong trường hợp không tầm thường. Đó là một tấn nồi hơi mà bạn không muốn phải viết cho nhiều lớp nhưng dù sao bạn cũng bị buộc phải có trong C ++ 03:
struct T {
std::shared_ptr<int> b;
T(); // the usual definitions
T(const T&);
T& operator=(const T& src) {
if (this != &src) // not actually needed for this simple example
b = src.b; // non-trivial operation
return *this;
};
Đó là một trường hợp đơn giản, nhưng nó đã có nhiều mã hơn bạn muốn buộc phải viết cho một loại đơn giản như vậy T(đặc biệt là khi chúng ta đưa các hoạt động di chuyển vào hỗn hợp). Chúng ta không thể dựa vào một cơ thể trống có nghĩa là "điền vào mặc định" bởi vì cơ thể trống đã hoàn toàn hợp lệ và có ý nghĩa rõ ràng. Trong thực tế, nếu phần thân trống được sử dụng để biểu thị "điền vào mặc định" thì sẽ không có cách nào để tạo ra một hàm tạo sao chép không tương tự hoặc tương tự.
Đây lại là một vấn đề nhất quán. Cơ thể trống rỗng có nghĩa là "không làm gì" nhưng đối với những thứ như các nhà xây dựng sao chép, bạn thực sự không muốn "không làm gì" mà là "làm tất cả những việc bạn thường làm nếu không bị đàn áp". Do đó =default. Nó là cần thiết để khắc phục các hàm thành viên do trình biên dịch bị chặn như sao chép / di chuyển các hàm tạo và toán tử gán. Sau đó, nó chỉ là "hiển nhiên" để làm cho nó hoạt động cho hàm tạo mặc định.
Có thể thật tuyệt khi tạo hàm tạo mặc định với các phần tử trống và các hàm tạo thành viên / cơ sở tầm thường cũng được coi là tầm thường giống như khi chúng =defaultchỉ làm cho mã cũ tối ưu hơn trong một số trường hợp, nhưng hầu hết mã cấp thấp dựa vào tầm thường các hàm tạo mặc định để tối ưu hóa cũng dựa vào các hàm tạo sao chép tầm thường. Nếu bạn sẽ phải đi và "sửa chữa" tất cả các hàm tạo bản sao cũ của mình, thì thực sự cũng không có gì nhiều để phải sửa tất cả các hàm tạo mặc định cũ của bạn. Nó cũng rõ ràng hơn và rõ ràng hơn bằng cách sử dụng một từ rõ ràng =defaultđể biểu thị ý định của bạn.
Có một vài điều khác mà các hàm thành viên do trình biên dịch tạo ra sẽ làm mà bạn phải thực hiện thay đổi rõ ràng để hỗ trợ. Hỗ trợ constexprcho các nhà xây dựng mặc định là một ví dụ. Nó chỉ dễ sử dụng về mặt tinh thần =defaulthơn là phải đánh dấu các chức năng với tất cả các từ khóa đặc biệt khác và những thứ đó được ngụ ý =defaultvà đó là một trong những chủ đề của C ++ 11: làm cho ngôn ngữ dễ dàng hơn. Nó vẫn còn nhiều mụn cóc và thỏa hiệp ngược lại nhưng rõ ràng đó là một bước tiến lớn từ C ++ 03 khi nói đến việc dễ sử dụng.
defaultkhông phải là một từ khóa mới, nó chỉ là một cách sử dụng mới của một từ khóa đã dành riêng.