Кажется очевидным, что constexpr подразумевает const и, следовательно, обычно видно:
constexpr int foo = 42; // no const here
Однако, если вы пишете:
constexpr char *const str = "foo";
Затем GCC вызовет "предупреждение: устаревшее преобразование из строковой константы в" char * ", если передан флаг Wwrite-string.
Запись:
constexpr const char *const str = "foo";
решает проблему.
Значит, constexpr const и constexpr действительно одинаковы?
Проблема заключается в том, что в объявлении переменной constexpr всегда применяется const -ness к объявленному объекту; const, с другой стороны, может применяться к другому типу, в зависимости от места размещения.
Таким образом,
constexpr const int i = 3;
constexpr int i = 3;
эквивалентны;
constexpr char* p = nullptr;
constexpr char* const p = nullptr;
эквивалентны; оба делают p a const указатель на char.
constexpr const char* p = nullptr;
constexpr const char* const p = nullptr;
эквивалентны. constexpr делает указатель p a const. const в const char * делает p точкой const char.
Сообщение об ошибке, которое вы видите, не имеет никакого отношения к ключевому слову constexpr.
Строковый литерал типа "foo", как в:
somefunction("foo");
Тип этого строкового литерала const char *. Следующее утверждение:
char *const str = "foo";
Это пытается присвоить значение const char * значению char *. Результирующее значение char * не изменяет, константу, но к тому времени уже произошла ошибка: попытка конвертировать a const char * в char *.
Ключевое слово constexpr в вашем примере - это просто отвлечение внимания и не влияет на ошибку.
Нет. Сказать, что они то же самое означает, что нет времени, чтобы не использовать const, было бы справедливо без создания функционально идентичного кода для версии const.
Я считаю это полезным при создании безопасных синглетонов. Я не изучил это полностью и ожидаю, что существуют другие допустимые применения для не const constprpr.
В качестве примера здесь приведен код, который требует не const constprpr:
Начните с глобального определения переменной:
int global_int_;
И теперь мы можем создать функцию constexpr, которая возвращает ссылку на нее:
constexpr int& get_global()
{
return global_int_;
}
Теперь мы можем использовать эту ссылку где-то еще:
int main()
{
constexpr int& i{ get_global() };
// do stuff with i
return 0;
}
Теперь мы можем использовать i как неконстантный int. Если подразумевалось const, это было бы невозможно.
Поскольку не const constexpr действительно, если вы используете constexpr, который должен быть const, вам нужно явно объявить его.