Các vấn đề với phần ghi đè chức năng một phần trong C++

Question

Có vấn đề nào với việc ghi đè một phần các hàm ảo được xác định bởi một lớp cơ sở không?

trình biên dịch của tôi cung cấp các cảnh báo sau đây:

overloaded virtual function "MyBaseClass::setValue" is only partially overridden in class "MyDerivedClass". 

Các lớp trông như thế này:

class MyBaseClass 
{ 
public: 
    virtual void setValue(int); 
    virtual void setValue(SpecialType*); 
} 

class MyDerivedClass : public MyBaseClass 
{ 
public: 
    virtual void setValue(int); 
} 

Cách đơn giản để thoát khỏi cảnh báo này là sử dụng tên gọi khác nhau cho các chức năng cơ bản, nhưng tôi muốn biết nếu có bất kỳ lý do thuyết phục nào để khắc phục cảnh báo cụ thể này. Tôi không tin điều này vi phạm tiêu chuẩn C++. Tôi đoán là để cảnh báo một lập trình viên rằng họ có thể đã quên thực hiện hành vi cho tất cả các kiểu đầu vào có thể. Trong trường hợp của chúng tôi, nó là cố ý loại trừ một số loại cụ thể.

Bạn có ngăn chặn hoàn toàn cảnh báo này không?

Answer 1

Các ghi đè cho setValue(int) ẩn setValue(SpecialType*) của lớp cơ sở (xem C++ FAQ Lite), vì vậy nếu bạn cố gắng gọi setValue(new SpecialType()) bạn sẽ nhận được một lỗi.

Bạn có thể tránh điều này bằng cách thêm một chỉ thị using đến lớp được thừa kế đó "nhập khẩu" quá tải từ lớp cơ sở:

class MyDerivedClass : public MyBaseClass 
{ 
public: 
    using MyBaseClass::setValue; 
    virtual void setValue(int); 
}; 

Answer 2

Cảnh báo là chính xác, được gọi là "ẩn tên". Biến loại MyDerivedClass không thể gọi số setValue(SpecialType*).

---

Bây giờ tôi sẽ ngang nhiên xé toạc someone else's blog:

quá tải và tên trốn trong C++

Trong một cuộc trò chuyện điện thoại với Brad đêm qua, ông nói với tôi về một kỳ lạ vấn đề anh gặp phải trong công việc C++ mới của mình. Cấp, nó có lẽ không có vấn đề lớn đối với những người có trải nghiệm C++ rộng lớn, nhưng đối với những người trong chúng ta sống trong thế giới mã được quản lý, điều này có vẻ lạ.

Trong C++, khi bạn có một lớp với phương thức quá tải (hàm thành viên, bất cứ điều gì bạn muốn gọi), sau đó bạn mở rộng và ghi đè phương thức đó, bạn phải ghi đè lên tất cả các phương thức quá tải.

Tôi hiểu trường hợp bạn đã thay đổi chữ ký phương thức trong lớp con, do đó làm mất hiệu lực giao diện đã thiết lập. Trong trường hợp này, mặc dù, nó có vẻ phản trực giác, vì bạn không thay đổi giao diện, nhưng có chọn lọc ghi đè. Đó là khác nhau.

Ví dụ:

class FirstClass 
{ 
public: 
     virtual void MethodA (int); 
     virtual void MethodA (int, int); 
}; 

void FirstClass::MethodA (int i) 
{ 
    std::cout << "ONE!!\n"; 
} 

void FirstClass::MethodA (int i, int j) 
{ 
    std::cout << "TWO!!\n"; 
} 

Simple lớp ở đây với hai phương pháp (hoặc một phương pháp quá tải). Bạn muốn ghi đè lên phiên bản hai tham số, vì vậy bạn tiếp tục với những điều sau:

class SecondClass : public FirstClass 
{ 
public: 
    void MethodA (int); 
}; 

void SecondClass::MethodA (int i) 
{ 
    std::cout << "THREE!!\n"; 
} 

Bây giờ, khi bạn sử dụng một thể hiện của SecondClass, hầu hết Java hoặc C# lập trình viên có thể giả định bạn có thể gọi:

int main() 
{ 
    SecondClass a; 
    a.MethodA (1); 
    a.MethodA (1, 1); 
} 

Tuy nhiên, cuộc gọi thứ hai sẽ không làm việc, kể từ khi hai tham số MethodA là không nhìn thấy được. Bạn có thể nhận được một con trỏ và up-cast để FirstClass, nhưng trường hợp SecondClass của bạn không kế thừa các phương thức không ghi đè trực tiếp.

Answer 3

Rõ ràng là trình biên dịch muốn cảnh báo bạn: bạn đã tạo một lớp con hoạt động khác khi đưa ra một số int, nhưng bạn đã không thay đổi hành vi của nó khi tặng nó SpecialType*.

Mặc dù điều này có thể là là ý định, rất có thể hành vi đã thay đổi cũng cần thiết cho các chức năng ảo bị quá tải khác.

Tôi muốn trình biên dịch đã cảnh báo cho tôi khó khăn hơn, thời gian tôi bỏ qua nó! Phương pháp ghi đè của tôi hóa ra và biên dịch tốt trong kịch bản của tôi, nhưng một số kịch bản khác đã thực sự sai do quá tải không bị ghi đè.

Suy nghĩ kỹ trước khi bạn tắt cảnh báo đó!

Nếu bạn muốn hành vi ban đầu giữ, thật dễ dàng để chỉ gọi hàm cha mẹ:

class MyDerivedClass : public MyBaseClass { 
    virtual void setValue(int); 
    // explicit: keep original behavior for SpecialType 
    virtual void setValue(SpecialType* p) { MyBaseClass::setValue(p); } 
};