SEWiki - Вклад участника [ru]

Участник:Eabatalov89

2011-09-16T17:54:24Z

Eabatalov89: /* О себе: */

== Баталов Евгений ==

e-mail: [mailto:eabatalov89@gmail.com eabatalov89@gmail.com]

[[Файл:eabatalov_ava1.jpg]]

* 2006-2010 гг Сургутский Государственный Университет, Факультет Информационных Технологий, АСОиУ.
* В данный момент СпбАУ SE, 6 курс

== Деятельность: ==

В настоящее время работаю над проектом кафедры МФТИ компании Paralles вместе с Александром Карташовым (SE, 6 курс).

Проект связан с ОС Android, ее виртуализацией, удаленным управлением рабочим столом и в перспективе переносом процессов "в живую".

Год работал с задачами на графах дорог (С++)

В прошлом активно практиковал .NET

Немного писал на Java в небольшом учебном проекте

== О себе: ==

Люблю С++ и C, Линукс за то что там можно все.

Люблю консоль за ее простоту и за то что не надо тянуться за мышкой.

Люблю когда люди в команде не держат скелетов в шкафу, понтов или еще чего-то,

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

Каждого такого человека очень ценю и хочу с такими работать.

Люблю когда в команде есть авторитет, решение которого можно принять в спорных вопросах.

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

но сначала он должен делать то что от него требуется, а все остальное - если есть на это деньги и время.

Вики и трекер спасают проекты! ;)

Люблю сложные штуки и учиться новому. Хотелось бы делать сложные проекты с вызовом к себе и команде.
Потому подумываю об аспирантуре.

Участник:Eabatalov89

2011-09-16T17:45:37Z

Eabatalov89:

== Баталов Евгений ==

e-mail: [mailto:eabatalov89@gmail.com eabatalov89@gmail.com]

[[Файл:eabatalov_ava1.jpg]]

* 2006-2010 гг Сургутский Государственный Университет, Факультет Информационных Технологий, АСОиУ.
* В данный момент СпбАУ SE, 6 курс

== Деятельность: ==

В настоящее время работаю над проектом кафедры МФТИ компании Paralles вместе с Александром Карташовым (SE, 6 курс).

Проект связан с ОС Android, ее виртуализацией, удаленным управлением рабочим столом и в перспективе переносом процессов "в живую".

Год работал с задачами на графах дорог (С++)

В прошлом активно практиковал .NET

Немного писал на Java в небольшом учебном проекте

== О себе: ==

Люблю С++ и C, Линукс за то что там можно все. Люблю сложные штуки и учиться новому.

Люблю консоль за ее простоту и за то что не надо тянуться за мышкой.

Люблю когда люди в команде не держат скелетов в шкафу, понтов или еще чего-то,

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

Каждого такого человека очень ценю и хочу с такими работать.

Люблю когда в команде есть авторитет, решение которого можно принять в спорных вопросах.

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

но сначала он должен делать то что от него требуется, а все остальное - если есть на это деньги и время.

Вики и трекер спасают проекты! ;)

Участник:Eabatalov89

2011-09-16T17:43:38Z

Eabatalov89:

== Баталов Евгений ==

e-mail: [mailto:eabatalov89@gmail.com eabatalov89@gmail.com]

[[Файл:eabatalov_ava1.jpg]]

* 2006-2010 гг Сургутский Государственный Университет, Факультет Информационных Технологий, АСОиУ.
* В данный момент СпбАУ SE, 6 курс
Деятельность:
В настоящее время работаю над проектом кафедры МФТИ компании Paralles вместе с Александром Карташовым (SE, 6 курс).
Проект связан с ОС Android, ее виртуализацией, удаленным управлением рабочим столом и в перспективе переносом процессов "в живую".
Год работал с задачами на графах дорог (С++)
В прошлом активно практиковал .NET
Немного писал на Java в небольшом учебном проекте

Люблю С++ и C, Линукс за то что там можно все. Люблю сложные штуки и учиться новому.

Люблю когда люди в команде не держат скелетов в шкафу, понтов или еще чего-то,

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

Каждого такого человека очень ценю и хочу с такими работать.

Люблю когда в команде есть авторитет, решение которого можно принять в спорных вопросах.

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

но сначала он должен делать то что от него требуется, а все остальное - если есть на это деньги и время.

Вики и трекер спасают проекты! ;)

Множественное наследование, дружба

2011-05-19T00:27:23Z

