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

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

本文关键字：函数 成员 重载 指针 c++ 一个 实现      更新时间：2023-10-16
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

仅仅因为结果可以分配给某种类型的变量，这并不意味着这是方法的签名。

函数可以返回一个类型，该类型可以转换或分配给其他类型的变量。

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

然后就可以创建正确的签名，特别是如果函数存在重载。

例如，犰狳项目的签名：

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 ...

可以看出，此函数返回一个Op类型，该类型是一个模板类。该函数有 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 个定义。然后还使用元编程来提高实现的性能，这也增加了该函数的参数组合数量，这意味着更多的定义。

所以这个函数的类型实际上是相当编译的。由于元编程，当它被调用时，它不一定是使用的那个。

为了帮助扣除返回类型，可以使用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);
}

我只为这种情况保留了一个辅助函数，如果您想在不关心返回类型的情况下解决重载：

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

然后，您的初始化将变为：

auto Sum = ovl<arma::Mat<double>, int>(arma::sum);
相关文章：