Кулямин В.В. Технологии программирования. Компонентный подход

Подождите немного. Документ загружается.

150

бит е

преобразования

пре р

Типы

ми,

соо точкой IEEE 754 (он же —

IEC тоит из знакового бита,

ман с у и 8 на экспоненту, у

double

чают -0.0 (кстати, написав так, вы

пол

примен способ получить -0.0 — конвертировать его битовое

пре т

ляется как

0x80000000, а

для

ости (для типа

float и 0xfff0000000000000),

а та представлено любыми

зна

Для лены следующие операции.

не равно

я равным 0.0.

∞,

им

значит, что любая указанная операция возвращает

false, если один из ее

•

, а

ого из

ий. Все эти операции действуют согласно IEEE 754, кроме операции

вычисления остатка, которая реализована так, чтобы при всех конечных

a и b (b != 0)

ось

a%b == a – b*n, где n — сам лютной величине целое

, знак которого совпадает со знаком a/b. По абсолютной

меньше

b, знак a%b совпадает со знаком a.

IEEE 754 все арифметические операции определены для бесконечных

ументов «естественным» образом: 1.0/0 +∞, -1.0/0.0 дает -∞, 0.0/0.0 —

NaN,

x в сумме с +∞ дает +∞, а +∞+(-∞ aN. Если один из операндов NaN, то

ультат операции тоже NaN.

увеличение и уменьшение на ед Для бесконечностей и

NaN результат

нения этих операторов совпадает с операндом.

В Java в классах

java.lang.Float и

java.lang.Double есть константы, равные

максимальному конечному значению типа,

минимальному положительному значению типа,

положительной и отрицательной

бесконечностям и

NaN.

Float.MAX_VALUE = (2-2

-23

)·2

127

Double.MAX_VALUE

= (2-2

Double.MIN_VALUE = 2

-10

Бесконечности и NaN в обоих случаях

соответствующие классы System.Single и

m.Double также хранят эти значения в

констант MaxValue, Epsilon,

iveInfinity, NegativeInfinity и NaN.

В обоих языках целочисленным типом считается и тип

char, чьими значениями являются 16-

ны символы (от '\u0000' до '\uffff'). Для него определен тот же набор операций, но

между ним и другими типами по умолчанию не производятся (явные

об азования возможны).

чисел с плавающей точкой

Представление типов значений с плавающей точкой, float и double, а также операции с ни

тветствуют стандарту на вычисления с плавающей

60559) [11,12]. Согласно этому стандарту значение такого типа сос

и сы и ятся на мантисс

т экспоненты (у значения float 23 бита отвод

— 52 бита на мантиссу и 11 на экспоненту).

Помимо обычных чисел значения обоих типов вклю

учите обычный 0.0, поскольку этот текст будет воспринят как константа 0.0, к которой

ен унарный оператор -; единственный

дс авление — в шестнадцатеричном виде для типа

float он представ

— бесконечн

double 0x8000000000000000), положительные и отрицательные

это

0x7f800000 и 0xff800000, а для double — 0x7ff0000000000000

кже специальное значение NaN (Not-A-Number, не число; оно может быть

чениями, у которых экспонента максимальна, а мантисса не равна 0).

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

•

==, != — сравнения на равенство и неравенство. В соответствии с IEEE 754 NaN

ни одному числу, в том числе самому себе. -0.0 считаетс

• <, <=, >, >= — сравнения на основе порядка. +∞ больше, чем любой обычное число и -

а -∞ меньше любого конечного числа.

NaN несравнимо ни с одним числом, даже с сам

собой — это

операндов —

NaN. -0.0 считается равным, а не меньше, чем 0.0.

+, -, *, /, % — сложения, вычитание, умножение, деление, взятие остатка по модулю

также соответствующие операции присваивания с одновременным выполнением одн

этих действ

выполнял

ое большое по абсо

число, не превосходящее

|a/b|

величине a%b всегда

гласно стандартуСо

арг

.0 дает

конечное

) — N

рез

•

++, -- —

ме

иницу.

при

oat.MIN_VALUE = 2

-149

-5 1023

)·2

В C#

Syste

виде

Posit

151

наз

чкой —

