Chuyển nhượng nhà điều hành thừa kế

Question

Có mã này:

#include <iostream> 

class Base { 
public: 
    Base(){ 
     std::cout << "Constructor base" << std::endl; 
    } 
    ~Base(){ 
     std::cout << "Destructor base" << std::endl; 
    } 
    Base& operator=(const Base& a){ 
     std::cout << "Assignment base" << std::endl; 
    } 
}; 

class Derived : public Base{ 
public: 

}; 

int main (int argc, char **argv) { 
    Derived p; 
    Derived p2; 
    p2 = p; 
    return 0; 
} 

Kết quả sau khi biên dịch bằng g ++ 4.6:

Constructor base 
Constructor base 
Assignment base 
Destructor base 
Destructor base 

Tại sao nhiệm vụ điều hành của lớp cơ sở được gọi là altough người ta nói rằng toán tử gán không phải là thừa hưởng?

Answer 1

Bạn không có mặc định

Derived& operator=(const Base& a); 

trong lớp Derived của bạn.

Một toán tử gán mặc định, tuy nhiên, được tạo ra:

Derived& operator=(const Derived& a); 

và điều này gọi là toán tử gán từ Base. Vì vậy, nó không phải là vấn đề kế thừa toán tử gán, nhưng gọi nó thông qua toán tử được tạo mặc định trong lớp dẫn xuất của bạn.

Answer 2

Đó là do toán tử gán mặc định đã tạo cuộc gọi là toán tử gán cơ sở, nghĩa là toán tử không được kế thừa nhưng vẫn được gọi là một phần của toán tử gán mặc định.

Answer 3

Thực ra, những gì được gọi là được xác định rõ ràng operator = cho Derived. Định nghĩa được cung cấp bởi trình biên dịch lần lượt gọi operator = cho Base và bạn thấy đầu ra tương ứng. Điều tương tự là với constructor và destructor. Khi bạn rời khỏi nó để trình biên dịch để xác định operator =, nó định nghĩa nó như sau:

Derived& operator = (const Derived& rhs) 
{ 
    Base1::operator =(rhs); 
    ... 
    Basen::operator =(rhs); 
    member1 = rhs.member1; 
    ... 
    membern = rhs.membern; 
} 

nơi Base1,...,Basen là cơ sở của lớp (theo thứ tự xác định chúng trong danh sách thừa kế) và member1, ..., membern là những thành viên của nguồn gốc (không tính các thành viên đã được kế thừa) theo thứ tự bạn khai báo chúng trong định nghĩa lớp.

Answer 4

Nhà điều hành chuyển nhượng thực sự không được kế thừa. Thừa kế toán tử đó sẽ cho phép bạn chỉ định một Base cho một số Derived, tuy nhiên Base b; p = a; sẽ (đúng) không biên dịch được.

Điều gì xảy ra là trình biên dịch tạo ra một operator=, vì bạn chưa xác định một tùy chỉnh cho Derived. Tự động phát hiện operator= sẽ gọi các toán tử gán của tất cả các lớp cơ sở và tất cả các thành viên. Trong khía cạnh đó, nó giống với constructor/destructors, cũng gọi hàm tương ứng trên tất cả các Base/members.

Answer 5

Chuẩn nói (12,8):

Một toán tử gán được thực hiện bởi một tổ chức phi tĩnh thành viên chức năng với chính xác một tham số. Bởi vì việc gán bản sao toán tử operator = được khai báo hoàn toàn cho một lớp nếu không được khai báo là bởi người dùng (12.8), toán tử gán lớp cơ sở luôn bị ẩn bởi toán tử gán bản sao của lớp dẫn xuất.

và sau đó phân công điều hành của nguồn gốc gọi cơ sở của bạn

Các ngầm định nghĩa toán tử gán sao chép/di chuyển cho một tổ chức phi đoàn lớp X thực hiện memberwise copy-/di chuyển nhượng subobjects của nó. Các lớp cơ sở trực tiếp của X được chỉ định trước, theo thứ tự của khai báo trong danh sách-specifier-list, và sau đó là thành viên dữ liệu không tĩnh của X được chỉ định, theo thứ tự mà chúng được khai báo là trong định nghĩa lớp.

Answer 6

Bạn cũng có thể sử dụng "sử dụng":

class Derived : public Base{ 
public: 
    using Base::operator=; 
}; 

http://en.cppreference.com/w/cpp/language/using_declaration

Tôi đọc bài nhiều thời gian trước khi ai đó giúp tôi với điều này.