Версия для печати темы Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > C/C++: Общие вопросы > приведение указателя на метод в иерархии классов

Автор: georain 14.10.2010, 06:56

Код struct Base {     void foo(); }; class Derived: public Base {}; static const void(Derived::*Foo)(void) =  &Derived::foo; В последней строке ошибка преобразования. Вопрос почему, или как мне зарегистрировать foo как callback: Код void call(Derived * object, void(Derived::*memFun)(void) ) {     ( object->*memFun )(); } .... call(this, Foo); Ведь метод foo является методом как базового так и производного класса.

Автор: mes 14.10.2010, 08:14

Цитата(georain @  14.10.2010,  05:56 ) В последней строке ошибка преобразования.  Вопрос почему,   а текст ошибки зачем скрываете ? Цитата(georain @  14.10.2010,  05:56 ) static const void(Derived::*Foo)(void) =  &Derived::foo; это не константный указатель, а указатель на константу.. и соответсвенно будет вызывать конфликт в call(..); Код static void(Derived::* const Foo )(void) =  &Derived::foo;

Автор: georain 14.10.2010, 20:52

Цитата(mes @  14.10.2010,  08:14 ) это не константный указатель, а указатель на константу.. Вы совершенно правы, спасибо большое. Но моя проблема лишь отодвинулась немного дальше. Требуется вызвать шаблонный метод наподобие этого: Код template <void(Derived::*MemFun)(void)> void template_call(Derived * object) {     ( object->*MemFun )(); } Метод объявленный непосредственно в классе Derived вызывается без проблем, а метод из базового класса вызываться не хочет. Код struct Base {     void foo(); }; struct Derived: public Base {     void moo(); }; void g(Derived * d) {     template_call<&Derived::moo>(d); // ok     template_call<&Derived::foo>(d); // нет соответствующей функции для вызова call(Derived*&) } Для этого я и пытался сделать приведение, но и этого сделать не удалось: Код // объявление статической константы static void(Derived::*const Foo)(void) =  &Derived::foo; // другой вариант объявления статической константы typedef decltype(&Derived::foo) FooPtrType; static const FooPtrType Goo =  &Derived::foo; void g(Derived * d) {     template_call<Foo>(d); // Foo cannot appear in a constant-expression     template_call<Goo>(d); // Goo cannot appear in a constant-expression }

Автор: mes 14.10.2010, 21:34

Цитата(georain @  14.10.2010,  19:52 ) // нет соответствующей функции для вызова call(Derived*&) Код template <class T> void template_call(void(T::*MemFun)(), Derived * object) {     ( object->*MemFun )(); } void g(Derived * d) {     template_call(&Derived::moo, d);      template_call(&Derived::foo, d);  } Добавлено через 2 минуты и 23 секунды это в качестве изучения или решаете какую то практическую задачу ? если второе то велосипеды уже изобретены   например boost::function, он же (на совр компиляторах) std::(tr1::)function;

Автор: georain 15.10.2010, 00:58

Спасибо за вариант, но требуется статическая передача указателя для того чтобы компилятор мог сделать inline. В общем случае Код template <typename ClassType, typename Result, typename... Arguments> template <Result(ClassType::*MemFun)(Arguments...)> void template_call(ClassType * object, Arguments &&... args) {     ( object->*MemFun )(std::forward<Arguments...>(args...)); } И блин, у меня уже целый год пол проекта на этом работает, а тут бац, метод из базового класса передать не могу. В принципе решается то просто, добавлением в нужный класс метода с вызовом метода из базового, но это же ерунда. Занимаюсь распределенными системами и асинхронным выполнением.

Автор: mes 15.10.2010, 08:12

Цитата(georain @  14.10.2010,  23:58 ) но требуется статическая передача указателя для того чтобы компилятор мог сделать inline.   ммм... и откуда такие сведенья ?! Добавлено через 2 минуты и 6 секунд заинлайненая фунция, эта такая "функция" которую не возможно вызвать по адресу, через указатель  ничего противоречивого не замечаете ?

Автор: georain 15.10.2010, 08:25

Цитата(mes @  15.10.2010,  08:12 ) ммм... и откуда такие сведенья ?! Оптимизирующие компиляторы. Заинлайненая функция это и не функция, а набор операторов в другой функции. Ладно, не важно для чего это нужно, почему не работает, как задачку решить, я пока не придумал.

Автор: boostcoder 15.10.2010, 08:28

[offtop] Цитата(georain @  15.10.2010,  00:58 ) Arguments... variadic templates?   микрософтстудия? у кого есть такой компилятор, скажите пожалуйста, что говорит на такие выражения: Код template<typename Args...> struct tuple_type {    typedef typename boost::tuple<Args...> type; }; template<typename Args...> struct tuple_type {    typedef typename boost::fusion::tuple<Args...> type; }; в gcc еще не реализовано :( спасибо. [/offtop] Добавлено @ 08:29 Цитата(georain @  15.10.2010,  08:25 ) это и не функция а кто сказал что это функция? сказали что это функция, в кавычках

Автор: mes 15.10.2010, 08:35

Цитата(georain @  15.10.2010,  07:25 ) Заинлайненая функция это и не функция, а набор операторов в другой функции. поэтому я и взял слово функция в кавычки  Цитата(georain @  15.10.2010,  07:25 )  не важно для чего это нужно, почему не работает, как задачку решить, я пока не придумал.  не понимая цели, трудно предложить варианты. которые Вас устроят  Код template <class T, void(T::*MemFun)()> void template_call(Derived * object) {     ( object->*MemFun )(); } void g(Derived * d) {     template_call<Derived, &Derived::moo>(d);      template_call<Base, &Derived::foo>(d);  }

Автор: georain 15.10.2010, 09:04

Цитата(boostcoder @  15.10.2010,  08:28 ) в gcc еще не реализовано Вариативные шаблоны реализованы, http://gcc.gnu.org/projects/cxx0x.html. Gcc 4.4 на приведенный код пишет (кстати три точки надо в другом месте ставить): Код template <typename... Args> struct tuple_type {    typedef typename boost::tuple<Args...> type; // cannot expand ‘Args ...’ into a fixed-length argument list } template<typename... Args> struct tuple_type {    typedef typename boost::fusion::tuple<Args...> type; // ‘tuple’ in namespace ‘boost::fusion’ does not name a type } mes, ещё раз спасибо за работающий фрагмент. Сейчас у меня цель понять и разобраться, почему не работают некоторые выражения: Код template_call<&Derived::foo>(d); // нет соответствующей функции для вызова call(Derived*&) и Код template_call<Foo>(d); // Foo cannot appear in a constant-expression Например здесь происходит преобразование указателя: Код template_call<Base, &Derived::foo>(d); и так как это выражение корректно, то это наводит меня на мысль, что тип метода foo - void(Base::*)(void), и никак не  void(Derived::*)(void), хотя Derived все-же содержит в себе этот метод. В этом видимо суть проблемы. То что выражение &Derived::foo возвращает указатель с типом  void(Base::*)(void)...

Автор: boostcoder 15.10.2010, 09:07

Цитата(georain @  15.10.2010,  09:04 ) Gcc 4.4 что пишет gcc-4.4.* мне не интересно.

Автор: georain 15.10.2010, 09:09

Так ну вроде бы начинает доходить, хотя я это изначально как-то интуитивно воспринимал, поэтому и хотел сделать преобразование Код static void(Derived::*const Foo)(void) =  &Derived::foo; Но почему теперь эту константу в параметр шаблона то не получается загнать. Добавлено через 21 секунду Цитата(boostcoder @  15.10.2010,  09:07 ) что пишет gcc-4.4.* мне не интересно.  А что интересно? Добавлено через 1 минуту и 31 секунду Если микрософтстудия, то они там ещё не скоро появятся.

Автор: mes 15.10.2010, 09:11

Цитата(georain @  15.10.2010,  08:04 ) То что выражение &Derived::foo возвращает указатель с типом  void(Base::*)(void)...     поэтому : Цитата(georain @  15.10.2010,  08:04 ) // нет соответствующей функции для вызова call(Derived*&) Цитата(georain @  15.10.2010,  08:04 ) Foo cannot appear in a constant-expression ну а тут результат выражения не известен в компильтайм.

Автор: djamshud 15.10.2010, 09:11

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

Автор: mes 15.10.2010, 09:13

Цитата(georain @  15.10.2010,  08:09 ) Но почему теперь эту константу в параметр шаблона то не получается загнать. потому что это const, а не constexpr (константное выражение) Добавлено @ 09:14 Цитата(djamshud @  15.10.2010,  08:11 ) Не так давно тут был небольшой срач, так вот, по результатм: функция, передаваемая по указателю, вполне может инлайниться в код, если во время компиляции не обнаруживается, что адрес указателя может измениться в рантайме - по сути это условие использования тех же шаблонов; выяснилось также, что такое поведение зависит от компилятора и его версии да.. но передача адреса фанкции в шаблон не увеличивает шансы на ее заинлайненость - именно об этом и шла речь выше..  т.е. смысла строить шаблон вместо того чтоб вызвать напрямую, нет, если только там не делается особых проверок ..  но тогда варианты с передачей функции как  параметра шаблона, так и параметра шаблонной функции  равнозначны, при условии передачи ее как констатного выражения.. так как второй вариант может принимать и указатели ..

Автор: djamshud 15.10.2010, 09:17

mes, не увеличивает. И более того у меня в гцц-4.4.4 функции, переданные в качестве аргументов шаблонов, вообще никогда не инлайнятся. Что странно.

Автор: mes 15.10.2010, 09:19

а тело функции доступно ?

Автор: boostcoder 15.10.2010, 09:33

Цитата(georain @  15.10.2010,  09:09 ) А что интересно? Цитата(boostcoder @  15.10.2010,  08:28 ) микрософтстудия? у кого есть такой компилятор, скажите пожалуйста, что говорит на такие выражения вот полный код: Код #include <tuple> #include <boost/tuple/tuple.hpp> #include <boost/fusion/tuple.hpp> template<typename... Args> struct std_tuple_type {    typedef typename std::tuple<Args...> type; }; template<typename... Args> struct boost_tuple_type {    typedef typename boost::tuple<Args...> type; }; template<typename... Args> struct fusion_tuple_type {    typedef typename boost::fusion::tuple<Args...> type; }; int main() {    typedef std_tuple_type<char, int, int> std_tuple;    typedef boost_tuple_type<char, int, int> boost_tuple;    typedef fusion_tuple_type<char, int, int> fusion_tuple; } http://liveworkspace.org/code/0662bfe307bb87c42b4a3d2738e1d4fa если кто проверит, буду очень признателен.

Автор: georain 15.10.2010, 09:42

Цитата(mes @  15.10.2010,  09:13 ) т.е. смысла строить шаблон вместо того чтоб вызвать напрямую, нет, если только там не делается особых проверок ..  но тогда варианты с передачей функции как  параметра шаблона, так и параметра шаблонной функции  равнозначны, при условии передачи ее как констатного выражения.. так как второй вариант может принимать и указатели ..  Дело ещё и в том что мне нужно сгенерировать функцию которая будет принимать указатель на вызываемый метод, и передать её адрес, при этом адрес метода теряется, а хранить и передавать его - это дополнительные расходы в рантайме, пример: Код     template <                 typename ClassType,                 Condition(ClassType::*MemFunCallback)(Result&)              >     static Condition CallbackFunction(SFHandler * handler, .... .... .... ....)     {         // тут всякая функциональность                 // ....         return ( static_cast<ClassType*>(handler)->*MemFunCallback )(result);     }     // шаблон процедуры вызова     template <                 typename ClassType,                 Condition(ClassType::*MemFunCallback)(Result&)              >     static void Call( ..... ..... ){         // статическое создание и получение адреса функции обратного вызова         static const CallbackType * callback = CallbackFunction<ClassType, MemFunCallback>;         // передача этого адреса в функцию         .....->createInquiry(..., callback, ...); В метод createInquiry я передаю только адрес callback, это 4 или 8 байт, адрес же метода я так не передам потому что типы классов разные, к тому же он может достигать 12 байт в длину, короче это ещё и накладно Добавлено @ 09:49 В общем ClassType должен быть классом, в котором находится метод, что печально А на счет constexpr вы опять правы, но в документации по шаблонам сказано что "параметры шаблона не являющиеся типами могут быть: целочисленный тип или тип перечисления, тип указателя, включая указатели на обычные объекты, функции и члены классов, ссылочный тип (как ссылки на объекты, так и ссылки на функции)" конец цитаты C++ Templates The Complete Guide 2003 Добавлено @ 09:57 кстати, вопрос на засыпку, как из типа указателя на метод класса получить тип класса? это бы очень пригодилось

Автор: mes 15.10.2010, 10:02

Цитата(georain @  15.10.2010,  08:42 ) "параметры шаблона не являющиеся типами могут быть: целочисленный тип или тип перечисления, тип указателя есть тип, а есть значение... а значение одного и того же типа может быть известно в компиль тайм, а может и нет

Автор: georain 15.10.2010, 10:02

Цитата(djamshud @  15.10.2010,  09:17 ) у меня в гцц-4.4.4 функции, переданные в качестве аргументов шаблонов, вообще никогда не инлайнятся. да, проверьте доступно ли тело функции в точке инстанциирования шаблона, и попробуйте inline __attribute__((always_inline)), он кстати что-то пишет если не может проинлайнить Добавлено через 1 минуту и 51 секунду Цитата(mes @  15.10.2010,  10:02 ) есть тип, а есть значение... а значение одного и того же типа может быть известно в компиль тайм, а может и нет  это понятно, но Код static void(Derived::* const Foo )(void) =  &Derived::foo; доступно в компиль тайм

Автор: mes 15.10.2010, 10:15

Цитата(georain @  15.10.2010,  09:02 ) доступно в компиль тайм   неа... значение указателя не является известным_в_компиль_тайм.. не смотря на кажушуюся известность.. в общем сравните два выражения : Код const i =5;           // const  enum { e = 5  }; // constexpr Добавлено через 1 минуту и 24 секунды и то что константой  можно инициализировать массивы, ничего не говорит.. это обходной трюк, из за неимения альтернативных средств..

Автор: georain 15.10.2010, 10:18

=( А ведь такой код верный: Код template<int x> int r(){ return x; } static const int c = 5; int k(){     return r<c>(); }

Автор: mes 15.10.2010, 10:45

Цитата(georain @  15.10.2010,  09:18 ) А ведь такой код верный ага верный.. предыдущий пример я привел для понимания разницы..  а верный он благодаря  Цитата(mes @  15.10.2010,  09:15 ) это "обходной трюк" сейчас ...

Автор: baldina 15.10.2010, 10:46

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

Автор: mes 15.10.2010, 10:57

Цитата 5.19 Constant expressions  1 In several places, C + + requires expressions that evaluate to an integral or enumeration constant: as array bounds (8.3.4, 5.3.4), as case expressions (6.4.2), as bit-field lengths (9.6), as enumerator initializers (7.2), as static member initializers (9.4.2), and as integral or enumeration non-type template arguments (14.3). An integral constant-expression can involve only literals (2.13), enumerators, const variables or static data members of integral or enumeration types initialized with constant expressions (8.5), non-type template parameters of integral or enumeration types, and sizeof expressions. Floating literals (2.13.3) can appear only if they are cast to integral or enumeration types. Only type conversions to integral or enumeration types can be used. In particular, except in sizeof expressions, functions, class objects, pointers, or references shall not be used, and assignment, increment, decrement, function-call, or comma operators shall not be used. Добавлено через 14 минут и 20 секунд Цитата(georain @  15.10.2010,  08:42 ) кстати, вопрос на засыпку, как из типа указателя на метод класса получить тип класса? это бы очень пригодилось если я правильно понял  Код #include <iostream> struct A { void f() {}; }; struct B { void f() {}; }; void print_classname (A*) { std::cout << "A"; } void print_classname (B*) { std::cout << "B"; } template <class T> void print_classname ( void (T::*memfn)()) {    print_classname ((T*)(NULL)); } int main () {    print_classname (&B::f);    print_classname (&A::f); }

Автор: georain 16.10.2010, 02:09

Цитата(baldina @  15.10.2010,  10:46 ) вероятно никак. да и не нужно Если я узнаю тип класса из указателя на метод, то смогу подставить его в шаблонный параметр для решения проблемы Цитата(mes @  15.10.2010,  10:57 ) если я правильно понял Вы правильно меня поняли, и теперь я смогу это сделать! Код template <typename Class, typename Result, typename... Arguments> Class ClassFromMemFunPtr(Result (Class::*)(Arguments...)); typedef decltype(ClassFromMemFunPtr(&Derived::moo)) ClassType1; // ClassType1 == Derived typedef decltype(ClassFromMemFunPtr(&Derived::foo)) ClassType2; // ClassType2 == Base Вы помогли мне разобраться со всеми возникшими вопросами, спасибо большое!

Автор: boostcoder 13.1.2011, 00:36

Цитата(georain @  15.10.2010,  09:42 ) кстати, вопрос на засыпку, как из типа указателя на метод класса получить тип класса? это бы очень пригодилось так: Код #include <iostream> #include <boost/function_types/is_member_function_pointer.hpp> #include <boost/function_types/components.hpp> #include <boost/mpl/at.hpp> #include <boost/mpl/identity.hpp> #include <boost/mpl/assert.hpp> struct type {    void method() { std::cout << "type::method()" << std::endl; } }; template<typename MP> struct class_type {    static_assert(       boost::function_types::is_member_function_pointer<MP>::value,       "in class_type<MP>: MP is not member function pointer!"    );    typedef typename boost::mpl::at_c<       typename boost::function_types::components<          MP,          boost::mpl::identity<boost::mpl::_1>       >::types,       1    >::type type; }; typedef void(type::*member_ptr)(); int main() {    class_type<member_ptr>::type obj;    obj.method(); } http://liveworkspace.org/code/93c11e03d459aa04918545bef566a57d Up. все же static_assert() предоставляемый компилятором, поудобней ;)

Powered by Invision Power Board (http://www.invisionboard.com)
© Invision Power Services (http://www.invisionpower.com)