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

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

Автор: TDM 4.9.2010, 17:34

Как узнать сколько у функции параметров и какого они типа если передавать только указатель на неё? Вот например код: Код void foo(int x, float y){ } ... MakeFunction(&foo); В MakeFunction должно определятся сколько в foo параметров и какого типа они. Есть вариант сделать кучу предопределённых типов и перегрузить MakeFunction много раз, типа: Код typedef void(*Func)(int,float); MakeFunction(Func f) {} но это не катит, по видимому надо с шаблонами как то мутить. не подскажете?

Автор: Cheloveck 4.9.2010, 18:38

Цитата(TDM @  4.9.2010,  17:34 ) Как узнать сколько у функции параметров и какого они типа если передавать только указатель на неё? никак Цитата(TDM @  4.9.2010,  17:34 ) по видимому надо с шаблонами как то мутить по видимому, да Цитата(TDM @  4.9.2010,  17:34 ) не подскажете?  конкретнее, что надо сделать?

Автор: TDM 4.9.2010, 18:47

Цитата конкретнее, что надо сделать? создрать различные реализации MakeFunction(Func f) в зависимости от переданной функции (от колва пар-ов и их типов) но не перегружать её стотыщ раз Добавлено через 10 минут и 47 секунд всё, решил проблему

Автор: boostcoder 4.9.2010, 19:12

Цитата(TDM @  4.9.2010,  18:47 ) всё, решил проблему как? Добавлено через 7 минут и 56 секунд Цитата(Cheloveck @  4.9.2010,  18:38 ) никак ложь. Цитата(TDM @  4.9.2010,  17:34 ) сколько у функции параметров легко. Цитата(TDM @  4.9.2010,  17:34 ) какого они типа легко.

Автор: Cheloveck 4.9.2010, 21:13

Цитата(boostcoder @  4.9.2010,  19:12 ) ложь. ну, а где демонстрация? Только давай так, мы имеем указатель на void, ибо типизированные указатели статические и всё заранее известно)) Код #include <iostream> typedef void (* F1)(int); typedef void (* F2)(char *); typedef void (* F3)(int, char *); void SuperMegaFunction(void * foo) {     if(...)         reinterpret_cast<F1>(foo)(int(100));     else if(...)         reinterpret_cast<F2>(foo)("i'm string");     else if(...)         reinterpret_cast<F3>(foo)(100, "i'm string"); } void f1(int x) {     std::cout << x << std::endl; } void f2(char * str) {     std::cout << str << std::endl; } void f3(int x, char * str) {     std::cout << str << " " << x << std::endl; } int main() {     SuperMegaFunction(reinterpret_cast<void *>(f1));     SuperMegaFunction(reinterpret_cast<void *>(f2));     SuperMegaFunction(reinterpret_cast<void *>(f3)); } Заставь это работать.

Автор: TDM 4.9.2010, 22:31

Цитата(boostcoder @  4.9.2010,  19:12 ) как? это конечно немного хак, но мне подходит Код #define MakeFunction(f) MakeFunctionFunc(f, typeid(f).name()) void MakeFunctionFunc(void *f, const char *type_str){     ... } ... MakeFunction(&foo);

Автор: azesmcar 4.9.2010, 22:42

Цитата(Cheloveck @  4.9.2010,  21:13 ) Заставь это работать. В void* указатели на функцию не передаются. Точнее может где-то и передаются, но так нельзя. Цитата(Cheloveck @  4.9.2010,  21:13 ) ну, а где демонстрация?  полагаю имелось ввиду на этапе компиляции, что-то вроде этого Код template <typename R, typename A> void func(R (*fptr)(A)) {     std::cout         << "1 argument, return type "         << typeid(R).name()         << ", argtype "         << typeid(A).name()         << std::endl; } template <typename R, typename A1, typename A2> void func(R (*fptr)(A1, A2)) {     std::cout         << "2 arguments, return type "         << typeid(R).name()         << ", argtype1 "         << typeid(A1).name()         << ", argtype2 "         << typeid(A2).name()         << std::endl; } Добавлено через 4 минуты и 13 секунд Цитата(TDM @  4.9.2010,  22:31 ) это конечно немного хак, но мне подходит Цитата(azesmcar @  4.9.2010,  22:42 ) В void* указатели на функцию не передаются это и к твоему коду относиться