decimal (тип-

128

сой

le,

этих вычислениях ошибки

кругления в сотые доли процента при

суммам

В Java классы, методы и инициализаторы могут

быть помечены модификатором

strictfp. Он

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

точкой в рамках этих деклараций все

промежуточные результаты должны быть

представлены в рамках того типа, к которому

они относятся, согласно стандарту IEEE 754.

Иначе, промежуточные результаты вычислений

со значениями типа

float могут быть

представлены в более точном виде, что может

привести к отличающимся итоговым

результатам вычислений.

Инструкции и выражения

ощи применения операторов к именам и

следующий общий набор операторов.

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

ения поля (или свойства в C#);

ываются

POSITIVE_INFINITY,

NEGATIVE_INFINITY и NaN.

В C# есть еще один тип для представления

чисел с плавающей то

обертка для него называется

System.Decimal).

Значения этого типа представляются

битами, из которых один используется для

знака, 96 — для двоичной мантиссы, еще 5 —

для представления десятичной экспоненты

лежащей от 0 до 28. Остальные биты не

используются.

Представляемое знаком s (+1 или -1), мантис

m (0–(2

-1)) и экспонентой e (0–28) значение

равно (-1)

·m·10

-e

Таким образом, значения этого типа могут, в

отличие от стандартных типов

float и doub

представлять десятичные дроби с 28-ю точными

знаками и используются для финансовых

вычислений. Такая точность необходима,

оскольку в

накоплении за счет больших сумм и большого

количества транзакций в течение нескольких

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

убытков для разных сторон

Для типа определе

decimal ны все те же

операции, что и для типов с плавающей точкой,

однако при выходе их результатов за рамки

значений типа создается исключительная

ситуация. Этот тип не имеет специальных

значений -0.0,

NaN и бесконечностей.

Выражения

В обоих языках выражения строятся при пом

литералам. Условно можно считать, что имеется

•

x.y — оператор уточнения имени, служи

имен или типа, либо для получения знач

152

делегата в C#) с заданным набором аргументов;

ента массива (а также обращения к индексеру в C#);

объекта (или значения в C#), используется вместе с

к одному из конструкторов тип

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

•

++, -- — префиксные и постфиксные унарн 1;

• (T)x — оператор явного приведения к типу

• +, - — унарные операторы сохранения/изме

• ! — унарный оператор логического отрица

• ~ — унарный оператор побитового отрицан

• *, /, %, +, - — бинарные операторы умноже

сложения и вычитания;

•

<<, >> — бинарные операторы побитовых с

•

<, >, <=, >= — бинарные операторы сравнен

•

==, != — бинарные операторы сравнения на

•

&, |, ^ — бинарные операторы логических и

дизъюнкции, сложения по модулю 2;

•

&&, || — бинарные операторы условных ко )

эквивалентно

(x?y:false), a (x || y) — (

•

?: — тернарный условный оператор, выраж

true, то вычисляется и возвращается значен

значение y;

•

=, *=, /=, %=, +=, -=, <<=, >>=, &=, |=, ^= — б ,

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

операнда и значением правого, а затем прис

операнду.

Операторы А

•

f(x) — оператор вызова метода (а также

• a[x] — оператор вычисления элем

• new — оператор создания нового

обращением

а — new MyType("Yes", 2) (в Java с его

тивных типов);

ые операторы увеличения/уменьшения на

нения знака числа;

ния;

ия;

ния, деления, взятия остатка по модулю,

двигов влево/вправо;

ия по порядку;

равенство/неравенство;

ли побитовых операций: конъюнкции,

нъюнкции и дизъюнкции, (x && y

x?true:y)

;

ение

a?x:y вычисляет значение a, если оно

ие

x, иначе вычисляется и возвращается

инарные операторы присваивания, все они

ую операцию над

ваивают полученный результат левому

ссоциативность

x.y, f(x), a[x], new, x++, x--

+, -, !, ~, ++x, --x, (T)x

*, /, %

левая

+, -

евая

<<, >>

евая

<, >, <=, >=

евая

==, !=

левая

евая

правая

=, *=, /=, %=, +=, -=, <<=, >>=, &=, |=, ^=

правая

Таблица 10. Приоритет и ассоциативность операторов.

153

В Таблице 10 операторы перечисляются сверху а, а

также приводится ассоциативность всех операторо

левоассоциативным, если выражение

(x op y op p

, и правоассоциативным, если оно трактуется к

Помимо перечисленных выше операторов имею рации,

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

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

типу. В каждом из языков есть также несколько оп

Получение объекта, представляющего тип, связ

имеющимся в обоих языках. Этот механизм обесп ,

операций над ними, полей их данных и пр.) в объе

получения объекта, представляющего тип, входит

Любой тип Java однозначно соответствует

некоторому объекту класса

java.lang.Class,

любой метод описывается с помощью одного из

объектов класса

java.lang.reflect.Method,

любое поле — с помощью одного из объектов

класса

java.lang.reflect.Field.

Получить объект типа

Class, представляющий

тип T (даже если T = void), можно с помощью

конструкции

T.class.

Для проверки того, что выражение

x имеет тип

T, в Java используется конструкция

(x instanceof T),

возвращающая значение логического типа.

В обоих языках операция проверки типа имеет

акой же приоритет, как операторы

<, >, <=, >=.

меет тип

ет естественные

общий

ать

ний

x не

выражения — null.

чис в

осв о

Он име

операт

вниз в порядке уменьшения их приоритет

в. Оператор

op называется

z) трактуется компилятором как ((x op y) o

ак (x op (y op z)).

тся также общие для обоих языков опе

струкций — это получение объекта,

проверка принадлежности объекта или

ераторов, специфических для данного языка.

ано с

механизмом рефлексии (reflection)

ечивает отображение сущностей языка (типов

кты самого языка. В обоих языках операция

в группу операций с высшим приоритетом.

В C# типы предста

вляются объектами класса

System.Type, методы — объектами

System.Reflection.MethodInfo, а поля —

объектами

System.Reflection.FieldInfo.

Объект типа

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

T, можно получить при помощи конструкции

typeof(T).

Для проверки того, что выражение

x и

T, в C# используется конструкция

(x is T),

имеющая логический тип.

Эта проверка использу

преобразования типов (подтипа в более

тип или наоборот, если точный тип объекта

является подтипом

T) и

автоупаковку/распаковку, не затрагивая

определенных пользователем неявных

преобразований.

В C# имеется и другой оператор, связанный с

преобразованием типа.

Для преобразования объекта

x к заданному

ссылочному типу T можно использов

конструкцию

(x as T),

тип результата которой —

Если в результате естественных преобразова

типов и автоупаковки/распаковки, значение

преобразуется к типу , то результат этого

Приоритет этого оператора такой же, как у

оператора

is, а ассоциативность — левая.

В Java

есть дополнительный оператор сдвига

ло ого значения вправо

>>>, заполняющий

об ждающиеся слева биты нулями.

ет такой же приоритет, как и остальные

оры сдвига, и левую ассоциативность.

154

Соотве

имеет

операт

ассоци

оить выражения, в рамках

еских

зывают (или не вызывают)

x исления

ппу операторов

Выражение

default(T) используется в C# 2.0

для получения значения типа

T по умолчанию.

Для ссылочных типов это

null, для числовых

типов для логического типа —

false, a для

х типов значений определяется на

Это выражение используется для

инициализации данных в шаблонных типах,

зависящих от типового параметра, который

x ==

ся

x null,

имен в рамках

транства имен или

онимов.

многочисленные

написали директиву

using

класс

этом контексте

тствующий оператор присваивания

>>>=

такой же приоритет, как и другие

оры присваивания, и правую

ативность.

В C# можно стр

которых переполнения при арифметич

действиях вы

исключения при помощи оператора

checked(x) (unchecked(x)),

где — выражение, контекст выч

которого мы хотим определить (см. раздел о

целочисленных типах).

Оба этих оператора

входят в гру

с высшим приоритетом.

— 0,

остальны

основе их структуры.

может быть как ссылочным типом, так и типо

значений.

Этот оператор входит в группу с высшим

приоритетом.

Оператор

?? (null coalescing operator)

используется в C# 2.0 в следующем смысле.

Выражение

(x??y) эквивалентно ((

null)?y:x)

, только значение x вычисляет

однократно, т.е., если значение не

равно

то результатом этой операции является

x, а

иначе . y

Этот оператор имеет приоритет меньший, чем

приоритет условной дизъюнкции

||, но

больший, чем приоритет условного оператора

?:. Он правоассоциативен.

В C# 2.0 введен дополнительный оператор

для разрешения контекста

обального прос

гл

определенных син

Дело в том, что в C# при разрешении имен,

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

постр

идентификаторы, возможны

связанные с непредвиденными

проблемы,

модифи и библиотек.

кациям

, если мы

Например

System.IO

;, чтобы использовать

FileStream с коротким име

еляем в

нем, и

одновременно опред

155

ущем в

компилироваться.

помощи

SIO, а для нашей

одит

ена

е с синонимами —

tream, MIO.EmptyStream. Однако

й из используемых библиотек будет

кнет вновь.

обы однозначно отделить типы из внешних

внутрипрограммных, можно

использовать оператор

::. При этом левый

аргумент такого оператора может иметь два

ся в

т с

именем синонима — тогда имя, заданное

аргументом, ищется только в

имен, определяемом этим

синонимом.

Этот оператор входит в группу с высшим

т быть помечены

имое

помеченного типа, операции или блока

над

енту

указателей, арифметические

во видов инструкций в Java и C# явл

блока — набора

строе

ерем н й, затем ее идентификатор, а зате

Инициализировать переменную можно каки

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

класс , то, если в буд

EmptyStream

класс EmptyStreaSystem.IO появится

полученный код перестанет

Эту ситуацию можно разрешить при

синонимов, определив, например, для

System.IO синоним

собственной библиотеки, куда вх

EmptyStream

классов только вмест

, синоним MIO, и используя им

SIO.FileS

если в одно

введено пространство имен

MIO, проблема

в знио

Чт

библиотек от

вида. Либо он имеет значение global — тогда

имя, заданное правым аргументом, ищет

глобальном пространстве имен и конфликтуе

внутренними именами. Либо он является

правым

пространстве

приоритетом.

Тип или часть его операций, или даже

отдельный блок

в C# могу

модификатором

unsafe. При этом содерж

попадает в небезопасный контекст (unsafe

context). В рамках небезопасного контекста

спользова

можно и ть указатели и операции

частности, доступ к элем

указателями, в

данных по указателю с помощью оператора

->,

построение указателей на данные и

разыменование

действия над указателями.

В данном курсе мы не будем больше касаться

правил написания небезопасного кода в C#,

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

самому разобраться в них с помощью [8].

Инструкции

Большинст яются общими и заимствованы из языка C. В

кций, заключенного в фигурные скобки.

зыках.

обоих языках есть понятие инстру

• Пустая инструкция

; допускается в обоих

• Декларации локальных переменных у

п е но

ны совершенно одинаково — указывается тип

м, возможно, инициализация.

м-то значением ее типа. Использование

156

считается ошибкой (но не всегда). Однако д тствии инициализации

се равно будет присвоено а.

рованы с п

р ов массив

ra []{{0, 1}, {

• Инструкция может быть помечена с помощ метки, которая стоит перед самой

инструкцией и отделяется от нее с помощью

• Инструкция может быть построена добавле

определенного вида. Такое выражение долж

м опер

(

++, --), все равно, префиксное ;

o вызовом метода в объекте или классе (в делегата);

ем нового объекта.

) statement Ag

e stateme

гического у), а

statement и statement1 — инструкции.

• Инструкция выбора имеет вид

se с

из

укциями

сленным или приводящимся к нему, либо

для выбора выражений типа

в метках

case, должны быть константными выражениями.

В C# группа инструкций для одного значения

(включая и группу, помеченную default)

всегда должна оканчиваться либо

break, либо

goto default, либо goto case value с каким-

то из значений, указанных в рамках той же

инструкции выбора.

public

{

publ

{

using System;

{

switch(n)

аже при отсу

переменной, ей в значение по умолчанию для данного тип

ыражений,

Массивы могут быть инициализи омощью специальных в

пе ечисляющих значения элемент

ar y = new int[]

а, например

int[][] 2, 3, 4}}; Ag

ью

двоеточия.

нием точки с запятой в конец выражения

но быть одним из следующих:

o присваиванием;

o выражением, в котором последни

единицу

атором было

уменьшение или увеличение на

или постфиксное

# — еще и вызовом C

o создани

• Условная инструкция имеет вид

if(expression

или

if(expression) statement els nt1 Ag

где expression — выражение ло типа (или приводящегося к логическом

switch(expression) { … } Ag

Внутри ее блока различные варианты действий для различных значений выражения

expression описываются с помощью списков инструкций, помеченных либо меткой ca

возможным значением выражения, либо меткой

default. Группа инструкций, помеченная

default, выполняется, если значение выражения выбора не совпало ни с одним

значений, указанных в метках

case. Один набор инструкций может быть помечен

несколькими метками. Наборы инструкций могут отделяться друг от друга инстр

break;

ыть цело

Тип

expression может б чи

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

string.

Значения, которые используются

В Java группа инструкций для одного значения

может оканчиваться инструкцией

break, а

может и не оканчиваться. Во втором случае

после ее выполнения управление переходит н

следующую группу инструкций.

class A

ic static void main(String[] args)

public class A

{

public static void Main(string[] args)

i (args.length > 0)

int n = Integer.parseInt(args[0]);

switch(n)

{

case 0:

System.out.println("n = 0");

case 1:

if(args.Length > 0)

{

int n = Int32.Parse(args[0]);

{

case 0:

Console.WriteLine("n = 0");

goto case 1;

case 1:

157

System.out.println

}

else

Sys

}

case 2:case 3:

Console.WriteLine

0..3]");

}

• Ци

whi

Зде

пер

усл

• Ци

for

вып

Лю ского

тип

ны быть наборами выражений (

мож

По

пер

В Java син

коллекции

for ( fin

stateme

Пр

тип

В перв

следую

T далее обозначает тип результат

метода

исполь

for(T

{

fina

stat

}

Во вто

типа

следую

имена)

коллекции такой

statement

ression должно быть массивом,

тип

em.Collections.IEnumerable или

System.Collections.Generic.IEnumerable

или же его тип должен иметь метод

numerator(), результат которого, в свою

аях, кроме массива типом

должен совпадать с

type.

й, эквивалентна

System.out.println

("n = 0 or n = 1");

break;

case 2:case 3:

Console.WriteLine

("n = 0 or n = 1");

break;

System.out.println

("n = 2 or n = 3");

break;

default:

Console.WriteLine

("n = 2 or n = 3");

break;

default:

("n is out of [0..3]");

("n is out of [

break;

}

tem.out.println("No arguments");

}

else

Console.WriteLine("No arguments");

}

клы

while и do в обоих языках устроены одинаково.

le(expression) statement Ag

statement while(expression); Ag

сь expression — логическое выражение, условие цикла, statement — тело цикла. Правила

олнения этих циклов фактически заимствованы из языка C

вы . Первый на каждой

итерации проверяет условие и, если оно выполнено, выполняет свое тело, а если нет —

едает управление дальше. Второй цикл сначала выполняет свое тело, а потом проверяет

овие.

кл

for в обоих языках заимствован из языка C.

(A; B; C) statement Ag

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

while(B) { statement C; } Ag

бой из элементов

A, B, C может отсутствовать, B должно быть выражением логиче

а (при отсутствии оно заменяется на

true), A и С долж

ет включать и декларации переменных), разделенных запятыми.

мимо обычного

for в обоих языках имеется специальная конструкция для цикла,

ебирающего элементы коллекции.

таксис цикла перебора элементов

такой

opt

type id : expression )

В C# синтаксис цикла перебора элементов

foreach ( type id in expression )

и этом выражение expression должно иметь

va.lang.Iterable или тип массива.

ом случае такой цикл эквивалентен

щему (

iterator() у expression, v — нигде не

зуемое имя).

v = expression.iterator();

hasNext(); )

opt

type id = v.next();

ement

ром случае, когда expression — массив

], эта конструкция эквивалентна

щей (a, i — нигде не используемые

Выражение

exp

или иметь

Syst

<T>

GetE

очередь, должен иметь свойство

Current и

метод

MoveNext().

Тип результата метода GetEnumerator() во всех

случ , называется

итератора (enumerator type). Тип свойства

Current, которое имеется у типа итератора,

Пусть тип итератора

E, а e — неиспользуемое

имя. Тогда приведенная конструкция, с

точностью до некоторых детале

158

] a = expression;

r(int i = 0; i < a.length; i++)

= v.next();

следующей.

n.GetEnumerator();

t())

e)e.Current;

ором (см. далее

нтов а элементов

g[] args)

break и continue

ение с

управление первой инструкции по . Инструкция

continue прерывает

выполнение текущей итерации и переходит дующей, если она имеется (т.е. условие

ситуации) наче тоже выводит цикла.

за пределы блока

try (см. ниже) или блока

вующий блок finally, сначала выполняется

k используется для

в, но и

break continue) може

ие

rn используется для возврата управления из

доступа к свойству и пр., см. далее). Если операция

