Điểm trong các hàm mặc định trong C++ 11 là gì?

Question

C++ 11 thêm khả năng cho trình biên dịch biết create a default implementation của bất kỳ số special member functions nào. Trong khi tôi có thể thấy giá trị của việc xóa một hàm, thì giá trị của một hàm mặc định rõ ràng ở đâu? Chỉ cần để trống và trình biên dịch sẽ làm việc đó.

Điểm duy nhất tôi có thể thấy là một constructor mặc định chỉ được tạo ra khi không có constructor khác tồn tại:

class eg { 
public: 
    eg(int i); 
    eg() = default; 
}; 

Nhưng là thực sự tốt hơn so với cách bạn làm điều đó bây giờ?

class eg { 
public: 
    eg(int i); 
    eg() {} 
}; 

Hoặc tôi có thiếu trường hợp sử dụng không?

Answer 1

Nhà xây dựng mặc định sẽ có tuyên bố và tuyên bố đó sẽ tuân theo các quy tắc truy cập thông thường. Ví dụ. bạn có thể làm cho hàm tạo bản sao mặc định được bảo vệ. Nếu không có các khai báo mới này, các thành viên được tạo mặc định là công khai.

Answer 2

Tôi nghi ngờ rằng việc có thể tạo mặc định tạo hàm tạo bản sao sẽ thực sự hữu ích. Tôi không thể nhìn thấy một sử dụng cho mặc định tạo ra constructor mặc định kể từ khi bạn nói việc thực hiện bạn gõ sẽ ngắn hơn.

Answer 3

Đối với tôi tính năng vô hiệu sẽ hữu ích, Đối với hầu hết các lớp tôi hiện đang tạo, tôi vô hiệu hóa việc sao chép & chuyển nhượng - sẽ có một tính năng mà trình biên dịch có thể nhận ra để làm điều này, thay vì tùy thuộc vào trình liên kết lỗi.

Answer 4

Những ví dụ từ Stroustrup's website có thể giúp bạn hiểu được những điểm:

mặc định và chức năng xóa - kiểm soát giá trị mặc định

Các thành ngữ phổ biến của "cấm sao chép" bây giờ có thể được thể hiện trực tiếp:

class X { 
    // ... 

    X& operator=(const X&) = delete; // Disallow copying 
    X(const X&) = delete; 
}; 

Ngược lại, chúng tôi cũng có thể nói icitly mà chúng tôi muốn để mặc định sao chép hành vi:

class Y { 
    // ... 
    Y& operator=(const Y&) = default; // default copy semantics 
    Y(const Y&) = default; 

}; 

Là rõ ràng về mặc định là rõ ràng là không cần thiết, nhưng ý kiến ​​để rằng hiệu lực thi hành và (tệ hơn) người dùng xác định một cách rõ ràng hoạt động sao chép có nghĩa là để cung cấp cho các mặc định hành vi là không phổ biến. Để nó vào trình biên dịch để thực hiện hành vi mặc định đơn giản hơn, ít bị lỗi hơn, và thường dẫn đến mã đối tượng tốt hơn. Cơ chế "mặc định" có thể được sử dụng cho bất kỳ chức năng nào có mặc định. Cơ chế "xóa" có thể được sử dụng cho bất kỳ chức năng nào. Ví dụ, chúng ta có thể loại bỏ một chuyển đổi không mong muốn như này:

struct Z { 
    // ... 

    Z(long long);  // can initialize with an long long 
    Z(long) = delete; // but not anything less 
}; 

Answer 5

Cũng như thay đổi khả năng tiếp cận (private/bảo vệ) của các chức năng được tạo ra, bạn sẽ có thể để làm cho họ ảo.

struct S 
{ 
    virtual ~S(); 
    virtual S& operator=(const S&); 
}; 

S::~S() = default; 
S& S::operator=(const S&) = default; 

Các khía cạnh sau đây của các chức năng defaulted thể được sửa đổi:

• truy cập (được thực hiện ngoài công lập)
• ảo
• rõ ràng (constructors)
• thông số kỹ thuật ngoại lệ
• const-ness của thông số

nhưng để làm như vậy, các hàm phải được xác định bên ngoài lớp (8.4.2/2 trong C++0x Final Committee Draft).

Phiên bản đề xuất ban đầu của Lawrence Crowl là here.

Cảm ơn Roger Pate để biết rõ và trích dẫn.

Answer 6

1) Trình tạo ngầm được tạo ngầm hiện không phải là ảo. Vì vậy, bạn cần phải xác định chúng để làm cho chúng ảo, trong trường hợp đó chúng không hiệu quả. Với = mặc định, Bạn sẽ có cả ảo và hiệu quả như các trình phá hủy ngầm được tạo ra.

2) Họ sẽ có các chỉ định truy cập, ngược lại với những người được tạo ngầm.

3) Nếu bạn nội tuyến hàm tạo mặc định của bạn, lớp của bạn vẫn còn tầm thường.

Here is an article elaborating this new feature.

Answer 7

mặc định là hữu ích hơn cho bản sao-constructors nếu bạn có một lớp học với rất nhiều các thuộc tính. Ví dụ, nếu bạn có lớp này:

class MyClass { 
private: 
    int offset; 
    std::string name; 
    std::vector<Person*> relatives; 
    float weight; 
    MyClass* spouse; 
    Vehicle* car; 
    double houseArea; 
    Date birth; 
    Person* parents[2]; 

public: 
    /* Default constructor will be defined here */ 
}; 

thay vì định sao chép constructor theo cách này:

MyClass(const MyClass& that) : 
    offset(that.offset), 
    name(that.name), 
    relatives(that.relatives), 
    weight(that.weight), 
    spouse(that.spouse), 
    car(that.car), 
    houseArea(that.houseArea), 
    birth(that.birth), 
    parents(that.parents) 
{} 

bạn sẽ xác định theo cách này:

MyClass(const MyClass&) = default; 

Answer 8

Xem mục 17 từ cuốn sách tuyệt vời của Scott Meyer "Effective Modern C++". Nó mô tả nhiều điều kiện theo đó các nhà xây dựng sao chép mặc định, các hoạt động sao chép và các hoạt động di chuyển được tạo ra (hoặc không được tạo ra).

Nói cách khác, trình biên dịch có thể không "làm điều đó". Nhưng nếu hàm thành viên đặc biệt mặc định có ý nghĩa, người dùng có thể sử dụng từ khóa "mặc định" để cho trình biên dịch biết rõ ràng để tạo ra một hàm mặc định nếu không không được tạo ra.

Từ Những điều cần nhớ vào cuối khoản 17:

• Move hoạt động được tạo ra chỉ dành cho tầng lớp thiếu các hoạt động di chuyển khai báo rõ ràng, sao chép hoạt động, hoặc một destructor.

• Trình tạo bản sao chỉ được tạo cho các lớp thiếu một hàm tạo bản sao được khai báo rõ ràng và được xóa nếu thao tác di chuyển được khai báo.Toán tử gán bản sao chỉ được tạo ra cho các lớp thiếu một toán tử gán bản sao được khai báo rõ ràng, và nó sẽ bị xóa nếu một thao tác di chuyển được khai báo. Việc tạo ra các hoạt động sao chép trong các lớp với một hàm hủy được khai báo rõ ràng sẽ không được chấp nhận nữa.