6. Роль ссылок в борьбе за эффективность. Пример.

Прежде всего, разумеется, если вы хотите менять значение параметра.

Но даже если вам это не нужно, для большого класса или структуры передача по ссылке гораздо быстрее и экономит память.

void f(Monster x);

void g(const Monster& x);

...

Monster barmaley;

f(barmaley); // будет создаваться копия монстра barmaley, а после выполнения функции - уничтожаться.

g(barmaley); // Функция получит адрес barmaley. Kопию создавать не надо.

По этой причине параметры длинее 8 байтов почти всегда передаются по ссылке.Ссылки полезны и в циклах по элементам массива.

for (int i = 0; i < 10; i ++)

{

double& x = a[i];

if (x > 1)

x = 1;

if (x < 0)

x = 0;

x = x * x;

}

Во всех этих случаях можно было бы использовать указатель, и в Си так и делается, но, как сказано выше, указатели опасны. К тому же писать звёздочки и амперсанды - утомительно.Но по-настоящему необходимы ссылки для перегрузки операторов, о которой пойдёт речь в следующих разделах. Так, например, что ++ обычно понимается как изменяющая свой аргумент, потому ::operator++(T) обычно обязана иметь ссылку в параметре - т.е. ::operator++(T&)

Точно так же operator[] обычно понимается как возвращающая lvalue, что требует T& Arr::operator[](int index);

7. Инициализация объектов. Варианты конструкторов. Пример

Объекты инициализируются с помощью конструктора. Конструктор вызывается при создании и инициализации объекта данного типа; деструктор — при уничтожении. Существуют два типа конструкторов -конструктор копирования и конструктор преобразования.

Пример:

Array::Array(const Array&)

8. Указатели и вектора. Сравнение стиля доступа к компонентам

Указатели и вектора в С++ связаны очень тесно. Имя вектора можно использовать как указатель на его первый элемент, поэтому пример с алфавитом можно было написать так:

char alpha[] = «abcdefghijklmnopqrstuvwxyz»; char* p = alpha; char ch;

while (ch = *p++) cout «„ chr(ch) „« " = " «« ch «« « = 0“ «« oct(ch) «« «\n“;

Описание p можно было также записать как

char* p = amp;alpha[0];

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

extern int strlen(char*); char v[] = «Annemarie»; char* p = v; strlen(p); strlen(v);

функции strlen в обоих вызовах передается одно и то же значение. Вся штука в том, что этого невозможно избежать; то есть не существует способа описать функцию так, чтобы вектор v в вызове функции копировался (#4.6.3). Результат применения к указателям арифметических операций +, -, ++ или – зависит от типа объекта, на который они указывают. Когда к указателю p типа T* применяется арифметическая операция, предполагается, что p указывает на элемент вектора объектов типа T; p+1

означает следующий элемент этого вектора, а p предыдущий элемент. Отсюда следует, что значение p+1 будет на sizeof(T) больше значения p. Например, выполнение

main() (* char cv[10]; int iv[10];

char* pc = cv; int* pi = iv;

cout «„ "char* " „« long(pc+1)-long(pc) «« «\n“; cout «« "int* " «« long(ic+1)-long(ic) «« «\n“; *)

дает

char* 1 int* 4

поскольку на моей машине каждый символ занимает один байт, а каждое целое занимает четыре байта. Перед вычитанием значения указателей преобразовывались к типу long с помощью явного преобразования типа (#3.2.5). Они преобразовывались к long, а не к «очевидному» int, поскольку есть машины, на которых указатель не влезет в int (то есть, sizeof(int)«sizeof(long) ).

Вычитание указателей определено только тогда, когда оба указателя указывают на элементы одного и того же вектора (хотя в языке нет способа удостовериться, что это так). Когда из одного указателя вычитается другой, результатом является число элементов вектора между этими указателями (целое число). Можно добавлять целое к указателю или вычитать целое из указателя; в обоих случаях результатом будет значение типа указателя. Если это значение не указывает на элемент того же вектора, на который указывал исходный указатель, то результат использования этого значения неопределён. Например:

int v1[10]; int v2[10];

int i = amp;v1[5]– amp;v1[3]; // 2 i = amp;v1[5]– amp;v2[3]; // результат неопределен

int* p = v2+2; // p == amp;v2[2] p = v2-2; // p неопределено