Когда вы должны ограничивать доступность к виртуальной функции в производном классе?

Question

Рассмотрим следующий код:

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() 
} 

Я слышал две различные школы мысли по этому вопросу:

1) Оставить ДОСТУПНОСТИ такой же, как базовый класс, так как пользователи могут использовать static_cast, чтобы получить доступ так или иначе.

2) Сделать функции максимально закрытыми. Если пользователям требуется a-> Foo(), но не b-> Foo(), то Derived :: Foo должен быть закрытым. Его всегда можно обнародовать, если и когда это необходимо.

Есть ли причина предпочесть тот или иной?

Answer 1

Ограничение доступа к элементу в подтипе нарушает Liskov substitution principle (L в SOLID). Я бы советовал против этого в целом.

Update: Это может «работать», как в коде компилируется и работает и выдает ожидаемый выход, но если вы скрываете член вашей намерения вероятно делает подтип менее общим, чем оригинал. Вот что нарушает принцип. Если вместо этого вы намерены очистить интерфейс подтипа, оставив только то, что интересно пользователю API, сделайте это.

Answer 2

Это зависит от вашего дизайна, независимо от того, хотите ли вы получить доступ к функции virtual с производным классом или нет.
Если нет, то всегда лучше сделать их private или protected.

Существует не разница в исполнении кода на основе спецификации доступа, но код становится более чистым.
Как только вы ограничили доступ к функции класса virtual; читатель этого class может быть уверен, что это не будет вызвано каким-либо объектом или указателем производного класса.

Answer 3

не ответ на оригинальный вопрос, но если мы говорим о дизайне классов ...

Как Alexandrescu и Sutter рекомендуют в их 39-е правила, следует предпочесть использовать общественные невиртуальные функции и частный/защищенный виртуальный:

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

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

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