3.Что следует ожидать на экране?

Console.WriteLine("A" + "B" + "C"); // => “ABC”

Console.WriteLine('A' + 'B' + 'C'); // => сумма кодов символов (198)

Ответ:

ABC

198

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

1.Ссылочные типы и типы-значения

Данные в С# сохраняются в переменной одним из двух способов, который зависит от типа переменной. Этот тип относится к одной из двух категорий: ссылка или зна­чение. Отличия описаны ниже.

• Типы-значения хранят себя и свое содержимое в одном месте в памяти.

• Ссылочные типы хранят ссылку на другое место в памяти (называемое кучей), в котором уже и непосредственно хранится их содержимое.

На самом деле чрезмерно беспокоиться об этом при использовании С# не нужно. Пока что в этой книге переменные string (которые относятся к ссылочным типам) и другие простые переменные (большинство из которых относится к типам-значениям, как, например, переменные int) применялись практически одинаково.

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

Единственными простыми типами, которые представляют собой ссылочные типы, являются string и object, хотя массивы неявно тоже являются ссылочными типами. Каждый создаваемый класс будет представлять собой ссылочный тип, поэтому здесь основной акцент будет делаться именно на них.

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

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

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

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

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

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

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

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

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

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

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