В.В. Кулямин - Технологии программирования. Компонентный подход (1133554), страница 46
Текст из файла (страница 46)
Он правоассоциативен.В C# 2.0 введен дополнительный оператор ::для разрешения контекста имен в рамкахглобального пространства имен илиопределенных синонимов.Дело в том, что в C# при разрешении имен,построенных с помощью точек, разделяющихидентификаторы, возможны многочисленныепроблемы, связанные с непредвиденнымимодификациями библиотек.Например, если мы написали директиву usingSystem.IO;, чтобы использовать классFileStream с коротким именем, иодновременно определяем в этом контексте154класс EmptyStream, то, если в будущем вSystem.IO появится класс EmptyStream,полученный код перестанет компилироваться.Эту ситуацию можно разрешить при помощисинонимов, определив, например, дляSystem.IO синоним SIO, а для нашейсобственной библиотеки, куда входитEmptyStream, синоним MIO, и используя именаклассов только вместе с синонимами —SIO.FileStream, MIO.EmptyStream.
Однакоесли в одной из используемых библиотек будетвведено пространство имен MIO, проблемавозникнет вновь.Чтобы однозначно отделить типы из внешнихбиблиотек от внутрипрограммных, можноиспользовать оператор ::. При этом левыйаргумент такого оператора может иметь двавида. Либо он имеет значение global — тогдаимя, заданное правым аргументом, ищется вглобальном пространстве имен и конфликтует свнутренними именами. Либо он являетсяименем синонима — тогда имя, заданноеправым аргументом, ищется только впространстве имен, определяемом этимсинонимом.Этот оператор входит в группу с высшимприоритетом.Тип или часть его операций, или дажеотдельный блок в C# могут быть помеченымодификатором unsafe.
При этом содержимоепомеченного типа, операции или блокапопадает в небезопасный контекст (unsafecontext). В рамках небезопасного контекстаможно использовать указатели и операции надуказателями, в частности, доступ к элементуданных по указателю с помощью оператора ->,построение указателей на данные иразыменование указателей, арифметическиедействия над указателями.В данном курсе мы не будем больше касатьсяправил написания небезопасного кода в C#,предоставляя заинтересованному читателюсамому разобраться в них с помощью [8].ИнструкцииБольшинство видов инструкций в Java и C# являются общими и заимствованы из языка C. Вобоих языках есть понятие блока — набора инструкций, заключенного в фигурные скобки.••Пустая инструкция ; допускается в обоих языках.Декларации локальных переменных устроены совершенно одинаково — указывается типпеременной, затем ее идентификатор, а затем, возможно, инициализация.Инициализировать переменную можно каким-то значением ее типа.
Использованиенеинициализированных переменных во многих случаях определяется компилятором и155••••считается ошибкой (но не всегда). Однако даже при отсутствии инициализациипеременной, ей все равно будет присвоено значение по умолчанию для данного типа.Массивы могут быть инициализированы с помощью специальных выражений,перечисляющих значения элементов массива, напримерint[][] array = new int[][]{{0, 1}, {2, 3, 4}}; AgИнструкция может быть помечена с помощью метки, которая стоит перед самойинструкцией и отделяется от нее с помощью двоеточия.Инструкция может быть построена добавлением точки с запятой в конец выраженияопределенного вида. Такое выражение должно быть одним из следующих:o присваиванием;o выражением, в котором последним оператором было уменьшение или увеличение наединицу (++, --), все равно, префиксное или постфиксное;o вызовом метода в объекте или классе (в C# — еще и вызовом делегата);o созданием нового объекта.Условная инструкция имеет видif(expression) statement Agилиif(expression) statement else statement1 Agгде expression — выражение логического типа (или приводящегося к логическому), аstatement и statement1 — инструкции.Инструкция выбора имеет видswitch(expression) { … } AgВнутри ее блока различные варианты действий для различных значений выраженияexpression описываются с помощью списков инструкций, помеченных либо меткой case свозможным значением выражения, либо меткой default.
Группа инструкций, помеченнаяdefault, выполняется, если значение выражения выбора не совпало ни с одним иззначений, указанных в метках case. Один набор инструкций может быть помеченнесколькими метками. Наборы инструкций могут отделяться друг от друга инструкциямиbreak;Тип expression может быть целочисленным или приводящимся к нему, либоперечислимым типом. В C# допускается использование для выбора выражений типаstring.Значения, которые используются в метках case, должны быть константными выражениями.В Java группа инструкций для одного значенияможет оканчиваться инструкцией break, аможет и не оканчиваться.
Во втором случаепосле ее выполнения управление переходит наследующую группу инструкций.В C# группа инструкций для одного значения(включая и группу, помеченную default)всегда должна оканчиваться либо break, либоgoto default, либо goto case value с какимто из значений, указанных в рамках той жеинструкции выбора.using System;public class A{public static void main(String[] args){if(args.length > 0){int n = Integer.parseInt(args[0]);switch(n){case 0:System.out.println("n = 0");case 1:public class A{public static void Main(string[] args){if(args.Length > 0){int n = Int32.Parse(args[0]);switch(n){case 0:Console.WriteLine("n = 0");goto case 1;case 1:156Console.WriteLine("n = 0 or n = 1");break;case 2:case 3:Console.WriteLine("n = 2 or n = 3");break;default:Console.WriteLine("n is out of [0..3]");break;System.out.println("n = 0 or n = 1");break;case 2:case 3:System.out.println("n = 2 or n = 3");break;default:System.out.println("n is out of [0..3]");}}••}}elseSystem.out.println("No arguments");}}}}elseConsole.WriteLine("No arguments");Циклы while и do в обоих языках устроены одинаково.while(expression) statement Agdo statement while(expression); AgЗдесь expression — логическое выражение, условие цикла, statement — тело цикла.
Правилавыполнения этих циклов фактически заимствованы из языка C. Первый на каждойитерации проверяет условие и, если оно выполнено, выполняет свое тело, а если нет —передает управление дальше. Второй цикл сначала выполняет свое тело, а потом проверяетусловие.Цикл for в обоих языках заимствован из языка C.for(A; B; C) statement Agвыполняется практически какA; while(B) { statement C; } AgЛюбой из элементов A, B, C может отсутствовать, B должно быть выражением логическоготипа (при отсутствии оно заменяется на true), A и С должны быть наборами выражений (Aможет включать и декларации переменных), разделенных запятыми.Помимо обычного for в обоих языках имеется специальная конструкция для цикла,перебирающего элементы коллекции.В Java синтаксис цикла перебора элементовколлекции такойВ C# синтаксис цикла перебора элементовколлекции такойfor ( finalopt type id : expression )statementforeach ( type id in expression )statementПри этом выражение expression должно иметьтип java.lang.Iterable или тип массива.В первом случае такой цикл эквивалентенследующему (T далее обозначает тип результатметода iterator() у expression, v — нигде неиспользуемое имя).Выражение expression должно быть массивом,или иметь типSystem.Collections.IEnumerable илиfor(T v = expression.iterator();v.hasNext(); ){finalopt type id = v.next();statement}Во втором случае, когда expression — массивтипа T[], эта конструкция эквивалентнаследующей (a, i — нигде не используемыеимена)System.Collections.Generic.IEnumerable<T>, или же его тип должен иметь методGetEnumerator(), результат которого, в своюочередь, должен иметь свойство Current иметод MoveNext().Тип результата метода GetEnumerator() во всехслучаях, кроме массива, называется типомитератора (enumerator type).
Тип свойстваCurrent, которое имеется у типа итератора,должен совпадать с type.Пусть тип итератора E, а e — неиспользуемоеимя. Тогда приведенная конструкция, сточностью до некоторых деталей, эквивалентна157следующей.T[] a = expression;for(int i = 0; i < a.length; i++){finalopt type id = v.next();statement}E e = expression.GetEnumerator();while(e.MoveNext()){type id = (type)e.Current;statement}Опущенные детали касаются освобожденияресурсов, используемых итератором (см. далееописание инструкции using).Пример использования перебора элементовколлекции:Пример использования перебора элементовколлекции:using System;public class A{public static void main(String[] args){int i = 1;for(String s : args)System.out.println((i++) +"-th argument is " + s);}}•public class A{public static void Main(string[] args){int i = 1;foreach (string s in args)Console.WriteLine((i++) +"-th argument is " + s);}}Инструкции прерывания break и continue также заимствованы из C.Инструкция break прерывает выполнение самого маленького содержащего ее цикла ипередает управление первой инструкции после него.
Инструкция continue прерываетвыполнение текущей итерации и переходит к следующей, если она имеется (т.е. условиецикла выполнено в сложившейся ситуации), иначе тоже выводит цикла.При выходе с помощью break или continue за пределы блока try (см. ниже) или блокаcatch, у которых имеется соответствующий блок finally, сначала выполняетсясодержимое этого блока finally.В Java инструкция break используется дляпрерывания выполнения не только циклов, но иобычных блоков (наборов инструкций,заключенных в фигурные скобки).Более того, после break (или continue) можетстоять метка. Тогда прерывается выполнениетого блока/цикла (или же начинается новаяитерация того цикла), который помечен этойметкой. Этот блок (или цикл) должен содержатьтакую инструкцию внутри себя.••Инструкция возврата управления return используется для возврата управления изоперации (метода, оператора, метода доступа к свойству и пр., см.
далее). Если операциядолжна вернуть значение некоторого типа, после return должно стоять выражение этогоже типа.Инструкция создания исключительной ситуации throw используется для выбросаисключительной ситуации. При этом после throw должно идти выражение, имеющее типисключения.Исключение (exception) представляет собой объект, содержащий информацию о какой-тоособой (исключительной) ситуации, в которой операция не может вернуть обычныйрезультат. Вместо обычного результата из нее возвращается объект-исключение — приэтом говорят, что исключение было выброшено из операции. Механизм этого возвращения158•••несколько отличается от механизма возвращения обычного результата, и обработкаисключений оформляется иначе (см.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
