Здравствуйте, rg45, Вы писали:

R>Да идею-то я понял. Я не понимаю, каким образом тебе мешает то, что выражение &D::a имеет тип int A::*. Что для тебя изменилось бы, если бы тип был int D:*?
Очень просто это мешает единообразно вычислять смещение от начала класса D т.к. указатель приводится к классу A. То есть придётся еще дополнительно явно указывать класс D.