Указатели на нестатическую функцию-член «формально» не считаются указателями

Я наткнулся на это, в котором говорится:

Member function pointers are not pointers. Pointers to non-member functions, including static member functions, are pointers.

Приведенная выше цитата, кажется, предполагает, что указатели на нестатическую функцию-член не являются указателями.

Точно так же я читаю здесь:

A member pointer is a different type category from a ordinary pointer.


мой вопрос, что приведенные выше цитаты технически (формально по стандарту) верны? Я имею в виду, что мы используем термин «указатель» на нестатическую функцию-член. Но если они на самом деле не являются указателями, то зачем вообще использовать термин «указатели»? Насколько я понимаю, это связано с тем, что, хотя «указатель на функции-члены» во многом отличается от обычных указателей, они все же похожи на обычные указатели в одном отношении: они указывают на что-то (имеется в виду хранение адресов).

Я также пробовал:

std::cout<<std::is_pointer_v<void(A::*)()><<std::endl;

что дает 0 подтверждение того, что указатель на нестатическую функцию-член не считается указателем.

Вот только их разговорная речь, которую нет процитировал из стандарта. Я не понимаю, почему вы беспокоитесь об этом.

康桓瑋 09.05.2022 06:49

@康桓瑋 Потому что std::is_pointer_v<void(A::*)()> дает ложное значение, что это не указатель, но мы все еще используем термин указатель для их описания.

Anoop Rana 09.05.2022 06:50

Из cppreference: "Проверяет, является ли T указателем на объект или указателем на функцию (но не указателем на функцию-член/член)"

康桓瑋 09.05.2022 06:53

Я нашел это в стандарте № 8.3.3(3) [dcl.mptr] 1998-09-01: «Тип «указатель на элемент» отличается от типа «указатель». Это все, что у меня есть.

user207421 09.05.2022 06:55

@ user207421 основное соединение №3: "За исключением указателей на статические члены, текст, относящийся к «указателям», не применяется к указателям на члены."

康桓瑋 09.05.2022 07:00

@康桓瑋 Ага. Формулировка, которую я дал, тоже есть в dcl.mptr#5.

user207421 09.05.2022 07:03

Что касается вашего последнего предложения, нет, PMD / PMF не содержат адресов. Они содержат смещения в классе (поэтому указатель на первый элемент в gcc/linux для выбора импликации имеет нулевые биты, как нулевой указатель)

Cubbi 09.05.2022 21:32
Стоит ли изучать PHP в 2023-2024 годах?
Стоит ли изучать PHP в 2023-2024 годах?
Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.
Приемы CSS-макетирования - floats и Flexbox
Приемы CSS-макетирования - floats и Flexbox
Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...
Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest
В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...
Концепция локализации и ее применение в приложениях React ⚡️
Концепция локализации и ее применение в приложениях React ⚡️
Локализация - это процесс адаптации приложения к различным языкам и культурным требованиям. Это позволяет пользователям получить опыт, соответствующий...
Пользовательский скаляр GraphQL
Пользовательский скаляр GraphQL
Листовые узлы системы типов GraphQL называются скалярами. Достигнув скалярного типа, невозможно спуститься дальше по иерархии типов. Скалярный тип...
0
7
71
1
Перейти к ответу Данный вопрос помечен как решенный

Ответы 1

Ответ принят как подходящий

Процитированные утверждения, по-видимому, подтверждаются следующими утверждениями из стандарта.

Из примечание dcl.mptr#3:

[ Note: See also [expr.unary] and [expr.mptr.oper]. The type “pointer to member” is distinct from the type “pointer”, that is, a pointer to member is declared only by the pointer to member declarator syntax, and never by the pointer declarator syntax. There is no “reference-to-member” type in C++.  — end note ]

И от основное соединение №3:

...Except for pointers to static members, text referring to “pointers” does not apply to pointers to members...

Другие вопросы по теме