Должно ли частное наследование использовать, когда нет виртуальных?

Question

В C++, если у меня есть класс Base, который является частным базовым классом Derived, но Base не имеет виртуальных функций, было бы проще вместо этого заменить наследование с инкапсуляцией в классе Encapsulate? Я полагаю, что единственным преимуществом для наследования в этом случае будет то, что базовый класс можно получить непосредственно в производном классе, а не через memberVariable. Является ли та или иная практика лучше, или это скорее вопрос личного стиля?

class Base { 
    public: 
    void privateWork(); 
    // No virtual member functions here. 
}; 

class Derived : Base { 
    public: 
    void doSomething() { 
     privateWork(); 
    } 
}; 

class Encapsulate { 
    Base memberVariable; 

    public: 
    void doSomething() { 
     memberVariable.privateWork() 
    } 
}; 

Answer 1

Помните, что модели наследования «Liskov substitution»: Foo является баром тогда и только тогда, когда вы можете передать переменную Foo каждой функции, ожидающей бара. Частное наследование не моделирует это. Он моделирует композицию (Foo реализуется в терминах Bar).

Теперь вы всегда должны использовать вторую версию, поскольку она проще и выражает намерение лучше: она менее запутанна для людей, которые не знают об этом.

Однако, иногда, частное наследование удобно:

class FooCollection : std::vector<Foo> 
{ 
public: 
    FooCollection(size_t n) : std::vector<Foo>(n) {}; 

    using std::vector<Foo>::begin; 
    using std::vector<Foo>::end; 
    using std::vector<Foo>::operator[]; 
}; 

Это позволяет повторно использовать некоторые из функциональных vector без необходимости пересылать вручную 2 версии (сопзЬ + нон сопзЬ) от начала, конца, и operator[].

В этом случае у вас вообще нет полиморфизма: это не наследование, это состав маскировки; вы не можете использовать FooCollection в качестве вектора. В частности, вам не нужен виртуальный деструктор.

Answer 2

Если нет virtual функции, то наследование не следует использовать в ОО. Обратите внимание: это не означает, что его нельзя использовать, есть несколько (ограниченных) случаев, когда вам может понадобиться (ab) использовать наследование для других целей, кроме OO.