我需要实现一个指向成员函数重载的 C++ 函数指针

Question

arma::Mat<double> (*Sum)(arma::Mat<double>, int) = arma::sum; // The function pointer to arma::sum
arma::Mat<double> mat = Sum(A, 1);      //A is of type arma::Mat<double>
std::cout<<mat;

产生错误：

error: no matches converting function ‘sum’ to type ‘class arma::Mat<double> (*)(class arma::Mat<double>, int)’
arma::Mat<double> (*Sum)(arma::Mat<double>, int) = &arma::sum;

我无法理解为

arma::Mat<T> mat;
mat = arma::sum(this->data, 1);
std::cout<<mat;

当模板 T 的类型为 double 时，

会产生所需的结果。请帮帮我，谢谢！！

犰狳文档中 arma::sum 的原型如下：

sum( M )

sum( M, dim ) //dim = 0, 1 for rowise or columnwise sum

Answer 1

我为这种情况保留了一个辅助函数，你想在不关心 return 类型的情况下解决重载问题：

template <class... Params, class R>
auto ovl(R(*f)(Params...)) {
    return f;
}

然后你的初始化变成：

auto Sum = ovl<arma::Mat<double>, int>(arma::sum);

Answer 2

仅仅因为结果可以赋给某个类型的变量，并不意味着，那是方法的签名。

一个函数可以return一个可以转换或赋值给另一个类型的变量的类型。

在这种情况下，要解决问题 - 必须检查原始函数的签名（在头文件中）。

然后就可以创建正确的签名，特别是在函数重载的情况下。

例如，来自 Armadillo 项目的签名：

template<typename T1>
arma_warn_unused
arma_inline
const Op<T1, op_sum>
sum
  (
  const T1& X,
  const uword dim = 0,
  const typename enable_if< is_arma_type<T1>::value       == true  >::result* junk1 = 0,
  const typename enable_if< resolves_to_vector<T1>::value == false >::result* junk2 = 0
  )
  // ignore the implemenation ...

可以看出这个函数 return 是一个 Op 类型，它是一个模板 class。该函数有 2 个对用户参数有用的参数和 2 个由实现使用的元编程参数。

如果您使用 arma::Mat<double> 类型调用此函数，则所选函数的签名为：

const Op<arma::Mat<double>, op_sum> (*sum_func)(const arma::Mat<double>, const uword, const void*, const void*)

正如我在头文件中看到的那样，提供了 sum 函数的 11 个定义。然后还使用元编程来提高实现的性能，这也增加了该功能的参数组合数量，这意味着更多的定义。

所以这个函数的类型其实很复杂。并且由于元编程的缘故，当它被调用时，它不一定是被使用的那个。

为了帮助推导 return 类型，可以使用 decltype。

class Test
{
public:
    int sum (int i){return 1;}
    float sum (float i){return 2.0;}
};

int main()
{
    Test t;

    decltype(t.sum(0)) (Test::* sum_ptr)(int) = &Test::sum;
    return (t.*sum_ptr)(0);
}

我需要实现一个指向成员函数重载的 C++ 函数指针

I need to implement a c++ function pointer to member function overload

c++

pointers

armadillo