• Преобразование указателей и ссылок. Любой указатель на тип объекта можно преобразовать в указатель типа

(см. разделы 17.8 и 27.3.5). Указатель (ссылка) на производный класс можно неявно преобразовать в указатель (ссылку) на доступный и однозначно определенный базовый класс (см. раздел 14.3). Константное выражение (см. разделы A.5 и 4.3.1), равное нулю, можно неявно преобразовать в любой другой тип указателя. Указатель типа можно неявно преобразовать в указатель . Аналогично ссылку можно неявно преобразовать в ссылку типа .

• Булевы преобразования. Указатели, целые числа и числа с плавающей точкой можно неявно преобразовать в значение типа

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

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

• Обычные арифметические преобразования. Эти преобразования выполняются над операндами бинарных операторов, чтобы привести их к общему типу, а затем использовать этот тип для представления результата.

1. Если один из операндов имеет тип

, то другой преобразовывается в тип . В противном случае, если один из операндов имеет тип , другой преобразовывается в тип . В противном случае, если один из операндов имеет тип , другой преобразовывается в тип . В противном случае над обоими операндами целочисленного типа выполняется продвижение.

2. Если один из операндов имеет тип

, то другой преобразовывается в тип . В противном случае, если один из операндов имеет тип , а другой — , значение типа преобразуется в значение типа , при условии, что тип может представить все значения типа . В противном случае оба операнда преобразовываются в тип . В противном случае, если один из операндов имеет тип , другой преобразовывается в тип . В противном случае, если другой операнд имеет тип , другой преобразовывается в тип . В противном случае оба операнда имеют тип .

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

Кроме стандартных преобразований и продвижений, программист может определить преобразования типов, определенных пользователем. Конструктор, принимающий один аргумент, определяет преобразование этого аргумента в значение своего типа. Если конструктор имеет спецификатор

(см. раздел 18.3.1), то преобразование происходит, только если программист явно потребует его выполнить. В противном случае преобразование может быть неявным.

Константное выражение (constant expression) — это выражение, которое может быть вычислено на этапе компиляции и содержит только операнды типа

. (Это немного упрощенное определение, но для большинства целей оно вполне подходит.) Рассмотрим пример.

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

, инициализаторов перечислений и шаблонных аргументов типа . Рассмотрим пример.

В выражении

аргумент может быть типом или выражением. Если — выражение, то значением является размер результирующего объекта. Если — тип, то значением является размер объекта типа . Размеры измеряются в байтах. По определению .

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

Эти операторы применяются к каждому биту своих операндов, в то время как логические операторы (

и ) трактуют число как значение , а все — как . Определения этих операторов приведены ниже.