Я думал об использовании защищенного конструктора, но он не мог полностью решить задачу, поскольку класс, унаследованный от него, мог бы создать экземпляр базового класса.
Что касается приватного конструктора, производные классы также не будут созданы.
Таким образом, любая подходящая техника будет оценена по достоинству.
Непонятно, что вы на самом деле просите. Итак, позвольте мне попытаться прояснить некоторые моменты:
Чисто виртуальные функции могут иметь определения
Если вас беспокоит то, что вы хотите предоставить определения для всех виртуальных функций в вашей базе, вы можете предоставить определения для чисто виртуальных функций, и они будут доступны для статической отправки.
Защищено предоставляет доступ к вашему базовому подобъекту, а не ко всем экземплярам base
Существует распространенное заблуждение, что protected позволяет определенному производному типу обращаться к любому экземпляру base. Это неправда. Ключевое слово protected предоставляет доступ к подобъекту base в производном типе.
class base {
protected: base() {}
};
class derived : public base {
derived() : base() { // fine our subobject
base b; // error, `b` is not your subobject
}
};
Определение абстрактного класса — это такое, которое имеет хотя бы одну чистую виртуальную функцию (virtual function-signature = 0; Вы не можете создать абстрактный класс без них.
Можно ли реализовать абстрактный класс без чистых виртуальных функций в C++?
Если вы выбираете точку зрения из статического полиморфизма, Вы можете сделать это!
В абстрактном базовом классе просто отсутствовала бы реализация метода по умолчанию для метода интерфейса из производного класса.
Кроме того, вы можете использовать защищенные конструкторы для этих шаблонов базового класса CRTP, чтобы требовать наследования для создания экземпляров.
ОБНОВЛЕНИЕ:
я нашел хорошее слайд-шоу, объясняющее статический и динамический полиморфизм всесторонне. Каждая техника имеет свои плюсы и минусы и определенные области применения, кроме того, вы можете комбинировать обе техники (разумеется, с умом).
Чтобы немного уточнить, я приведу образец:
template<class Derived>
class AbstractBase
{
public:
// Equivalent for a pure virtual function
void foo()
{
// static_cast<> enforces an 'Is a' relation from Derived to AbstractBase
static_cast<Derived*>(this)->fooImpl();
}
// Equivalent for simple virtual function (overidable from Derived)
void bar()
{
static_cast<Derived*>(this)->barImpl();
}
// Default implementation for any call to bar()
void barImpl()
{
}
protected:
AbstractBase() {}
};
// Compilation will fail, since ConcreteClass1 doesn't provide
// a declaration for fooImpl()
class ConcreteClass1
: public AbstractBase<ConcreteClass1>
{
}
// Compiles fine
class ConcreteClass2
: public AbstractBase<ConcreteClass2>
{
public:
void fooImpl()
{
// Concrete implementation ...
}
}
В следующем примере показано, что представленный выше шаблон обеспечивает связь «Является» между абстрактным классом и наследующим классом (параметр шаблона).
class ConcreteClass3
{
public:
void fooImpl()
{
// Concrete implementation ...
}
}
// Instantiation will fail, because
// * the constructor is protected
// * at least the static cast will fail
AbstractBase<ConcreteClass3> instance;
Я прочитал это в своей книге. Абстрактный класс — это класс, специально предназначенный для использования в качестве базового класса. Абстрактный класс содержит по крайней мере одну чисто виртуальную функцию. Вы объявляете чистую виртуальную функцию, используя чистый спецификатор (= 0) в объявлении виртуальной функции-члена в объявлении класса.
