Início / coding / Perguntas / 79438856
Accepted
Raildex
Asked: 2025-02-14 17:12:05 +0800 CST

Como restringir o tipo de valor de std::input_iterator?

  • 772

No momento tenho o seguinte código:

#include <iterator>
#include <vector>
struct bar{};
struct details {};
struct foo {
    details det;
    std::vector<bar> data;
};

template <std::input_iterator Iter>
foo create_foo(const details& details, Iter begin, Iter end) {
    return foo {
        .det = details,
        .data = {begin, end}
    };
}

int main() {

    std::vector<bar> bars = {bar{},bar{},bar{}};
    create_foo({}, bars.begin(), bars.end());
    return 0;
}

Demonstração do Godbolt

foo::dataé um Container para bars. Seu construtor recebe dois Iteradores.

Quero restringir os iteradores de entrada para serem iteradores de contêineres contendo barapenas, por exemplo, um std::vector<bar>::iteratorou umstd::list<bar>::iterator

Como eu conseguiria isso com conceitos?

c++

2 respostas

  1. Best Answer

    Você pode adicionar uma requirescláusula para create_foo:

    template <std::input_iterator Iter>
foo create_foo(const details& details, Iter begin, Iter end) 
              requires std::is_same_v<typename Iter::value_type, bar> 
{
   // ...
}

    Demonstração ao vivo

    • 5

  2. você pode combinar dois conceitos: std::input_iteratore seu value_typeser bar:

    template <typename T>
concept input_iterator_bar =
    std::input_iterator<T> && std::same_as<bar, typename T::value_type>;

    E use-o com create_foo:

    template <input_iterator_bar  Iter>
foo create_foo(const details& details, Iter begin, Iter end) {
...

    AO VIVO

    • 3

relate perguntas