рого типа, после return должно стоять выражение этого

итуации

throw используется для выброса

При этом после

throw должно идти выражение, имеющее тип

авляет собой объект, содержащий информацию о какой-то

ьной) ситуации, в которой операция не может вернуть обычный

результат. Вместо обычного результата из н и

этом говорят, что исключение было выброш ия

{

final

type id

opt

statement

}

E e = expressio

hile(e.MoveNex

{

type id = (typ

statement

}

Опущенные детали касаются освобождения

ресурсов, используемых итерат

описание инструкции using).

Пример использования перебора элеме

коллекции:

Пример использования перебор

коллекции:

public class A

{

(Strin

public static void main

{

int i = 1;

for(String s : args)

System.out.println((i++) +

"-th argument is " + s);

}

using System;

public class A

{

n(strin

public static void Mai

{

int i = 1;

args) foreach (string s in

Console.WriteLine((i++) +

s); "-th argument is " +

}

• Инструкции прерывани

также заимствованы из C.

Инструкция

break прерывает выполн амого маленького содержащего ее цикла и

передает сле него

сле

цикла выполнено в сложившейся

При выходе с помощью

break или continue

catch

, у которых имеется соответст

содержимое этого блока

finally.

В Java инструкция

brea

прерывания выполнения не только цикло

абор

обычных блоков (н ов инструкций,

заключенных в фигурные скобки).

Более того, после (или т

стоять метка. Тогда прерывается выполнен

того блока/цикла (или же начинается новая

итерация того цикла), который помечен этой

меткой. Этот блок (или цикл) должен содержать

такую инструкцию

внутри себя.

• Инструкция возврата управления

retu

операции (метода, оператора, метода

должна вернуть значение некото

же типа.

• Инструкция создания исключительной с

исключительной ситуации.

исключения.

Исключение (exception) предст

особой (исключител

ее возвращается объект-исключение — пр

ено из операции. Механизм этого возвращен

159

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

исключений оформляется иначе (см. следую отка обычных

результатов работы операции.

• Исключения в обоих языках относятся к ос

объекты таких классов могут быть выброш

исключений являются все наследники класс

System.Exception в C#.

• Объекты-исключения содержат, как миним

o Сообщение о возникшей ситуации (его ерации,

выбрасывающей это исключение).

В Java это сообщение можно получить с

— с помощью свойства

string Message

o Иногда возникают цепочки «наведенны

вызывает выброс другого. Каждый объе

исключение, непосредственно вызвавше е вызвано

никаким другим, эта ссылка равна

null.

В Java эту ссылку можно получить с пом —

с помощью свойства

System.Exception

o Для описания ситуации, в которой возни е стека

исполнения программы — список метод ывали друг друга перед этим, и

указание на место в коде каждого такого ает место вызова

следующего метода по стеку или, если э и

возникло исключение

. Обычно указывае тупен,

если соответствующий метод присутств

или является внешним для Java машины

Информация о состоянии стека на моме ния, как и его

сообщение, автоматически выводится в

исключение остается необработанным в

Java состояние стека для данного искл тода

StackTraceElement[] getStackTrace( го массив элементов стека.

Каждый такой элемент несет информац

(

String getClassName()) и методе (Str

(

int getLineNumber()).

В C# можно сразу получить полное описание состояния стека в виде одной строки с

помощью свойства string StackTrace.

• Блок обработки исключительных ситуаций

try { statements }

catch ( type_1 e_1 ) { statements_1 }

…

catch ( type_n e_n ) { statements_n }

finally { statements_f }

Если во время выполнения одной из инстру

исключение, управление передается на перв

такого же или более широкого типа. Если п ков

catch нет, выполняется блок

finally и исключение выбрасывается даль

Блок finally выполняется всегда — сразу о,

или сразу после обрабатывавшего исключен и он выбросил новое

исключение.

В этой конструкции могут отсутствовать бл ое

одновременно. В C# разрешается опускать

используется при обработке соответствующ

ения обычного результата, и обработка

щий вид инструкций), чем обраб

обым типам — классам исключений. Только

ены в качестве исключений. Классами

ов

java.lang.Throwable в Java и

ум, следующую информацию.

должен определить автор кода оп

помощью метода

String getMessage(), а в C#

х» исключений, если обработка одного

кт-исключение содержит ссылку на другое

е это. Если данное исключение н

ощью метода

Throwable getCause(), а в C#

.InnerException.

кло исключение, используется состояни

ов, которые выз

метода. Это место обознач

то самый последний метод, то место, где

тся номер строки, но иногда он недос

в сист

ует еме только в скомпилированном виде

нт возникновения исключе

поток сообщений об ошибках, если это

программе.

ючения можно получить с помощью ме

, возвращающе

)

ию о файле (

String getFileName()), классе

ing getMathodName()), а также о номере строки

выглядит так.

кций в блоке, следующем за try, возникает

ый блок catch, обрабатывающий исключения

одходящих бло

ше.

после блока try, если исключения не возникл

ие блока catch, даже есл

оки catch или блок finally, но не то и друг

имя объекта-исключения в

catch, если он не

ей исключительной ситуации.