Форум программистов, компьютерный форум, киберфорум
Наши страницы
C++
Войти
Регистрация
Восстановить пароль
 
 
Рейтинг: Рейтинг темы: голосов - 69, средняя оценка - 4.77
Tulosba
:)
Эксперт С++
4746 / 3240 / 496
Регистрация: 19.02.2013
Сообщений: 9,046
#1

Передача типа указателя на функцию - C++

27.06.2013, 17:26. Просмотров 8725. Ответов 20
Метки нет (Все метки)

Всем привет.

Недавно в теме начинающих возник вопрос, а можно ли передать тип (указатель на функцию) без использования typedef:
C++
1
2
typedef void (*func)(void);
func f = va_arg(vl,func);
Конкретно речь идет о втором аргументе макроса va_arg (из <cstdarg>).
Первое, что пришло на ум, это использование decltype. Но всё же эта фишка C++11. А есть ли решение в старом стиле?

Заранее спасибо.

Добавлено через 6 часов 36 минут
@vxg предложил такой вариант:
Кликните здесь для просмотра всего текста
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
#include <stdarg.h>
#include <stdio.h>
#include <stdlib.h>
 
int my_super_function(int x)
{
    return 2 * x;
}
 
void my_super_puper_function(const char *format, ...)
{
    va_list arglist;
    va_start(arglist, format);
    int (*f)(int x) = (int (*)(int x))va_arg(arglist, void *);
    printf("%i\n", f(2));
    va_end(arglist);
}
 
int main(int argc, char* argv[])
{
    my_super_puper_function("%p", my_super_function);
    system("pause");
    return 0;
}

http://www.cyberforum.ru/cpp/thread1799915.html
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
27.06.2013, 17:26
Я подобрал для вас темы с готовыми решениями и ответами на вопрос Передача типа указателя на функцию (C++):

Чем _Get_pointer_type отличается от обычного получения типа указателя
При попытке более детально понять работу стандартных контейнеров в STD...

Шаблон RAII замены указателя на функцию
шаблон raii замены указателя на фукнцию допустим имеется набор указателей на...

Ошибка Access violation при передаче указателя в функцию
выделяю память для нужд програмных и соханяю его. char *resadres =(char*)...

Передача ссылки в функцию в DLL
Здравствуйте. По этому мануалу сделал DLL...

Как написать функцию, которая бы автоматически определяла типа принимаемых параметров?
Друзья! На самом деле примеров подобных функций много, я имею ввиду...

20
ForEveR
В астрале
Эксперт С++
7994 / 4753 / 651
Регистрация: 24.06.2010
Сообщений: 10,547
Завершенные тесты: 3
28.06.2013, 10:06 #2
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
#include <boost/typeof/typeof.hpp>
#include <iostream>
 
#include <cstdarg>
 
int my_super_function(int x)
{
    return 2 * x;
}
 
void my_super_puper_function(const char *format, ...)
{
    va_list arglist;
    va_start(arglist, format);
    typeof(my_super_function)* f = (typeof(my_super_function)*)va_arg(arglist, void *);
    std::cout << f(2) << std::endl;
    va_end(arglist);
}
 
int main()
{
   my_super_puper_function("%p", my_super_function);
}
1
Tulosba
:)
Эксперт С++
4746 / 3240 / 496
Регистрация: 19.02.2013
Сообщений: 9,046
28.06.2013, 11:22  [ТС] #3
@ForEveR, только вот один момент. Я так понимаю, возможность преобразования указателя на функцию (или на функцию-член) в void* и обратно, зависит от реализации.
§ 5.2.10/8:
Converting a function pointer to an object pointer type or vice versa is conditionally-supported. The meaning of such a conversion is implementation-defined, except that if an implementation supports conversions in both directions, converting a prvalue of one type to the other type and back, possibly with different cvqualification, shall yield the original pointer value.
0
ForEveR
В астрале
Эксперт С++
7994 / 4753 / 651
Регистрация: 24.06.2010
Сообщений: 10,547
Завершенные тесты: 3
28.06.2013, 11:31 #4
@Tulosba, Вцелом, да.
C++
1
typeof(my_super_function)* f = va_arg(arglist, typeof(my_super_function)*);
Тогда так)
1
Tulosba
:)
Эксперт С++
4746 / 3240 / 496
Регистрация: 19.02.2013
Сообщений: 9,046
28.06.2013, 11:38  [ТС] #5
@ForEveR, а во что в итоге разворачивается boost typeof?
0
ForEveR
В астрале
Эксперт С++
7994 / 4753 / 651
Регистрация: 24.06.2010
Сообщений: 10,547
Завершенные тесты: 3
28.06.2013, 11:49 #6
@Tulosba, В зависимости от компилятора. Для GNU использует их typeof к примеру.
Я тут прогнал кстати. Там должно быть BOOST_TYPEOF, ибо typeof это я как раз использовал нативный.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
#include <boost/typeof/typeof.hpp>
#include <iostream>
 
#include <cstdarg>
 
int my_super_function(int x)
{
    return 2 * x;
}
 
