Override một hàm thành viên với nhau trở lại loại

Question

xem xét ví dụ dưới đây:

#include <iostream> 

using namespace std; 

class base 
{ 
    public: 
     virtual int func() 
     { 
     cout << "vfunc in base class\n"; 
     return 0; 
     } 
}; 

class derived: public base 
{ 
    public: 
     double func() 
     { 
     cout << "vfunc in derived class\n"; 
     return 0; 
     } 
}; 

int main() 
{ 
    base *bptr = new derived; 
    bptr->func(); 

    return 0; 
} 

Trình biên dịch đưa ra một lỗi cho các mã trên rằng có loại mâu thuẫn với chức năng ghi đè. Tại sao không thể ghi đè lên một hàm trong lớp dẫn xuất với một kiểu trả về khác?

Tôi tin rằng, theo thứ tự để ghi đè lên một hàm, phương thức ảo lớp cơ sở cần phải được định nghĩa lại trong lớp dẫn xuất. Để xác định lại một phương thức, chữ ký của các phương thức phải giống nhau. Vì kiểu trả về không phải là một phần của chữ ký, tôi tin rằng ngay cả khi có sự khác biệt về kiểu trả về, phương thức vẫn sẽ được định nghĩa lại? Trong trường hợp đó đối với mã ở trên, hàm ảo func được định nghĩa lại trong lớp dẫn xuất có kiểu trả về khác. Nhưng trình biên dịch ném một lỗi. Tôi hiểu có đúng không?

Answer 1

Ghi đè về cơ bản có nghĩa là phương pháp lớp cơ sở hoặc phương thức lớp gốc sẽ được gọi vào thời gian chạy tùy thuộc vào đối tượng thực được trỏ bởi con trỏ .
Nó ngụ ý rằng:
tức là: Mỗi nơi mà phương thức lớp cơ sở có thể được gọi có thể được thay thế bằng cách gọi phương thức lớp gốc mà không có bất kỳ thay đổi nào đối với mã gọi. Để đạt được điều này, cách duy nhất có thể là hạn chế các kiểu trả về của các phương thức ảo quan trọng để trả về cùng kiểu với lớp cơ sở hoặc kiểu bắt nguồn từ đó (các kiểu trả về cùng biến thể) và các tiêu chuẩn thực thi. tình trạng này.

Nếu điều kiện trên không đúng chỗ, nó sẽ để lại một cửa sổ để ngắt mã hiện tại bằng cách thêm chức năng mới.

Answer 2

Để ghi đè hàm ảo, giá trị trả về phải giống hệt *. C++ sẽ không phải tự động chuyển đổi giữa double và int ở đây - sau khi tất cả, làm thế nào nó sẽ biết loại trả về bạn muốn khi gọi từ một con trỏ lớp dẫn xuất? Lưu ý rằng nếu bạn thay đổi một phần của chữ ký (tham số, const-ness, vv), thì bạn cũng có thể thay đổi giá trị trả về.

* - nói đúng, nó phải là 'biến thể'. Điều này có nghĩa là loại bạn trả về phải là một tập con của kiểu trả về của hàm cha. Ví dụ: nếu lớp cha trả về một số base *, bạn có thể trả lại derived *. Vì derived s đồng thời cũng là base s, trình biên dịch cho phép bạn ghi đè theo cách này. Nhưng bạn không thể trả lại các loại hoàn toàn không liên quan như int và double; chỉ vì có một chuyển đổi ngầm không có nghĩa là trình biên dịch sẽ cho phép bạn thực hiện loại ghi đè này.

Answer 3

Xem this question. Để tóm tắt, bạn chỉ có thể ghi đè lên một hàm ảo bằng cách sử dụng một kiểu trả về khác nếu các kiểu là covariant.

Answer 4

Ghi đè không thể sở hữu, vì chữ ký khác nhau. Mục đích cơ bản của ghi đè là đa hình nhưng không thể trong ví dụ trên

Answer 5

Nếu bạn muốn ghi đè, bạn nên cố gắng sử dụng mẫu.

Xem sau:

#include <iostream> 

using namespace std; 

class base 
{ 
    public: 
     template<typename X> X func() 
     { 
     cout << "vfunc in base class\n"; 
     return static_cast<X>(0); 
     } 
};  

class derived: public base 
{ 
    public: 
     template<typename X> X func() 
     { 
     cout << "vfunc in derived class\n"; 
     return static_cast<X>(2); 
     } 
};  

int main() 
{ 
    derived *bptr = new derived; 
    cout << bptr->func<int>() << endl; 
    cout << dynamic_cast<base*>(bptr)->func<int>() << endl; 

    derived *bptr2 = new derived; 
    cout << bptr->func<double>() << endl; 
    cout << dynamic_cast<base*>(bptr)->func<int>() << endl; 


    return 0; 
} 

Tất nhiên, bạn không cần phải khai báo nó trên hai lớp khác nhau theo cách đó, bạn có thể làm:

class base 
{ 
    public: 
     int func() 
     { 
     cout << "vfunc in base class\n"; 
     return 0; 
     } 

     double func(){ 
     cout << "vfunc for double class\n"; 
     return 2.; 

     } 
};