Khi nào bạn nên hạn chế khả năng truy cập vào một chức năng ảo trong một lớp dẫn xuất?

Question

Xét đoạn mã sau:

class Base 
{ 
public: 
    virtual void Foo() {} 
}; 

class Derived : public Base 
{ 
private: 
    void Foo() {} 
}; 

void func() 
{ 
    Base* a = new Derived; 
    a->Foo(); //fine, calls Derived::Foo() 

    Derived* b = new Derived; 
// b->Foo(); //error 
    static_cast<Base*>(b)->Foo(); //fine, calls Derived::Foo() 
} 

Tôi đã nghe hai trường phái khác nhau về vấn đề này:

1) Để lại khả năng tiếp cận giống như các lớp cơ sở, vì người dùng có thể sử dụng để truy cập static_cast dù sao.

2) Đặt các chức năng ở chế độ riêng tư nhất có thể. Nếu người dùng yêu cầu a-> Foo() nhưng không phải b-> Foo(), thì Derived :: Foo phải là riêng tư. Nó luôn luôn có thể được công khai nếu và khi đó là cần thiết.

Có lý do nào để thích cái này hay cái kia không?

Answer 1

Giới hạn quyền truy cập vào thành viên trong một loại phụ vi phạm số Liskov substitution principle (số L trong SOLID). Tôi sẽ tư vấn chống lại nó nói chung.

Cập nhật: Nó có thể "làm việc", như trong mã biên dịch và chạy và tạo ra sản lượng dự kiến, nhưng nếu bạn đang ẩn thành viên ý định có lẽ làm cho kiểu phụ ít nói chung so với bản gốc. Đây là những gì phá vỡ nguyên tắc. Nếu thay vào đó, ý định của bạn là dọn dẹp giao diện kiểu phụ bằng cách chỉ để lại những gì thú vị cho người dùng API, hãy tiếp tục và làm điều đó.

Answer 2

Điều này tùy thuộc vào thiết kế của bạn, cho dù bạn có muốn truy cập chức năng virtual với đối tượng lớp dẫn xuất hay không.
Nếu không thì có, tốt hơn là đặt chúng private hoặc protected.

Không có sự khác biệt về thực thi mã dựa trên thông số truy cập, nhưng mã trở nên sạch hơn.
Sau khi bạn đã hạn chế quyền truy cập vào chức năng virtual của lớp học; người đọc của rằng class có thể chắc chắn rằng điều này sẽ không được gọi với bất kỳ đối tượng hoặc con trỏ của lớp dẫn xuất.

Answer 3

Không phải là câu trả lời cho câu hỏi ban đầu của bạn, nhưng nếu chúng ta đang nói về thiết kế lớp học ...

Như Alexandrescu và Sutter khuyên trong 39 ^thứ cai trị của họ, bạn nên thích sử dụng các chức năng không ảo công cộng và riêng tư/bảo vệ ảo:

class Base { 
public: 
    void Foo(); // fixed API function 

private: 
    virtual void FooImpl(); // implementation details 
}; 

class Derived { 
private: 
    virtual void FooImpl(); // special implementation 
};