Início / coding / Perguntas / 79332425
Accepted
miyan
Asked: 2025-01-06 15:52:40 +0800 CST

como construir uma constexpr static_string a partir de constexpr std::string_view

  • 772

Eu tenho um modelo static_string

template <std::size_t N>
struct static_string {
    std::array<char, N + 1> elements_; 

    constexpr static_string() noexcept : elements_{} {}

    constexpr static_string(const char (&data)[N + 1]) noexcept {
        for (size_t i = 0; i < N + 1; i++) {
            elements_[i] = data[i];
        }
    }
};

template <std::size_t N>
static_string(const char (&)[N]) -> static_string<N - 1>;

Funciona bem quando usadoconstexpr static_string str1("this is a str");

E eu quero construir a partir de um constexpr std::string_view, então eu adiciono:

    constexpr static_string(std::string_view sv) noexcept {
        for (size_t i = 0; i < N; ++i) {
            elements_[i] = sv[i];
        }
    }

então se eu usar

   constexpr std::string_view sv = "this is a str";
   constexpr static_string<sv.size()> str2(sv);

o compilador produz

<source>: In function 'int main()':
<source>:33:47: error: 'static_string<13>{std::array<char, 14>{std::__array_traits<char, 14>::_Type{'t', 'h', 'i', 's', ' ', 'i', 's', ' ', 'a', ' ', 's', 't', 'r'}}}' is not a constant expression
   33 |     constexpr static_string<sv.size()> str2(sv);
      |                                               ^
<source>:33:47: error: 'static_string<13>(sv)' is not a constant expression because it refers to an incompletely initialized variable
Compiler returned: 1

Então, por que essa expressão não foi avaliada como uma constante? É possível construir a partir de constexpr std::string_view? Obrigado, veja https://www.godbolt.org/z/6TToEPnch

c++

1 respostas

  1. Best Answer

    A mensagem de erro emitida pelo compilador é enganosa.

    Na verdade, o problema não está relacionado à entrada, string_viewmas ao fato de que ela elements_não está totalmente inicializada, o que não é permitido em um constexprconstrutor
    <ref necessária
    talvez https://timsong-cpp.github.io/cppwp/n4861/expr.const#11.4

    Uma expressão constante é... se o valor for um objeto de classe ou tipo de matriz, cada subobjeto satisfaz essas restrições para o valor.

    >.

    Para corrigir isso, basta adicionar o caractere de terminação nulo ausente:

    #include <array>
#include <iostream>
#include <string_view>

template <std::size_t N>
struct static_string {
    std::array<char, N + 1> elements_;

    constexpr static_string() noexcept : elements_{} {}

    constexpr static_string(const char (&data)[N + 1]) noexcept {
        for (size_t i = 0; i < N + 1; i++) {
            elements_[i] = data[i];
        }
    }

    constexpr static_string(const std::string_view& sv) noexcept {
        for (size_t i = 0; i < N; ++i) {
            elements_[i] = sv[i];
        }
        elements_[N] = '\0';  // completing the initialization of the object
    }
};

template <std::size_t N>
static_string(const char (&)[N]) -> static_string<N - 1>;

int main() {
    constexpr std::string_view sv = "this is a str";
    constexpr static_string str1("this is a str");
    constexpr static_string<sv.size()> str2(sv);
}

    AO VIVO

    (aliás, você também pode passar a string_viewreferência by const)

    • 7

relate perguntas