Смекни!
smekni.com

Правила правой руки 17 Замечания для программистов на c 17 Глава 1 (стр. 17 из 43)

было бы полезно, если бы калькулятор использовался неитерактивно.

Часто бывает так, что после появления ошибки программа должна

завершиться, поскольку нет никакого разумного пути продолжить

работу. Это можно сделать с помощью вызова exit(), которая очищает

все вроде потоков вывода (#8.3.2), а затем завершает программу

используя свой параметр в качестве ее возвращаемого значения. Более

радикальный способ завершения программы - это вызов abort(),

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

где-то информации для отладчика (дамп памяти); о подробностях

справьтесь, пожалуйста, в вашем руководстве.

3.1.5 Драйвер

Когда все части программы на месте, нам нужен только драйвер для

инициализации и всего того, что связано с запуском. В этом простом

примере main() может работать так:

int main()

{

// вставить предопределенные имена:

insert("pi")->value = 3.1415926535897932385;

insert("e")->value = 2.7182818284590452354;

while (cin) {

get_token();

if (curr_tok == END) break;

if (curr_tok == PRINT) continue;

cout << expr() << "&bsol;n";

}

return no_of_errors;

}

- стр 88 -

Принято обычно, что main() возвращает ноль при нормальном

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

прекрасно может сделать возвращение числа ошибок. В данном случае

оказывается, что инициализация нужна только для введения

предопределенных имен в таблицу имен.

Основная работа цикла - читать выражения и писать ответ. Это

делает строка:

cout << expr() << "&bsol;n";

Проверка cin на каждом проходе цикла обеспечивает завершение

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

на END обеспечивает корректный выход из цикла, когда get_token()

встречает конец файла. Оператор break осуществляет выход из

ближайшего содержащего его оператора switch или цикла (то есть,

оператора for, оператора while или оператора do). Проверка на PRINT

(то есть, на '&bsol;n' или ';') освобождает expr() от обязанности

обрабатывать пустые выражения. Оператор continue равносилен

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

while (cin) {

// ...

if (curr_tok == PRINT) continue;

cout << expr() << "&bsol;n";

}

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

while (cin) {

// ...

if (curr_tok == PRINT) goto end_of_loop;

cout << expr() << "&bsol;n";

end_of_loop

}

Более подробно циклы описываются в #с.9.

3.1.6 Параметры командной строки

После того, как программа была написана и оттестирована, я

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

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

вычислении одного выражения. Если бы можно было представлять это

выражение как параметр командной строки, не приходилось бы так

много нажимать на клавиши.

Как уже говорилось, программа запускается вызовом main(). Когда

это происходит, main() получает два параметра: указывающий число

параметров, обычно называемый argc, и вектор параметров, обычно

называемый argv. Параметры - это символьные строки, поэтому argv

имеет тип char*[argc]. Имя программы (так, как оно стоит в

командной строке) передается в качестве argv[0], поэтому argc

всегда не меньше единицы. Например, в случае команды

dc 150/1.1934

- стр 89 -

параметры имеют значения:

argc 2

argv[0] "dc"

argv[1] "150/1.1934"

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

сложность состоит в том, как использовать их без

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

просто, поскольку поток ввода можно связать с символьной строкой, а

не с файлом (#8.5). Например, можно заставить cin читать символы из

стандартного ввода:

int main(int argc, char* argv[])

{

switch(argc) {

case 1: // читать из стандартного ввода

break;

case 2: // читать параметр строку

cin = *new istream(strlen(argv[1]),argv[1]);

break;

default:

error("слишком много параметров");

return 1;

}

// как раньше

}

Программа осталась без изменений, за исключением добавления в

main() параметров и использования этих параметров в операторе

switch. Можно было бы легко модифицировать main() так, чтобы она

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

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

как один параметр:

dc "rate=1.1934;150/rate;19.75/rate;217/rate"

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

команд в системе UNIX.

3.2 Краткая сводка операций

Операции C++ подробно и систематически описываются в #с.7;

прочитайте, пожалуйста, этот раздел. Здесь же приводится краткая

сводка и некоторые примеры. После каждой операции приведено одно

или более ее общеупотребительных названий и пример ее

использования. В этих примерах имя_класса - это имя класса, член -

имя члена, объект - выражение, дающее в результате объект класса,

указатель - выражение, дающее в результате указатель, выр -

выражение, а lvalue - выражение, денотирующее неконстантный объект.

Тип может быть совершенно произвольным именем типа (со *, () и

т.п.) только когда он стоит в скобках, во всех остальных случаях

существуют ограничения.

- стр 90 -

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

остальные левоассоциативны. Это значит, что a=b=c означает a=(b=c),

a+b+c означает (a+b)+c, и *p++ означает *(p++), а не (*p)++.

Сводка Операций (часть 1)

---------------------------------------------------------------

-----

:: разрешение области видимости имя_класса :: член

:: глобальное :: имя

---------------------------------------------------------------

-----

-> выбор члена указатель->член

[] индексация указатель [ выр ]

() вызов функции выр (список_выр)

() построение значения тип (список_выр)

sizeof размер объекта sizeof выр

sizeof размер типа sizeof ( тип )

---------------------------------------------------------------

-----

++ приращение после lvalue++

++ приращение до ++lvalue

-- уменьшение после lvalue--

-- уменьшение до --lvalue

~ дополнение ~ выр

! не ! выр

- унарный минус - выр

+ унарный плюс + выр

& адрес объекта & lvalue

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

new создание (размещение) new тип

delete уничтожение (освобождение) delete указатель

delete[] уничтожение вектора delete[ выр ]

указатель

() приведение (преобразование типа) ( тип ) выр

---------------------------------------------------------------

-----

* умножение выр * выр

/ деление выр / выр

% взятие по модулю (остаток) выр % выр

---------------------------------------------------------------

-----

+ сложение (плюс) выр + выр

- вычитание (минус) выр - выр

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

приоритетом. Операция имеет приоритет больше, чем операции из

частей, расположенных ниже. Например: a+b*c означает a+(b*c), так

как * имеет приоритет выше, чем +, а a+b-c означает (a+b)-c,

поскольку + и - имеют одинаковый приоритет (и поскольку +

левоассоциативен).

- стр 91 -

Сводка Операций (часть 2)

---------------------------------------------------------------

-----

<< сдвиг влево lvalue << выр

>> сдвиг вправо lvalue >> выр

---------------------------------------------------------------

-----

< меньше выр < выр

<= меньше или равно выр <= выр

> больше выр > выр

>= больше или равно выр >= выр

---------------------------------------------------------------

-----

== равно выр == выр

!= не равно выр != выр

---------------------------------------------------------------

-----

& побитовое И выр & выр

---------------------------------------------------------------

-----

^ побитовое исключающее ИЛИ выр ^ выр

---------------------------------------------------------------

-----

| побитовое включающее ИЛИ выр | выр

---------------------------------------------------------------

-----

&& логическое И выр && выр

---------------------------------------------------------------

-----

|| логическое включающее ИЛИ выр || выр

---------------------------------------------------------------

-----

? : арифметический if выр ? выр : выр

---------------------------------------------------------------

-----

= простое присваивание lvalue = выр

*= умножить и присвоить lvalue = выр

/= разделить и присвоить lvalue /= выр

%= взять по модулю и присвоить lvalue %= выр

+= сложить и присвоить lvalue += выр

-= вычесть и присвоить lvalue -= выр

<<= сдвинуть влево и присвоить lvalue <<= выр

>>= сдвинуть вправо и присвоить lvalue >>= выр

&= И и присвоить lvalue &= выр

|= включающее ИЛИ и присвоить lvalue |= выр

^= исключающее ИЛИ и присвоить lvalue ^= выр

---------------------------------------------------------------

-----

, запятая (последование) выр , выр

- стр 92 -

3.2.1 Круглые скобки

Скобками синтаксис C++ злоупотребляет; количество способов их

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

заключения в них параметров в вызовах функций, в них заключается

тип в преобразовании типа (приведении к типу), в именах типов для

обозначения функций, а также для разрешения конфликтов приоритетов.

К счастью, последнее требуется не слишком часто, потому что уровни

приоритета и правила ассоциативности определены таким образом,

чтобы выражения "работали ожидаемым образом" (то есть, отражали

наиболее привычный способ употребления). Например, значение

if (i<=0 || max

3.2.2 Порядок вычисления

Порядок вычисления подвыражений в выражении неопределен. Например

int i = 1;

v[i] = i++;

- стр 93 -

может вычисляться или как v[1]=1, или как v[2]=1. При отсутствии

ограничений на порядок вычисления выражения может генерироваться

более хороший код. Было бы замечательно, если бы компилятор

предупреждал о подобных неоднозначностях, но большинство

компиляторов этого не делают.

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

, && ||

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

Например, b=(a=2,a=1) присвоит b 3. В #3.3.1 приводятся примеры

использования && и ||. Заметьте, что операция последования ,

(запятая) логически отличается от запятой, которая используется для

разделения параметров в вызове функции. Рассмотрим

f1(v[i],i++); // два параметра

f2( (v[i],i++) ) // один параметр

В вызове f1 два параметра, v[i] и i++, и порядок вычисления

выражений-параметров неопределен. Зависимость выражения-параметра