Джесс Либерти - Освой самостоятельно С++ за 21 день.

В строках 307—308 управляющая программа создает список двух типов объектов класса Part, а затем печатает значения объектов в списке, используя стандартные потоки вывода.

Если бы в языке C++ поддерживалась контравариантность, можно было бы вызывать замещенные функции, основываясь на типе объекта указателя, на который ссылается указатель базового класса. Программа, представленная в листинге 3.2, демонстрирует суть контравариантности, но, к сожалению, ее нельзя будет скомпилировать в C++.

Вопросы и ответы

В комментарии, содержащемся в строках 65-69 говорится, что C++ не поддерживает контравариантность. Что такое контравариантность?

Контравариантностью называется возможность создания указателя базового класса на указатель производного класс.

Предупреждение: ВНИМАНИЕ: Этот листинг не будет скомпилирован!

Листинг 3.2. Пример контравариантности

#include

class Animal

{

public:

virtual void Speak() { cout << "Animal Speaks\n";}

};

class Dog : public Animal

{

public:

void Speak() { cout << "Dog Speaks\n"; }

};

class Cat : public Animal

{

public:

void Speak() { cout << "Cat Speaks\n"; }

};

void DoIt(Cat*);

void DoIt(Dog*);

int main()

{

Animal * pA = new Dog;

DoIt(pA);

return 0;

}

void DoIt(Cat * с)

{

cout << "They passed а cat!\n" << endl;

c->Speak();

}

void DoIt(Dog * d)

{

cout << "They passed a dog!\n" << endl;

d->Speak();

}

Но в C++ эту проблему можно решить с помощью виртуальной функции.

#include

class Animal

{

public:

virtual void Speak() { cout << "Animal Speaks\n"; }

};

class Dog : public Animal

{

public:

void Speak() { cout << "Dog Speaks\n"; }

};

class Cat : public Animal

{

public:

void Speak() { cout << "Cat Speaks\n"; }

};

void DoIt(Animal*);

int main()

{

Animal * pA = new Dog;

DoIt(pA);

return 0;

}

void DoIt(Animal * с)

{

cout << "They passed some kind of animal\n" << endl;

c->Speak();

}

Важно понять, что операторы имеют приоритеты, но запоминать их совсем не обязательно.

Приоритет оператора определяет последовательность, в которой программа выполняет операторы в выражении или формуле. Если один оператор имеет приоритет над другим оператором, то он выполняется первым.

Приоритет оператора убывает с увеличением номера категории. Все операторы одной категории имеют равный приоритет. Унарные операторы (категория 3), условный оператор (категория 14) и операторы присваивания (категория 15) ассоциируются справа налево, все остальные — слева направо. В приведенной ниже таблице операторы перечислены по категориям в порядке убывания их приоритетности.

Категория: 1 (Наивысшего приоритета)

Название или действие: Разрешение обасти видимости, индексирования

Оператор: :: []

Категория: 2

Название или действие: Прямое и косвенное обращение к члену класса

Оператор: . ->

Название или действие: Вызов функции

Оператор: ()

Название или действие: Постфиксные инкремент и декремент

Оператор: ++ --

Ктегория: 3 (унарные)

Название или действие: Префиксные инкремент и декремент

Оператор: ++ --

Название или действие: Размер

Оператор: sizeof, sizeof()

Название или действие: Дополнение до единицы и логическое отрицание

Оператор: ^ !

Название или действие: Унарные минус и плюс

Оператор: - +

Название или действие: Получение адреса и разыменование

Оператор: ? *

Название или действие: оздание и удаление динамического объекта

Оператор: new, new[], delete, delete[]

Название или действие: Приведение типа

Оператор: casting

Категория: 4 (мультипликтивные)

Название или действие: Умножение, деление, деление по модулю

Оператор: * / %

Категория: 5 (аддитивные)

Название или действие: Бинарный плюс, бинарный минус

Оператор: + -

Категория: 6 (сдвига)

Название или действие: Вывода и ввода

Оператор: <<, >>

Категория: 7 (отношения)

Название или действие: Меньше, меньше или равно, больше, больше или равно

Оператор: <, <=, >, =>

Категория: 8 (равенства)

Название или действие: Равно, не равно

Оператор: ==, !=

Категория: 9

Название или действие: Побитовое И

Оператор: &

Категория: 10

Название или действие: Побитовое исключающее ИЛИ

Оператор: ^

Категория: 11

Название или действие: Побитовое ИЛИ

Оператор: |

Категория: 12

Название или действие: Логическое И

Оператор: &&

Категория: 13

Название или действие: Логическое ИЛИ

Оператор: ||

Категория: 14

Название или действие: Условный

Оператор: ?:

Категория: 15 (присваивания)

Название или действие: Простое присваивание

Оператор: =

Название или действие: Присваивание с умножением и делением

Оператор: *= /=

Название или действие: Присваивание с делением по модулю

Оператор: %=

Название или действие: Присваивание с суммой и разностью

Оператор: += -=

Название или действие: Присваивание со сдвигом

Оператор: <<= >>=

Название или действие: Присваивание с побитовым И, включающим ИЛИ и исключающим ИЛИ

Оператор: &= |= ^=

Название или действие: Генерация исключения

Оператор: throw

Название или действие: Запятая

Оператор: ,

Ключевые слова зарезервированы в компиляторе как элементы языка программирования. Эти ключевые слова нельзя использовать в качестве имен при определении классов, переменных или функций. Приведенный список нельзя назвать абсолютно строгим, поскольку некоторые ключевые слова зависят от конкретного компилятора. Поэтому список ключевых слов вашего компилятора может быть немного другим.

auto, break, case, catch, char, class, const, continue, default, delete, do, double, else, enum, extern, float, for, friend, goto, if, int, long, mutable, new, operator, private, protected, public, register, return, short, signed, sizeof, static, struct, switch, template, this, throw, typedef, union, unsigned, virtual, void, volatile, while

С основами арифметики вы познакомились так давно, что, вероятно, вам трудно представить свою жизнь без этих знаний. Взглянув на число 145, вы без малейших колебаний скажете, что это сто сорок пять.

Понимание двоичных и шестнадцатеричных чисел потребует по-новому взглянуть на число 145 и увидеть в нем не число, а некоторый код для его выражения,

Начнем с малого. Рассмотрим взаимоотношения между числом три и символом "3". Символ числа (цифра) 3 — это некая "закорючка" на листе бумаги, число три — это некоторая идея или понятие. Определенная цифра используется для представления определенного числа.