constexprでstd :: stringを使用することは可能ですか？

C ++ 11、Ubuntu 14.04、GCCデフォルトツールチェーンを使用します。

このコードは失敗します：

constexpr std::string constString = "constString";

エラー：constexpr変数 'c​​onstString'のタイプ 'const string {aka const std :: basic_string}'はリテラルではありません... 'std :: basic_string'は自明でないデストラクタを持っているためです

それを使用することが可能であるstd::stringにconstexpr？（どうやらそうではない...）もしそうなら、どうやって？で文字列を使用する別の方法はありconstexprますか？

いいえ、コンパイラはすでに包括的な説明を提供しています。

しかし、あなたはこれを行うことができます：

constexpr char constString[] = "constString";

実行時に、これを使用してstd::string必要なときにを構築できます。

以下のようC ++ 20はい、。

とおり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を作成できません

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