CSBasicCourse2ndedPodbelsky / CSBasicCourse2ndedPodbelsky

Можно ли объявить интерфейс с модификатором static? Что такое спецификация базы интерфейса?

Какие модификаторы допустимы для члена интерфейса? Какой статус доступа имеют члены интерфейса? Приведите формат объявления свойства в интерфейсе. Какие поля допустимы в объявлении интерфейса?

Вчём различия прототипа метода в абстрактном классе от прототипа метода в интерфейсе?

Вчём различия и сходства интерфейса и абстрактного класса?

Что такое реализация члена интерфейса? Является ли интерфейс типом?

К какому виду типов относится интерфейс?

Доступ к каким членам класса, реализующего интерфейс, обеспечивает ссылка с

типом интерфейса?

Как с помощью интерфейсов обеспечивается динамическое связывание? Что такое наследование интерфейсов?

Глава 15. Перечисления и структуры

15.1. Перечисления

В предыдущих главах рассматривались только ссылочные пользовательские

типы "тип:ссылочные пользовательские типы" – классы и интерфейсы. Однако программист может объявлять и использовать собственные типы значений. Эту возможность предоставляют перечисления и структуры. Напомним, что

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

значений. (Вопрос о том, что для переменных с типами значений память выделяется в стеке, мы уже обсуждали.) Итак, и перечисления, и структуры дают возможность

именованных целочисленных констант. Формат объявления перечисления

"перечисление:объявление перечисления " :

модификаторы_перечисленияopt enum имя_перечисления

:базовый_тип {список_перечисления}

Имя_перечисления "перечисление:имя_перечисления" – выбранный программистом идентификатор, который становятся именем нового типа.

Список_перечисления "перечисление:список_перечисления" – список неповторяющихся имен констант, для каждой из которых указано или задано по умолчанию инициализирующее выражение "выражение:инициализирующее выражение" (значения инициализирующих выражений могут совпадать).

enum – служебное слово "служебное слово: enum" .

Конструкция ":базовый_тип" может быть опущена, и тогда константы списка имеют тип int. В качестве базового типа "тип:базовый " явно можно использовать

любой целый тип (int, long, …) кроме char.

В качестве модификаторов перечислений "модификатор:модификатор перечислений" могут использоваться new, public, protected, internal, private.

В качестве примера введем перечисление – тип с именем НомерПланеты,

объявляющее константы, значениями которых служат номера наиболее известных

малых планет.

enum НомерПланеты : uint

{ Церера = 1, Паллада = 2, Юнона = 3, Веста = 4, Эрос = 433, Гидальго = 944, Ганимед = 1036,

Амур = 1221, Икар = 1566

}

Номера планет (по астрономическому каталогу) – это целые положительные числа, поэтому в качестве базового типа выбран тип констант uint. В списке перечисления НомерПланеты имена констант – это названия планет, и каждой константе приписано конкретное значение – номер планеты по каталогу.

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

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

определить так:

enum НомерПланеты : uint

{ Церера = 1, Паллада, Юнона=Веста–Церера, Веста=4, Эрос = 433,Гидальго = 944, Ганимед = 1036,

Амур = 1221, Икар = 1566

}

Константы перечислений подобны статическим членам классов. Внутри

списка перечисления к ним можно обращаться по именам констант. Обращение к константе перечисления вне списка выполняется с помощью квалифицированного имени "квалифицированное имя" :

имя_перечисления.имя_константы_из_списка

Как многократно повторялось, все типы языка C# являются производными от

базового класса System.Object. Это относится и к перечислениям. Поэтому к ним

применимы уже рассмотренные нами методы класса Object. Однако непосредственным (прямым) базовым классом для перечислений служит класс

System.Еnum "класс:класс System.Еnum" \y "класс" , который построен на базе класса Object. В классе System.Еnum методы класса Object переопределены с тем,

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

Например (программа 15_01.cs):

string str = НомерПланеты.Икар.ToString();

Значением str будет строка "Икар" (а вовсе не "1566", что соответствовало бы значению константы).

Хотя константы перечисления имеют целочисленные значения, однако их типом служит то конкретное перечисление, которому они принадлежат. Если применить к константе перечисления метод GetType(), то строка–результат будет иметь вид:

"имя_класса+имя_перечисления"

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

