Ist es möglich, std :: string in einem constexpr zu verwenden?

Unter Verwendung von C ++ 11, Ubuntu 14.04, GCC Standard-Toolchain .

Dieser Code schlägt fehl:

constexpr std::string constString = "constString";

Fehler: Der Typ 'const string {aka const std :: basic_string}' der constexpr-Variablen 'constString' ist nicht wörtlich ... weil ... 'std :: basic_string' einen nicht trivialen Destruktor hat

Ist es möglich, std::stringin einem zu verwenden constexpr? (anscheinend nicht ...) Wenn ja, wie? Gibt es eine alternative Möglichkeit, eine Zeichenfolge in a zu verwenden constexpr?

Nein, und Ihr Compiler hat Ihnen bereits eine umfassende Erklärung gegeben.

Aber Sie könnten dies tun:

constexpr char constString[] = "constString";

Zur Laufzeit kann dies verwendet werden, um std::stringbei Bedarf eine zu erstellen .

Ab C ++ 20 ja.

Ab C ++ 17 können Sie Folgendes verwenden string_view:

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

A string_viewist ein stringähnliches Objekt, das als unveränderlicher, nicht besitzender Verweis auf eine beliebige Folge von charObjekten fungiert.

C ++ 20 fügt constexprZeichenfolgen und Vektoren hinzu

Der folgende Vorschlag wurde anscheinend angenommen : http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0980r0.pdf und fügt Konstruktoren hinzu, wie:

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

zusätzlich zu constexpr Versionen aller / der meisten Methoden.

Ab GCC 9.1.0 gibt es keine Unterstützung. Folgendes kann nicht kompiliert werden:

#include <string>

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

mit:

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

mit Fehler:

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

std::vectordiskutiert unter: constexpr std :: vector kann nicht erstellt werden

Getestet in Ubuntu 19.04.

Da das Problem der nicht triviale Destruktor ist std::string, kann eine constexprInstanz dieses Typs definiert werden , wenn der Destruktor aus dem entfernt wird . So was

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