Question

我正在尝试制作一个函数包装器，该函数包装器带有一个带有1个模板参数的函数，并在另一个头文件中使用它。基本上，主程序会计算一些定义my_function的变量，这些变量用于在CGAL中定义“ criteria.h”标头。这里是“ sizing_fun.h”，其中包含函数和函数包装器：

template <typename Point_vec>
double my_function(double x, double y, Point_vec list_of_points)
{
  //use list_of_points
  return 4.0+(x*x+y*y);
}

template <typename FT, typename Point_2, typename Point_vec>
class FT_to_point_function_wrapper : public std::binary_function<Point_2, Point_vec, FT>
{
  typedef FT (*Implicit_function)(FT, FT, FT);
  Implicit_function function;
 public:
  FT_to_point_function_wrapper(Implicit_function f) : function(f) {}
  FT operator()(Point_2 p, Point_vec list) const { return function(p.x(), p.y(), std::forward<Point_vec>(list)); } //error line
};

在“ criteria.h”中，我将my_func用作上面定义的函数包装器。 pcc是Point_2参数，而my_list是Point_vec参数。

double local_squared_size_bound = my_func(pcc,my_list);

我出现错误消息：

sizing_fun.h:17: error: cannot convert 'std::vector<CGAL::Point_2<CGAL::Epick>, std::allocator<CGAL::Point_2<CGAL::Epick> > >' to 'double' in argument passing

因此，似乎Point_vec类型没有正确传递。

我意识到这篇文章： C++ function call wrapper with function as template argument 但是我认为这是不同的，因为其功能没有模板参数。

Answer 1

typedef FT (*Implicit_function)(FT, FT, FT);

您声明该函数对所有3个参数都接受相同的类型，并且还返回相同的类型。

应该是typedef FT (*Implicit_function)(FT, FT, Point_vec);

修正Implicit_function的签名，问题就不存在了。

如果至少是C ++ 11，则还应该首选std::function而不是原始函数指针，以便可以接受带有绑定/捕获的函数或lambda。

FT_to_point_function_wrapper::function应该声明为const，因为它只能由构造函数中的初始化程序列表设置。如果使用的是C ++ 11，则还可以将FT_to_point_function_wrapper::FT_to_point_function_wrapper声明为constexpr。

FT_to_point_function_wrapper::operator()也应声明为const。

具有模板参数的函数的C ++函数包装器

1 个答案: