Я пришёл к выводу, что система типов в языке Pascal не просто бесполезна – это смирительная рубашка,
которая создаёт больше проблем, нежели решает, заставляя меня жертвовать
чистотой дизайна ради удовлетворения причуд компилятора.

Б. Страуструп «Дизайн и эволюция языка С++»

Лекция 1. Алфавит и основные понятия языка C++. Типы данных

Введение

Среди современных языков программирования язык C является одним из наиболее распространенных. Язык C универсален, однако наиболее эффективно его применение в задачах системного программирования – разработке трансляторов, операционных систем, инструментальных средств. Язык C хорошо зарекомендовал себя эффективностью, лаконичностью записи алгоритмов, логической стройностью программ. Во многих случаях программы, написанные на языке C, сравнимы по скорости с программами, написанными на Ассемблере, при этом они более наглядны и просты в сопровождении.

Язык C имеет ряд существенных особенностей, которые выделяют его среди других языков программирования. В значительной степени на формирование идеологии языка повлияла цель, которую ставили перед собой его создатели – обеспечение системного программиста удобным инструментальным языком, который мог бы заменить Ассемблер. В результате появился язык программирования высокого уровня, обеспечивающий необычайно легкий доступ к аппаратным средствам компьютера. С одной стороны, как и другие современные языки высокого уровня, язык C поддерживает полный набор конструкций структурного программирования, модульность, блочную структуру программы. С другой стороны, язык C имеет ряд низкоуровневых черт.

Перечислим некоторые особенности языка C.

Язык C++ – это язык программирования общего назначения, цель которого – сделать работу серьёзных программистов более приятным занятием. За исключением несущественных деталей, язык C++ является надмножеством языка С. Помимо возможностей, предоставляемых языком С, язык C++ обеспечивает гибкие и эффективные средства определения новых типов.

Язык программирования служит двум взаимосвязанным целям: он предоставляет программисту инструмент для описания подлежащих выполнению действий и набор концепций, которыми оперирует программист, обдумывая, что можно сделать. Первая цель в идеале требует языка, близкого к компьютеру, чтобы все важные элементы компьютера управлялись просто и эффективно способом, достаточно очевидным для программиста. Язык С создавался на основе именно от этой идеи. Вторая цель в идеале требует языка, близкого к решаемой задаче, чтобы концепции решения могли быть выражены понятно и непосредственно. Эта идея привела к пополнению языка С свойствами, превратившими его в язык C++.

Ключевое понятие в языке C++класс. Классы обеспечивают сокрытие информации, гарантированную инициализацию данных, неявное преобразование определяемых пользователем типов, динамическое определение типа, контроль пользователя над управлением памятью и механизм перегрузки операторов. Язык C++ предоставляет гораздо лучшие, чем язык С, средства для проверки типов и поддержки модульного программирования. Кроме того, язык содержит усовершенствования, непосредственно не связанные с классами, такие как: символические константы, встраивание функций в место вызова, параметры функций по умолчанию, перегруженные имена функций, операторы управления свободной памятью и ссылки. Язык C++ сохраняет способность языка С эффективно работать с аппаратной частью на уровне битов, байтов, слов, адресов и т.д. Это позволяет реализовывать пользовательские типы с достаточной степенью эффективности.

1. Алфавит

Множество символов языка C включает:

Остальные символы могут быть использованы только в символьных строках, символьных константах и комментариях. Язык C++ различает большие и маленькие буквы, таким образом, name и Nameразные идентификаторы.

2. Литералы

Литералы в языке C++ могут быть целые, вещественные, символьные и строковые.

3. Комментарии

Комментарий – это последовательность символов, которая игнорируется компилятором языка C++. Комментарий имеет следующий вид: /*<символы>*/. Комментарии могут занимать несколько строк, но не могут быть вложенными. Кроме того, часть строки, следующая за символами //, также рассматривается как комментарий.

Разумное использование комментариев (и согласованное употребление отступов) может сделать чтение и понимание программы более приятным занятием. При неправильном использовании комментариев читабельность программы может, напротив, серьезно пострадать. Компилятор не понимает смысл комментариев, поэтому не существует способа проверить, что комментарий:

  1. содержателен;
  2. имеет какое-то отношение к программе;
  3. не устарел.

Удачно подобранный и написанный набор комментариев является существенной частью хорошей программы. Написание «правильных» комментариев может оказаться не менее сложной задачей, чем написание самой программы.

4. Типы данных языка C++

Имя Размер Представляемые значения Диапазон
bool 1 байт логические false, true
(signed) char 1 байт символы
целые числа
 
от –128 до 127
wchar_t 2 байта символы Unicode от 0 до 65535
(signed) short int 2 байта целые числа от -32768 до 32767
(signed) int зависит от реализации
(в последних компиляторах обычно 4 байта)
целые числа
(signed) long int 4 байта целые числа от -2147483648 до 2147483647
(signed) long long int
(signed) __int64 (MS)
8 байт целые числа от –9,223,372,036,854,775,808 до 9,223,372,036,854,775,807
unsigned char 1 байт символы
целые числа
 
от 0 до 255
unsigned short int 2 байта целые числа 0 до 65535
unsigned int зависит от реализации
(в последних компиляторах обычно 4 байта)
целые числа  
unsigned long int 4 байта целые числа от 0 до 4294967295
(unsigned) long long int
(unsigned) __int64 (MS)
8 байт целые числа от 0 до 18,446,744,073,709,551,615
float 4 байта вещественные числа от 1.175494351e–38
до 3.402823466e+38
double 8 байт вещественные числа от 2.2250738585072014e–308
до 1.7976931348623158e+308
long double зависит от реализации вещественные числа

