指向成员变量和模板

Question

我目前正在使用模板化函数来评估数学函数的导数，就像这样

template <class func_type>
arma::mat matrixDerivative
   (func_type func, const double x, double h, double b=1.4) {
      // <implementation details>
}

template参数允许我使用函数指针或函子来评估右侧。

有没有简单的方法可以扩展它，以评估作为类方法的函数的派生类？ 我无法全神贯注地使用指向成员函数的函数指针，也无法解决将函子作为类属性仍然可以访问其父级的属性和方法的细节。

我的问题通常不清楚，因此在回答之前，请随时在评论中要求澄清。

Answer 1

在C ++ 11中，只需使用lambda：

[&]( double x )->double {
  return ptr->method(x);
}

生成一个可以用double调用的函数对象。 上面的构造假定将在当前作用域结束之前使用和丢弃lambda（否则[&]是不安全的）。

请注意，对于C ++ 11中的单行和void返回lambda，可以省略->double ，而对于C ++ 1y中的多行lambda，也可以省略->double如果您可以确定其推导的返回类型（基于第一个）函数中的return语句）。

在C ++ 03中，可以使用std::mem_fun ，也可以创建一个自定义函数对象。

在C ++ 1y中：

[&](auto&&... x) {
  return ptr->method(std::forward<decltype(x)>(x)...);/
}

创建一个完美转发的函子包装。 在认真的工业库代码之外，即使在C ++ 1y中，我也很少这样做。 不再那么冗长：

[&](auto&&... x) {
  return ptr->method(x...);
}

这可以让我们不完美地前进，并将重载的选择推迟到lambda的使用点，而不是lambda的编写点，这可能很好。 （如果任何方法使用右值或按值调用，那么回到完美的转发就很诱人）

在C ++ 11中， std::mem_fn要求所讨论的方法不要重载，或者必须手动解决重载（使用看起来像奥秘的强制转换）。 然后， std::bind用一个完美转发的函数对象包装它。 该过程的主要优点是，在定义实现的同时，可以确定构造的类型，因此您可以使用一个函数来返回所讨论的类型。 但是，这是一个非常深奥的优势：我会选择lambda。

Lambdas虽然很奇怪，但在C ++中却越来越常见，在我的经验中，它们比链bind mem_fun表达式更容易理解它们在做什么，因为它们看起来更像是“普通”代码（在克服“魔术”之后）。