VPF::Информация о функции по указателю

TDM

Дата 4.9.2010, 17:34 (ссылка)

(нет голосов)

Загрузка ...

Шустрый

Профиль
Группа: Участник
Сообщений: 133
Регистрация: 1.2.2006
Где: SPB

Репутация: нет
Всего: нет

Как узнать сколько у функции параметров и какого они типа если передавать только указатель на неё?
Вот например код:

Код


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 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 1578
Регистрация: 26.7.2008
Где: Тула

Репутация: 3
Всего: 32

Цитата(TDM @ 4.9.2010, 17:34

)

Как узнать сколько у функции параметров и какого они типа если передавать только указатель на неё?

никак

Цитата(TDM @ 4.9.2010, 17:34

)

по видимому надо с шаблонами как то мутить

по видимому, да

Цитата(TDM @ 4.9.2010, 17:34

)

не подскажете?

конкретнее, что надо сделать?

--------------------

TDM

Дата 4.9.2010, 18:47 (ссылка)

(нет голосов)

Загрузка ...

Шустрый

Профиль
Группа: Участник
Сообщений: 133
Регистрация: 1.2.2006
Где: SPB

Репутация: нет
Всего: нет

Цитата

конкретнее, что надо сделать?

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

Добавлено через 10 минут и 47 секунд
всё, решил проблему

Это сообщение отредактировал(а) TDM - 4.9.2010, 18:48

boostcoder

Дата 4.9.2010, 19:12 (ссылка)

(нет голосов)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

Цитата(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

)

какого они типа

легко.

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

Cheloveck

Дата 4.9.2010, 21:13 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 1578
Регистрация: 26.7.2008
Где: Тула

Репутация: 3
Всего: 32

Цитата(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));
}

Заставь это работать.

Это сообщение отредактировал(а) Cheloveck - 4.9.2010, 21:24

--------------------

TDM

Дата 4.9.2010, 22:31 (ссылка)

(нет голосов)

Загрузка ...

Шустрый

Профиль
Группа: Участник
Сообщений: 133
Регистрация: 1.2.2006
Где: SPB

Репутация: нет
Всего: нет

