Возможно ли «глубокое» выведение аргументов шаблона?

Question

Дело в том, что у меня есть шаблонная функция, и я хочу использовать ее в качестве обратного вызова:

template <class ...Ind>
void fill_given_rows(mat& matrix, Ind ...ind){

Она вызывает функцию-член класса следующим образом:

template<typename F, class ... Args>
void pic::modify(F func, Args ... args){
  func(matrix, args...);
}

который в своем порядке вызывает от main как:

matrix.modify(fill_given_rows, 0, 2, 3);

gcc дает мне такой вывод:

50:41: error: no matching function for call to 'pic::modify(<unresolved overloaded function type>, int, int, int)'
50:41: note: candidate is:
27:8: note: template<class F, class ... Args> void pic::modify(F, Args ...)
27:8: note:   template argument deduction/substitution failed:
50:41: note:   couldn't deduce template parameter 'F'

Вот полная версия кода:

#include <vector>
#include <array>
#include <initializer_list>
#include <type_traits>

typedef std::vector<std::vector<int>> mat;

template <class ...Ind>
void fill_given_rows(mat& matrix, Ind ...ind){
  std::array<std::common_type_t<Ind...>, sizeof...(Ind)> lines = {{ind...}};
  int height = matrix.size();
  int width = matrix[0].size();

  for(auto row: lines){
    for(int y=0; y<width; y++){
        matrix[row][y]=1;
    }
  }
}

class pic{
public:
  pic(int width, int height); //generate empty matrix

  //callback for all matrix modification 
  template<typename F, class ... Args>
  void modify(F, Args ...); 

private:
  mat matrix;
};

pic::pic(int width, int height){
  matrix.resize(height);
  for(auto& row: matrix){
    row.resize(width);
  }
}

template<typename F, class ... Args>
void pic::modify(F func, Args ... args){
  func(matrix, args...);
}


int main() {
  int width=10, height=5;
  pic matrix(width, height);

  matrix.modify(fill_given_rows, 0, 2, 3);

  return 0;
}

Почему это не работает?

Answer 1

Может быть, если вы используете функционал вместо шаблона функции?

Что-то вроде

struct foo
 {
   template <typename ... Ind>
   void operator() (mat & matrix, Ind ...ind) {
      std::array<std::common_type_t<Ind...>, sizeof...(Ind)> lines = {{ind...}};
      int height = matrix.size();
      int width = matrix[0].size();

      for(auto row: lines){
         for(int y=0; y<width; y++){
            matrix[row][y]=1;
         }
      }
   }
 };

// ...

foo f;

matrix.modify(f, 0, 2, 3);

Проблема с вашим кодом

// ...........vvvvvvvvvvvvvvv  template function              
matrix.modify(fill_given_rows, 0, 2, 3);

в том, что функцияшаблон не объект, а набор объектов.

И вы не можете передать набор объектов в качестве аргумента функции.

Вы можете выбрать правильный объект изустановить, объясняя типы шаблонов

// ...........vvvvvvvvvvvvvvvvvvvvvvvvvvvvvv  now is a single object              
matrix.modify(fill_given_rows<int, int, int>, 0, 2, 3);

, но (ИМХО) это немного неудобно.

Передав функционал (с шаблоном operator()), вы передаете один объект, который "содержит"шаблон функции.