Вопрос об ошибке компиляции constexpr в C++, возможно, связанной с преобразованием типов. ⇐ C++

[Anonymous]

В C++ известно, что при инициализации ссылки тип должен совпадать. Таким образом, следующий фрагмент кода вызывает ошибку (в глобальном масштабе, то же самое ниже):

Код: Выделить всё

unsigned i;
int & p = i;

Но есть исключение для ссылки на const, поэтому следующее правильно, если разрешено преобразование типов:

Код: Выделить всё

unsigned i;
const int & p = i;

Но если я определяю p как constexpr, возникает ошибка компиляции:

Код: Выделить всё

unsigned i;
constexpr const int & p = i;

В сообщении об ошибке говорится, что i не является константой, что, на мой взгляд, не имеет значения, поскольку если я изменю тип со знакового на беззнаковый, т. е. без преобразования типов, произойдет это не ошибка компиляции:

Код: Выделить всё

unsigned i;
constexpr const unsigned & p = i;

Код: Выделить всё

const

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

Код: Выделить всё

unsigned i;
constexpr const int & p = i;

Но я не уверен. Не могли бы вы сообщить мне, какое стандартное правило C++ вызвало эту ошибку? Я протестировал приведенные выше коды как в GCC, так и в MSVC на C++20.

Подробнее здесь: https://stackoverflow.com/questions/792 ... o-type-con