Цитата(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 (ссылка)

(нет голосов)

Загрузка ...

uploading...

Профиль
Группа: Участник Клуба
Сообщений: 6291
Регистрация: 12.11.2004
Где: Армения

Репутация: 81
Всего: 211

Цитата(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* указатели на функцию не передаются

это и к твоему коду относиться smile

TDM

Дата 4.9.2010, 23:05 (ссылка)

(нет голосов)

Загрузка ...

Шустрый

Профиль
Группа: Участник
Сообщений: 133
Регистрация: 1.2.2006
Где: SPB

Репутация: нет
Всего: нет

Цитата

В void* указатели на функцию не передаются

проверил, в vs передаётся и успешно запускается, в gcc тоже. smile

Это сообщение отредактировал(а) TDM - 4.9.2010, 23:08

Cheloveck

Дата 4.9.2010, 23:19 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 1578
Регистрация: 26.7.2008
Где: Тула

Репутация: 3
Всего: 32

Цитата(azesmcar @ 4.9.2010, 22:42

)

полагаю имелось ввиду на этапе компиляции

Цитата(TDM @ 4.9.2010, 17:34

)

Как узнать сколько у функции параметров и какого они типа если передавать только указатель на неё?

а мне показалось на этапе выполнения...

--------------------

azesmcar

Дата 5.9.2010, 00:13 (ссылка)

(нет голосов)

Загрузка ...

uploading...

Профиль
Группа: Участник Клуба
Сообщений: 6291
Регистрация: 12.11.2004
Где: Армения

Репутация: 81
Всего: 211

Цитата(Cheloveck @ 4.9.2010, 23:19

)

а мне показалось на этапе выполнения...

ну..из этапа компиляции информацию можно легко передать в этап выполнения smile

Цитата(TDM @ 4.9.2010, 23:05

)

проверил, в vs передаётся и успешно запускается, в gcc тоже. smile

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

boostcoder

Дата 5.9.2010, 00:26 (ссылка)

(голосов:1)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

так узнаешь кол-во аргументов:

Код


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

)

Только давай так

недавай.
создай отдельную тему, тогда и пообщаемся smile

Цитата(azesmcar @ 4.9.2010, 22:42

)

полагаю имелось ввиду на этапе компиляции

Цитата(Cheloveck @ 4.9.2010, 23:19

)

а мне показалось на этапе выполнения...

Цитата(azesmcar @ 5.9.2010, 00:13

)

ну..из этапа компиляции информацию можно легко передать в этап выполнения

Это сообщение отредактировал(а) boostcoder - 5.9.2010, 05:55

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

TDM

Дата 5.9.2010, 01:45 (ссылка)

(нет голосов)

Загрузка ...

Шустрый

Профиль
Группа: Участник
Сообщений: 133
Регистрация: 1.2.2006
Где: SPB

Репутация: нет
Всего: нет

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

boostcoder

Дата 5.9.2010, 05:55 (ссылка)

(нет голосов)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

Цитата(TDM @ 5.9.2010, 01:45

)

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

лучшая

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

TDM

Дата 6.9.2010, 13:51 (ссылка)

(нет голосов)

Загрузка ...

Шустрый

Профиль
Группа: Участник
Сообщений: 133
Регистрация: 1.2.2006
Где: SPB

Репутация: нет
Всего: нет

Цитата(azesmcar @ 5.9.2010, 00:13

)

void* имеет достаточный размер, чтобы хранить указатель на любой объект, объект а не функцию.

Код


typedef float(*Func)(float,float);
printf("%i %i", sizeof(void*), sizeof(Func));

выдаёт одинаковый размер

Это сообщение отредактировал(а) TDM - 6.9.2010, 13:51

djamshud

Дата 6.9.2010, 14:10 (ссылка)

(нет голосов)

Загрузка ...

Пердупержденный

Профиль
Группа: Завсегдатай
Сообщений: 1655
Регистрация: 23.11.2009

Репутация: 8
Всего: 39

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

--------------------

'Cuz I never walk away from what I know is right
Alice Cooper - Freedom

azesmcar

Дата 6.9.2010, 14:27 (ссылка)

(нет голосов)

Загрузка ...

uploading...

Профиль
Группа: Участник Клуба
Сообщений: 6291
Регистрация: 12.11.2004
Где: Армения

Репутация: 81
Всего: 211

Цитата(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 (ссылка)

(нет голосов)

Загрузка ...

Шустрый

Профиль
Группа: Участник
Сообщений: 133
Регистрация: 1.2.2006
Где: SPB

Репутация: нет
Всего: нет

ок, ясно

TDM

Дата 8.9.2010, 17:56 (ссылка)

(нет голосов)

Загрузка ...

Шустрый

Профиль
Группа: Участник
Сообщений: 133
Регистрация: 1.2.2006
Где: SPB

Репутация: нет
Всего: нет

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

boostcoder

Дата 8.9.2010, 18:02 (ссылка)

(нет голосов)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

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

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

TDM

Дата 8.9.2010, 21:04 (ссылка)

(нет голосов)

Загрузка ...

Шустрый

Профиль
Группа: Участник
Сообщений: 133
Регистрация: 1.2.2006
Где: SPB

Репутация: нет
Всего: нет

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

boostcoder

Дата 8.9.2010, 21:14 (ссылка)

(нет голосов)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

все верно. напутал подбиблиотеку.

Код


boost::function_traits<f>::result_type

Добавлено @ 21:14

Цитата(TDM @ 8.9.2010, 21:04

)

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

может поделитесь решением? smile

форум все таки.

Это сообщение отредактировал(а) boostcoder - 8.9.2010, 22:09

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

TDM

Дата 8.9.2010, 22:07 (ссылка)

(нет голосов)

Загрузка ...

Шустрый

Профиль
Группа: Участник
Сообщений: 133
Регистрация: 1.2.2006
Где: SPB

Репутация: нет
Всего: нет

boostcoder,
ок)

Код


boost::function_traits<f>::result_type

работает как я понял только для просто функций, для методов нет.
с result_of работает всё:

Код


#define resultof(exp) typename boost::result_of<exp()>::type

MAKCim

Дата 8.9.2010, 23:06 (ссылка)

(нет голосов)

Загрузка ...

Воін дZэна

Профиль
Группа: Экс. модератор
Сообщений: 5644
Регистрация: 10.12.2005
Где: Менск, РБ

Репутация: 52
Всего: 207

ответ на первый вопрос топика так и остался загадкой...

Добавлено через 3 минуты и 56 секунд

Цитата(TDM @ 4.9.2010, 17:34

)

Как узнать сколько у функции параметров и какого они типа если передавать только указатель на неё?

строго говоря никак

все, что написали, не имеет ничего общего с первоначальной формулировкой задачи

--------------------

boostcoder

Дата 8.9.2010, 23:16 (ссылка)

(голосов:1)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

Добавлено @ 23:17

Цитата(MAKCim @ 8.9.2010, 23:06

)

ответ на первый вопрос топика так и остался загадкой...

это почему?

Цитата(MAKCim @ 8.9.2010, 23:06

)

строго говоря никак

а это почему?

Цитата(MAKCim @ 8.9.2010, 23:06

)

все, что написали, не имеет ничего общего с первоначальной формулировкой задачи

еще и это, почему?

Это сообщение отредактировал(а) boostcoder - 8.9.2010, 23:18

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

MAKCim

Дата 9.9.2010, 08:44 (ссылка)

(нет голосов)

Загрузка ...

Воін дZэна

Профиль
Группа: Экс. модератор
Сообщений: 5644
Регистрация: 10.12.2005
Где: Менск, РБ

Репутация: 52
Всего: 207

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

--------------------

Earnest

Дата 9.9.2010, 08:51 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Экс. модератор
Сообщений: 5962
Регистрация: 17.6.2005
Где: Рязань

Репутация: 53
Всего: 183

Цитата(MAKCim @ 9.9.2010, 00:06

)

все, что написали, не имеет ничего общего с первоначальной формулировкой задачи

Точно, если, конечно, автор имел в виду именно то, что написал - определение сигнатуры по УКАЗАТЕЛЮ.
Ибо все эти ваши бусты и прочее мета-программирование работает вовсе не с указателями, а с точными типами и в компил-тайм.
Но не исключено, что автор это и имел в виду.

--------------------

...

boostcoder

Дата 9.9.2010, 14:26 (ссылка)

(нет голосов)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

MAKCim, Earnest, или я вас не понимаю... или второе.

Цитата(MAKCim @ 9.9.2010, 08:44

)

просто по адресу без спец. средств

т.е. адрес функции должен храниться в void* ?

Цитата(Earnest @ 9.9.2010, 08:51

)

в компил-тайм

естественно.
но даже если бы это можно было сделать в runtime, то от этого было бы мало толку, т.к. в runtime ни сигнатуру, ни тело функции не сгенерируешь. да и не надо это.

пример: http://liveworkspace.org/code/700dba403c8a...f15069042845ede

Это сообщение отредактировал(а) boostcoder - 9.9.2010, 15:20

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

Sartorius

Дата 9.9.2010, 14:49 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 1568
Регистрация: 18.7.2006
Где: Ivory tower

Репутация: 8
Всего: 37

Цитата(boostcoder @ 9.9.2010, 15:26

)

т.к. в runtime ни сигнатуру, ни тело функции не сгенерируешь.

Это почему? Параметры в стек положить и руками можно, сгенерировать любой код и выполнить его хоть на стеке тоже не проблема. (x-bit--ы конечно всякие там и ASLR есть, но и их уже научились обходить. Да и не везде они есть)

boostcoder

Дата 9.9.2010, 14:53 (ссылка)

(нет голосов)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

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

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

TDM

Дата 9.9.2010, 19:39 (ссылка)

(нет голосов)

Загрузка ...

Шустрый

Профиль
Группа: Участник
Сообщений: 133
Регистрация: 1.2.2006
Где: SPB

Репутация: нет
Всего: нет

Цитата(Earnest @ 9.9.2010, 08:51

)

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

да именно это и хотел, немного не корректно написал.

1 Пользователей читают эту тему (1 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема \| C/C++: Общие вопросы \| Следующая тема »