Обратите внимание, что разделяет или соединяет имена знак "+". Например, если перечисление НомерПланеты объявлено в классе Program (15_01.cs), то значением выражения

НомерПланеты.Веста.GetType()

будет строка:

"Program+НомерПланеты".

При конкатенации со строкой квалифицированное имя

имя_перечисления.имя_константы_из_списка трактуется как строка вида

"имя_константы_из_списка". Например (программа 15_02.cs), значением

выражения:

"имя планеты: "+НомерПланеты.Амур

будет строка:

"имя планеты: Амур".

Чтобы получить при конкатенации со строкой целочисленное значение константы перечисления, необходимо явное приведение типа "тип:явное приведение типа" . Например, значение выражения:

НомерПланеты.Юнона + " имеет номер " +(int)НомерПланеты.Юнона

будет строка:

"Юнона имеет номер 3".

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

(программа 15_02.cs):

long res = НомерПланеты.Ганимед – НомерПланеты.Гидальго;

значением переменной res будет 92.

Так как enum вводит тип, то разрешено определять переменные этого типа.

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

операторов (программа 15_03.cs):

НомерПланеты number = НомерПланеты.Амур; string str = number.ToString(); Console.WriteLine("str: " + str);

long res = number - НомерПланеты.Веста;

Значением str будет "Амур", значением переменной res будет 1217.

К константам перечисления и переменным с типом перечисления применимы:

операции сравнения (==, !=, <, >, <=, >=), бинарная арифметическая операция –,

поразрядные операции (^, &, |, ~) и sizeof. К переменным с типом перечисления применимы унарные операции ++, --.

Обратите внимание, что к константам перечисления нельзя применять бинарные арифметические операции +, /, *, % и унарные операции – и +. Таким образом, нельзя выполнить суммирование или деление двух констант перечисления.

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

number = (НомерПланеты)((int) НомерПланеты.Церера +

(int) НомерПланеты.Юнона);

После выполнения этого оператора переменная number примет значение константы перечисления со значением 4 и именем "Веста".

Чтобы присвоить переменной с типом перечисления значение (даже того типа,

который является для перечисления базовым), необходимо явное приведение типов.

Например, так:

number = (НомерПланеты)944;

Переменная number примет значение константы Гидальго.

Если переменной с типом перечисления присвоить значение, которое отсутствует в списке именованных констант, то имя представляемой переменной константы совпадёт с её значением. Например:

number = (НомерПланеты)999;

Переменная number примет значение константы перечисления с именем "999"

и значением 999.

Операции автоизменений "операции: автоизменений" (декремент "декремент" -- и инкремент "инкремент" ++) позволяют так изменять значение переменной перечисления, что она принимает и значения, отсутствующие среди именованных констант перечисления. Принимая такие значения, переменная перечисления

"переменная перечисления" играет роль литерала – ее имя совпадает с

представленным значением.

В следующей программе введена переменная number перечисления НомерПланеты, значением которой в цикле становятся константы Церера, Паллада,

Юнона, Веста. Затем переменная number принимает значения, отсутствующие в

перечислении.

// 15_04.cs - переменная перечисления using System;

class Program

{

enum НомерПланеты : uint

{

Церера = 1, Паллада = 2, Юнона = 3, Веста = 4, Эрос = 433, Гидальго = 944, Ганимед = 1036,

Амур = 1221, Икар = 1566

}

static void Main()

{

НомерПланеты number; Console.WriteLine("Номера планет: "); for (number = НомерПланеты.Церера;

number <= НомерПланеты.Веста + 2; number++) Console.WriteLine(number + " = " + (int)number);

}

}

Результат выполнения программы:

Номера планет: Церера = 1 Паллада = 2 Юнона = 3 Веста = 4

5 = 5

6 = 6

Члены (константы) перечислений и переменные с типами перечислений можно использовать в качестве аргументов методов и в метках переключателей. В метке переключателя член перечисления применяется в качестве константного выражения. В следующей программе статический метод данныеОпланете() имеет параметр с типом перечисления НомерПланеты. Метод выводит в консольное окно

некоторые сведения о планетах с конкретными номерами.

// 15_05.cs - переменная перечисления в переключателе using System;

class Program

