Производные классы
В конструкции
агрег идентификатор:public opt typedef-имя
typedef-имя должно означать ранее описанный класс, называемый базовым классом для класса, подлежащего описанию. Говорится, что последний выводится из предшествующего. На члены базового класса можно ссылаться, как если бы они были членами производного класса, за исключением тех случаев, когда имя базового члена было переопределено в производном классе; в этом случае для ссылки на скрытое имя может использоваться такая запись ():
typedef-имя :: идентификатор
Например:
struct base { int a; int b; };
struct derived : public base { int b; int c; };
derived d;
d.a = 1; d.base::b = 2; d.b = 3; d.c = 4;
осуществляет присваивание четырем членам d.
Производный тип сам может использоваться как базовый.