Использование указателя на метод вместо виртуального метода

Evg · Регистрация: 30.03.2009

Студворк — интернет-сервис помощи студентам

Имеется базовый класс Base. Имеется производный от Base класс Derived. В классе Derived требуется выполнить некоторое действие, которое практически полностью эквивалентно для любого производного от Base класса, за исключением небольшого фрагмента.

Схематично код выглядит так:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
class Base
{
  void Exec (void)
  {
    // общие действия
    ...
 
    // конкретные действия для производных классов
    Tail ();
  }
 
  virtual void Tail (void) = 0;
};
 
class Derived : public Base
{
  void MyExec (void)
  {
    // В процессе исполнения будет исполнен виртуальный метод Tail
    Exec ();
  }
 
  virtual void Tail (void)
  {
    // Определяем конкретные действия для нашего класса
  }
}

Однако при такой схеме возможен только один вид частных действия для производного класса. А хотелось бы, чтобы внутри производного класса можно было выполнять разные действия. Для этого логично было бы использовать указатель на метод. Т.е. что-то типа такого

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
class Base
{
  void Exec (void (Base::*tail)(void))
  {
    // общие действия
    ...
 
    // конкретные действия для производных классов
    // здесь уже через указатель  на метод
    (this->*tail) ();
  }
};
 
class Derived : public Base
{
  void MyExec (void)
  {
    // Выполняем основные действия с двумя разными типами
    // частных действий. Необходимую операцию преобразования
    // указателя на метод опускаю, чтобы глаза не резало
    Exec (Tail1);
    Exec (Tail2);
  }
 
  void Tail1 (void)
  {
    // Определяем конкретные действия "вариант1" для нашего класса
  }
 
  void Tail2 (void)
  {
    // Определяем конкретные действия "вариант2" для нашего класса
  }
}

Собственно вопрос: насколько опасным является преобразование указателя на метод в данном случае. Опасность не столько в преобразовании указателя на метод, сколько в том, что при вызове Derived-метода через указатель на класс Base может прийти кривой this. Понятно, что в случае "простого" наследования ничего страшного нет. Будет ли что-то криво работать в случае множественных или виртуальных наследований или в каких-то ещё тяжёлых случаев. Или такой способ при некоторых ограничениях на тип наследования можно считать надёжным и корректным? Можно ли как-то сделать статический контроль в случаях, когда такой вариант оказывается некорректным?

@Deviaphan · 17.04.2011, 11:49

Ну да. Но зато переносимо. Можно использовать хоть стопятьсот методов, использовать разное количество и типы параметров...
В общем, везде свои недостатки.)

Добавлено через 47 секунд

Сообщение от Evg

Чтобы обеспечить раздельный запуск методов, тебе придётся описывать два пользовательских класса Functor.

Нет. Нужно два виртуальных метода в функторе.

Evg · 17.04.2011, 12:00 **[ТС]**

Сообщение от Deviaphan

Ну да. Но зато переносимо. Можно использовать хоть стопятьсот методов, использовать разное количество и типы параметров...
В общем, везде свои недостатки.)

Любая визуальная компонента любой системы по определению является непереносимой. Т.к. класс окна от борланда ты всё равно не сможешь использовать на msvs или qt. Хотя для переносимости я бы всё равно использовал транзитную обезличенную передачу: в виде void* передавал бы указатель на экземпляр и указатель на метод, а для того, чтобы обезличенные данные превратить в типизированные, завёл бы третий параметр, куда бы передал указатель на статический метод класса, внутри которого типизировал бы два обезличенных указателя. Этот вариант куда более удобен в использовании, чем технологии, требующие реализации воспомогательного класса.

Сообщение от Deviaphan

Нет. Нужно два виртуальных метода в функторе.

Два виртуальных метода в функторе нужно для того, чтобы передавать в BackBox два указателя, а не для того, чтобы вызывать раздельно два метода. Хотя это уже технические детали

@taras atavin · 18.04.2011, 07:58

