Có thể sử dụng chuỗi std :: trong constexpr không?

Sử dụng C ++ 11, Ubuntu 14.04, chuỗi công cụ mặc định GCC .

Mã này không thành công:

constexpr std::string constString = "constString";

lỗi: loại 'const chuỗi {aka const std :: basic_opes}' của biến constexpr 'constString' không theo nghĩa đen ... bởi vì ... 'std :: basic_opes' có hàm hủy không tầm thường

Có thể sử dụng std::stringtrong một constexpr? (dường như không ...) Nếu vậy, làm thế nào? Có cách nào khác để sử dụng chuỗi ký tự trong a constexprkhông?

Không, và trình biên dịch của bạn đã cung cấp cho bạn một lời giải thích toàn diện.

Nhưng bạn có thể làm điều này:

constexpr char constString[] = "constString";

Trong thời gian chạy, điều này có thể được sử dụng để xây dựng std::stringkhi cần thiết.

Kể từ C ++ 20 , vâng.

Kể từ C ++ 17 , bạn có thể sử dụng string_view:

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

A string_viewlà một stringđối tượng giống như hoạt động như một tham chiếu bất biến, không sở hữu đối với bất kỳ chuỗi charđối tượng nào.

C ++ 20 sẽ thêm constexprchuỗi và vectơ

Đề xuất sau đây đã được chấp nhận rõ ràng: http://www.open-std.org/jtc1/sc22/wg21/docs/ con / 2018 / p0980r0.pdf và nó thêm các nhà xây dựng như:

// 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;

ngoài các phiên bản constexpr của tất cả / hầu hết các phương thức.

Không có hỗ trợ nào kể từ GCC 9.1.0, sau đây không thể biên dịch:

#include <string>

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

với:

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

có lỗi:

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

std::vectorthảo luận tại: Không thể tạo constexpr std :: vector

Đã thử nghiệm trong Ubuntu 19.04.

Vì vấn đề là hàm hủy không tầm thường nên nếu loại bỏ hàm hủy khỏi std::string, nên có thể xác định một constexprthể hiện của loại đó. Như thế này

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;
}