Условно наследуют от чистого базового класса

Question

Предположим, что у меня есть следующие определения классов

struct base { 
    virtual int f() = 0; 
}; 

struct A: public base { 
    int f() final { return 1; } 
}; 

struct B: public base { 
    int f() final { return 2; } 
}; 

Можно ли превратить A и B в шаблоны, которые принимают параметр bool, который определяет, следует ли наследовать от base или нет? У меня есть случаи использования, которые выполняют или не требуют базового класса, обеспечивающего общий интерфейс.

Предположим, что A и B имеют множество функций-членов, поэтому дублирование реализации было бы утомительным. Но sizeof(A) и sizeof(B) являются маленькими.

Answer 1

Я придумал более прямой подход, который я искал, без дублирования кода.

struct base { 
    virtual int f() = 0; 
}; 

struct empty_base { }; 

template <bool Inherit> 
struct A final: public std::conditional_t<Inherit,base,empty_base> { 
    int f() { return 1; } 
}; 

Answer 2

Sure:

template <bool> struct A 
{ 
    // ... 
}; 

template <> struct A<true> : base 
{ 
    // ... 
}; 

(Обратите внимание, что вы могли бы сделать A<true> извлечь из A<false>, если это позволяет избежать избыточности.)

Например:

template <bool> struct A 
{ 
    void f() { std::cout << "A::f called\n"; } 
}; 

template <> struct A<true> : A<false>, base 
{ 
    void f() override { A<false>::f(); } 
}; 

int main() 
{ 
    A<false> a1; 
    A<true> a2; 
    a1.f(); 
    a2.f(); 
    static_cast<base&>(a2).f(); 
} 

Answer 3

Поскольку вы используете чистую базу класс не должен быть важен, так как ваш оптимизатор избежит вызова виртуальной функции, когда вы вызываете A::f(), так как там wi ll никогда не будет производным классом, который реализует другую версию f().

Также вы можете сделать class A final : base, если вы не планируете наследовать от A, чтобы избежать необходимости добавлять final к каждой функции.