如何在C++中将成员变量指针转换为泛型类型

Question

我的应用程序中的代码与此类似:

class A
{
  public: int b;
}

class C
{
  public: int d;
}

void DoThings (void *arg1, MYSTERYTYPE arg2);

A obj_a;
C obj_c;

DoThings(&obj_a, &A::b);
DoThings(&obj_c, &C::d);

问题是 - MYSTERYTYPE应该是什么？尽管如果你通过printf输出它并且A :: b被打印得很好,那么void*和int都不会工作.

澄清:是的,&A :: b是在C++下定义的.是的,我正试图获得班级成员的抵消.是的,我很棘手.

编辑:哦,我可以使用offsetof().不管怎么说,还是要谢谢你.

Answer 1

您有一个指向两个不相关类的数据成员指针.好吧,你找不到一个可以同时拥有两个指针的常见类型.它只有在函数参数是一个指向派生成员的数据成员指针时才有效,因为它保证包含成员,如果一个基数包含它:

struct a { int c; }; struct b : a { }; int main() { int b::*d = &a::c; }

更新:我想我应该写出为什么以上转换a::*为b::*隐式.毕竟,我们通常b*要a*!考虑:

struct a { };
struct b : a { int c; };
struct e : a { };
int main() { int a::*d = &b::c; e e_; (e_.*d) = 10; /* oops! */ }

如果以上是有效的,你真的会搞砸了.以上是不合法的,因为从转换b::*到a::*不隐.如您所见,我们分配了一个指向b :: c的指针,然后我们可以使用一个根本不包含它的类取消引用它!(e).编译器强制执行此顺序:

int main() { int b::*d = &b::c; e e_; (e_.*d) = 10; /* bug! */ }

它现在无法编译,因为e它不是派生自b成员指针指针所属的类.好!但是,以下内容非常有效并且编译,当然(更改了类a和b):

struct a { int c; };
struct b : a { };
struct e : a { };
int main() { int e::*d = &a::c; e e_; (e_.*d) = 10; /* works! */ }

要使其适用于您的案例,您必须使您的函数成为模板:

template<typename Class>
void DoThings (int Class::*arg) { /* do something with arg... */ }

现在,编译器将自动推导出给定成员指针所属的正确类.您必须将实例与成员指针一起传递才能实际使用它:

template<typename Class>
void DoThings (Class & t, int Class::*arg) { 
    /* do something with arg... */ 
    (t.*arg) = 10;
}

如果您只想设置一些您在编写DoThings时已经知道的成员,则以下内容足够:

template<typename Class>
void DoThings (Class & t) {  
    t.c = 10;
}