Автор: TDM 4.9.2010, 23:05

Цитата В void* указатели на функцию не передаются проверил, в vs передаётся и успешно запускается, в gcc тоже.

Автор: Cheloveck 4.9.2010, 23:19

Цитата(azesmcar @  4.9.2010,  22:42 ) полагаю имелось ввиду на этапе компиляции Цитата(TDM @  4.9.2010,  17:34 ) Как узнать сколько у функции параметров и какого они типа если передавать только указатель на неё? а мне показалось на этапе выполнения...

Автор: azesmcar 5.9.2010, 00:13

Цитата(Cheloveck @  4.9.2010,  23:19 ) а мне показалось на этапе выполнения... ну..из этапа компиляции информацию можно легко передать в этап выполнения   Цитата(TDM @  4.9.2010,  23:05 ) проверил, в vs передаётся и успешно запускается, в gcc тоже. smile  это ни о чем не говорит, сегодня передается - завтра может перестать. void* имеет достаточный размер, чтобы хранить указатель на любой объект, объект а не функцию.

Автор: boostcoder 5.9.2010, 00:26

так узнаешь кол-во аргументов: Код boost::function_types::function_arity<f>::value так можешь получить mpl последовательность типов, и произвести с ними какие-то действия(добавить тип, удалить, изменить): Код boost::function_types::parameter_types<f>::type вот только тип по индексу 0 - возвращаемый тип. а дальше аргументы. так, из mpl последовательности, можешь собрать декларацию обратно: Код boost::function_types::function_type<mpl sequence>::type вопросы? - нет вопросов. Цитата(Cheloveck @  4.9.2010,  21:13 ) Только давай так недавай. создай отдельную тему, тогда и пообщаемся   Цитата(azesmcar @  4.9.2010,  22:42 ) полагаю имелось ввиду на этапе компиляции    Цитата(Cheloveck @  4.9.2010,  23:19 ) а мне показалось на этапе выполнения...    Цитата(azesmcar @  5.9.2010,  00:13 ) ну..из этапа компиляции информацию можно легко передать в этап выполнения

Автор: TDM 5.9.2010, 01:45

boostcoder спасибо, boost хорошая штука по всей видимости)

Автор: boostcoder 5.9.2010, 05:55

Цитата(TDM @  5.9.2010,  01:45 ) boost хорошая штука по всей видимости)  лучшая

Автор: TDM 6.9.2010, 13:51

Цитата(azesmcar @  5.9.2010,  00:13 ) void* имеет достаточный размер, чтобы хранить указатель на любой объект, объект а не функцию. Код typedef float(*Func)(float,float); printf("%i %i", sizeof(void*), sizeof(Func)); выдаёт одинаковый размер

Автор: djamshud 6.9.2010, 14:10

TDM, http://www.linux.org.ru/forum/development/5297559

Автор: azesmcar 6.9.2010, 14:27

Цитата(TDM @  6.9.2010,  13:51 ) выдаёт одинаковый размер я повторюсь еще раз. Цитата(azesmcar @  4.9.2010,  22:42 ) может где-то и передаются, но так нельзя это НЕ переносимо. сегодня может работать а завтра нет. Программист, который будет сопровождать этот код (может быть даже ты сам) потом будет долго мучатся, чтобы понять причину. На другом компиляторе, на дрогой платформе, и даже на другой версии того же компилятора это может начать работать иначе. Цитата(Herb Sutter) void* is guaranteed to be big enough to hold the value of any object pointer, it is not guaranteed to be suitable to hold a function pointer. On some platforms, a function pointer is larger than an object pointer.

