Bir constexpr içinde std :: string kullanmak mümkün mü?

C ++ 11, Ubuntu 14.04, GCC varsayılan araç zinciri kullanılarak .

Bu kod başarısız:

constexpr std::string constString = "constString";

hata: 'constString' constexpr değişkeninin 'const dizesi {aka const std :: basic_string}' harfi değişmez ... çünkü ... 'std :: basic_string' önemsiz olmayan bir yıkıcıya sahip

Kullanmak mümkün mü std::stringbir de constexpr? (görünüşe göre değil ...) Öyleyse, nasıl? A karakter dizgisini kullanmanın alternatif bir yolu var mı constexpr?

Hayır, derleyiciniz size kapsamlı bir açıklama yaptı.

Ama bunu yapabilirsiniz:

constexpr char constString[] = "constString";

Çalışma zamanında, bu std::stringgerektiğinde bir zaman oluşturmak için kullanılabilir .

İtibariyle 20 C ++ , evet.

İtibariyle C ++ 17 , şunları kullanabilirsiniz string_view:

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

A string_view, herhangi bir stringnesne dizisine değişmez, sahip olmayan bir referans olarak hareket eden benzer bir charnesnedir.

C ++ 20, constexprdizeler ve vektörler ekleyecektir

Aşağıdaki teklif açıkça kabul edildi : http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0980r0.pdf ve aşağıdaki gibi yapıcıları ekler:

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

tüm / çoğu yöntemin constexpr sürümlerine ek olarak.

GCC 9.1.0'dan itibaren destek yoktur, aşağıdakiler derlenemez:

#include <string>

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

ile:

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

hatalı:

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

std::vectortartışıldığı yer: constexpr std :: vector oluşturulamıyor

Ubuntu 19.04'te test edildi.

Sorun önemsiz yıkıcı olmadığından yıkıcı kaldırılırsa , bu tür std::stringbir constexprörnek tanımlamak mümkündür . Bunun gibi

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