boost：：adaptor：：filters core dumps with boost：：range_detail：:d efault_constructible_unary_fn_wrapper

boost::adaptor::filtered core dumps with boost::range_detail::default_constructible_unary_fn_wrapper "Assertion `m_impl' failed"

本文关键字：boost efault constructible unary wrapper fn range filters adaptor core dumps      更新时间：2023-10-16

运行此代码时，boost::range_detail::default_constructible_unary_fn_wrapper内部出现断言失败。断言似乎在检查函子是否已在筛选器对象内部初始化。

#include <boost/range/adaptor/filtered.hpp>
#include <iomanip>
#include <iostream>
#include <map>
#include <unordered_map>
#include <vector>
template<class RangeType>
static auto get_range_and_range_size(const RangeType& in_range, std::input_iterator_tag) -> auto {
    /*
     * we have an InputRange, but we need to know the size of the range.
     * so we eagerly copy the values into a vector so we can get the size of the range
     * and also return the range.
     * */
    auto out_range = std::vector<decltype(*std::begin(in_range))>(
        std::begin(in_range),
        std::end(in_range)
    );
    return std::make_tuple(std::move(out_range), out_range.size());
}
template<class RangeType>
static auto get_range_and_range_size(const RangeType& in_range, std::forward_iterator_tag) -> auto {
    return std::make_tuple(std::ref(in_range), boost::distance(in_range));
}
struct Cache {
    std::unordered_map<int, int> m_map;
    template<class RangeT>
    auto Insert(RangeT in_range) -> void {
        typename std::iterator_traits<
            decltype(std::begin(in_range))
        >::iterator_category iterator_category;
        std::cout << "No core dump yet!n";
        auto range_and_range_size = get_range_and_range_size(
            boost::adaptors::filter(
                in_range,
                /*
                 * filter out any keys that are already in the cache and NOT TTLed yet
                 * */
                [this](const auto& key_value) -> bool {
                    const auto find_itr = m_map.find(key_value.first);
                    return (m_map.end() == find_itr)    /*  the key was not in the cache    */
                           || hasTTLed(find_itr->second);  /*  the key was in the cache but its value has TTLed  */
                }
            ),
            iterator_category
        );
        for(auto&& key_value : std::get<0>(range_and_range_size)) {
            m_map.emplace(key_value);
        }
        std::cout << "Can't reach this code. :(n";
    }
    auto hasTTLed(int) const noexcept -> bool {
        /*
         *  TTL impl goes here
         */
        return false;
    }
};
auto main(int, char*[]) -> int {
    Cache a{};
    std::vector<std::pair<int, int>> v{
        {0, 0},
        {1, 1},
        {2, 2},
        {3, 3}
    };
    a.Insert(v);
    std::map<int, int> b{
        {0, 1},
        {1, 0},
        {2, 1},
        {3, 1}
    };
    a.Insert(b);
}

无论coliru使用什么版本的boost，以及1.60，我都能得到这个。

在coliru上复制。

你能帮我了解a）这里发生了什么吗？b）我是如何解决的？

这是一个生存期问题。

问题出现在get_range_and_range_size中，它正在捕获const RangeType&，而本应捕获RangeType&&。将std::ref返回到以这种方式捕获的临时范围会导致调用作用于range_and_range_size的代码中未初始化的范围。

get_range_and_range_size的这些定义解决了这个问题。

template<class RangeType>
static auto get_range_and_range_size(RangeType&& in_range, std::input_iterator_tag) -> auto {
    /*
     * we have an InputRange, but we need to know the size of the range.
     * so we eagerly copy the values into a vector so we can get the size of the range
     * and also return the range.
     * */
    auto out_range = std::vector<decltype(*std::begin(in_range))>(
        std::begin(in_range),
        std::end(in_range)
    );
    const auto out_size = out_range.size(); /*  capture the value before moving the container   */
    return std::make_tuple(std::move(out_range), out_size);
}
template<class RangeType>
static auto get_range_and_range_size(RangeType&& in_range, std::forward_iterator_tag) -> auto {
    const auto size = boost::distance(in_range); /*  capture the value before moving the container   */
    return std::make_tuple(std::move(in_range), size);
}
相关文章：