Создание функции проекции C++ std::tuple

Я ищу функцию проекции для std::tuple, Т.е. функция получает список целых чисел в качестве параметров шаблона и возвращает кортеж, значения которого имеют только эти индексы.

Например, рассмотрим у меня есть кортеж tuple<int,String,char,float> tзатем вызов project<1,3>(t) приведет к кортежу типа tuple<String,float>,

Конечно, ключом являются рекурсивные шаблоны. Однако я не могу заставить его работать. Я попытался начать с объявления структуры для вычисления типа возврата операции проекции. Даже это не удается. Вот что я попробовал:

template<typename T, size_t... indexes>
class Projection{
};

// Specialization for no index => Empty tuple
template<>
template<typename... T>
class Projection<std::tuple<T...>>{
   typedef std::tuple<T...> InputTuple;
   typedef std::tuple<> Tuple;
};

// Specialization for one or more parameters
template<size_t Index1, size_t... others>
template<typename... T>
class Projection<std::tuple<T...>,Index1,others...>{
    typedef std::tuple<T...> InputTuple;

    // The type of a projection with one column less
    typedef Projection<std::tuple<T...>,others...> TupleMinusOne;

    // The result type is the catenation of TupleMinusOne plus the column projected in this     step
    typedef decltype(std::tuple_cat(std::make_tuple(std::get<Index1>(InputTuple())),typename TupleMinusOne::Tuple())) Tuple;
};

Это компилируется. Базовый случай с пустым кортежем также работает, то есть:

Projection<std::tuple<int,std::string>>::Tuple t;

результаты в t быть пустым кортежем Однако случай рекурсии не компилируется:

Projection<std::tuple<int,std::string>,1>::Tuple t;

Я получаю следующую ошибку:

Test.cpp:79:1: error: ‘Tuple’ is not a member of ‘Projection<std::tuple<int, float>, 1ul>’

кажется, что рекурсивный случай не распознан, но почему?

Источник

2 ответа

Решение

Рекурсивные шаблоны очень редко нужны; расширение пакета обычно яснее и проще. В этом случае просто используйте tuple_element:

template<typename T, size_t... indexes>
class Projection{
public:
    using Tuple = std::tuple<typename std::tuple_element<indexes, T>::type...>;
};

То же самое для project:

template<size_t... indexes, typename T>
auto project(const T &t) -> typename Projection<T, indexes...>::Tuple {
    return typename Projection<T, indexes...>::Tuple(std::get<indexes>(t)...);
}
Источник

Вы можете использовать следующее:

#define Return(ret) decltype(ret) { return ret; }

template<std::size_t... Is, typename T>
auto project(const T& t) -> Return(std::make_tuple(std::get<Is>(t)...))
Источник
Другие вопросы по тегам