Чи можна використовувати std :: string в constexpr?

Використовуючи C ++ 11, Ubuntu 14.04, GCC за замовчуванням .

Цей код не вдається:

constexpr std::string constString = "constString";

помилка: тип 'const string {aka const std :: basic_string}' змінної constexpr 'constString' не є буквальним ... тому що ... 'std :: basic_string' має нетривіальний деструктор

Чи можливо використовувати std::stringв constexpr? (мабуть, ні ...) Якщо так, то як? Чи є альтернативний спосіб використання символьного рядка в constexpr?

Ні, і ваш упорядник вже дав вам вичерпне пояснення.

Але ви могли це зробити:

constexpr char constString[] = "constString";

Під час виконання це може бути використано для побудови програми, std::stringколи це необхідно.

Що стосується C ++ 20 , так.

Станом на C ++ 17 ви можете використовувати string_view:

constexpr std::string_view sv = "hello, world";

A string_view- stringподібний об'єкт, який діє як незмінна, невласна посилання на будь-яку послідовність charоб'єктів.

C ++ 20 додасть constexpr рядки та вектори

Наступна пропозиція була прийнята : http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0980r0.pdf, і вона додає такі конструктори, як:

// 20.3.2.2, construct/copy/destroy
constexpr
basic_string() noexcept(noexcept(Allocator())) : basic_string(Allocator()) { }
constexpr
explicit basic_string(const Allocator& a) noexcept;
constexpr
basic_string(const basic_string& str);
constexpr
basic_string(basic_string&& str) noexcept;

на додаток до constexpr версій усіх / більшості методів.

Не існує підтримки GCC 9.1.0, не вдалося компілювати:

#include <string>

int main() {
    constexpr std::string s("abc");
}

з:

g++-9 -std=c++2a main.cpp

з помилкою:

error: the type ‘const string’ {aka ‘const std::__cxx11::basic_string<char>’} of ‘constexpr’ variable ‘s’ is not literal

std::vectorобговорювали на: Неможливо створити constexpr std :: vector

Тестовано в Ubuntu 19.04.

Оскільки проблема полягає в нетривіальному деструкторі, тому якщо деструктор буде видалений з std::string, можливо визначити constexprекземпляр цього типу. Подобається це

struct constexpr_str {
    char const* str;
    std::size_t size;

    // can only construct from a char[] literal
    template <std::size_t N>
    constexpr constexpr_str(char const (&s)[N])
        : str(s)
        , size(N - 1) // not count the trailing nul
    {}
};

int main()
{
    constexpr constexpr_str s("constString");

    // its .size is a constexpr
    std::array<int, s.size> a;
    return 0;
}