Est-il possible d'utiliser std :: string dans une constexpr?

Utilisation de C ++ 11, Ubuntu 14.04, la chaîne d'outils par défaut de GCC .

Ce code échoue:

constexpr std::string constString = "constString";

erreur: le type 'const string {aka const std :: basic_string}' de la variable constexpr 'constString' n'est pas littéral ... parce que ... 'std :: basic_string' a un destructeur non trivial

Est-il possible d'utiliser std::stringdans un constexpr? (apparemment pas ...) Si oui, comment? Y at - il une autre façon d'utiliser une chaîne de caractères dans un constexpr?

Non, et votre compilateur vous a déjà donné une explication complète.

Mais vous pouvez faire ceci:

constexpr char constString[] = "constString";

Au moment de l'exécution, cela peut être utilisé pour construire un std::stringfichier.

À partir de C ++ 20 , oui.

À partir de C ++ 17 , vous pouvez utiliser string_view:

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

A string_viewest un stringobjet semblable à celui qui agit comme une référence immuable et non propriétaire à toute séquence d' charobjets.

C ++ 20 ajoutera des constexprchaînes et des vecteurs

La proposition suivante a apparemment été acceptée : http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0980r0.pdf et elle ajoute des constructeurs tels que:

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

en plus des versions constexpr de toutes / la plupart des méthodes.

Il n'y a pas de support à partir de GCC 9.1.0, la compilation suivante échoue:

#include <string>

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

avec:

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

avec erreur:

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

std::vectordiscuté à: Impossible de créer constexpr std :: vector

Testé dans Ubuntu 19.04.

Puisque le problème est le destructeur non trivial, donc si le destructeur est supprimé du std::string, il est possible de définir une constexprinstance de ce type. Comme ça

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