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

R>>

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

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

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

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