{

enum НомерПланеты : uint

{

Церера = 1, Паллада = 2, Юнона = 3, Веста = 4, Эрос = 433, Гидальго = 944, Ганимед = 1036,

Амур = 1221, Икар = 1566

}

static void данныеОпланете(НомерПланеты p)

{

switch (p)

{

case НомерПланеты.Амур:

Console.WriteLine("Номер: {0}, название: {1}, диаметр: {2}", (int)p, p, 1.5);

break;

case НомерПланеты.Веста: Console.WriteLine("Номер: {0}, название: {1}, диаметр: {2}",

(int)p, p, 380); break;

//Про остальные планеты из экономии ничего не пишем...

}

}

static void Main()

{

НомерПланеты number;

number = НомерПланеты.Веста; данныеОпланете(number); данныеОпланете(НомерПланеты.Амур);

}

}

Результат выполнения программы:

Номер: 4, название: Веста, диаметр: 380 Номер: 1221, название: Амур, диаметр: 1,5

В функции Main() определена переменная number с типом перечисления НомерПланеты. Ей присвоено значение константы перечисления Веста и переменная служит аргументом при обращении к методу данныеОпланете(). При втором обращении к тому же методу аргумент – квалифицированное имя другой

константы перечисления.

15.2. Базовый класс перечислений

Основой перечислений служит системный класс Enum "класс: Enum" , из пространства имен System. Методы этого класса позволяют в ряде случаев существенно упростить работу с перечислениями. Рассмотрим только некоторые

статические методы:

public static Type GetUnderlyingType "метод:метод

GetUnderlyingType" (Тип_Перечисления);

возвращает базовый тип перечисления. Аргументом должен быть объект класса

System.Type, представляющий перечисления.

public static string GetName "метод:метод GetName" \y "метод" (Тип_Перечисления, значение);

возвращает имя константы перечисления, соответствующей второму параметру.

Второй параметр может быть либо переменной с типом перечисления, либо литеральным представлением значения константы. Если в списке перечисления несколько констант с одинаковыми значениями, то выбирается имя самой левой или явно инициализированной. Если значение отсутствует в списке – возвращается

пустая строка.

p u b l i c s t a t i c s t r i n g F o r m a t "метод:метод F o r m a t " \ y "метод" (Тип_Перечисления, значение, формат);

второй параметр – переменная с типом перечисления либо значение константы. В

зависимости от формата возвращается либо имя, либо значение константы. Если формат “G” или “g”, то метод подобен GetName – возвращает имя константы. Если формат “X” или “x” – возвращается шестнадцатеричное представление значения

константы. При формате “D” или “d” – возвращается десятичное представление. public static Array GetValues "метод:метод Array GetValues" \y

"метод" (Тип_Перечисления);

метод возвращает массив значений всех констант перечисления. Константы

независимо от их размещения в перечислении в массиве размещаются по

возрастанию значений. Обратите внимание, что тип результата System.Array.

public static string [ ] GetNames "метод:метод GetNames" \y "метод" (Тип_Перечисления);

метод возвращает массив имен констант перечисления в порядке возрастания

значений констант.

public static bool IsDefined "метод:метод IsDefined" \y "метод" (Тип_Перечисления, значение);

возвращает true, если в перечислении присутствует константа со значением, равным второму параметру.

В каждом из приведённых методов класса Enum первый параметр должен представлять тип перечисления (а не его имя). Поэтому в обращениях к этим методам в качестве первого аргумента нужно использовать объект класса

System.Type, представляющий тип перечисления. Зная имя перечисления, его тип можно получить с помощью операции typeof().

Следующая программа иллюстрирует особенности и возможности применения

методов базового класса Enum.

// 15_06.cs - перечисления, System.Enum using System;

class Program

{

enum НомерПланеты : uint

{

Церера = 1, Паллада = 2, Юнона = 3, Веста = 4, Эрос = 433, Гидальго = 944, Ганимед = 1036,

Амур = 1221, Икар = 1566

}

static void Main( )

{

Console.WriteLine("Базовый тип перечисления: " + Enum.GetUnderlyingType(typeof(НомерПланеты)));

Console.WriteLine("Значения констант перечисления:"); foreach (uint i in Enum.GetValues(typeof(НомерПланеты)))

Console.Write(" " + i); Console.Write("\nИмена констант: ");

foreach (string s in Enum.GetNames(typeof(НомерПланеты)))

Console.Write("\n\t" + s); Console.WriteLine("\nЗначение 433u имеет константа "

+ Enum.Format(typeof(НомерПланеты), 433u, "G"));