remix (1119427), страница 6
Текст из файла (страница 6)
Также традиционны и операции сравнения (==, !=, <, >, <=, >=).Инкрементные и декрементные операции (++ и −−) делятся на префиксные ипостфиксные, как в Си. Их семантика совпадает с семантикой Си.Логический тип данных содержит две константы (true и false). К немуприменимы логические операции («и» — &&, «или» — ||, «отрицание» — !)и операции сравнения (==, !=, <, >, <=, >=).6.2.4.3. Составные типы данныхMJS содержит два составных типа: массив (Array) и объект (Object).29Методические указания по выполнению третьего этапа заданияМассив — это последовательность анонимных переменных. К каждойпеременной из этой последовательности можно обратиться по номеру (индексу):Response.write ( arr[i] );Индекс в массиве начинается с нуля.Значения элементов массива могут быть заданы с помощью конструктора массива:var a = [1,2,"string value", false];Инициализатор может быть и пустым: b = [];Заметим, что элементы массива могут иметь разные типы (что вытекаетиз динамической типизации переменных).Важнейшей особенностью массивов в MJS является их «динамичность»: размер массива может меняться во время работы программы.
Добавить элемент в массив можно с помощью операции присваивания: если индекс для присваиваемой переменной больше числа элементов в массиве, томассив «расширяется», чтобы включить в себя новый элемент.var a = [0,1,2,3];a[4] = 4;При этом в массиве могут появиться дополнительные элементы (с неопределенным значением):a[20] = 20;Рассмотрим теперь объектный тип данных. Объект характеризуетсянабором именованных свойств.
Доступ к свойству обеспечивает операция «.»(точка). У нее два аргумента — объект и идентификатор свойства: obj.id.Свойства делятся на свойства-данные и свойства-методы. Последниеявляются функциями, и их можно вызывать как функции, например:Response.write ( "<tag/>" );Заметим, что с точки зрения интерпретатора операция доступа к свойству имеет первым операндом ссылку на объект, а вторым операндом —идентификатор (фактически — строку).
Поэтому нет ничего странного в том,что объект имеет еще одну форму операции доступа к свойству: операциюиндексирования. Эта операция имеет первым аргументом ссылку на объект,а вторым — строку. Например, оператор:x = obj.id;30Методические указания по выполнению третьего этапа заданияполностью эквивалентен оператору:x = obj["id"];Заметим, что в отличие от операции «.» второй аргумент может бытьвычисляемым, например, следующий фрагмент также присваивает переменной x значение свойства id объекта obj:var id = "i";x = obj[id + "d"];Таким образом, объект становится похожим на массив, только объектная операция индексирования имеет аргументом не число, а строку. На самомделе, объект в MJS имеет и вторую форму операции индексирования: obj[i],где i — целочисленный индекс (от 0 до N − 1, где N — свойств объекта).Правда, информация о том, какой именно индекс соответствует свойству,недоступна пользователю и зависит от реализации.
Поэтому вторая формаоперации индексирования используется крайне редко, тем не менее она существует.Встает резонный вопрос: если объект фактически обобщает функциональность массива, а массив является динамически расширяемым объектом,то почему бы не позволить набору свойств объекта также быть расширяемым? На самом деле, в языке JavaScript принята именно такая интерпретацияоперации индексирования, но в модельном варианте для простоты это нереализовано. Таким образом, пользователь в MJS не может изменять наборсвойств объекта.Более того, пользователь в MJS не может создавать свои объекты (какэто можно делать в JavaScript), и набор объектов ограничен только встроенными объектами.6.2.4.4.
Встроенные объекты MJSОбъект Response представляет собой обертку над выводомCGI-программы. Он имеет единственный метод — write(x), который выводитаргумент x в стандартный вывод.Пример:Response.write ( "<body>" );Объект Environment — это набор переменных окружения. Каждоесвойство объекта (доступное только для чтения) — это соответствующаяпеременная окружения, переданного процессу-интерпретатору.Пример:x = Environment [ "QUERY_STRING" ];var y = Environment.REMOTE_ADDR;31Методические указания по выполнению третьего этапа заданияВажными представителями встроенных объектов являются объекты-типы.
Каждому типу MJS соответствует встроенный одноименный объект-тип.Отметим, что значения в языке MJS являются копиями («клонами»)соответствующих объектов-типов, поэтому свойства и методы этих объектовявляются одновременно свойствами и методами значений.6.2.4.4.1.BooleanОбъект Boolean имеет единственный метод toString(), возвращающий«true» или «false».6.2.4.4.2.ArrayОбъект Array имеет свойство length (количество элементов) и три метода:— sort() — сортирует элементы по возрастанию;— reverse() — переставляет элементы в обратном порядке;— toString() — возвращает строку, содержащую список значений элементов, разделенных запятыми.6.2.4.4.3.NumberОбъект Number имеет три свойства:— MAX_VALUE — максимальное значение числа;— MIN_VALUE — минимальное значение числа;— NaN — это специальное значение, которое вырабатывается приошибках вычислений или преобразований.Методы объекта Number:— toString([base]) — возвращает строку, представляющую значениечисла в системе счисления с основанием base (по умолчанию — 10);— toFixed(n) — возвращает строку, представляющую значение числа вформе "целая_часть.дробная_часть".
Длина дробной части — n цифр;— toExponential(n) — возвращает строку, представляющую значениечисла в форме "мантисса E порядок". Мантисса нормализована,длина дробной части мантиссы— n цифр;6.2.4.4.4.StringОбъект String имеет свойство length (количество символов в строке) и методы(позиции символов нумеруются с нуля):— charAt (позиция) — возвращает строку, состоящую из одного символа, стоящего в указанной позиции в строке (или пустую строку,если позиция неверна).— indexOf (строка) — возвращает номер позиции, с которой начинается первое слева вхождение подстроки строка (или −1, если вхождения нет)— lastIndexOf (строка) — возвращает номер позиции, с которой начинается первое справа вхождение подстроки строка (или −1, есливхождения нет)32Методические указания по выполнению третьего этапа задания— substr (старт [, длина]) — возвращает подстроку, начинающуюся спозиции старт, и содержащую длина символов.
Если длина не задана или превышает возможную длину, то подстрока содержитсимволы до конца строки.6.2.4.5. Универсальные значения и операцииВ языке MJS существуют специальные значения, которые имеют универсальный характер. Это неопределенное значение undefined и пустое значениеnull. Неопределенное значение получает любая неинициализированная переменная. Пустое значение удобно для индикации отсутствия значения(объекта).Также существуют универсальные операции, применимые к любымтипам данных. Главная такая операция — это присваивание:v = eЛевая часть операции — переменная или свойство объекта (доступноедля записи), правая часть — выражение.
Значение левой части присваиваетсяправой части, а также служит результатом операции присваивания. Операцияприсваивания — правоассоциативна.Кроме обычной операции присваивания в MJS по аналогии с языкомСи++ существуют варианты операции присваивания для ряда бинарных инфиксных операций. В языке MJS это операции +=, −=, *=, /=, *=, %=.
Их семантика совпадает с семантикой операций Си++.Другая универсальная операция — это проверка на строгую тождественность (===). Она истинна, только если объекты имеют один и тот же тип изначение. Обычная операция сравнения сравнивает только значения, а еслитипы не совпадают, то происходит преобразование типов (см.ниже) к одному,а затем только проверка.
Поэтому сравнение 1==="1" ложно, а сравнение1=="1" истинно.Операция проверки на нетождественность (!==) является отрицаниемоперации (===).Последняя универсальная операция MJS — это операция определениятипа typeof. Она возвращает строку, идентифицирующую тип аргумента.Конкретные значения определяются таблицей 3.Таблица 3. Значения, возвращаемые операцией typeofТипЗначениеНеопределенный (undefined)undefinedПустой (null)ObjectЛогическийBooleanЧисловойNumberСтроковыйString33Методические указания по выполнению третьего этапа заданияТипЗначениеОбъектныйObject6.2.4.6.
Преобразования типовВажной особенностью языка MJS является широкое использование неявныхпреобразований типов. Фактически интерпретатор MJS пытается выполнитьоперацию практически для любой комбинации типов операндов. Например,если операция требует числовых операндов (пример: a − b), то оба операнда(если нужно) преобразуются к типу Number.
Примечательным исключениемявляется операция +. Она может применяться как к числовым, так и к строковым данным. При этом строковая операция имеет приоритет, поэтому еслиодин из операндов — строковый, то другой преобразуется в строку. Поэтомуоба оператора ниже дадут одно и то же строковое значение «1234»:x = 12 + "34";y = "12" + 34;Следующие ниже таблицы описывают правила преобразования типов.Таблица 4. Преобразования к логическому типуТипЗначениеНеопределенный (undefined)falseПустой (null)falseЧисловойfalse, если значение = 0, иначе trueСтроковыйfalse, если длина строки = 0, иначе trueДругие объектыtrueТаблица 5. Преобразования к числовому типуТипЗначениеНеопределенный (undefined)Number.NaNПустой (null)0Логический0, если значение = false, иначе 1СтроковыйЕсли строка представляет собой числовую константу, то соответствующеезначение.
Иначе — Number.NaNДругие объектыNumber.NaN34Методические указания по выполнению третьего этапа заданияТаблица 6. Преобразования к строковому типуТипЗначениеНеопределенный (undefined)undefinedПустой (null)nullЛогическийtrue или falseСтроковыйNaN или строка, представляющая числовое значениеДругие объектызначение, возвращаемое методомtoString()6.2.4.7.
Синтаксис MJS‹предложение› ::= ‹определение-функции› | ‹оператор›‹определение-функции› ::= function ‹имя› ([‹имя›] {,‹имя›}) ‹блок›‹оператор› ::= ‹объявление-переменной› | ‹пустой-оператор› | ‹блок› |‹условный-оператор› | ‹оператор-цикла› |‹оператор-перехода› | ‹оператор-выражение›‹объявление-переменной› ::=var ‹имя› [ = ‹выражение› ] {, ‹имя› [ = ‹выражение› ] };‹пустой-оператор› ::= ;‹блок› ::= { ‹оператор› { ‹оператор› } }‹условный-оператор› ::= if (‹выражение›) ‹оператор› [ else ‹оператор› ]‹оператор-цикла› ::= while (‹выражение›) ‹оператор› |for ([‹выражение›];[‹выражение›];[‹выражение›]) ‹оператор› |do ‹оператор› while (‹выражение›); |for ([var] ‹имя› in ‹выражение›) ‹оператор›‹оператор-перехода› ::= break; | continue; | return [‹выражение›];‹оператор-выражение› ::= ‹выражение›;Большинство операторов языка MJS соответствует операторам языкаСи++.