Да, а что означает over.over#note-2 (на который я случайно наткнулся, читая этот ответ)? Я действительно не понимаю.
Для контекста я копирую текст over.over#2 ниже:
Если цель отсутствует, выбираются все названные функции, не являющиеся шаблонами. В противном случае для типа функции FT целевого типа выбирается нешаблонная функция с типом F, если F (возможно, после применения преобразования указателя функции ([conv.fctptr])) идентично FT.
[Примечание 2: То есть класс, членом которого является функция, игнорируется при сопоставлении с типом указателя на функцию-член. - конец примечания]
Итак, может ли кто-нибудь показать мне пример, где "класс, членом которого является функция, игнорируется при сопоставлении с тип указателя на функцию-член"?
Подробнее здесь: https://stackoverflow.com/questions/781 ... overnote-2
