Стенли Липпман - Язык программирования C++. Пятое издание

// уровня)

auto d = &i; // d - int* (& объекта int - int*)

auto e = &ci; // e - const int* (& константного объекта - const нижнего

// уровня)

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

const auto f = ci; // выведенный тип ci - int; тип f - const int

Можно также указать, что необходима ссылка на автоматически выведенный тип. Обычные правила инициализации все еще применимы.

auto &g = ci; // g - const int&, связанный с ci

auto &h = 42; // ошибка: нельзя связать простую ссылку с литералом

const auto &j = 42; // ok: константную ссылку с литералом связать можно

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

При определении нескольких переменных в том же операторе важно не забывать, что ссылка или указатель — это часть специфического оператора объявления, а не часть базового типа объявления. Как обычно, инициализаторы должны быть совместимы с автоматически выведенными типами:

auto k = ci, &l = i; // k - int; l - int&

auto &m = ci, *p = &ci; // m - const int& p - указатель на const int

// ошибка: выведение типа из i - int;

// тип, выведенный из &ci - const int

auto &n = i, *p2 = &ci;

Упражнение 2.33. С учетом определения переменных из этого раздела укажите то, что происходит в каждом из этих присвоений.

а = 42; b = 42; с = 42;

d = 42; е = 42; g = 42;

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

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

const int i = 42;

auto j = i; const auto &k = i; auto *p = &i;

const auto j2 = i, &k2 = i;

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

decltype(f()) sum = x; // sum имеет тот тип,

// который возвращает функция f

Здесь компилятор не вызывает функцию f(), но он использует тип, который возвратил бы такой вызов для переменной sum. Таким образом, компилятор назначает переменной sumтот же тип, который был бы возвращен при вызове функции f().

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

const int ci = 0, &cj = ci;

decltype(ci) x = 0; // x имеет тип const int

decltype(cj) y = x; // y имеет тип const int& и связана с x

decltype(сj) z; // ошибка: z - ссылка, она должна быть инициализирована

Поскольку cj— ссылка, decltype (cj)— ссылочный тип. Как и любую другую ссылку, ссылку zследует инициализировать.

Следует заметить, что спецификатор decltype— единственный контекст, в котором переменная определена, поскольку ссылка не рассматривается как синоним объекта, на который она ссылается.

Спецификатор decltypeи ссылки

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