使用 Typedef 指定模板参数

Question

我希望能够将两个连接的迭代器作为一个传递，以利用一些类似 stl 的算法（例如 TBB），因此我正在制作一个自定义迭代器来连接它们，但遇到了一些障碍。

我需要专门化迭代器，但是它不允许我一般地指定模板参数。

像这样：

template<typename IT1, typename IT2>
struct multi_iter : public std::iterator<
                            std::output_iterator_tag,
                            std::pair<IT1::value_type&, IT2::value_type&> >
{
.
:

但是它会让我这样做，但这不是我

template<typename IT1, typename IT2>
struct multi_iter : public std::iterator<
                            std::output_iterator_tag,
                            std::pair<int&, int&> >
{
.
:

收到此错误

multi_iter.cpp:12:53: error: template argument 2 is invalid
multi_iter.cpp:12:55: error: template argument 2 is invalid
multi_iter.cpp:12:55: error: template argument 4 is invalid
multi_iter.cpp:12:55: error: template argument 5 is invalid
.
:

后的样子我确实有 std::pair

任何帮助将不胜感激。

谢谢

Answer 1

value_type 是 IT1 的依赖类型，因此您必须在那里指定 typename

typename IT1::value_type

Answer 2

你试过这个吗？

template<typename IT1, typename IT2>
struct multi_iter : public std::iterator<
                            std::output_iterator_tag,
                            std::pair< typename IT1::value_type&, typename IT2::value_type& > >
{
.
:

Answer 3

template<typename IT1, typename IT2>
struct multi_iter : public std::iterator<
                            std::output_iterator_tag,
                            std::pair<IT1::value_type&, IT2::value_type&> >

IT1::value_type 依赖于类型参数并且是一种类型，因此需要通过 typename 关键字指定：

template<typename IT1, typename IT2>
struct multi_iter : public std::iterator<
                            std::output_iterator_tag,
                            std::pair<typename IT1::value_type&, typename IT2::value_type&> >

顺便说一句，如果您想“压缩”两个迭代器（即迭代两个序列{1, 2}和{"a", "b"}，如(1, "a"), then (2, "b"))，看一下zip_iterator 来自 boost.iterators 库。