Eabatalov89: Новая страница: «== Базовые принципы множественного наследования == Расположение классов в памяти при множе…»

== Базовые принципы множественного наследования ==
Расположение классов в памяти при множественном наследовании. От порядка родителей будет зависеть то, как лежат данные.

[[Файл:img1.png]]

<source lang="cpp">
struct D: A,B,C
{

};
</source>

== Конструкторы, деструкторы ==
От порядка родителей зависит порядок вызова конструкторов и деструкторов.

Конструкторы: A->B->C->D

Деструкторы: D->C->B->A

== Как использовать множественное наследоание ==
В основном множественное наследование используется при наследовании от интерфейсов. Интерфейс в C++ это класс, у которого все функции виртуальные. Наследование реализации применяется очень редко.

Пример наследования реализации:

[[Файл:img2.png]]

Мы видим что второй вариант с одиночным наследованием проще и логичнее.

Пример злоупотребления:

<source lang="cpp">
struct Circle
{

Point center_;

double radius_;

};
</source>

Но некоторые делают:

<source lang="cpp">
struct Circle: Point
{

double radius_;

};
</source>

Как мы видим, множественное наследование порой логичнее и проще заменить на включение объекта внутрь нашего класса.
Одним из аргументов против множественного наследования является то, что в большинстве промышленных языков его нет, и
там без него обходятся без особых сложностей.

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

[[Файл:img3.png]]

== Другие особенности множественного наследования ==
Если в базовых классах есть метод с одинаковым именем, и мы его переопределили в наследнике, то он переопределятся сразу для всех родителей.

Способ обойти это ограничение:

[[Файл:img4.png]]

Можно явно вызвать виртуальный метод базового класса

<source lang="cpp">
struct A

{

virtual void foo()=0;

};

struct B

{

virtual void foo()

{

std::cout << "B::foo()" << std::endl;

}

};

struct C:A,B

{

virtual void foo()

{

std::cout << "C::foo()" << std::endl;

}

};

int main()

{

C c;

c.B::foo();

system("PAUSE");

return 0;

}
</source>

<code>
Результат: B::foo();
</code>

Таблица виртуальных функций и конструкторы

Во время последовательного вызова конструкторов при создании объекта класса, внутри тела каждого конструктора указатель на таблицу виртуальных функций будет установлен на тот класс, для которого вызван конструтор. Так как контекст будет изменяться при вызове конструторов, вызывать в них виртуальные
функции является плохим тоном.

== Виртуальное наследование ==
Рассмотрим следующую иерархию

[[Файл:img5.png]]

При обычно наследовании мы бы получили в классе C две копии класса A. Но если семантика нашего наследования предполагает что C является A,
также как B1 и B2, то мы получаем логическое противоречие такой конструкции. Также такая конструкция будет не верна, если нам нужно иметь одну копию класса A в C. Для преодоления этой ситуации в C++ было введено виртуальное наследование. Ключевое слово virtual при наследовании показывает компилятору, что класс наследник может учавствовать в ромбовидных иерархиях.

Вот как будет выглядеть код этого примера с виртуальным наследованием:

<source lang="cpp">
struct A

{

void foo()

{

std::cout << "A" << std::endl;

}

};

struct B1: virtual A

{

};

struct B2: virtual A

{

};

struct C:B1,B2

{

};

int main()

{

C c;

c.foo();

system("PAUSE");

return 0;

}
</source>

Как это работает

Компилятор добавляет в таблицу виртуальных функций класса наследника функцию, которая возвращает указатель на объект базового класса. Таким образом эти функции у B1 и B2 будут возвращать один и тот же указатель на объект A, сожержащийся в C. Реализация виртуального наследования не регламентируется,
этому есть и другие подходы, например, основанный на отдельной таблице виртуальных классов.

== "Дружба" ==
В С++ существует ключевое слово friend, означающее что класс или функция будут видеть все данные и методы класса, с которым они дружат. Если A друг B, то это не значит что B друг A.

Пример (Функция foo Дружит с классом Bar):

<source lang="cpp">
struct Bar

{

friend void foo(Bar& bar);

private:

static int data_;

void MakeCoffee()

{

}

};

void foo(Bar& bar)

{

bar.MakeCoffee();

std::cout << Bar::data_ << std::endl;

}

int Bar::data_;

</source>

Файл:Img5.png

2011-05-19T00:06:44Z

Eabatalov89:

