В C++ известно, что при инициализации ссылки типы должны совпадать. Таким образом, следующий фрагмент кода вызывает ошибку (в глобальном масштабе, то же самое ниже):
Но есть исключение для ссылки на const, поэтому следующее правильно, если разрешено преобразование типов:
Но если я определяю p как constexpr, возникает ошибка компиляции:
Код: Выделить всё
unsigned i;
constexpr const int & p = i; // error: the value of 'i' is not usable in a constant expression
В сообщении об ошибке говорится, что i не является константой, что, на мой взгляд, не имеет значения, поскольку если я изменю тип со знакового на беззнаковый, т. е. без преобразования типов, произойдет это не ошибка компиляции:
Код: Выделить всё
unsigned i;
constexpr const unsigned & p = i; // ok
здесь можно опустить.
Итак, похоже, что именно преобразование типов вызвало ошибку компиляции в
Код: Выделить всё
unsigned i;
constexpr const int & p = i; // error
Но я не уверен. Не могли бы вы сообщить мне, какое стандартное правило C++ вызвало эту ошибку? Я тестировал приведенные выше коды как в GCC, так и в MSVC на C++20.
Подробнее здесь:
https://stackoverflow.com/questions/792 ... erent-type
Мобильная версия