上课＆＃x27;方法地址

Question

我要您帮助我理解这个概念。也许我不明白，我不知道..所以我有此示例代码：

#include <iostream>



class X{
    int a;
    public:
        void do_lengthy_work();

};

void X::do_lengthy_work(){
    std::cout << a << std::endl;
}

int main(){
    X my_x;    
    printf("%p\n", &X::do_lengthy_work); // -> does compile
    printf("%p\n", &my_x.do_lengthy_work); // -> doesn't compile,
    // error: ISO C++ forbids taking the address of a bound member function to 
    // form a pointer to member function. Say &X::do_lengthy_work
}

我在一本书中看到了这个代码样本。我认为除非有一个要获得该函数地址的对象，否则我们无法获得类'方法的地址。但是事实证明，我们只能获得类的方法地址，而不是对象的方法地址。我以为每当我们声明一个类的对象时，都会有自己的方法，并带有单独的地址。另外，如果我们执行这样的操作：

#include <iostream>



class X{
    int a;
    public:
        void do_lengthy_work();
        int b;

};

void X::do_lengthy_work(){
    std::cout << a << std::endl;
}

int main(){
    X my_x;
    printf("%p\n", &X::do_lengthy_work);
    printf("%p\n",&X::b);
    printf("%p",&my_x.b);
}

示例输出是：

0x562446a9c17a
0x4
0x7ffe7491a4cc

类方法和对象的变量地址更改。但是B的变量地址不会改变。它始终是0x4，远离0x00的4个字节，因为它是一个int变量。但是，为什么它的地址如此接近0x00，但是函数的地址距离较远？另外 - 重复以前的代码示例中的问题 - 为什么我们无法获得绑定的成员函数的地址，但是我们可以使用类方法？

例如，我们可以做到这一点：

&X::method

但是不是这样：

&object.method

我开始思考 - 如果我对的话，你能纠正我吗？ - 在声明类时，一类的变量一次初始化一次（因此，当打印x :: b的地址时，我们会看到0x4的地址对象（因此，我们会看到0x7ffe7491a4cc在打印My_x.b的地址时，但是仅一次初始化方法，每个对象都使用相同的方法，而相同的方法始终在同一地址上？

Answer 1

您基本上可以将x视为实现这样的事情：

struct X{
    int a;
    int b;
};
void X__do_lengthy_work(X* this);

方法与正常函数几乎相同，仅在添加了指针的隐藏参数到类实例的情况下。

类的每个实例都使用相同的方法。

将指针指向特定实例的方法可能会产生误导，因为这可能意味着您可以在不提供实例的情况下调用该方法，这就是我猜为什么该语言不允许您这样做。