void my_super_puper_function(const char *format, ...)
{
    va_list arglist;
    va_start(arglist, format);
    BOOST_TYPEOF(my_super_function)* f = va_arg(arglist, BOOST_TYPEOF(my_super_function)*);
    std::cout << f(2) << std::endl;
    va_end(arglist);
}
 
int main()
{
   my_super_puper_function("%p", my_super_function);
}
0
Tulosba
:)
Эксперт С++
4746 / 3240 / 496
Регистрация: 19.02.2013
Сообщений: 9,046
28.06.2013, 11:55  [ТС] #7
@ForEveR, что-то мне кажется, что с введением decltype смысла в гнушном typeof поубавится.
0
ForEveR
В астрале
Эксперт С++
7994 / 4753 / 651
Регистрация: 24.06.2010
Сообщений: 10,547
Завершенные тесты: 3
28.06.2013, 11:59 #8
@Tulosba, Поубавится конечно. Но мы же сейчас о С++03 говорит, а не С++11.
0
Tulosba
:)
Эксперт С++
4746 / 3240 / 496
Регистрация: 19.02.2013
Сообщений: 9,046
28.06.2013, 12:10  [ТС] #9
Цитата Сообщение от ForEveR Посмотреть сообщение
Но мы же сейчас о С++03 говорит, а не С++11.
да-да просто дискутирую

Добавлено через 7 минут
Но, вообще-то, я предполагал, что найдется какое-то решение передать тип вторым параметром va_arg, не прибегая к typedef, ну и дополнительно хотелось бы иметь переносимость. А теперь еще можно было бы добавить запрет на использование сторонних библиотек типа Boost. Короче говоря, чтоб голый C++03.
0
ForEveR
В астрале
Эксперт С++
7994 / 4753 / 651
Регистрация: 24.06.2010
Сообщений: 10,547
Завершенные тесты: 3
28.06.2013, 12:40 #10
@Tulosba, Тогда единственный норм вариант - это вариант vgx без использования void*.
C++
1
int (*f)(int x) = va_arg(arglist, int (*)(int));
0
Tulosba
:)
Эксперт С++
4746 / 3240 / 496
Регистрация: 19.02.2013
Сообщений: 9,046
28.06.2013, 12:55  [ТС] #11
C++
1
int (*f)(int x) = va_arg(arglist, int (*)(int));
Студия не жрет А ideone съел. У меня, собственно вопрос и возник из-за того, что студия не съела.
0
ForEveR
В астрале
Эксперт С++
7994 / 4753 / 651
Регистрация: 24.06.2010
Сообщений: 10,547
Завершенные тесты: 3
28.06.2013, 13:03 #12
@Tulosba, А что говорит-то?
0
Tulosba
:)
Эксперт С++
4746 / 3240 / 496
Регистрация: 19.02.2013
Сообщений: 9,046
28.06.2013, 13:39  [ТС] #13
Цитата Сообщение от ForEveR Посмотреть сообщение
А что говорит-то?
Вот:
Error 1 error C2059: syntax error : ')'
2 IntelliSense: expected an expression
0
Миниатюры
Передача типа указателя на функцию  
Tulosba
:)
Эксперт С++
4746 / 3240 / 496
Регистрация: 19.02.2013
Сообщений: 9,046
28.06.2013, 13:59  [ТС] #14
Видимо проблема в реализации макроса. В VS 2012 так:
C++
1
2
3
#define _crt_va_start(ap,v)  ( ap = (va_list)_ADDRESSOF(v) + _INTSIZEOF(v) )
#define _crt_va_arg(ap,t)    ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )
#define _crt_va_end(ap)      ( ap = (va_list)0 )
Надо посмотреть, что у GCC. Правда я уперся в
C++
1
__builtin_va_arg(__p1,__p2)
0
ForEveR
В астрале
Эксперт С++
7994 / 4753 / 651
Регистрация: 24.06.2010
Сообщений: 10,547
Завершенные тесты: 3
28.06.2013, 15:16 #15
@Tulosba, Ну... В gcc все серьезнее.)
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
    case RID_VA_ARG:
      {
        tree expression;
        tree type;
        source_location type_location;
 
        /* The `__builtin_va_arg' construct is used to handle
           `va_arg'.  Consume the `__builtin_va_arg' token.  */
        cp_lexer_consume_token (parser->lexer);
        /* Look for the opening `('.  */
        cp_parser_require (parser, CPP_OPEN_PAREN, RT_OPEN_PAREN);
        /* Now, parse the assignment-expression.  */
        expression = cp_parser_assignment_expression (parser,
                              /*cast_p=*/false, NULL);
        /* Look for the `,'.  */
        cp_parser_require (parser, CPP_COMMA, RT_COMMA);
        type_location = cp_lexer_peek_token (parser->lexer)->location;
        /* Parse the type-id.  */
        type = cp_parser_type_id (parser);
        /* Look for the closing `)'.  */
        cp_parser_require (parser, CPP_CLOSE_PAREN, RT_CLOSE_PAREN);
        /* Using `va_arg' in a constant-expression is not
           allowed.  */
        if (cp_parser_non_integral_constant_expression (parser,
                                NIC_VA_ARG))
          return error_mark_node;
        return build_x_va_arg (type_location, expression, type);
      }
