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

R>>>

R>>>    D d{};
R>>>    auto m = &A::a;

R>>>    std::cout << d.*m << std::endl;
R>>>

_>>Уже позно запрещать. Не нужно было вводить указатели на неведомую фигню.
_>>У вас есть указатель на typedef? Тут примерно тоже самое. Сами себе создали проблемы и потом в лучщих традициях: породили новую сущность, породили методы работы с ней, но они не стыкуются с уже имеющимися,а и так сойдет.

R>Чё-то эмоции через край, а на вопрос так и не ответил. Допустимо такое использование указателя на член, или нет? С твоей точки зрения, разумеется. Желательно с обоснованием.

Да допустимо. При условии что тип d приводится к A а потом применяется указатель на поле класса A.