Файл:Img4.png

2011-05-19T00:06:36Z

Eabatalov89:

Файл:Img3.png

2011-05-19T00:06:27Z

Eabatalov89:

Файл:Img2.png

2011-05-19T00:06:11Z

Eabatalov89:

Файл:Img1.png

2011-05-19T00:05:58Z

Eabatalov89:

Конспекты С++

2011-05-19T00:02:08Z

Eabatalov89: /* 1 семестр (осень-зима 2010) */

== 1 семестр (осень-зима 2010) ==

* [[ Как происходит компиляция|Как происходит компиляция. Алексей Давыдов. 08.09.2010]]
* [[ Указатели и ссылки|Указатели и ссылки. Екатерина Полищук. 10.09.2010]]
* [[ Динамическое распределение памяти|Динамическое распределение памяти. Алексей Гуревич. 17.09.2010]]
* [[ Классы|Классы. Курьян Кристина. 08.10.2010]]
* [[ Перегрузка операторов|Перегрузка операторов. Мария Фомкина. 12.11.2010]]
* [[ Множественное наследование, дружба|Множественное наследование, дружба Евгений Баталов. 02.12.2010]]

== 2 семестр (зима-весна 2011) ==

* [[ Напоминание про inline и static. Синглтон.|Напоминание про inline и static. Синглтон. Екатерина Полищук. 11.02.2011]]
* [[ STL. Последовательные контейнеры|STL. Последовательные контейнеры. Мария Фомкина. 18.02.2011]]
* [[ Ассоциативные контейнеры |STL. Ассоциативные контейнеры. Светлана Марченко. 25.02.2011]]
* [[ Указатели на функции|Указатели на функции. Курьян Кристина. 18.03.2011]]
* [[ Исключения | Методы обработки ошибок. Исключения. Гарантии исключений. Евгений Баталов. 01.04.2011 ]]
* [[ Метапрограммирование на C++ | Метапрограммирование на C++. Александр Карташов. 06.05.2011 ]]

Исключения

2011-05-18T23:43:17Z

Eabatalov89: /* Assert */

== Обработка ошибок ==
В программах всегда возникают ошибки. Их надо уметь обрабатывать, иначе часто мы будем беспокоить пользователя по пустяку. Рассмотрим основные способы обработки ошибок.

== Обработка кода возврата ==
Из каждой функции возвращаем код, в котором содержится дополнительная информация о результате работы функции.
Программист функции задает семантику этого кода. Одним из его значений должен быть "успех". Результат функции возвращается через параметр, передаваемый по ссылке.
Такой подход увеличивает колличество кода. Нужно проверять код возврата. В зависимости от проекта, этот код может понадобиться проверять каждый раз после вызова функции.
Также пользователь функции должен знать семантику кода возврата. Для кода возврата можно не создавать отдельную переменную в сигнатуре функции.
Можно возвращать значение, которое не входит в множество допустимых значений. Например, результат функции всегда положительный, но мы возвратим отрицательное число, если что-то пошло не так.
Тогда вызов будет короче, но мы совместим ответственности - результат будет отвечает и за ошибки. Если множество значений функции в перспективе может расшириться, то этот способ не подходит.

== Глобальная переменная errno ==
Все функции в случае возникновения ошибки записывают ее код в глобальную переменную errno. Проверять errno может понадобиться после каждого вызова.
При таком подходе мы можем строить выражения из вызовов функций. Использование глобальной переменной требует синхронизации в многопоточных приложениях.

== SEH, Signals ==
Платформенно зависимые исключения и сигналы от ОС. Например деление на 0, извлечение квадратного корня из отрицательного числа, разъименование нулевого указателя, порча стека и т.п.
Обычно говорят о том, что дальнейшее выполнение программы не имеет смысла, потому часто явно не обрабатываются в программах. 24/7/365 сервисы обычно требуют обработки таких исключений.
Это отдельная большая тема.

== Assert ==
Это утверждения, логические условия, истинность которых проверяется либо во время выполнения, либо во время компиляции (static assert).
Если статическое утверждение во время компиляции ложно, то возникает ошибка компиляции. Если во время вполнения утверждение ложно, то
в стандартный поток ошибок выводится текст этого утверждения и программа завершается.
Assert'ы отключаются, если при компиляции определен символ NDEBUG.

Пример:

<source lang="cpp">
#include <cassert>
assert(1 + 1 == 2 && "working with field which charcteristic > 2");
</source>

