Lecture10 (1133567), страница 5

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

Текст из файла (страница 5)

Онозначает, что при вычислениях с плавающейточкой в рамках этих деклараций всепромежуточные результаты должны бытьпредставлены в рамках того типа, к которомуони относятся, согласно стандарту IEEE 754.Иначе, промежуточные результаты вычисленийсо значениями типа float могут бытьпредставлены в более точном виде, что можетпривести к отличающимся итоговымрезультатам вычислений.Инструкции и выраженияВыраженияВ обоих языках выражения строятся при помощи применения операторов к именам илитералам. Условно можно считать, что имеется следующий общий набор операторов.• x.y — оператор уточнения имени, служит для получения ссылки на элемент пространстваимен или типа, либо для получения значения поля (или свойства в C#);• f(x) — оператор вызова метода (а также делегата в C#) с заданным набором аргументов;•a[x] — оператор вычисления элемента массива (а также обращения к индексеру в C#);•new — оператор создания нового объекта (или значения в C#), используется вместе собращением к одному из конструкторов типа — new MyType("Yes", 2) (в Java с егопомощью нельзя создавать значения примитивных типов);••++, -- — префиксные и постфиксные унарные операторы увеличения/уменьшения на 1;•+, - — унарные операторы сохранения/изменения знака числа;•! — унарный оператор логического отрицания;•~ — унарный оператор побитового отрицания;•*, /, %, +, - — бинарные операторы умножения, деления, взятия остатка по модулю,(T)x — оператор явного приведения к типу T;сложения и вычитания;•<<, >> — бинарные операторы побитовых сдвигов влево/вправо;•<, >, <=, >= — бинарные операторы сравнения по порядку;•==, != — бинарные операторы сравнения на равенство/неравенство;•&, |, ^ — бинарные операторы логических или побитовых операций: конъюнкции,дизъюнкции, сложения по модулю 2;•&&, || — бинарные операторы условных конъюнкции и дизъюнкции, (x && y)эквивалентно (x?y:false), a (x || y) — (x?true:y);•?: — тернарный условный оператор, выражение a?x:y вычисляет значение a, если оноtrue, то вычисляется и возвращается значение x, иначе вычисляется и возвращаетсязначение y;•=, *=, /=, %=, +=, -=, <<=, >>=, &=, |=, ^= — бинарные операторы присваивания, все они,кроме первого, сначала производят некоторую операцию над старым значением левогооперанда и значением правого, а затем присваивают полученный результат левомуоперанду.Операторыx.y, f(x), a[x], new, x++, x-+, -, !, ~, ++x, --x, (T)x*, /, %+, <<, >><, >, <=, >===, !=&^|&&||?:=, *=, /=, %=, +=, -=, <<=, >>=, &=, |=, ^=АссоциативностьлеваялеваялеваялеваялеваялеваялеваялеваялеваялеваяправаяправаяТаблица 10.

Приоритет и ассоциативность операторов.В Таблице 10 операторы перечисляются сверху вниз в порядке уменьшения их приоритета, атакже приводится ассоциативность всех операторов. Оператор op называетсялевоассоциативным, если выражение (x op y op z) трактуется компилятором как ((x op y) opz), и правоассоциативным, если оно трактуется как (x op (y op z)).Помимо перечисленных выше операторов имеются также общие для обоих языков операции,которые выполняются при помощи различных конструкций — это получение объекта,представляющего тип, который задан по имени, и проверка принадлежности объекта или значениятипу.

В каждом из языков есть также несколько операторов, специфических для данного языка.Получение объекта, представляющего тип, связано с механизмом рефлексии (reflection),имеющимся в обоих языках. Этот механизм обеспечивает отображение сущностей языка (типов,операций над ними, полей их данных и пр.) в объекты самого языка. В обоих языках операцияполучения объекта, представляющего тип, входит в группу операций с высшим приоритетом.Любой тип Java однозначно соответствуетнекоторому объекту класса java.lang.Class,любой метод описывается с помощью одного изобъектов класса java.lang.reflect.Method,любое поле — с помощью одного из объектовкласса java.lang.reflect.Field.Получить объект типа Class, представляющийтип T (даже если T = void), можно с помощьюконструкции T.class.Для проверки того, что выражение x имеет типT, в Java используется конструкция(x instanceof T),возвращающая значение логического типа.В 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),тип результата которой — T.Если в результате естественных преобразованийтипов и автоупаковки/распаковки, значение x непреобразуется к типу T, то результат этоговыражения — null.Приоритет этого оператора такой же, как уоператора is, а ассоциативность — левая.В Java есть дополнительный оператор сдвигачислового значения вправо >>>, заполняющийосвобождающиеся слева биты нулями.Он имеет такой же приоритет, как и остальныеоператоры сдвига, и левую ассоциативность.Соответствующий оператор присваивания >>>=имеет такой же приоритет, как и другиеоператоры присваивания, и правуюассоциативность.В C# можно строить выражения, в рамкахкоторых переполнения при арифметическихдействиях вызывают (или не вызывают)исключения при помощи оператораchecked(x) (unchecked(x)),где x — выражение, контекст вычислениякоторого мы хотим определить (см.