Автор: TDM 6.9.2010, 15:17

ок, ясно

Автор: TDM 8.9.2010, 17:56

boostcoder,  в mpl sequence по 0 индексу получается тип 1го параметра, а возвращаемого нет. типы беру через boost::mpl::at_c

Автор: boostcoder 8.9.2010, 18:02

возможно что-то напутал... чуть позже проверю...

Автор: TDM 8.9.2010, 21:04

всё, разобрался

Автор: boostcoder 8.9.2010, 21:14

все верно. напутал подбиблиотеку. Код boost::function_traits<f>::result_type Добавлено @ 21:14 Цитата(TDM @  8.9.2010,  21:04 ) всё, разобрался  может поделитесь решением?  форум все таки.

Автор: TDM 8.9.2010, 22:07

boostcoder,  ок) Код boost::function_traits<f>::result_type работает как я понял только для просто функций, для методов нет. с result_of работает всё: Код #define resultof(exp) typename boost::result_of<exp()>::type

Автор: MAKCim 8.9.2010, 23:06

ответ на первый вопрос топика так и остался загадкой... Добавлено через 3 минуты и 56 секунд Цитата(TDM @  4.9.2010,  17:34 ) Как узнать сколько у функции параметров и какого они типа если передавать только указатель на неё? строго говоря никак все, что написали, не имеет ничего общего с первоначальной формулировкой задачи

Автор: boostcoder 8.9.2010, 23:16

Добавлено @ 23:17 Цитата(MAKCim @  8.9.2010,  23:06 ) ответ на первый вопрос топика так и остался загадкой... это почему? Цитата(MAKCim @  8.9.2010,  23:06 ) строго говоря никак а это почему? Цитата(MAKCim @  8.9.2010,  23:06 ) все, что написали, не имеет ничего общего с первоначальной формулировкой задачи  еще и это, почему?

Автор: MAKCim 9.9.2010, 08:44

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

Автор: Earnest 9.9.2010, 08:51

Цитата(MAKCim @  9.9.2010,  00:06 ) все, что написали, не имеет ничего общего с первоначальной формулировкой задачи  Точно, если, конечно, автор имел в виду именно то, что написал - определение сигнатуры по УКАЗАТЕЛЮ. Ибо все эти ваши бусты и прочее мета-программирование работает вовсе не с указателями, а с точными типами и в компил-тайм. Но не исключено, что автор это и имел в виду.

Автор: boostcoder 9.9.2010, 14:26

MAKCim, Earnest, или я вас не понимаю... или второе. Цитата(MAKCim @  9.9.2010,  08:44 ) просто по адресу без спец. средств т.е. адрес функции должен храниться в void* ? Цитата(Earnest @  9.9.2010,  08:51 ) в компил-тайм естественно. но даже если бы это можно было сделать в runtime, то от этого было бы мало толку, т.к. в runtime ни сигнатуру, ни тело функции не сгенерируешь. да и не надо это. пример: http://liveworkspace.org/code/700dba403c8a04c68f15069042845ede

Автор: Sartorius 9.9.2010, 14:49

Цитата(boostcoder @  9.9.2010,  15:26 ) т.к. в runtime ни сигнатуру, ни тело функции не сгенерируешь.   Это почему? Параметры в стек положить и руками можно, сгенерировать любой код и выполнить его хоть на стеке тоже не проблема. (x-bit--ы конечно всякие там и ASLR есть, но и их уже научились обходить. Да и не везде они есть)

Автор: boostcoder 9.9.2010, 14:53

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

Автор: TDM 9.9.2010, 19:39

Цитата(Earnest @  9.9.2010,  08:51 ) Ибо все эти ваши бусты и прочее мета-программирование работает вовсе не с указателями, а с точными типами и в компил-тайм.Но не исключено, что автор это и имел в виду. да именно это и хотел, немного не корректно написал.

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