Бьерн Страуструп. Язык программирования С++

2.2 ИМЕНА

Имя (идентификатор) является последовательностью букв или цифр.

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

подчеркивания _. Язык С++ не ограничивает число символов в имени.

Но в реализацию входят программные компоненты, которыми создатель

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

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

системные программы, необходимые для выполнения программы на С++, могут

расширять или сужать множество символов, допустимых в идентификаторе.

Расширения (например, использование $ в имени) могут нарушить

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

служебные слова С++ (см. $$R.2.4), например:

hello this_is_a_most_unusially_long_name

DEFINED foO bAr u_name HorseSense

var0 var1 CLASS _class ___
Теперь приведем примеры последовательностей символов, которые не могут

использоваться как идентификаторы:

pay.due foo~bar .name if

count - разные имена. Но выбирать имена, почти не отличающиеся

друг от друга, неразумно. Все имена, начинающиеся с символа

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

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

поэтому крайне легкомысленно вставлять такие имена в

свою программу.

При разборе программы транслятор всегда стремится выбрать самую

длинную последовательность символов, образующих имя, поэтому var10

- это имя, а не идущие подряд имя var и число 10. По той же причине

elseif - одно имя (служебное), а не два служебных имени else и if.

2.3 ТИПЫ

С каждым именем (идентификатором) в программе связан тип. Он

задает те операции, которые могут применяться к имени (т.е. к объекту,

который обозначает имя), а также интерпретацию этих операций.

Приведем примеры:
int error_number;

float real(complex* p);

присваивать, а также можно использовать ее значения в арифметических

выражениях. Функцию real можно вызывать с параметром, содержащим

адрес complex. Можно получать адреса и переменной, и функции.

Некоторые имена, как в нашем примере int и complex, являются именами

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

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

в качестве операнда в операциях sizeof (с ее помощью определяют

размер памяти, необходимый для объектов этого типа) и new (с ее

помощью можно разместить в свободной памяти объект этого типа).

Например:
int main()

{

int* p = new int;

}
Еще имя типа может использоваться в операции явного преобразования

одного типа к другому ($$3.2.5), например:
float f;

char* p;

long ll = long(p); // преобразует p в long

int i = int(f); // преобразует f в int

2.3.1 Основные типы

Основные типы С++ представляют самые распространенные единицы памяти

машин и все основные способы работы с ними. Это:
char

short int

int

long int
Перечисленные типы используются для представления различного

double

логических значений, разрядных массивов и т.д.:

unsigned short int

unsigned int

unsigned long int

типов:
signed char

signed short int

signed int

signed long int
Поскольку по умолчанию значения типа int считаются знаковыми, то

соответствующие типы с signed являются синонимами типов без

этого служебного слова.

Но тип signed char представляет особый интерес: все 3 типа - unsigned char,

signed char и просто char считаются различными (см. также $$R.3.6.1).

Для краткости (и это не влечет никаких последствий) слово int можно

не указывать в многословных типах, т.е. long означает long int, unsigned -

unsigned int. Вообще, если в описании не указан тип, то предполагается,

что это int. Например, ниже даны два определения объекта типа int:
const a = 1; // небрежно, тип не указан

static x; // тот же случай

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

нежелательный эффект (см. $$R.7.1).

Для хранения символов и работы с ними наиболее подходит тип char.

Обычно он представляет байт из 8 разрядов. Размеры всех объектов в С++

кратны размеру char, и по определению значение sizeof(char) тождественно 1.

В зависимости от машины значение типа char может быть знаковым

или беззнаковым целым. Конечно, значение типа unsigned char всегда

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

программы. Однако, использование unsigned char вместо char может

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

типа signed char всегда знаковое.

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

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

использовать возможности системы команд. У многих машин

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

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

Как правило, зная особенности конкретной машины, легко выбрать

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

переменной. Однако, написать действительно переносимую программу,

использующую такие возможности низкого уровня, непросто. Для размеров

основных типов выполняются следующие соотношения:

1==sizeof(char)<=sizeof(short)<=sizeof(int)<=sizeof(long)
sizeof(float)<=sizeof(double)<=sizeof(long double)
sizeof(I)==sizeof(signed I)==sizeof(unsigned I)
Здесь I может быть типа char, short, int или long. Помимо этого

гарантируется, что char представлен не менее, чем 8 разрядами, short

- не менее, чем 16 разрядами и long - не менее, чем 32 разрядами. Тип char

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

данной машины. Но это означает только то, что тип char может

представлять целые в диапазоне 0..127. Предположить большее -

рискованно.

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

которых память рассматривается как массив разрядов. Но, как

правило, использование unsigned вместо int, не дает ничего хорошего,

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

представления положительных целых. Описывая переменную как unsigned,

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

допустимы неявные преобразования типа, например:

о нем).