主页 / coding / 问题 / 79438856
Accepted
Raildex
Asked: 2025-02-14 17:12:05 +0800 CST

如何约束std::input_iterator的值类型？

  • 772

我现在有以下代码：

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

Godbolt 演示

foo::data是 s 的容器bar。它的构造函数需要两个迭代器。

bar我想将输入迭代器限制为仅包含 astd::vector<bar>::iterator或 a的容器迭代器std::list<bar>::iterator

我如何利用概念来实现这一点？

c++

2 个回答

  1. Best Answer

    您可以添加一个requires子句来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> 
{
   // ...
}

    现场演示

    • 5

  2. 你可以结合两个概念：std::input_iterator它的value_type存在bar：

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

    并将其与以下项一起使用create_foo：

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

    居住

    • 3

相关问题