Строка с комментарием к assert'у "working with ..." - это ненулевой char const *, потому он всегда True и не влияет на результат логического И.

== Исключения ==
Исключение - событие, возникающее во время выполнения программы. Обычно обозначает что-то негативное. Существуют различные точки зрения на то, когда нужно использовать исключения.
Некоторые используют их, когда произошло малейшее нарушение работы программы (например ошибка конвертации строки в число), а другие только в случае если дальнейшее выполнение программы не имеет смысла.

Работа с исключениями состоит из следующих этапов:
* Выполнено условие, при котором стоит сообщить внешнему коду о произошедшей ошибке.
* Бросается исключение.
* Исключение всплывает по стеку вызовов программы до первой точки, в которой это исключение может быть обработано.
* В обработчике исключения можно выполнить все действия для восстановления программы и продолжить ее выполнение или если это не возможно в данном месте кода, бросить новое исключение дальше по стеку.
* Если исключение не было обработано и всплыло выше функции main, то вызывается обработчик unexpected, который по умолчанию завершает выполнение программы.

Некоторые моменты:
* Если исключение поймано (обработано), то вызовутся деструкторы всех объектов, которые лежали на стеке от места бросания до места обработки.
* Если мы выделим память в куче, а затем кинем исключение, то выделенная память не будет освобождена (деструктор указателя ничего не делает).
* Реальный механизм работы исключений и его накладные расходы зависит от разрядности процессора и ОС.

Рассмотрим базовый синтаксис работы с исключениям ив C++:

<source lang="cpp">
try
{
if (a == 0)
throw 0;
int res = 10/a;
}
catch(int ex)
{
if (ex == 0)
std::cerr << "division by zero" << std::endl;
}
catch(float ex)
{
if (ex >= 0)
std::cerr << "float" << std::endl;
}
</source>

* Оператор <code>try {}</code> показывает границы блока кода, в котором мы хотим ловить исключения. Исключения будут ловиться не только в самом блоке,
но и ниже по стеку вызовов - во всех функциях, вызванных из блока <code>try</code>.
* Оператор <code>catch(...){}</code> определяет код-обработчик исключения, который выполняется в случае если оно было кинуто в <code>try</code>. Аргумент <code>...</code> означает что будут ловиться все исключения.
Если мы хотим перехватить исключение какого-то конкретного типа, то в аргументе <code>catch</code> объявляют переменную этого типа. Для классов и структур используется константная ссылка.
* Оператор <code>throw</code> принимает экземпляр типа, который мы хотим кинуть.

Давайте поймем почему код, который бросает примитивные типы плох?
В обработчике <code>catch</code> нам приходится проверять какое целое значение было кинуто, чтобы понять что с ним делать.
Мы можем определить отдельный класс для каждого исключения и бросать уже объекты этих классов.
Это избавит нас от необходимости проверять еще какую-то информацию, неявно передаваемую в кидаемом экземпляре примитивного типа.
Для удобства в стандартной библиотеки <code>stl</code> уже есть класс исключений <code>std::exception</code>, объявленный в файле <code><exception></code>. Для поддержания единообразности кода на C++, следует наследовать свои классы исключений от него. Также у <code>std::exception</code> есть виртуальный метод <code>what()</code>, который удобно использовать для возвращения информации об исключении
в удобном для прочитывания человеком формате. Также стандартная библиотека поределяет накоторые другие классы, например <code>std::logic_error, std::runtime_error, std::bad_alloc</code>.

Нужно помнить, что при выборе блока <code>catch</code>, который соответствует кинутому исключению, приведение типов не происходит. Одновременно может быть активно только одно исключение, поэтому если во время всплытия исключения по стеку
до того как исключение найдет свой обработчик, кинется еще одно исключение, программа полностью закончит свое выполнение. Теперь давайте вспомним какой код выподняется
во время всплытия исключения - происходят вызовы всех деструкторов. Если хотябы один деструктор кинет исключение, то программа полностью завершится. Поэтому деструкторы не должны кидать исключений.
Теперь представим себе что будет, если кинуть исключение в конструкторе - до завершения конструктора объект не считается созданным, потому в случае падения исключения в конструкторе, деструктор создаваемого объекта
не будет вызван. То есть если мы уже выделили какой-то ресурс в конструкторе, а потом в нем возникло исключение, то ресурс не будут освобожден.
Поэтому надо писать конструкторы так, чтобы при возникновении в нем исключения, можно было освободить занятые ресурсы и сообщить об исключении дальше.
Напомним также, что при нормальной работе программы оператор <code>delete</code> не кидает исключений, а оператор <code>new</code> может.
Напишем класс, который освободит выделенную память если произошло исключение в конструкторе.
Здесь же используется специальный синтаксис для перехвата исключений в списке инициализации.

