constexpr에서 std :: string을 사용할 수 있습니까?

C ++ 11, Ubuntu 14.04, GCC 기본 툴체인 사용 .

이 코드는 실패합니다 :

constexpr std::string constString = "constString";

오류 : constexpr 변수 'constString'의 'const string {aka const std :: basic_string}'유형은 리터럴이 아닙니다 ... 왜냐하면 'std :: basic_string'은 사소한 소멸자를 갖지 않기 때문입니다.

그것은 사용할 수 있습니다 std::stringA의 constexpr? (분명히 아닙니다 ...) 그렇다면 어떻게? 에서 문자열을 사용하는 다른 방법이 constexpr있습니까?

아니요, 컴파일러는 이미 포괄적 인 설명을 제공했습니다.

그러나 당신은 이것을 할 수 있습니다 :

constexpr char constString[] = "constString";

런타임에 이것은 std::string 필요할 때 .

현재로 20 ++ C , 예.

현재 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를 만들 수 없습니다

우분투에서 테스트 19.04.

문제는 사소하지 않은 소멸자이므로 소멸자가에서 제거되면 해당 유형 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;
}