Tại sao chức năng ảo bị ẩn?

Question

Tôi có các lớp sau:

class A { 
public: 
    virtual void f() {} 
}; 


class B : public A{ 
public: 
    void f(int x) {} 
}; 

Nếu tôi nói

B *b = new B(); 
b->f(); 

trình biên dịch nói lỗi C2660: 'B :: f': chức năng không mất 0 đối số. Không nên chức năng trong B quá tải nó, vì nó là một chức năng ảo? Các chức năng ảo có bị ẩn như thế này không?

EDIT: Tôi thực sự muốn kế thừa B từ A, cho thấy hành vi tương tự.

Answer 1

Giả sử bạn dự định B để lấy được từ A:

f(int) và f() là chữ ký khác nhau, do đó chức năng khác nhau.

Bạn có thể ghi đè chức năng ảo với chức năng có chữ ký tương thích, có nghĩa là chữ ký giống hệt hoặc chữ ký trong đó loại trả về "cụ thể hơn" (hiệp phương sai).

Nếu không, hàm lớp dẫn xuất của bạn ẩn hàm ảo, giống như bất kỳ trường hợp nào khác trong đó lớp dẫn xuất khai báo hàm có cùng tên với hàm lớp cơ sở. Bạn có thể đặt using A::f; vào lớp B để bỏ ẩn tên

Hoặc bạn có thể gọi nó là (static_cast<A*>(b))->f(); hoặc làm b->A::f();. Sự khác biệt là nếu B thực sự ghi đè lên f(), thì trước đây gọi là ghi đè, trong khi lệnh sau gọi hàm trong A bất kể.

Answer 2

Lớp B không lấy được từ A vì vậy không có hàm F() tồn tại. Bạn có thể có nghĩa là:

class A { 
public: 
    virtual void f() {} 
}; 


class B : public A { 
public: 
    void f(int x) {} 
}; 

Edit: tôi bị mất chức năng lẩn trốn thực tế. Xem Steve Jessop trả lời cho lời giải thích kỹ lưỡng hơn.

Answer 3

B không xuất phát từ A, việc kê khai chính xác là:

class B : public A 

Answer 4

Khi trình biên dịch có nhiều hơn một cách để giải quyết một biểu tượng, nó phải chọn cái nào có độ ưu tiên trừ phi mã cho nó bằng cách khác . Những gì bạn đang mong đợi là quá tải để được ưu tiên hơn trọng tài. (hơn, hơn, hơn, aaaaack! Xin lỗi, bị 'quá sức').

Ví dụ này có B kế thừa phương thức ảo trong đó lớp con cung cấp phiên bản quá tải. Quá tải là cho các phương thức trong cùng một lớp bằng cách sử dụng cùng một tên phương thức nhưng có chữ ký khác nhau. Vì B là một phân lớp của A, nó ghi đè f(), điều đó có nghĩa là nó không thể là quá tải cùng một lúc. Đây là lý do tại sao nó đang được ẩn.

Đối với lớp A, phương pháp

virtual void f() {} 

làm phương tiện ảo phương pháp đó sẽ được giải quyết bằng một tập hợp các quy tắc mà không phù hợp với tuyên bố của bạn của b tuyên bố.

B *b = new B(); 

Bằng cách tạo 'b' làm trường hợp "B", trình biên dịch không cần sử dụng bản chất ảo của cùng một phương thức trong "A".

Nếu bạn đã tuyên bố 'b' như thế này

B *b = new A(); 

sau đó cuộc gọi b-> f(); thực sự sẽ đề cập đến phương pháp trong A bằng cách sử dụng độ phân giải ảo.

Answer 5

Không, và có, tương ứng. Nếu bạn muốn các hành vi quá tải, bạn cần phải nói

using A::f; 

trong B.

Answer 6

Dường như nó là tồn tại câu hỏi khá tương tự với câu trả lời trong FAQ Biern Stroustrup của: http://www.stroustrup.com/bs_faq2.html#overloadderived

Như ông nói:

"Trong C++, không có quá tải trên phạm vi"

nhưng nếu bạn muốn

"Đó là một cách dễ dàng thực hiện bằng cách sử dụng sử dụng-khai"