Почему это работает? (Множественное наследование, нарезка)

Question

Рассмотрим следующий пример:

#include <iostream> 
using namespace std; 

class A 
{ 
public: 
    int x; 
}; 

class B 
{ 
public: 
    int y; 
    B() { y = 0; } 
    B(int var): y(var) {} 
}; 

class C : public A, public B 
{ 
public: 
    void assignB(B x) 
    { 
     *(B *)this = x; // <-- why does this properly assign B? 
    } 
}; 

int main() { 
    C test; 
    test.x = 5; 
    test.y = 10; 
    test.assignB(B(2)); 
    cout << "x " << test.x << endl; 
    cout << "y " << test.y << endl; 
    return 0; 
} 

Что мне интересно, это assignB метод класса C. нормально, что я бы ожидать с типажей, что (B *) this бы типаж this до B* и, следовательно, перезаписать x участник, а не y как это. Однако этот код делает точно противоположное: он правильно? присваивает B часть C.

Только что протестировано на MSVC 2013 и GCC 4.9.2. Оба ведут себя одинаково.

Answer 1

Это потому, что указатель отрегулирован из-за множественного наследования.

Если вы печатаете адрес это было бы очевидно

cout << (long long int)(this) << endl; 
cout << (long long int)((B *)this) << endl; 

рассмотреть также с помощью static_cast. В этом случае простое выполнение стиля C также работает.