为什么结果不符合我的预期？

Question

#include <iostream>
using namespace std;
typedef void (*pFun)(void);
class A
{
private:    
    int a; 
    int b;
    virtual void outPrint()
    {
        cout << b << endl;
    }
 public:
    A()
    {
        a = 3;      
        b = 4;
    }
};

int main() 
{   
    A obj;
    cout << *((int*)(&obj)+1) << endl;
    pFun pFunc;     
    pFunc = (pFun)*((int*)*(int*)(&obj));   
    pFunc();
    system("pause");
    return 0; 
}

当我调用pFunc()时，我认为结果应该是4，但实际上它是一个随机数。 我调试程序，发现 pFunc 指向 outPrint 函数。我不知道为什么，请帮助我

Answer 1

似乎您假设对象 obj 的地址可以解释为您定义的类型的函数的地址。

它不能。

我不完全确定你为什么一开始会有这样的假设。您可能正在假设有关动态调度的内部实现的事情。但请注意：您希望调用的 A::outPrint 接受 1 个参数（this，未明确定义），而您的 typedef 假定没有参数。因此，即使地址转换工作正常并且您获得的地址是成员函数的地址（这从一开始就是一个延伸），您的调用也是不正确的。

如果将 typedef 更改为：

typedef void (*pFun)(A*);

并且对 That 的调用

pFunc(&obj);

可能会起作用。然而，据我所知，每个规范的行为是未定义的。

Answer 2

仅在遍历 int[] 的情况下，向 int* 加 1 才具有定义的行为。

在所有其他情况下，都没有定义应该发生什么。它是实现定义的，因为成员的最终内存位置未定义。

尝试以不利用编译器细节而是利用标准的方式解决问题。

另外，如果您按照这种方式获得函数地址，将其作为静态方法（没有对象）调用，只会给您带来一些麻烦。

Answer 3

我不太确定你到底想做什么。看起来您正在尝试直接操作指针来获取方法的地址，但由于大约 6 个不同的原因，这是一个非常糟糕的主意。可以获取指向类方法的指针，但它并未绑定到对象，因此您需要小心。

我建议您对指针和 C++ 类有一个根本性的误解，必须先纠正这些误解，然后才能安全地管理其中的任何内容。大多数人不需要函数指针，几乎没有人需要方法指针。

Answer 4

您依赖于各种“未定义的行为”，因此结果取决于您运行的编译器和平台。

(int*)&obj+1（最好写为 ((int*)&obj)+1 以避免误解）不一定是 b 成员。成员之间可能存在填充，并且 &obj 可能与 &(obj.a) 不同，obj 是一个多态对象（因此它的顶部可能有一个 vtable 指针） 。

如果是这种情况，*(int*)&obj 就是被视为 int 的 vtable 地址。将其转换为 int* （假设 int 和指针具有相同的大小），它指向第一个 vtable 条目（很可能是 outPrint 的地址），因此是“随机数”。