¿Es posible usar std :: string en un constexpr?

Usando C ++ 11, Ubuntu 14.04, cadena de herramientas predeterminada de GCC .

Este código falla:

constexpr std::string constString = "constString";

error: el tipo 'const string {aka const std :: basic_string}' de la variable constexpr 'constString' no es literal ... porque ... 'std :: basic_string' tiene un destructor no trivial

¿Es posible usar std::stringen un constexpr? (aparentemente no ...) Si es así, ¿cómo? ¿Hay alguna forma alternativa de usar una cadena de caracteres en un constexpr?

No, y tu compilador ya te dio una explicación completa.

Pero podrías hacer esto:

constexpr char constString[] = "constString";

En tiempo de ejecución, esto se puede utilizar para construir un std::stringcuando sea necesario.

A partir de C ++ 20 , sí.

A partir de C ++ 17 , puede usar string_view:

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

A string_viewes un stringobjeto similar que actúa como una referencia inmutable y no propietaria de cualquier secuencia de charobjetos.

C ++ 20 agregará constexprcadenas y vectores

Al parecer, la siguiente propuesta ha sido aceptada : http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0980r0.pdf y agrega constructores como:

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

Además de las versiones constexpr de todos / la mayoría de los métodos.

No hay soporte a partir de GCC 9.1.0, lo siguiente no se compila:

#include <string>

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

con:

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

con error:

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

std::vectordiscutido en: No se puede crear constexpr std :: vector

Probado en Ubuntu 19.04.

Como el problema es el destructor no trivial, si el destructor se elimina del std::string, es posible definir una constexprinstancia de ese tipo. Me gusta esto

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