применить преобразование к вектору с индексом, используя функцию шаблона - PullRequest
0 голосов
/ 22 мая 2019

Я пытаюсь применить преобразование к вектору, одновременно добавляя индекс в функцию преобразования. Я использую следующую функцию преобразования transformWithIndex. Если я удаляю idx из result.push_back(itransformationFunction(idx, element));, он работает правильно.

Я понял, что у меня есть дополнительный аргумент. Но я не понимаю как изменить функцию преобразования для обработки IDX.


// Example program That can be tested
#include <iostream>
#include <string>
#include <vector>

template <typename Range, class TransformationFunction>
inline std::vector<typename std::result_of<TransformationFunction(typename Range::value_type)>::type>
transformWithIndex(const Range &iRange, const TransformationFunction &itransformationFunction) {
  std::vector<typename std::result_of<TransformationFunction(typename Range::value_type)>::type> result;
  int                                                                                            idx = 0;
  for (auto &&element : iRange) {
    result.push_back(itransformationFunction(idx, element));
    idx++;
  }
  return result;
}

int main()
{
   std::vector<int> source = {1, 2, 3};
   std::vector<int> result = transformWithIndex(source, [](int i) { return ++i; });

   return 0;
}

Ошибки следующие:

>  In instantiation of 'std::vector<typename
> std::result_of<TransformationFunction(typename
> Range::value_type)>::type> transformWithIndex(const Range&, const
> TransformationFunction&) [with Range = std::vector<int>;
> TransformationFunction = main()::<lambda(int)>; typename
> std::result_of<TransformationFunction(typename
> Range::value_type)>::type = int]': 21:82:   required from here 12:58:
> error: no match for call to '(const main()::<lambda(int)>) (int&,
> const int&)' 21:58: note: candidates are: 12:58: note: int (*)(int)
> <conversion> 12:58: note:   candidate expects 2 arguments, 3 provided
> 21:65: note: main()::<lambda(int)> 21:65: note:   candidate expects 1
> argument, 2 provided

1 Ответ

2 голосов
/ 22 мая 2019

Вы вызываете itransformationFunction(idx, element) (2 аргумента), тогда как ваша лямбда однажды ожидает один.

Измените вызов на что-то вроде:

transformWithIndex(source, [](int index, int &elem) { return index + 1; })

, и ваш result_of должен быть также зафиксирован наinclude index:

template <typename Range, class TransformationFunction>
std::vector<typename std::result_of<TransformationFunction(std::size_t, typename Range::value_type)>::type>
transformWithIndex(const Range &iRange, const TransformationFunction &itransformationFunction) {
  std::vector<typename std::result_of<TransformationFunction(std::size_t, typename Range::value_type)>::type> result;
  int                                                                                            idx = 0;
  for (auto &&element : iRange) {
    result.push_back(itransformationFunction(idx, element));
    idx++;
  }
  return result;
}

и std::decay_t, вероятно, следует применять для обработки случаев, когда функтор возвращает ссылочные или константные объекты.

...