Форум программистов, компьютерный форум CyberForum.ru

C++

Войти
Регистрация
Восстановить пароль
 
 
Рейтинг: Рейтинг темы: голосов - 36, средняя оценка - 4.67
Evg
Эксперт CАвтор FAQ
17411 / 5649 / 355
Регистрация: 30.03.2009
Сообщений: 15,467
Записей в блоге: 26
#1

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

20.11.2010, 12:33. Просмотров 4493. Ответов 45
Метки нет (Все метки)

Имеется базовый класс 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. Понятно, что в случае "простого" наследования ничего страшного нет. Будет ли что-то криво работать в случае множественных или виртуальных наследований или в каких-то ещё тяжёлых случаев. Или такой способ при некоторых ограничениях на тип наследования можно считать надёжным и корректным? Можно ли как-то сделать статический контроль в случаях, когда такой вариант оказывается некорректным?
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
20.11.2010, 12:33     Использование указателя на метод вместо виртуального метода
Посмотрите здесь:

Вызов виртуального метода класса наследника из вектора C++
Вызов виртуального метода базового класса из указателя производного C++
вызов метода у указателя на указатель на класс C++
Почему при переопределении виртуального метода в производном классе выводится метод базового? C++
Объяснить использование виртуального деструктора C++
C++ Реализация виртуального метода в двух классах-наследниках
C++ Вызов виртуального метода в конструкторе
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
Deviaphan
Делаю внезапно и красиво
Эксперт C++
1286 / 1220 / 50
Регистрация: 22.03.2011
Сообщений: 3,744
17.04.2011, 11:49     Использование указателя на метод вместо виртуального метода #41
Ну да. Но зато переносимо. Можно использовать хоть стопятьсот методов, использовать разное количество и типы параметров...
В общем, везде свои недостатки.)

Добавлено через 47 секунд
Цитата Сообщение от Evg Посмотреть сообщение
Чтобы обеспечить раздельный запуск методов, тебе придётся описывать два пользовательских класса Functor.
Нет. Нужно два виртуальных метода в функторе.
Evg
Эксперт CАвтор FAQ
17411 / 5649 / 355
Регистрация: 30.03.2009
Сообщений: 15,467
Записей в блоге: 26
17.04.2011, 12:00  [ТС]     Использование указателя на метод вместо виртуального метода #42
Цитата Сообщение от Deviaphan Посмотреть сообщение
Ну да. Но зато переносимо. Можно использовать хоть стопятьсот методов, использовать разное количество и типы параметров...
В общем, везде свои недостатки.)
Любая визуальная компонента любой системы по определению является непереносимой. Т.к. класс окна от борланда ты всё равно не сможешь использовать на msvs или qt. Хотя для переносимости я бы всё равно использовал транзитную обезличенную передачу: в виде void* передавал бы указатель на экземпляр и указатель на метод, а для того, чтобы обезличенные данные превратить в типизированные, завёл бы третий параметр, куда бы передал указатель на статический метод класса, внутри которого типизировал бы два обезличенных указателя. Этот вариант куда более удобен в использовании, чем технологии, требующие реализации воспомогательного класса.

Цитата Сообщение от Deviaphan Посмотреть сообщение
Нет. Нужно два виртуальных метода в функторе.
Два виртуальных метода в функторе нужно для того, чтобы передавать в BackBox два указателя, а не для того, чтобы вызывать раздельно два метода. Хотя это уже технические детали
taras atavin
Ушёл с форума.
3569 / 1752 / 91
Регистрация: 24.11.2009
Сообщений: 27,619
18.04.2011, 07:58     Использование указателя на метод вместо виртуального метода #43
Evg, наследование предназначено для копирожания дефолта, перекрытие членов предка - для того, чтоб в потомке сделать свой отличающийся дефолт, а если тебе каждый раз нужны другие дейтсвия, то или на каждый случай делай своего потмока, или выбрось к чёрту это долбаное наследование и делай через указатели. Зачем смешивать?
Deviaphan
Делаю внезапно и красиво
Эксперт C++
1286 / 1220 / 50
Регистрация: 22.03.2011
Сообщений: 3,744
18.04.2011, 08:06     Использование указателя на метод вместо виртуального метода #44
Цитата Сообщение от taras atavin Посмотреть сообщение
наследование предназначено для копирожания дефолта
Ничего подобного.
Где тут дефолт?
C++
1
2
3
4
5
6
class IX
{ 
public: 
    virtual void Fx1() = 0; 
    virtual void Fx2() = 0; 
};
taras atavin
Ушёл с форума.
3569 / 1752 / 91
Регистрация: 24.11.2009
Сообщений: 27,619
18.04.2011, 08:15     Использование указателя на метод вместо виртуального метода #45
А разве эти члены наследуются? Здесь то как раз не надо Страуструпом быть, чтоб увидеть гарантирвоанное перекрытие. Причём, в каждом конкретном потомке оно будет всегда одно и тоже.
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
18.04.2011, 08:30     Использование указателя на метод вместо виртуального метода
Еще ссылки по теме:

C++ Вызов виртуального метода при создании
Преобразование типа при вызове виртуального метода через указатель на базовый класс C++
Использование указателя this C++
C++ Использование указателя this
C++ Использование указателя this

Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
Deviaphan
Делаю внезапно и красиво
Эксперт C++
1286 / 1220 / 50
Регистрация: 22.03.2011
Сообщений: 3,744
18.04.2011, 08:30     Использование указателя на метод вместо виртуального метода #46
Цитата Сообщение от taras atavin Посмотреть сообщение
чтоб увидеть гарантирвоанное перекрытие
Цитата Сообщение от taras atavin Посмотреть сообщение
а если тебе каждый раз нужны другие дейтсвия, то или на каждый случай делай своего потмока, или выбрось к чёрту это долбаное наследование и делай через указатели.
Я только об этом... как бы...
Yandex
Объявления
18.04.2011, 08:30     Использование указателя на метод вместо виртуального метода
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2017, vBulletin Solutions, Inc.
Рейтинг@Mail.ru