Boost::Adaptors::Strided 在 Boost::Adaptors::Transformed 之后无法

boost::adaptors::strided cannot be used after boost::adaptors::transformed?

本文关键字：Boost Adaptors 之后 Strided Transformed      更新时间：2023-10-16

以下内容不能在Visual Studio 2010上编译：

std::vector<int> v;
for (int i = 0; i < 10; ++i) v.push_back (i);
struct TrivialTrafo {
    typedef int result_type;
    int operator () (int i) const { return 1; }
};
auto x = v | boost::adaptors::transformed (TrivialTrafo ()) 
     | boost::adaptors::strided (2);

编译器抱怨（错误消息最初是德语，我的翻译）：

error C2664: 
'boost::range_detail::strided_iterator<BaseIterator,Category>::strided_iterator
(const boost::range_detail::strided_iterator<BaseIterator,Category> &)':
Conversion of parameter 1 from
'boost::range_detail::strided_iterator<BaseIterator,Category>' into
'const boost::range_detail::strided_iterator<BaseIterator,Category> &'
not possible 
          with
          [
BaseIterator=boost::iterators::transform_iterator<
TEST_rectnew_getRows::TrivialTrafo,std::_Vector_iterator<
std::_Vector_val<int,std::allocator<int>>>>,
Category=boost::iterators::detail::iterator_category_with_traversal<
std::input_iterator_tag,boost::iterators::random_access_traversal_tag>
          ]
          and
          [
BaseIterator=boost::iterators::transform_iterator<
TEST_rectnew_getRows::TrivialTrafo,std::_Vector_iterator<
std::_Vector_val<int,std::allocator<int>>>>,
Category=boost::iterators::random_access_traversal_tag
          ]
          and
          [              
BaseIterator=boost::iterators::transform_iterator<
TEST_rectnew_getRows::TrivialTrafo,
std::_Vector_iterator<std::_Vector_val<int,std::allocator<int>>>
>,
Category=boost::iterators::detail::iterator_category_with_traversal<
std::input_iterator_tag,boost::iterators::random_access_traversal_tag>
          ]

我正在使用 Boost 1.57。

显然，operator |尝试使用错误的Category模板参数值构造strided_range？

这是一个错误，还是我做错了什么？

是的，这是 Neil Groves 重写 strided.hpp 中的一个错误（从 1.56 开始，所以如果需要，你可以恢复到那个版本的 boost）。我已提交工单：https://svn.boost.org/trac/boost/ticket/10989

单行修复：

--- a/include/boost/range/adaptor/strided.hpp
+++ b/include/boost/range/adaptor/strided.hpp
@@ -603,7 +603,7 @@ namespace boost
         template<
             class Rng,
             class Category =
-                typename iterator_traversal<
+                typename iterators::pure_iterator_traversal<
                     typename range_iterator<Rng>::type
                 >::type
         >

我想你很困惑。它实际上工作正常：

#include <boost/range/adaptors.hpp>
#include <iostream>
struct TrivialTrafo {
    typedef int result_type;
    int operator () (int i) const { return i; }
};
int main()
{
    std::vector<int> v;
    for (int i = 0; i < 10; ++i) v.push_back (i);
    for (auto&& x : v | boost::adaptors::transformed (TrivialTrafo ()) 
        | boost::adaptors::strided (2))
    {
        std::cout << x << " ";
    }
}

指纹

0 2 4 6 8

看起来您希望转换采用迭代器而不是范围的值类型？

更新啊，这可能是增强范围库中的回归/更改，因为它无法编译 Live On Coliru

这意味着它确实适用于Boost 1.55，但不适用于Coliru使用的任何内容：

http://coliru.stacked-crooked.com/a/f7a2ee559e0cf008 说是1.57

相关文章：