c++ - C++ 中指向成员的指针在内部是如何工作的？

Question

我想知道指向成员的指针在 C++ 中是如何工作的。

我查看了一些地方，发现它们存储了某种偏移量。并使用这样一个事实，即成员在内存中的出现顺序与它们在类/结构定义中声明的顺序相同。但是...

#include <iostream>
#include<typeinfo>
using namespace std;
struct S
{
    S(int n): mi(n) {}
    int mi;
    int k;
    int f()  {return mi+k;}
};

int main()
{
    S s(7);
    int S::*pmi = &S::mi;
    int S::*lop = &S::k;
    int (S::*sf)() = &S::f;
    cout<<&S::mi<<endl<<&S::k<<endl<<&S::f<<endl<<pmi<<endl<<lop<<endl<<sf<<endl;
    cout<<typeid(lop).name()<<endl;
}

我希望看到某种抵消。但是，第一行中带有 cout<< 的所有值都将 1 作为输出。

我不明白，如果都给1，关于偏移量的信息存储在哪里？

如果您能解释真正发生的事情，那将非常有帮助。

Answer 1

Iostreams 插入运算符没有成员指针的重载。

然而，bool 有一个重载，指向成员的指针可以隐式转换为 bool - 指向成员的空指针被转换为 false，否则为 true。 bool 如果为真则流式传输为 1，如果为假则流式传输为 0。因此，您观察到的输出是指向成员的所有指针都不为空。

I tried incrementing by ++.. but that too doesn't work..

递增不起作用，因为指向成员的指针不支持指针运算。

So , is there any way of actually seeing the offset values?

任何东西都可以看作是一个字节数组，所以你可以用一个小的辅助函数来惊叹成员指针的内容:

template<class T>
void print_raw(const T& obj) {
    const unsigned char* cptr = reinterpret_cast<const unsigned char*>(&obj);
    const unsigned char* end = cptr + sizeof(T);
    while(cptr < end) {
        printf("%02hhx ", *cptr++); // is there simple way with iostreams?
    }
    std::cout << '\n';
}

std::cout << "pmi: ";
print_raw(pmi);
std::cout << "lop: ";
print_raw(lop);
std::cout << "sf:  ";
print_raw(sf);

我系统上的示例输出:

pmi: 00 00 00 00 00 00 00 00 
lop: 04 00 00 00 00 00 00 00 
sf:  f0 08 40 00 00 00 00 00 00 00 00 00 00 00 00 00 

这可能会让您了解编译器是如何实现它们的。请注意，如果实现包含任何填充字节/位，则这些可能具有任何值，因此任何非零值都可能没有意义。

成员对象指针输出看起来很明显。它看起来像对象中的 little endian 64 位偏移量。 mi 偏移量为 0，k 偏移量为 4 字节。