<source lang="cpp">
struct A
{
int* p1;
int* p2;

A(size_t p1_sz, size_t p2_sz)
try
: p1(new int[p1_sz])
, p2(0)
{
try
{
p2 = new int[p2_sz];
}
catch(...)
{
delete[] p1; //only p1 allocated
throw;
}
}
catch(...)
{
//no memory allocated
throw;
}

~A()
{
delete[] p1;
delete[] p2;
}
};
</source>

Упражнение:
Опеределить сколько исключений может быть брошено в следующем участке кода, если a и b - экземпляры произвольных типов данных.

<source lang="cpp">
if (a + b == c + d)
{
return a * b;
}
</source>

Подсказка: учтите что вызываются операторы приведения типов, +, *, ==.

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

* Гарантия отсутствия исключений. Такая гарантия специфицирует, что либо ошибок нет, либо все ошибки обрабатываются и объект выполняет все требуемые функции.
* Строгая гарантия исключений (транзакционность). Объект после обработки ошибки возвращается в состояние перед вызовом метода, в котором она возникла. Если мы выполняем ввод\вывод, то гарантировать строгую гарантию невозможно без очень сложных мероприятий.
* Базовая гарантия. После обработки исключения оказываемся в любом другом согласованном состоянии.

Напишем неполный класс массива, который реализует строгую гарантию исключений при копировании через конструктор.
<source lang="cpp">
template<typename T>
struct Array
{
Array(size_t size)
: size_(size)
, data_(new T[size])
{}

Array(Array const & src)
{
T* old_data = data_;
size_t old_size = size_;
try
{
data_ = new T[src.size_];
size_ = src.size_;
for(size_t i = 0; i < size_; ++i)
data_[i] = src.data_[i];
}
catch(...)
{
delete data_;
data_ = old_data;
size_ = old_size;
}
}

private:
T* data_;
size_t size_;
};
</source>

Исключения

2011-05-18T23:40:28Z

Eabatalov89: Новая страница: «== Обработка ошибок == В программах всегда возникают ошибки. Их надо уметь обрабатывать, ина…»

== Обработка ошибок ==
В программах всегда возникают ошибки. Их надо уметь обрабатывать, иначе часто мы будем беспокоить пользователя по пустяку. Рассмотрим основные способы обработки ошибок.

== Обработка кода возврата ==
Из каждой функции возвращаем код, в котором содержится дополнительная информация о результате работы функции.
Программист функции задает семантику этого кода. Одним из его значений должен быть "успех". Результат функции возвращается через параметр, передаваемый по ссылке.
Такой подход увеличивает колличество кода. Нужно проверять код возврата. В зависимости от проекта, этот код может понадобиться проверять каждый раз после вызова функции.
Также пользователь функции должен знать семантику кода возврата. Для кода возврата можно не создавать отдельную переменную в сигнатуре функции.
Можно возвращать значение, которое не входит в множество допустимых значений. Например, результат функции всегда положительный, но мы возвратим отрицательное число, если что-то пошло не так.
Тогда вызов будет короче, но мы совместим ответственности - результат будет отвечает и за ошибки. Если множество значений функции в перспективе может расшириться, то этот способ не подходит.

== Глобальная переменная errno ==
Все функции в случае возникновения ошибки записывают ее код в глобальную переменную errno. Проверять errno может понадобиться после каждого вызова.
При таком подходе мы можем строить выражения из вызовов функций. Использование глобальной переменной требует синхронизации в многопоточных приложениях.

== SEH, Signals ==
Платформенно зависимые исключения и сигналы от ОС. Например деление на 0, извлечение квадратного корня из отрицательного числа, разъименование нулевого указателя, порча стека и т.п.
Обычно говорят о том, что дальнейшее выполнение программы не имеет смысла, потому часто явно не обрабатываются в программах. 24/7/365 сервисы обычно требуют обработки таких исключений.
Это отдельная большая тема.