раздел оцелочисленных типах).Оба этих оператора входят в группу операторовс высшим приоритетом.Выражение default(T) используется в C# 2.0для получения значения типа T по умолчанию.Для ссылочных типов это null, для числовыхтипов — 0, для логического типа — false, a дляостальных типов значений определяется наоснове их структуры.Это выражение используется дляинициализации данных в шаблонных типах,зависящих от типового параметра, которыйможет быть как ссылочным типом, так и типомзначений.Этот оператор входит в группу с высшимприоритетом.Оператор ?? (null coalescing operator)используется в C# 2.0 в следующем смысле.Выражение (x??y) эквивалентно ((x ==null)?y:x), только значение x вычисляетсяоднократно, т.е., если значение x не равно null,то результатом этой операции является x, аиначе y.Этот оператор имеет приоритет меньший, чемприоритет условной дизъюнкции ||, нобольший, чем приоритет условного оператора?:. Он правоассоциативен.В C# 2.0 введен дополнительный оператор ::для разрешения контекста имен в рамкахглобального пространства имен илиопределенных синонимов.Дело в том, что в C# при разрешении имен,построенных с помощью точек, разделяющихидентификаторы, возможны многочисленныепроблемы, связанные с непредвиденнымимодификациями библиотек.Например, если мы написали директиву usingSystem.IO;, чтобы использовать классFileStream с коротким именем, иодновременно определяем в этом контекстекласс EmptyStream, то, если в будущем вSystem.IO появится класс EmptyStream,полученный код перестанет компилироваться.Эту ситуацию можно разрешить при помощисинонимов, определив, например, дляSystem.IO синоним SIO, а для нашейсобственной библиотеки, куда входитEmptyStream, синоним MIO, и используя именаклассов только вместе с синонимами —SIO.FileStream, MIO.EmptyStream.

Однакоесли в одной из используемых библиотек будетвведено пространство имен MIO, проблемавозникнет вновь.Чтобы однозначно отделить типы из внешнихбиблиотек от внутрипрограммных, можноиспользовать оператор ::. При этом левыйаргумент такого оператора может иметь двавида. Либо он имеет значение global — тогдаимя, заданное правым аргументом, ищется вглобальном пространстве имен и конфликтует свнутренними именами. Либо он являетсяименем синонима — тогда имя, заданноеправым аргументом, ищется только впространстве имен, определяемом этимсинонимом.Этот оператор входит в группу с высшимприоритетом.Тип или часть его операций, или дажеотдельный блок в C# могут быть помеченымодификатором unsafe.

При этом содержимоепомеченного типа, операции или блокапопадает в небезопасный контекст (unsafecontext). В рамках небезопасного контекстаможно использовать указатели и операции надуказателями, в частности, доступ к элементуданных по указателю с помощью оператора ->,построение указателей на данные иразыменование указателей, арифметическиедействия над указателями.В данном курсе мы не будем больше касатьсяправил написания небезопасного кода в C#,предоставляя заинтересованному читателюсамому разобраться в них с помощью [8].ИнструкцииБольшинство видов инструкций в Java и C# являются общими и заимствованы из языка C.

Вобоих языках есть понятие блока — набора инструкций, заключенного в фигурные скобки.•••••Пустая инструкция ; допускается в обоих языках.Декларации локальных переменных устроены совершенно одинаково — указывается типпеременной, затем ее идентификатор, а затем, возможно, инициализация.Инициализировать переменную можно каким-то значением ее типа. Использованиенеинициализированных переменных во многих случаях определяется компилятором исчитается ошибкой (но не всегда). Однако даже при отсутствии инициализациипеременной, ей все равно будет присвоено значение по умолчанию для данного типа.Массивы могут быть инициализированы с помощью специальных выражений,перечисляющих значения элементов массива, напримерint[][] array = new int[][]{{0, 1}, {2, 3, 4}}; AgИнструкция может быть помечена с помощью метки, которая стоит перед самойинструкцией и отделяется от нее с помощью двоеточия.Инструкция может быть построена добавлением точки с запятой в конец выраженияопределенного вида.

Характеристики

Список файлов лекций