Evg, наследование предназначено для копирожания дефолта, перекрытие членов предка - для того, чтоб в потомке сделать свой отличающийся дефолт, а если тебе каждый раз нужны другие дейтсвия, то или на каждый случай делай своего потмока, или выбрось к чёрту это долбаное наследование и делай через указатели. Зачем смешивать?

@Deviaphan · 18.04.2011, 08:06

Сообщение от taras atavin

наследование предназначено для копирожания дефолта

Ничего подобного.
Где тут дефолт?

C++
1
2
3
4
5
6
class IX
{ 
public: 
    virtual void Fx1() = 0; 
    virtual void Fx2() = 0; 
};

@taras atavin · 18.04.2011, 08:15

А разве эти члены наследуются? Здесь то как раз не надо Страуструпом быть, чтоб увидеть гарантирвоанное перекрытие. Причём, в каждом конкретном потомке оно будет всегда одно и тоже.

@Deviaphan · 18.04.2011, 08:30

Сообщение от taras atavin

чтоб увидеть гарантирвоанное перекрытие

Сообщение от taras atavin

а если тебе каждый раз нужны другие дейтсвия, то или на каждый случай делай своего потмока, или выбрось к чёрту это долбаное наследование и делай через указатели.

Я только об этом... как бы...

Новые блоги и статьи Все статьи Все блоги /
Загрузка PNG-файла с альфа-каналом с помощью библиотеки SDL3_image на Android 8Observer8 27.01.2026 Содержание блога SDL3_image - это библиотека для загрузки и работы с изображениями. Эта пошаговая инструкция покажет, как загрузить и вывести на экран смартфона картинку с альфа-каналом, то есть с. . .	влияние грибов на сукцессию anaschu 26.01.2026 Бифуркационные изменения массы гриба происходят тогда, когда мы уменьшаем массу компоста в 10 раз, а скорость прироста биомассы уменьшаем в три раза. Скорость прироста биомассы может уменьшаться за. . .	Воспроизведение звукового файла с помощью SDL3_mixer при касании экрана Android 8Observer8 26.01.2026 Содержание блога SDL3_mixer - это библиотека я для воспроизведения аудио. В отличие от инструкции по добавлению текста код по проигрыванию звука уже содержится в шаблоне примера. Нужно только. . .	Установка Android SDK, NDK, JDK, CMake и т.д. 8Observer8 25.01.2026 Содержание блога Перейдите по ссылке: https:/ / developer. android. com/ studio и в самом низу страницы кликните по архиву "commandlinetools-win-xxxxxx_latest. zip" Извлеките архив и вы увидите. . .
Вывод текста со шрифтом TTF на Android с помощью библиотеки SDL3_ttf 8Observer8 25.01.2026 Содержание блога Если у вас не установлены Android SDK, NDK, JDK, и т. д. то сделайте это по следующей инструкции: Установка Android SDK, NDK, JDK, CMake и т. д. Сборка примера Скачайте. . .	Использование SDL3-callbacks вместо функции main() на Android, Desktop и WebAssembly 8Observer8 24.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .	моя боль iceja 24.01.2026 Выложила интерполяцию кубическими сплайнами www. iceja. net REST сервисы временно не работают, только через Web. Написала за 56 рабочих часов этот сайт с нуля. При помощи perplexity. ai PRO , при. . .	Модель сукцессии микоризы anaschu 24.01.2026 Решили писать научную статью с неким РОманом

@taras atavin 4226 / 1796 / 211 Регистрация: 24.11.2009 Сообщений: 27,562
	18.04.2011, 07:58
	Evg, наследование предназначено для копирожания дефолта, перекрытие членов предка - для того, чтоб в потомке сделать свой отличающийся дефолт, а если тебе каждый раз нужны другие дейтсвия, то или на каждый случай делай своего потмока, или выбрось к чёрту это долбаное наследование и делай через указатели. Зачем смешивать? 0

@taras atavin 4226 / 1796 / 211 Регистрация: 24.11.2009 Сообщений: 27,562
	18.04.2011, 08:15
	А разве эти члены наследуются? Здесь то как раз не надо Страуструпом быть, чтоб увидеть гарантирвоанное перекрытие. Причём, в каждом конкретном потомке оно будет всегда одно и тоже. 0