== Assert ==
Это утверждения, логические условия, истинность которых проверяется либо во время выполнения, либо во время компиляции (static assert).
Если статическое утверждение во время компиляции ложно, то возникает ошибка компиляции. Если во время вполнения утверждение ложно, то
в стандартный поток ошибок выводится текст этого утверждения и программа завершается.
Assert'ы отключаются, если при компиляции определен символ NDEBUG.

Пример:

<source lang="cpp">
#include <cassert>
assert(1 + 1 == 2 && "working with field which charcteristic > 2");
</source>

Строка с комментарием к assert'у "working with ..." - это ненулевой char const *, потому он всегда True и не влияет на рещультат логического И.

== Исключения ==
Исключение - событие, возникающее во время выполнения программы. Обычно обозначает что-то негативное. Существуют различные точки зрения на то, когда нужно использовать исключения.
Некоторые используют их, когда произошло малейшее нарушение работы программы (например ошибка конвертации строки в число), а другие только в случае если дальнейшее выполнение программы не имеет смысла.

Работа с исключениями состоит из следующих этапов:
* Выполнено условие, при котором стоит сообщить внешнему коду о произошедшей ошибке.
* Бросается исключение.
* Исключение всплывает по стеку вызовов программы до первой точки, в которой это исключение может быть обработано.
* В обработчике исключения можно выполнить все действия для восстановления программы и продолжить ее выполнение или если это не возможно в данном месте кода, бросить новое исключение дальше по стеку.
* Если исключение не было обработано и всплыло выше функции main, то вызывается обработчик unexpected, который по умолчанию завершает выполнение программы.

Некоторые моменты:
* Если исключение поймано (обработано), то вызовутся деструкторы всех объектов, которые лежали на стеке от места бросания до места обработки.
* Если мы выделим память в куче, а затем кинем исключение, то выделенная память не будет освобождена (деструктор указателя ничего не делает).
* Реальный механизм работы исключений и его накладные расходы зависит от разрядности процессора и ОС.

Рассмотрим базовый синтаксис работы с исключениям ив C++:

<source lang="cpp">
try
{
if (a == 0)
throw 0;
int res = 10/a;
}
catch(int ex)
{
if (ex == 0)
std::cerr << "division by zero" << std::endl;
}
catch(float ex)
{
if (ex >= 0)
std::cerr << "float" << std::endl;
}
</source>

* Оператор <code>try {}</code> показывает границы блока кода, в котором мы хотим ловить исключения. Исключения будут ловиться не только в самом блоке,
но и ниже по стеку вызовов - во всех функциях, вызванных из блока <code>try</code>.
* Оператор <code>catch(...){}</code> определяет код-обработчик исключения, который выполняется в случае если оно было кинуто в <code>try</code>. Аргумент <code>...</code> означает что будут ловиться все исключения.
Если мы хотим перехватить исключение какого-то конкретного типа, то в аргументе <code>catch</code> объявляют переменную этого типа. Для классов и структур используется константная ссылка.
* Оператор <code>throw</code> принимает экземпляр типа, который мы хотим кинуть.

Давайте поймем почему код, который бросает примитивные типы плох?
В обработчике <code>catch</code> нам приходится проверять какое целое значение было кинуто, чтобы понять что с ним делать.
Мы можем определить отдельный класс для каждого исключения и бросать уже объекты этих классов.
Это избавит нас от необходимости проверять еще какую-то информацию, неявно передаваемую в кидаемом экземпляре примитивного типа.
Для удобства в стандартной библиотеки <code>stl</code> уже есть класс исключений <code>std::exception</code>, объявленный в файле <code><exception></code>. Для поддержания единообразности кода на C++, следует наследовать свои классы исключений от него. Также у <code>std::exception</code> есть виртуальный метод <code>what()</code>, который удобно использовать для возвращения информации об исключении
в удобном для прочитывания человеком формате. Также стандартная библиотека поределяет накоторые другие классы, например <code>std::logic_error, std::runtime_error, std::bad_alloc</code>.