Ну а дальше уже работа с деревом.
0
Tulosba
:)
Эксперт С++
4746 / 3240 / 496
Регистрация: 19.02.2013
Сообщений: 9,046
28.06.2013, 15:21  [ТС] #16

Не по теме:

Цитата Сообщение от ForEveR Посмотреть сообщение
Ну а дальше уже работа с деревом.
да тут не одно дерево, а целый темный лес


Интересно было бы MS-макрос полечить, чтоб он умел как gcc тип принимать.
0
ForEveR
В астрале
Эксперт С++
7994 / 4753 / 651
Регистрация: 24.06.2010
Сообщений: 10,547
Завершенные тесты: 3
28.06.2013, 20:14 #17
Вцелом, т.к. в MSVC все ок с переводом из void* в function-pointer то почему бы не

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
#include <stdarg.h>
#include <stdio.h>
#include <stdlib.h>
 
int my_super_function(int x)
{
    return 2 * x;
}
 
#ifdef _MSC_VER
#define VA_ARG_FUNCTION(arglist, signature) \
    (signature)va_arg((arglist), void*)
#else
#define VA_ARG_FUNCTION(arglist, signature) \
    va_arg((arglist), signature)
#endif
 
void my_super_puper_function(const char *format, ...)
{
    va_list arglist;
    va_start(arglist, format);
    int (*f)(int x) = VA_ARG_FUNCTION(arglist, int(*)(int));
    printf("%i\n", f(2));
    va_end(arglist);
}
 
int main(int argc, char* argv[])
{
    my_super_puper_function("%p", my_super_function);
    system("pause");
    return 0;
}
0
Kastaneda
Jesus loves me
Эксперт С++
4759 / 2962 / 340
Регистрация: 12.12.2009
Сообщений: 7,520
Записей в блоге: 2
Завершенные тесты: 1
30.06.2013, 17:06 #18
Вот что придумал на базе кода из первого поста:
вводим дополнительную сущность
C++
1
2
3
4
union fptr
{
    int (*ptr)(int);
};
внтури my_super_puper_function()
C++
1
int (*f)(int x) = va_arg(arglist, fptr).ptr;
итого весь код
Кликните здесь для просмотра всего текста
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
#include <stdarg.h>
#include <stdio.h>
#include <stdlib.h>
 
int my_super_function(int x)
{
    return 2 * x;
}
 
union fptr
{
    int (*ptr)(int);
};
 
void my_super_puper_function(const char *format, ...)
{
    va_list arglist;
    va_start(arglist, format);
    int (*f)(int x) = va_arg(arglist, fptr).ptr;
    printf("%i\n", f(2));
    va_end(arglist);
}
 
int main(int argc, char* argv[])
{
    my_super_puper_function("%p", my_super_function);
    system("pause");
    return 0;
}
1
Tulosba
:)
Эксперт С++
4746 / 3240 / 496
Регистрация: 19.02.2013
Сообщений: 9,046
30.06.2013, 17:22  [ТС] #19
@Kastaneda, интересный подход. А union вместо struct потому что на 1 символ короче?
0
Kastaneda
Jesus loves me
Эксперт С++
4759 / 2962 / 340
Регистрация: 12.12.2009
Сообщений: 7,520
Записей в блоге: 2
Завершенные тесты: 1
30.06.2013, 17:28 #20
Цитата Сообщение от Tulosba Посмотреть сообщение
А union вместо struct потому что на 1 символ короче?
Вообще можно было и struct, но union можно расширять
C++
1
2
3
4
5
union fptr
{
    int (*ptr1)(int);
    void (*ptr2)(int);
};
без увеличения занимаемого им места, а struct нет. Расширение может понадобиться для того, чтобы избежать привидение типа внутри my_super_puper_function(). Хотя преимущество конечно спорное, т.к. расширять можно до бесконечности и всех вариантов все равно не переберешь. Поэтому наверное практичней сделать ptr как void(*ptr)(), а внути my_super_puper_function() уже руками приводить к чему надо.
0
30.06.2013, 17:28
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
30.06.2013, 17:28
Привет! Вот еще темы с решениями:

Написать функцию, которая напечатает битовое представление значения заданного типа – enum
Здравствуйте, помогите пожалуйста с типом данных enum,требуется написать...

Передача объекта типа TStringGrid в функцию в Embarcadero C++
Здравствуйте. Недавно начал изучать embarcadero c++ builder и столкнулся с...

Передача и возврат указателя из массива
Доброго времени суток. проблема с указателями как я догадываюсь. функция im...

Передача указателя на шаблонную функцию в другую функцию
Пишу тест для нескольких улучшений квиксорта с измерением времени. Функция...


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

Или воспользуйтесь поиском по форуму:
20
Ответ Создать тему
Опции темы

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