如何定义和设置指向模板类方法的功能指针

How to define and set a funtion pointer to a template class method

本文关键字：类方法 指针 功能 设置 何定义 定义      更新时间：2023-10-16

我需要将一个函数指针变量设置为X的方法，该变量是模板类X的方法。

下面是一个简单的示例。

X.h：

template<typename T>
class X {
public:
typedef T (*valproc)(T v);
X(T v);
T add(T v);
T val;
valproc curproc;
};

X.cpp：

#include  "X.h"
template<typename T>
X<T>::X(T v) : val(v) {
curproc = &X<T>::add;
}
template<typename T>
T X<T>::add(T v) {
return v+val;
}
int main (int iArgC, char *apArgV[]) {
X<int> *p = new X<int>(3);
return  p->curproc(7);
}

当我编译它时，我收到一个错误：

$ g++ -c -g -Wall X.cpp
X.cpp: In instantiation of 'X<T>::X(T) [with T = int]':
X.cpp:15:29:   required from here
X.cpp:5:13: error: cannot convert 'int (X<int>::*)(int)' to 'X<int>::valproc {aka int (*)(int)}' in assignment
curproc = &X<T>::add;

显然

int (X：:* ((int
( 与
int (*((int
( 不同

如何定义正确的类型？

X<int>::add是一个非静态成员函数。 这意味着&X<int>::add具有int(X<int>::*)(int)的类型：指向非静态成员函数的指针，该函数X<int>采用单个int参数并返回int。 这样的指针不能转换为int(*)(int)。

int(X<int>::*)(int)在概念上更类似于int(*)(X<int>*, int)而不是int(*)(int)(尽管根据平台的调用约定或是否涉及继承，实现实际上可能有很大不同(。 它需要一个额外的隐藏X<int>*参数：this指针。

执行所需操作的最简单方法是使用包装器方法：

template<typename T>
class X {
public:
using valproc = T(X::*)(T v);
X(T v)
: val{v},
proc{&X::add}
{}
T add(T v) { return v + val; }
T curproc(T v) { return (this->*proc)(v); }
T val;
valproc proc;
};

现场演示

时髦的语法(this->*proc)(i)说"使用参数i调用this指向的对象上的proc指向的成员函数"。

#include <stdio.h>
template<typename T>
class X {
public:
X(T v);
T add(T v);
T val;
int (X::*curproc)(T v);
};
template<typename T>
X<T>::X(T v) : val(v) {
curproc = &X<T>::add;
}
template<typename T>
T X<T>::add(T v) {
return v+val;
}
int main()
{
printf("Hello Worldn");
X<int> *p = new X<int>(3);
printf("%dn",  (p->*(p->curproc))(7));
}

通常的模板类在头文件中定义。 您可以在此处找到更多信息：

  • 为什么我不能将模板类的定义与其声明分开，并将其放在.cpp文件中？
  • 如何避免模板函数出现链接器错误？
  • C++关键字导出如何帮助模板链接器错误？

更改

return  p->curproc(7);

自

return (p->*(p->curproc))(7);

*(p->currproc( 是函数指针，需要在 p 对象指针上调用

详情

C++函数指针(类成员(到非静态成员函数

相关文章：