В языке C++ также существуют перечислимый тип – enum, который является подмножеством целого типа, и пустой тип – void, который имеет специальное назначение. Он используется для объявления функций, которые не возвращают никакого значения, а также для объявления указателей на значение типа void. Такие указатели могут быть преобразованы к указателям на любой другой тип.

В языке С++ можно объявлять структуры и так называемые объединения.

В языке C++ нет специальных типов для массивов и строк, которые представляются массивом символов.

В языке С не существовало логического типа. Логические значения представлялись данными целого типа, при этом значение 0 соответствовало логическому значению ложь, а все остальные целые значения соответствовали логическому значению истина. В языке С++ сохранена данная логика. По определению, true имеет значение 1 при преобразовании к целому типу, а false – значение 0. И наоборот, целые можно неявно преобразовать в логические значения: при этом ненулевые целые преобразуются в true, а ноль – в false. В любом месте, где требуется логическое значение, может стоять целочисленное выражение. В арифметических и логических выражениях логические значения преобразуются в целые, операции выполняются над преобразованными величинами.

Указатель можно неявно преобразовать в логическое значение, при этом ненулевой указатель принимает значение true, нулевой – false.

Такой подход позволяет вместо логической и целочисленной переменных объявлять только целочисленную, при этом значение переменной, равное 0, говорит об отсутствии некоторого признака у объекта, а остальные значения говорят о его наличии, и при этом несут какую-либо дополнительную информацию.

При выполнении бинарных операций производятся преобразования по умолчанию для приведения операндов к одному и тому же типу, который потом используется как тип результата:

  1. если один из операндов имеет тип long double, другой тоже преобразуется в long double;
    • иначе, если один операнд имеет тип double, то второй операнд преобразуется к типу double;
    • иначе, если один операнд имеет тип float, то второй операнд преобразуется к типу float;
    • иначе над обоими операндами производится интегральное продвижение, а именно: значения типов char, signed char, unsigned char, short int и unsigned short int преобразуются в int, если int может представить все значения исходных типов, в противном случае они преобразуются в unsigned int; bool преобразуется в int.
  2. затем если один операнд имеет тип unsigned long, то второй операнд преобразуется к типу unsigned long;
    • иначе, если один из операндов относится к типу long int, а другой к типу unsigned int, то если long int может представить все значений типа unsigned int, unsigned int преобразуется в long int, иначе оба операнда преобразуются в unsigned long int;
    • иначе, если один операнд имеет тип long int, то второй операнд преобразуется к типу long int;
    • иначе, если один операнд имеет тип unsigned int, то второй операнд преобразуется к типу unsigned int;
    • иначе оба операнда имеют тип int.

В языке С++ нет операций преобразования между символом и кодом символа, т.к. в оперативной памяти символ и так храниться в виде его кода. Поэтому можно к переменной, хранящей символ, прибавить 1 и получить следующий символ.

5. Операции языка C++

Данная таблица описывает операции языка C++. Операции разделены на группы, расположенные в порядке убывания приоритета операций.

Знак операции Наименование Ассоциативность
:: Разрешение области видимости Слева направо
( )    [ ]    .    ->
++    --
static_cast
dynamic_cast
reinterpret_cast
const_cast
Первичные
Постфиксный инкремент и декремент
Преобразование с проверкой во время компиляции
Преобразование с проверкой во время выполенения
Преобразование без проверки
Константное преобразование
Слева направо
-    ~    !    *    &
++    --
sizeof
(<тип>)<выражение>
new
delete
Унарные
Префиксный инкремент и декремент
Вычисление размера
Приведение типа
Выделение памяти
Освобождение памяти
Справа налево
.*    ->* Выбор члена класса Слева направо
*    /    % Мультипликативные Слева направо
+    - Аддитивные Слева направо
<<    >> Сдвиг Слева направо
<    >    <=    >= Отношение Слева направо
==    != Отношение Слева направо
& Поразрядное И Слева направо
^ Поразрядное исключающее ИЛИ Слева направо
| Поразрядное ИЛИ Слева направо
&& Логическое И Слева направо
|| Логическое ИЛИ Слева направо
? : Условная операция Справа налево
=    *=    /=    %=    +=    -=    <<=    >>=    &=    ^=    |= Простое и составное присваивания Справа налево
throw Генерация исключения Слева направо
, Операция последовательного вычисления Слева направо

Порядок вычислений подвыражений внутри выражений не определён. В частности, не стоит предполагать, что выражения вычисляются слева направо.

int x = f(2) + g(3); // Неизвестно, какая функция вызовется первой – f() или g()

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

Логические операции «И» и «ИЛИ», условная операция и операция последовательного вычисления гарантируют определенный порядок вычисления своих операндов. Условная операция вычисляет сначала свой первый операнд, а затем, в зависимости от его значения, либо второй, либо третий операнд. Логические операции также обеспечивают вычисление своих операндов слева направо, причём логические операции вычисляют минимальное число операндов, необходимое для определения результата выражения. Таким образом, второй операнд выражения может вообще не вычисляться. Операция последовательного вычисления обеспечивает вычисление своих операндов по очереди, слева направо. Обратите внимание, что запятая в качестве указателя последовательности логически отличается от запятой, используемой в качестве разделителя параметров при вызове функций.

f1(v[i], i++);
f2((v[i], i++));
// Два параметра
// Один параметр

Вызов функции f1 осуществляется с двумя параметрами v[i] и i++, и порядок вычисления параметров не определён. Расчет на определённый порядок вычисления параметров является исключительно плохим стилем и приводит к непредсказуемому поведению программы. Вызов функции f2 имеет один параметр – последовательность выражений, разделённых запятой. Порядок вычисления гарантирован, и вызов эквивалентен f2(i++).