Нужно помнить, что при выборе блока <code>catch</code>, который соответствует кинутому исключению, приведение типов не происходит. Одновременно может быть активно только одно исключение, поэтому если во время всплытия исключения по стеку
до того как исключение найдет свой обработчик, кинется еще одно исключение, программа полностью закончит свое выполнение. Теперь давайте вспомним какой код выподняется
во время всплытия исключения - происходят вызовы всех деструкторов. Если хотябы один деструктор кинет исключение, то программа полностью завершится. Поэтому деструкторы не должны кидать исключений.
Теперь представим себе что будет, если кинуть исключение в конструкторе - до завершения конструктора объект не считается созданным, потому в случае падения исключения в конструкторе, деструктор создаваемого объекта
не будет вызван. То есть если мы уже выделили какой-то ресурс в конструкторе, а потом в нем возникло исключение, то ресурс не будут освобожден.
Поэтому надо писать конструкторы так, чтобы при возникновении в нем исключения, можно было освободить занятые ресурсы и сообщить об исключении дальше.
Напомним также, что при нормальной работе программы оператор <code>delete</code> не кидает исключений, а оператор <code>new</code> может.
Напишем класс, который освободит выделенную память если произошло исключение в конструкторе.
Здесь же используется специальный синтаксис для перехвата исключений в списке инициализации.

<source lang="cpp">
struct A
{
int* p1;
int* p2;

A(size_t p1_sz, size_t p2_sz)
try
: p1(new int[p1_sz])
, p2(0)
{
try
{
p2 = new int[p2_sz];
}
catch(...)
{
delete[] p1; //only p1 allocated
throw;
}
}
catch(...)
{
//no memory allocated
throw;
}

~A()
{
delete[] p1;
delete[] p2;
}
};
</source>

Упражнение:
Опеределить сколько исключений может быть брошено в следующем участке кода, если a и b - экземпляры произвольных типов данных.

<source lang="cpp">
if (a + b == c + d)
{
return a * b;
}
</source>

Подсказка: учтите что вызываются операторы приведения типов, +, *, ==.

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

* Гарантия отсутствия исключений. Такая гарантия специфицирует, что либо ошибок нет, либо все ошибки обрабатываются и объект выполняет все требуемые функции.
* Строгая гарантия исключений (транзакционность). Объект после обработки ошибки возвращается в состояние перед вызовом метода, в котором она возникла. Если мы выполняем ввод\вывод, то гарантировать строгую гарантию невозможно без очень сложных мероприятий.
* Базовая гарантия. После обработки исключения оказываемся в любом другом согласованном состоянии.

Напишем неполный класс массива, который реализует строгую гарантию исключений при копировании через конструктор.
<source lang="cpp">
template<typename T>
struct Array
{
Array(size_t size)
: size_(size)
, data_(new T[size])
{}

Array(Array const & src)
{
T* old_data = data_;
size_t old_size = size_;
try
{
data_ = new T[src.size_];
size_ = src.size_;
for(size_t i = 0; i < size_; ++i)
data_[i] = src.data_[i];
}
catch(...)
{
delete data_;
data_ = old_data;
size_ = old_size;
}
}

private:
T* data_;
size_t size_;
};
</source>

Конспекты С++

2011-05-18T23:12:40Z

Eabatalov89:

== 1 семестр (осень-зима 2010) ==

* [[ Как происходит компиляция|Как происходит компиляция. Алексей Давыдов. 08.09.2010]]
* [[ Указатели и ссылки|Указатели и ссылки. Екатерина Полищук. 10.09.2010]]
* [[ Динамическое распределение памяти|Динамическое распределение памяти. Алексей Гуревич. 17.09.2010]]
* [[ Классы|Классы. Курьян Кристина. 08.10.2010]]
* [[ Перегрузка операторов|Перегрузка операторов. Мария Фомкина. 12.11.2010]]

== 2 семестр (зима-весна 2011) ==

* [[ Напоминание про inline и static. Синглтон.|Напоминание про inline и static. Синглтон. Екатерина Полищук. 11.02.2011]]
* [[ STL. Последовательные контейнеры|STL. Последовательные контейнеры. Мария Фомкина. 18.02.2011]]
* [[ Ассоциативные контейнеры |STL. Ассоциативные контейнеры. Светлана Марченко. 25.02.2011]]
* [[ Указатели на функции|Указатели на функции. Курьян Кристина. 18.03.2011]]
* [[ Исключения | Методы обработки ошибок. Исключения. Гарантии исключений. Евгений Баталов. 01.04.2011 ]]
* [[ Метапрограммирование на C++ | Метапрограммирование на C++. Александр Карташов. 06.05.2011 ]]

Поисковые системы

2011-03-14T17:46:44Z

Eabatalov89:

Предлагается провести семинар по поисковым системам по базам данных (не про веб-поиск). Формат: много мини-докладов в один день и создание соответствующих страниц в wiki.
В качестве первого этапа предлагается составить список тем, которые можно было бы обсудить. Сейчас можно только предлагать темы, распределять их будем наследующем этапе.

