c++ - iterator_traits::value_type 的创建是否会在传递时触发遵从？ (异常测试)

Question

我在故意为不特别遵守迭代器的函数抛出异常(出于测试目的)时遇到了麻烦。要了解我在做什么，请带上我的 decorator_iterator结构:

struct decorated_iterator
      : boost::iterator_adaptor<
            decorated_iterator<BaseIterator, IteratorTag>,
            BaseIterator, boost::use_default, IteratorTag>
    {
        //....
    private:
        friend class boost::iterator_core_access;

        /* used to throw an exception upon dereference */
        typename base_type::reference dereference() const
        {
            m_callback();
            return *(this->base());
        }

    private:
        std::function<void()> m_callback;
    };

decorator_iterator让我将回调附加到在取消引用时触发的迭代器，使用它我可以测试异常抛出

try {

    copy(
        decorated_iteartor(iter, [](){throw std::runtime_error("test");}),
        decorated_iterator(iter, [](){}),
        begin(destiter));
}
//catch runtime!

这个函数非常适合我的一些具体取消引用指针的实现，例如

[](reference it) {
    //triggers callback
    *it = ...
}

我现在的问题是当我在处理 std::count 的并行实现时，我所有的异常测试都失败了。我的猜测是我从来没有在我的 lambda 函数中特别取消引用迭代器，而是使用 iterator_traits<InIter>::value_type .如果值类型不会取消引用，我可以在 decorator_iterator 中修改什么？或者我的函数导致回调被执行？给我带来麻烦的特定计数重载:

template <typename ExPolicy, typename InIter, typename T>
typename detail::algorithm_result<ExPolicy, 
    typename std::iterator_traits<InIter>::difference_type>::type
count(ExPolicy const& policy, InIter first, InIter last, const T& value,
boost::mpl::false_ f)
{
    //get a value_type to compare to passed value
    typedef typename std::iterator_traits<InIter>::value_type type;
    typename std::iterator_traits<InIter>::difference_type ret = 0;

    //from first to last, execute the following lambda
    for_each_n(policy,
        first, std::distance(first,last),
        [&value, &ret](type v) {
            if (v == value)
                ret++;
        }, f);

    return detail::algorithm_result<ExPolicy, 
        typename std::iterator_traits<InIter>::difference_type>::get(std::move(ret));

}

注意:我尝试简单地修改 lambda 以传入 InIter ref并使用 *ref但这不会起作用并且会给我错误。

Answer 1

迭代器只提供一组定义明确的操作。

除了使用标准定义的取消引用操作(间接运算符，或 *it )之外，我不知道任何其他(定义明确的)取消引用迭代器的方法。

您可以看到优化的实现，例如std::vector::iterator，(例如，如果元素类型是 POD，则使用 memcpy/memmov)。然而，我认为对于一个库(在本例中是您的并行算法库)来说，对用户提供的迭代器做出这样的假设是一个坏主意。换句话说，如果库检测到基本迭代器类型并以绕过用户定义迭代器的副作用的方式对其进行优化，那将是一个严重的bug 在我看来。

跳出框框，一个解释可能是异常不会(立即)从工作线程传播。我不知道是什么ExPolicy是，但它可能是异常(exception)政策。

我完全可以想象算法会返回 future<size_t> (可能取决于 ExPolicy 参数)因此您不会看到异常 直到您 .get() future 的值(value)？