Почему существует правило наличия нестатических элементов в унаследованных правилах стандартной компоновки?

Я читаю очень хорошая статья о POD, Trivial, Standard-layout классах. Но у меня есть вопрос к правилу классов стандартного макета:

либо не имеет нестатических членов данных в самом производном классе и не более одного базового класса с нестатическими членами данных, или не имеет базовых классов с нестатическими членами данных

Я написал исходный код:

#include <iostream>

struct A {
int a;
};

struct B {
int b;
};

struct C : A, B {
int c;
};

int main() {
C c = {}; // initialize C
c.a = 0xffffffff;
c.b = 0xeeeeeeee;
c.c = 0xdddddddd;
std::cout << std::hex << *(reinterpret_cast<int*>(&c)  ) << std::endl;
std::cout << std::hex << *(reinterpret_cast<int*>(&c)+1) << std::endl;
std::cout << std::hex << *(reinterpret_cast<int*>(&c)+2) << std::endl;
}

Результат:

ffffffff
eeeeeeee
dddddddd

Я думаю, что это работает очень хорошо. И с использованием отладчика в VS2015, это выглядит хорошо.

Тогда почему существует ограничение на наличие нестатических элементов в унаследованных правилах стандартной компоновки?