Б. Страуструп - Язык программирования С++ (1119446), страница 18
Текст из файла (страница 18)
Расширения (например,использование $ в имени) могут нарушить переносимость программы. Нельзя использовать в качествеимен служебные слова С++ (см. $$R.2.4), например:helloDEFINEDvar0this_is_a_most_unusially_long_namefoObAru_nameHorseSensevar1CLASS_class___Теперь приведем примеры последовательностей символов, которые не могут использоваться какидентификаторы:012pay.duea foolfoo~bar$sys.nameclassif3varЗаглавные и строчные буквы считаются различными, поэтому Count и count - разные имена. Новыбирать имена, почти не отличающиеся друг от друга, неразумно. Все имена, начинающиеся ссимвола подчеркивания, резервируются для использования в самой реализации или в тех программах,которые выполняются совместно с рабочей, поэтому крайне легкомысленно вставлять такие имена всвою программу.
При разборе программы транслятор всегда стремится выбрать самую длиннуюпоследовательность символов, образующих имя, поэтому var10 - это имя, а не идущие подряд имя var ичисло 10. По той же причине elseif - одно имя (служебное), а не два служебных имени else и if.2.3 ТИПЫС каждым именем (идентификатором) в программе связан тип.
Он задает те операции, которые могутприменяться к имени (т.е. к объекту, который обозначает имя), а также интерпретацию этих операций.Приведем примеры:int error_number;float real(complex* p);Поскольку переменная error_number описана как int (целое), ей можно присваивать, а также можноиспользовать ее значения в арифметических выражениях. Функцию real можно вызывать с параметром,49Бьерн Страуструп.Язык программирования С++содержащим адрес complex.
Можно получать адреса и переменной, и функции. Некоторые имена, как внашем примере int и complex, являются именами типов. Обычно имя типа нужно, чтобы задать вописании типа некоторое другое имя. Кроме того, имя типа может использоваться в качестве операндав операциях sizeof (с ее помощью определяют размер памяти, необходимый для объектов этого типа) иnew (с ее помощью можно разместить в свободной памяти объект этого типа). Например:int main(){int* p = new int;cout << "sizeof(int) = " << sizeof(int) '\n';}Еще имя типа может использоваться в операции явного преобразования одного типа к другому($$3.2.5), например:float f;char* p;//...long ll = long(p);int i = int(f);// преобразует p в long// преобразует f в int2.3.1 Основные типыОсновные типы С++ представляют самые распространенные единицы памяти машин и все основныеспособы работы с ними.
Это:charshort intintlong intПеречисленные типы используются для представления различного размера целых. Числа с плавающейточкой представлены типами:floatdoublelong doubleСледующие типы могут использоваться для представления без знаковых целых, логических значений,разрядных массивов и т.д.:unsignedunsignedunsignedunsignedcharshort intintlong intНиже приведены типы, которые используются для явного задания знаковых типов:signedsignedsignedsignedcharshort intintlong 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;// тот же случай50Бьерн Страуструп.Язык программирования С++Все же обычно пропуск типа в описании в надежде, что по умолчанию это будет тип 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, нельзя гарантировать, что она будет толькоположительной, поскольку допустимы неявные преобразования типа, например:unsigned surprise = -1;Это определение допустимо (хотя компилятор может выдать предупреждение о нем).2.3.2 Неявное преобразование типаВ присваивании и выражении основные типы могут совершенно свободно использоваться совместно.Значения преобразовываются всюду, где это возможно, таким образом, чтобы информация нетерялась.
Точные правила преобразований даны в $$R.4 и $$R.5.4.Все-таки есть ситуации, когда информация может быть потеряна или даже искажена. Потенциальнымисточником таких ситуаций становятся присваивания, в которых значение одного типа присваиваетсязначению другого типа, причем в представлении последнего используется меньше разрядов. Допустим,что следующие присваивания выполняются на машине, в которой целые представляются вдополнительном коде, и символ занимает 8 разрядов:int i1 = 256+255;char ch = i1 // ch == 255int i2 = ch;// i2 == ?В присваивании ch=i1 теряется один разряд (и самый важный!), а когда мы присваиваем значениепеременной i2, у переменной ch значение "все единицы", т.е.
8 единичных разрядов. Но какое значениепримет i2? На машине DEC VAX, в которой char представляет знаковые значения, это будет -1, а намашине Motorola 68K, в которой char - беззнаковый, это будет 255. В С++ нет динамических средствконтроля подобных ситуаций, а контроль на этапе трансляции вообще слишком сложен, поэтому надобыть осторожными.51Бьерн Страуструп.Язык программирования С++2.3.3 Производные типыИсходя из основных (и определенных пользователем) типов, можно с помощью следующих операцийописания:*&[]()указательссылкамассивфункцияа также с помощью определения структур, задать другие, производные типы.
Например:int* a;float v[10];char* p[20]; // массив из 20 символьных указателейvoid f(int);struct str { short length; char* p; };Правила построения типов с помощью этих операций подробно объяснены в $$R.8. Ключевая идеясостоит в том, что описание объекта производного типа должно отражать его использование, например:int v[10];i = v[3];int* p;i = *p;////////описание вектораиспользование элемента вектораописание указателяиспользование указуемого объектаОбозначения, используемые для производных типов, достаточно трудны для понимания лишь потому,что операции * и & являются префиксными, а [] и () - постфиксными.
Поэтому в задании типов, еслиприоритеты операций не отвечают цели, надо ставить скобки. Например, приоритет операции [] выше,чем у *, и мы имеем:int* v[10];int (*p)[10];// массив указателей// указатель массиваБольшинство людей просто запоминает, как выглядят наиболее часто употребляемые типы. Можноописать сразу несколько имен в одном описании. Тогда оно содержит вместо одного имени списокотделяемых друг от друга запятыми имен. Например, можно так описать две переменные целого типа:int x, y;// int x; int y;Когда мы описываем производные типы, не надо забывать, что операции описаний применяются толькок данному имени (а вовсе не ко всем остальным именам того же описания).
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
