'deep'模板参数推导是否可行？

Is 'deep' template argument deduction posible?

本文关键字：是否 参数 deep      更新时间：2023-10-16

关键是，我有模板函数，我想把它用作回调：

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;
}

为什么它不起作用？

也许如果您使用函数模板而不是函数模板？

作为

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()(将传递"包含"函数模板的单个对象。

相关文章：