Официальные отличия T, T & T &&

Question

Я ищу нормативную ссылку на Стандарт.

Мы можем объявить переменную ссылочного типа следующим образом:

int a = 5; 
int &b = a; 

Формально, тип a является int, но тип b является int&. Итак, почему мы можем инициализировать int& с помощью int? Я искал стандартное преобразование для этих типов, но похоже, что нет.

Answer 1

Вы можете инициализировать int& с int, потому что стандарт говорит:

переменная объявлена ​​T& или T&&, то есть, «ссылка на тип T» (8.3.2), должны быть инициализированы объект или функцию типа T или объектом, который может быть преобразован в T.

(N3936, 8.5.3/1)

Там нет "стандартного преобразования" от T к T& и

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

(N3936, 13.3.3.1.4/1; курсив мой)