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

R>Ну да, и чтоб вот так нельзя было:

R>

R>int* (*pointer)(А*)=&D::a;
R>

Так никто не мешает преобразовывать типы. Просто указатель &D::a имел бы тип int* (*)(D*);
А вот &A::a имел бы int* (*)(A*); В чем вопорос-то? Где типы преобразовывать? Или что?

R>И чем твой вариант принципиально лучше чем:

R>

R>int D::*pointer = &D::a;
R>

Тем что я могу его передать в сторонню динамическую библиотеку.

R>Да и вообще, пользоваться указателями на функции в наше время, это что-то странное.
у вас есть какие-то предубеждения против указателей на функцию? Впролне понятное и конкретное значение, в отличии от int D::*