Início / coding / Perguntas / 79420035
Accepted
Arjonais
Asked: 2025-02-07 15:19:08 +0800 CST

Como verificar se o parâmetro do modelo é um contêiner de comprimento fixo usando o conceito?

  • 772

Gostaria de ter um conceito que verifica se um tipo é um contêiner de comprimento fixo. O tipo pode ser um array estilo C, um std::array, a std::spanou um contêiner personalizado. Posso verificar a condição do contêiner conforme mostrado no código abaixo, mas não consigo fazer com que ele verifique a condição de comprimento.

template <typename T, size_t N>
concept fixed_container =
   requires (T const& t)
   {
       {std::size(t)} -> std::same_as<size_t>;
       {std::begin(t)};
       {std::end(t)};
   }
   // && std::declval<T>().size() == N // Error: 'declval() must not be used!'
   // && T::size() == N // Error: 'call to non-static member function without an object argument'
   ;

// These should all be correct
static_assert( fixed_container<std::array<double, 3>, 3>);
static_assert(!fixed_container<std::array<double, 3>, 4>);
static_assert( fixed_container<std::span<double, 3>,  3>);
static_assert(!fixed_container<std::span<double, 3>,  4>);
static_assert( fixed_container<double[3],             3>);
static_assert(!fixed_container<double[3],             4>);

Alguma ideia?

EDIT: O bloco

   requires (T const& t)
   {
       {std::size(t)} -> std::same_as<size_t>;
       {std::begin(t)};
       {std::end(t)};
   }

pode ser substituído por uma única linha

   std::ranges::sized_range<T>
c++

1 respostas

  1. Best Answer

    [...] mas não consigo fazer com que ele verifique a condição de comprimento.

    Você precisará lidar com isso separadamente. Por exemplo, você pode fazer o seguinte ( Que é inspirado por uma pergunta semelhante mencionada nos comentários ):

    template<typename T>
constexpr std::size_t get_fixed_size()
{
   if constexpr (std::is_array_v<T>)            return std::extent_v<T>;
   else if constexpr (requires { T::extent; })  return T::extent; // For std::span
   else if constexpr (requires { std::tuple_size<T>::value; })  
         return std::tuple_size<T>::value;   // For std::array
   else  return 0;
}

template<typename T, std::size_t N>
concept fixed_container = requires(T const& t)
{
   { std::size(t) } -> std::same_as<std::size_t>;
   { std::begin(t) };
   { std::end(t) };
}
&& get_fixed_size<std::remove_cvref_t<T>>() == N;

    Veja a demonstração ao vivo

    • 5

relate perguntas