3. Что будет выведено в результате выполнения цикла?

float begin = 1000000000;

int counter = 0;

for (float i = begin; i < (begin + 10); i++)

counter++;

Console.WriteLine(counter);

Ответ: бесконечный цикл.

Оригинальное обоснование: Для таких больших значений float нет разницы между begin+1 и begin+10.

Альтернативное обоснование: Если более корректно, то в данном случае при операции инкремента идет потеря значимости числа, т.к. точность представления для типа float 7 знаков. Но тогда возникает резонный вопрос, а почему нет потери значимости в выражении (begin+10), ведь цикл то выполняется? А ее нет там потому, что компилятор с какого-то перепугу приводит это выражение к типу System.Int64(System.Int64.MaxValue = 9223372036854775807) и только потом выполняет операцию сравнения, т.е. потери значимости здесь не происходит.

Экзаменационный билет №3

1. Класс Delegate. Логика использования делегатов. Неизменяемость делегатов.

Делегаты являются ссылками на методы, инкапсулирующими настоящие указатели и предоставляющими удобные сервисы для работы с ними. Ссылки представляют собой объекты соответствующего типа. Все делегаты являются объектами типа System.Delegate или System.MulticastDelegate, который является производным от первого.

Уже к окончанию разработки среды исполнения, ее архитекторы пришли к выводу, что целесообразно использовать только класс MulticastDelegate, а класс Delegate является избыточным. Но, опасаясь серьезных архитектурных нестыковок, разработчики были вынуждены оставить класс Delegate в составе общей библиотеки классов.

Различие между этими классами заключается в том, что экземпляры первого (делегаты) могут хранить лишь одну ссылку на метод, а экземпляры второго могут содержать сразу несколько ссылок на методы. Благодаря этому, можно подсоединять к одному делегату несколько методов, каждый из которых при единственном обращении к делегату будет вызваться по цепочке. Таким образом, из программы будет виден лишь один делегат, за которым скрывается несколько методов (рисунок 3.1.1).

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

Рисунок 3.1.1. Делегат может ссылаться на несколько методов или функций.

Виды методов. Все методы в среде .NET можно разделить на две группы: статические (static) и экземплярные (instance).

Если делегат ссылается на статический метод, то все действительно просто. Так как в этом случае есть вся необходимая для вызова метода информация: адрес метода и параметры. Если же делегат ссылается на экземплярный метод, то задача усложняется. Чтобы вызвать экземплярный метод, делегату необходимо знать ссылку на объект, к которому привязан данный конкретный метод. Оказывается, что эта ссылка хранится в самом объекте делегата и указывается при его создании. На протяжении всей жизни объекта делегата данная ссылка не изменяет своего значения, она всегда постоянна и может быть задана только при его создании. Таким образом, вне зависимости от того, ссылается ли делегат на статическую функцию или на экземплярный метод, обращение к нему извне ничем отличаться не будет. Всю необходимую функциональность обеспечивает сам делегат, вкупе со средой исполнения. Это очень удобно, поскольку множество разных делегатов можно привязывать к одному событию.

Объявление. Объявляются делегаты во многом так же, как функции, но только безо всякого тела функции и с ключевым словом delegate. В объ­явлении любого делегата указывается возвращаемый тип и список параметров. После определения делегата можно объявлять переменную с типом этого делегата. Далее эту переменную можно инициализировать как ссылку на любую функцию, которая имеет точно такой же возвращаемый тип и список параметров, как и у делегата. После этого функцию можно вызывать с использованием переменной делегата так, будто бы это и есть сама функция.

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

Варианты использования. Например, может существовать функция, сортирующая массивы строк в алфавитном порядке. Для сортировки списков могут применяться разнообразные алгоритмы с разной производительностью, что зависит от характеристик сортируемого списка. За счет применения делегатов можно выбирать используемый алгоритм, передавая функции сортировки делегат алгоритма сортировки.