多重继承和this指针

Multiple inheritance and the this pointer

本文关键字：指针 this 多重继承      更新时间：2023-10-16

假设我有这个结构体:

struct vector_data
{
    double x, y;
    double& operator[](size_t index)
    {
        return * (static_cast<double*>(static_cast<void*>(this)) + index);
    }
};

操作符[]应该按预期工作，因为vector_data是POD类型。预期的行为是vector_data[0]返回x，而vector_data[1]返回y。

现在假设我有第二个结构体:

struct more_data
{
    double evil_data;
    // There could be more here, data or functions
};

然后像这样推导出

struct composed : public more_data, public vector_data
{
};

这会破坏操作符[]的预期行为吗?换句话说，派生结构体中vector_data的this指针是否仍然指向结构体的vector_data部分，还是指向派生结构体的开始?

如果它销毁操作符[]，那么我如何解决这个问题?我可以先从vector_data继承，但假设组合包含虚函数。我知道大多数编译器把虚函数表放在最后，但这并不能保证。最好的方法是什么?

抛开你不正确的指针算术问题(x和y之间填充的可能性使你的假设无效)，这里有一个快速的说明，当你使用多重继承时，this指针会发生什么:

#include <iostream>
using namespace std;
struct a {
    int aa;
    void showA() {
        cerr << this << endl;
    }
};
struct b {
    int bb;
    void showB() {
        cerr << this << endl;
    }
};
struct c : public a, b {
    int cc;
    void showC() {
        cerr << this << endl;
    }
};
int main() {
    c x;
    x.showA();
    x.showB();
    x.showC();
}

showA和showB打印不同的数字;showC与showA打印相同的数字，因为a在碱基列表中列在第一位。如果您将a和b切换到这里，那么showC和showB将是相同的。"魔力"在于c++编译器:它足够聪明，可以给每个成员函数一个正确的this指针。

可能你想要的是:

struct vector_data
{
   union 
   {
        struct 
        {
            double x, y;
        }; 
        double data[2];
   }; 
   double& operator[](size_t index)
   {
       return data[index];
   }
}
相关文章：