WedX - журнал о программировании и компьютерных науках

Чем указатель на функцию-член отличается от указателя на член данных?

Итак, у меня есть этот шаблон псевдонима:

template<class MemberT, class ClassT>
using make_member_ptr = MemberT ClassT::*;

И я заметил, что make_member_ptr<int(char, long), class_type> это то же самое, что и int(class_type::*)(char, long). Раньше я думал, что указатель на функцию-член полностью отличается от указателя на член данных.

Чем указатели на функции-члены отличаются от указателей на элементы данных?

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

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

03.02.2019

  • Почему вы считаете, что они одинаковы? MemberT ClassT::* даже синтаксически не совпадает с MemberT (ClassT::*)(). 03.02.2019
  • @WernerHenze Здесь это похоже на using MemberT = int(), а std::is_same_v<make_member_ptr<int(), class_type>, int(class_type::*)()> верно. 03.02.2019
  • @Artyer Они такие же разные, как указатели на обычные функции и указатели на обычные объекты. 03.02.2019
  • @WernerHenze Ну, это как бы ... просто похоже, что это не из-за правила эзотерической спирали C для распределения аспектов типа вокруг имени (которое здесь имеет нулевую длину) 03.02.2019
  • @Artyer Хорошо, понял, меня это тоже удивляет. MSVC сообщает мне, что он расширяет make_member_ptr<int(), T> до int (T::*)(). Я ожидал, что он не скомпилируется (например, int () T::*) не скомпилируется. 03.02.2019
  • Указатели на функции могут иметь другой размер, чем указатели на данные. Функции-члены могут быть виртуальными, тогда как элементы данных могут быть виртуальными только с использованием виртуального наследования (что на самом деле представляет собой консолидацию, а не полиморфизм). 03.02.2019

Ответы:


1

Раньше я думал, что указатель на функцию-член полностью отличается от указателя на член данных.

Вы правильно подумали.

Чем указатели на функции-члены отличаются от указателей на элементы данных?

Это отдельные виды. Они могут иметь разные размеры. Указатель на функцию-член может указывать на функцию-член. Указатель на член данных может указывать на член данных. Разница аналогична разнице между указателями на функции и указателями на данные.

make_member_ptr<int(char, long), class_type> — это указатель на функцию-член.

03.02.2019
Новые материалы

Как создать диаграмму градиентной кисти с помощью D3.js
Резюме: Из этого туториала Вы узнаете, как добавить градиентную кисть к диаграмме с областями в D3.js. Мы добавим градиент к значениям SVG и применим градиент в качестве заливки к диаграмме с..

Я хотел выучить язык программирования MVC4, но не мог выучить его раньше, потому что это выглядит сложно…
Просто начните и учитесь самостоятельно Я хотел выучить язык программирования MVC4, но не мог выучить его раньше, потому что он кажется мне сложным, и я бросил его. Это в основном инструмент..

Лицензии с открытым исходным кодом: руководство для разработчиков и создателей
В динамичном мире разработки программного обеспечения открытый исходный код стал мощной парадигмой, способствующей сотрудничеству, инновациям и прогрессу, движимому сообществом. В основе..

Объяснение документов 02: BERT
BERT представил двухступенчатую структуру обучения: предварительное обучение и тонкая настройка. Во время предварительного обучения модель обучается на неразмеченных данных с помощью..

Как проанализировать работу вашего классификатора?
Не всегда просто знать, какие показатели использовать С развитием глубокого обучения все больше и больше людей учатся обучать свой первый классификатор. Но как только вы закончите..

Работа с цепями Маркова, часть 4 (Машинное обучение)
Нелинейные цепи Маркова с агрегатором и их приложения (arXiv) Автор : Бар Лайт Аннотация: Изучаются свойства подкласса случайных процессов, называемых дискретными нелинейными цепями Маркова..

Crazy Laravel Livewire упростил мне создание электронной коммерции (панель администратора и API) [Часть 3]
Как вы сегодня, ребята? В этой части мы создадим CRUD для данных о продукте. Думаю, в этой части я не буду слишком много делиться теорией, но чаще буду делиться своим кодом. Потому что..


Для любых предложений по сайту: [email protected]