* Механизм, архитектура поисковой системы с 3 потоками управления: обработка пользовательских запросов, исполнение запросов, индексирование новых данных.
* Алгоритм обратных индексов.
* Кластеризация в Data Mining.
* Использование префиксного дерева для хранения и поиска строк во внешней памяти.
* Распределение нагрузки между узлами поисковой системы
* Напиши название темы здесь.

Shortest Path Service

2011-03-14T11:49:19Z

Eabatalov89:

* Студент: Евгений Баталов
* Руководитель: Антон Ковалев

Описание: продолжение разработки сервиса для поиска кратчайшего пути на дорожной карте,
использующего картографические данные проекта OpenStreetMap.
У OpenStreetMap такого сервиса нет.

Реализовано на начало весеннего семестра:
* Парсер xml файлов OpenStreetMap
* Граф с ленивой подкачкой вершин из БД Sqlite
* Графическая оболочка под Windows для тестирования алгоритмов на графе
* Алгоритмы A* и двунаправленный A*
* Пользовательский web интерфейс на основе Google maps и JQuery
* Http сервер на Python и работающий с ним сервис поиска кратчайшего пути

Предполагаемые этапы:
* Сборка проекта под Linux и сохранение кросплатформенности (Linux & Windows)
* Использовать FastCGI для взаимодействия с http сервером
* Реализация сервиса для поиска кратчайшего пути на дорожной карте
* Профилирование, unit, stress тестирование проекта
* Реализация обновления картографических данных в графе
* (возможный этап) слияние с проектом Алексей Гуревича (АУ, кафедра SE, 5 курс) с целью создание многопользовательского приложения с web-интерфейсом для поиска кратчайших путей на графе дорог на основе разработанных алгоритмов и инструментов.

Ожидаемый результат:
* Сервис
* Результаты стресс тестирования и профилирования

Shortest Path Service

2011-03-14T11:31:30Z

Eabatalov89: Новая страница: «* Студент: Евгений Баталов * Руководитель: Антон Ковалев Описание: продолжение разработки …»

* Студент: Евгений Баталов
* Руководитель: Антон Ковалев

Описание: продолжение разработки сервиса для поиска кратчайшего пути на дорожной карте,
использующего картографические данные проекта OpenStreetMap.
У OpenStreetMap такого сервиса нет.

Предполагаемые этапы:
* Сборка проекта под Linux и сохранение кросплатформенности (Linux & Windows)
* Использовать FastCGI для взаимодействия с http сервером
* Реализация сервиса для поиска кратчайшего пути на дорожной карте
* Профилирование, unit, stress тестирование проекта
* Реализация обновления картографических данных в графе
* (возможный этап) слияние с проектом Алексей Гуревича (АУ, кафедра SE, 5 курс) с целью создание многопользовательского приложения с web-интерфейсом для поиска кратчайших путей на графе дорог на основе разработанных алгоритмов и инструментов.

Ожидаемый результат:
* Сервис
* Результаты стресс тестирования и профилирования

Темы практик

2011-03-14T11:27:25Z

Eabatalov89: /* Весна 2011 */

На этой странице собраны темы индивидуальных и командных проектов.

== Весна 2011 ==

* [[Genome assembler]] (Mariya Fomkina)

* [[Анализ изображений с целью поиска похожих лиц]] (Екатерина Полищук)

* [[The Shortest Path Problem]] (Алексей Гуревич)

* [[Shortest Path Service]] (Евгений Баталов)

== Пул свободных тем ==

* [[GeoToDo list]]

Участник:Eabatalov89

2011-03-09T21:40:50Z

Eabatalov89:

e-mail: [mailto:eabatalov89@gmail.com eabatalov89@gmail.com]

[[Файл:eabatalov_ava1.jpg]]

Участник:Eabatalov89

2011-03-09T18:22:12Z

Eabatalov89: Новая страница: «e-mail: [mailto:eabatalov89@gmail.com, eabatalov89@gmail.com] Файл:eabatalov_ava1.jpg»

e-mail: [mailto:eabatalov89@gmail.com, eabatalov89@gmail.com]

[[Файл:eabatalov_ava1.jpg]]

Файл:Eabatalov ava1.jpg

2011-03-09T18:21:53Z

Eabatalov89: My photo small

My photo small