constexpr const vs constexpr переменные?

Question

Кажется очевидным, что constexpr означает сопзЬ и, таким образом, он является общим, чтобы увидеть:

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 действительно то же самое?

Answer 1

Проблема заключается в том, что в декларации переменной constexpr всегда применяет свойство const к объявленному объекту; 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; 

эквивалентны. constexprp a const Указатель. const в const char * составляет p. Указывает на const char.

Answer 2

Сообщение об ошибке, которое вы видите, не имеет никакого отношения к ключевому слову constexpr.

Строковый литерал, как "Foo", как в:

somefunction("foo"); 

Тип этой строки литерала const char *. Следующее утверждение:

char *const str = "foo"; 

Это пытается присвоить значение const char * к значению char *. Полученное в результате значение char * неизменяемо, постоянное, но к тому времени уже произошла ошибка: попытка конвертировать const char * в char *.

Ключевое слово constexpr в вашем примере - это просто отвлечение внимания и не имеет никакого отношения к ошибке.

Answer 3

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

Я нахожу это полезным при создании безопасных синглетонов. Я не изучил это полностью и ожидаю, что существуют другие допустимые применения для неконстантных constexpr.

В качестве примера, вот код, который требует неконстантную constexpr:

Start с глобальным определением переменной:

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, это было бы невозможно.

Поскольку неконстантный constexpr действителен, если вы используете constexpr, который должен быть const, вам необходимо явно его объявить.