Вот краткий перечень правил, касающихся абстрактных классов и чисто виртуальных функций. Класс является абстрактным, если:
• он объявляет, по крайней мере, одну чисто виртуальную функцию;
• он наследует, но не реализует, по крайней мере, одну чисто виртуальную функцию.
Создавать объекты абстрактного класса нельзя. Однако абстрактный класс может:
• содержать данные-члены;
• содержать не-виртуальные методы;
• предоставлять реализации для чисто виртуальных функций;
• делать большую часть из того, что может делать обычный класс.
Другими словами, с ними можно делать почти все, что можно делать с обычными классами, кроме создания объектов этих классов.
Когда дело доходит до реализации, использование ABC в C++ требует осторожности. Используется ли ABC как чистый интерфейс или нет, зависит от вас. Например, предположим на мгновение, что в примере с супергероем я решил, что класс Person должен быть абстрактным, но так как все виды людей имеют имя и фамилию, я добавил в класс эти два члена и связал с ними методы их задания и получения, так что авторам подклассов этого делать уже не требуется.
class Person {
public:
virtual void eat() = 0;
virtual void sleep() = 0;
virtual void walk() = 0;
virtual void jump() = 0;
virtual void setFirstName(const string& s) {firstName_ = s;}
virtual void setLastName(const string& s) {lastName_ = s;}
virtual string getFirstName() {return(firstName_);}
virtual string getLastName() {return(lastName_);}
protected:
string firstName_;
string lastName_;
};
Теперь, если подкласс Superhero хочет переопределить одну из этих функций, то он может это сделать. Все, что он должен сделать, чтобы указать, какая версия должна вызываться, — это использовать имя базового класса. Например:
string Superhero::getLastName() {
return(Person::getLastName() + " (Superhero)");
}
Кстати, эти функции также можно сделать чисто виртуальными и предоставить реализацию по умолчанию. Для этого после объявления требуется использовать запись вида =0, а собственно определение поместить куда-либо еще, как здесь.
class Person {
// ...
virtual void setFirstName(const string& s) = 0;
// ...
Person::setFirstName(const string& s) {
firstName_ = s;
}
Сделав так, вы заставите подклассы переопределять этот метод, но они, если это требуется, по-прежнему могут вызвать версию по умолчанию, использовав для этого полное имя класса.
Наконец, если в базовом классе создать виртуальный деструктор (чистый или нет), то потребуется предоставить тело для него. Это требуется потому, что деструктор подкласса автоматически вызывается деструктором базового класса.
8.11. Написание шаблона класса
Имеется класс, чьи члены в различных ситуациях должны иметь разные типы, а использование обычного полиморфного поведения очень сложно или сильно избыточно. Другими словами, как разработчик класса, вы хотите, чтобы пользователь класса при создании объектов этого класса мог выбрать типы различных его частей, вместо того чтобы указывать их при первоначальном определении класса.
Для параметризации типов, которые используются при объявлении членов класса (и в других случаях), используйте шаблон класса. Это значит, что требуется написать класс с заполнителями типов, оставив, таким образом, выбор используемых типов на усмотрение пользователя класса. В примере 8.12 показан пример класса узла дерева, который может указывать на любой тип.
Пример 8.12. Написание шаблона класса
#include <iostream>
#include <string>
using namespace std;
template<typename T>
class TreeNode {
public:
TreeNode (const T& val) : val_(val), left_(NULL), right_(NULL) {}
~TreeNode() {
delete left_;
delete right_;
}
const T& getVal() const {return(val_);}
void setVal(const T& val) {val_ = val;}
void addChild(TreeNode<T>* p) {
const T& other = p->getVal();
if (other > val_)
if (rights)
right_->addChild(p);
else
right_ = p;
else
if (left_)
left_->addChild(p);
else
left_ = p;
}
const TreeNode<T>* getLeft() {return(left_);}
const TreeNode<T>* getRight() {return(right_);}
private:
T val_;
TreeNode<T>* left_;
TreeNode<T>* right_;
};
int main() {
TreeNode<string> node1("frank");
TreeNode<string> node2("larry");
TreeNode<string> node3("bill");
node1.addChild(&node2);
node1.addChild(&node3);
}
Шаблоны классов предоставляют способ параметризации типов, используемых в классе, так что эти типы могут указываться пользователем класса при создании объектов. Однако шаблоны могут оказаться несколько запутанными, так что позвольте мне перед разбором их работы пояснить приведенный выше пример.
Рассмотрим объявление шаблона класса TreeNode из примера 8.12.
template<typename T> class TreeNode {
//...
Часть template<typename T> — это то, что делает этот класс шаблоном, а не обычным классом. Эта строка говорит, что T — это имя типа, который будет указан при использовании класса, а не при его объявлении. После этого параметр T может использоваться в объявлении и определении TreeNode так, как будто это обычный тип — встроенный или определенный пользователем. Например, имеется частный член с именем val_, который должен иметь тип T. Тогда его объявление будет иметь вид:
T val_;
Здесь просто объявляется член класса с именем val_ некоторого типа, который будет определен позднее. Это объявление выглядит так же, как и при использовании для val_ типов int, float, MyClass или string. В этом отношении его можно рассматривать как макрос (т.е. использование #define), хотя сходство с макросом на этом и заканчивается.