เป็นไปได้ไหมที่จะใช้ std :: string ใน constexpr

โดยใช้ C ++ 11, อูบุนตู 14.04, toolchain

รหัสนี้ล้มเหลว:

constexpr std::string constString = "constString";

ข้อผิดพลาด: ประเภท 'สตริง const {aka const std :: basic_string}' ของตัวแปร constexpr 'constString' ไม่ใช่ตัวอักษร ... เพราะ ... 'std :: basic_string' มี destructor ที่ไม่สำคัญ

เป็นไปได้ที่จะใช้std::stringในconstexpr? (เห็นได้ชัดว่าไม่ใช่ ... ) ถ้าเป็นเช่นนั้นได้อย่างไร มีวิธีอื่นในการใช้สตริงอักขระในconstexpr?

ไม่และคอมไพเลอร์ของคุณได้ให้คำอธิบายที่ครอบคลุมแล้ว

แต่คุณสามารถทำได้:

constexpr char constString[] = "constString";

ที่รันไทม์สามารถใช้เพื่อสร้าง a 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

เนื่องจากปัญหาคือ destructor ที่ไม่สำคัญดังนั้นหาก destructor ถูกลบออกจาก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;
}