адаптер диапазона повышения, который делает коллекцию

Я хочу написать повышающий адаптер, чтобы поместить его в конец цепочки адаптеров для создания коллекции, например:

set<string> s = input | filtered(...) | transformed(...) | to_set;

Использование метода 3.1 Я написал приведенный ниже код, который работает так, как ожидалось:

namespace detail
{
    struct to_set_forwarder
    {
    };
};

template <class R> inline auto operator|(R& r, detail::to_set_forwarder)
{
    return set<R::value_type>(r.begin(), r.end());
}

template <class R> inline auto operator|(const R& r, detail::to_set_forwarder)
{
    return set<const R::value_type>(r.begin(), r.end());
}

namespace
{
    const auto to_set = detail::to_set_forwarder();
}

void F()
{
    vector<string> input{ "1", "2", "3" };
    auto result = input
        //| boost::adaptors::filtered([](const auto& _) { return true; })
        | to_set;
}

Но если я раскомментирую эту строку, я получу:

ошибка C2338: стандарт C++ запрещает контейнеры с элементами const, поскольку распределитель неправильно сформирован.

Если я сделаю первый параметр operator| равным &&, тогда это будет работать, пока я не раскомментирую строку filtered(), и тогда я получу:

ошибка C2825: «R»: должен быть классом или пространством имен, если за ним следует «::»

Как правильно это сделать?


c++ boost boost-range boost-adaptors
person Jay Bazuzi    schedule 27.06.2017    source источник

Ответы (1)


arrow_upward
2
arrow_downward

Как говорится, стандартные контейнеры не могут хранить константные элементы. И вы не хотите (потому что вы все равно храните копии. Если вы хотите, чтобы они были постоянными, вы можете сделать контейнер const).

Исправление:

template <class R> inline auto operator|(const R& r, detail::to_set_forwarder)
{
    return std::set<typename R::value_type>(r.begin(), r.end());
}

(удаление const).

Прямой эфир на Coliru

#include <boost/range.hpp>
#include <boost/range/adaptors.hpp>
#include <set>
#include <vector>
#include <iostream>
#include <string>

namespace detail
{
    struct to_set_forwarder
    {
    };
}

template <class R> inline auto operator|(R& r, detail::to_set_forwarder)
{
    return std::set<typename R::value_type>(r.begin(), r.end());
}

template <class R> inline auto operator|(const R& r, detail::to_set_forwarder)
{
    return std::set<typename R::value_type>(r.begin(), r.end());
}

namespace
{
    const auto to_set = detail::to_set_forwarder();
}

void F()
{
    std::vector<std::string> input{ "1", "2", "3", "2" };
    auto result = input
        | boost::adaptors::filtered([](const auto& _) { return true; })
        | to_set;

    for (auto x : result)
        std::cout << x << " ";
}

int main() {
    F();
}

Отпечатки

1 2 3

PS: вам не хватает квалификации typename (иногда попробуйте другой компилятор, кроме MSVC)

PS: Вы можете boost::copy_range:

auto result = boost::copy_range<std::set<std::string> >(input
    | boost::adaptors::filtered([](const auto& _) { return true; })
    );
person sehe    schedule 27.06.2017