Lecture10 (1133567), страница 6
Текст из файла (страница 6)
Такое выражение должно быть одним из следующих: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: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");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:Console.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;}}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 — нигде не используемыеимена)T[] a = expression;for(int i = 0; i < a.length; i++){finalopt type id = v.next();statement}Пример использования перебора элементовколлекции:System.Collections.Generic.IEnumerable<T>, или же его тип должен иметь методGetEnumerator(), результат которого, в своюочередь, должен иметь свойство Current иметод MoveNext().Тип результата метода GetEnumerator() во всехслучаях, кроме массива, называется типомитератора (enumerator type).
Тип свойстваCurrent, которое имеется у типа итератора,должен совпадать с type.Пусть тип итератора E, а e — неиспользуемоеимя. Тогда приведенная конструкция, сточностью до некоторых деталей, эквивалентнаследующей.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)public class A{public static void Main(string[] args){int i = 1;foreach (string s in args)}}•System.out.println((i++) +"-th argument is " + s);}}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) представляет собой объект, содержащий информацию о какой-тоособой (исключительной) ситуации, в которой операция не может вернуть обычныйрезультат.
Вместо обычного результата из нее возвращается объект-исключение — приэтом говорят, что исключение было выброшено из операции. Механизм этого возвращениянесколько отличается от механизма возвращения обычного результата, и обработкаисключений оформляется иначе (см. следующий вид инструкций), чем обработка обычныхрезультатов работы операции.Исключения в обоих языках относятся к особым типам — классам исключений.
Толькообъекты таких классов могут быть выброшены в качестве исключений. Классамиисключений являются все наследники классов java.lang.Throwable в Java иSystem.Exception в C#.Объекты-исключения содержат, как минимум, следующую информацию.o Сообщение о возникшей ситуации (его должен определить автор кода операции,выбрасывающей это исключение).В Java это сообщение можно получить с помощью метода String getMessage(), а в C#— с помощью свойства string Message.o Иногда возникают цепочки «наведенных» исключений, если обработка одноговызывает выброс другого. Каждый объект-исключение содержит ссылку на другоеисключение, непосредственно вызвавшее это. Если данное исключение не вызваноникаким другим, эта ссылка равна null.•В Java эту ссылку можно получить с помощью метода Throwable getCause(), а в C# —с помощью свойства System.Exception.InnerException.o Для описания ситуации, в которой возникло исключение, используется состояние стекаисполнения программы — список методов, которые вызывали друг друга перед этим, иуказание на место в коде каждого такого метода.
Это место обозначает место вызоваследующего метода по стеку или, если это самый последний метод, то место, где ивозникло исключение. Обычно указывается номер строки, но иногда он недоступен,если соответствующий метод присутствует в системе только в скомпилированном видеили является внешним для Java машины.Информация о состоянии стека на момент возникновения исключения, как и егосообщение, автоматически выводится в поток сообщений об ошибках, если этоисключение остается необработанным в программе.В Java состояние стека для данного исключения можно получить с помощью методаStackTraceElement[] getStackTrace(), возвращающего массив элементов стека.Каждый такой элемент несет информацию о файле (String getFileName()), классе(String getClassName()) и методе (String getMathodName()), а также о номере строки(int getLineNumber()).В C# можно сразу получить полное описание состояния стека в виде одной строки спомощью свойства string StackTrace.Блок обработки исключительных ситуаций выглядит так.try{ statements } Agcatch ( type_1 e_1 ) { statements_1 } Ag… Agcatch ( type_n e_n ) { statements_n } Agfinally{ statements_f } AgЕсли во время выполнения одной из инструкций в блоке, следующем за try, возникаетисключение, управление передается на первый блок catch, обрабатывающий исключениятакого же или более широкого типа.
Если подходящих блоков catch нет, выполняется блокfinally и исключение выбрасывается дальше.Блок finally выполняется всегда — сразу после блока try, если исключения не возникло,или сразу после обрабатывавшего исключение блока catch, даже если он выбросил новоеисключение.В этой конструкции могут отсутствовать блоки catch или блок finally, но не то и другоеодновременно. В C# разрешается опускать имя объекта-исключения в catch, если он неиспользуется при обработке соответствующей исключительной ситуации.using System;public class A{public static void main(String[] args){try {if(args.length > 0)System.out.println("Some arguments are specified");else throw newIllegalArgumentException("No arguments specified");}catch(RuntimeException e){System.out.println("Exception caught");public class A{public static void Main(string[] args){try {if(args.Length > 0)Console.WriteLine("Some arguments are specified");else throw newArgumentException("No arguments specified");}catch(Exception e){Console.WriteLine("Exception caught");Console.WriteLine("Exception type is " +e.GetType().FullName);Console.WriteLine("Exception message is \"" +e.Message + "\"");System.out.println("Exception type is " +e.getClass().getName());System.out.println("Exception message is \"" +e.getMessage() + "\"");}}}finally{System.out.println("Performing finalization");}}}}finally{Console.WriteLine("Performing finalization");}В Java, начиная с версии 1.4, появиласьинструкция assert, предназначенная длявыдачи отладочных сообщений.Эта инструкция имеет один из двух видов:assert expression ;assert expression : expression_s ;Выражение expression должно иметьлогический тип, а выражение expression_s —произвольный.Проверка таких утверждений может бытьвыключена.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
