33 / 0 / 0
Регистрация: 07.11.2013
Сообщений: 118
1

Шаблонные указатели на функции и их генерация

26.04.2015, 14:53. Показов 5387. Ответов 8
Метки нет (Все метки)

Здравствуйте!

Насколько я понимаю, не существует синтаксиса для объявления указателей на функции при помощи using.
Однако typedef не поддерживает шаблонизацию.

Мне нужно генерирование указателей на функции типа T(*func)().

Пока приходит только мысль о шаблоне структуры, внутри которой будет содержаться typedef.

Что делать?

Добавлено через 27 минут
Что-то вроде такого:

C++
1
2
3
4
5
template<typename T>
struct FunctionPtr
{
    typedef T(*type)();
};
__________________
Помощь в написании контрольных, курсовых и дипломных работ, диссертаций здесь
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
26.04.2015, 14:53
Ответы с готовыми решениями:

Шаблонные функции и указатели на функции
Помогите доделать и исправить... Задание: 1. Создать структуру Прямоугольник, с полями Высота и...

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

Шаблонные функции
Доброго времени суток. Есть шаблонная функция(двоичный сумматор прямого кода): template &lt;class T&gt;...

Шаблонные функции
1) Написать шаблонную функцию для нахождения минимального из трех передаваемых чисел (для чисел...

8
Эксперт С++
8719 / 4299 / 958
Регистрация: 15.11.2014
Сообщений: 9,744
26.04.2015, 15:00 2
Лучший ответ Сообщение было отмечено IGPIGP как решение

Решение

Цитата Сообщение от relationer Посмотреть сообщение
Насколько я понимаю, не существует синтаксиса для объявления указателей на функции при помощи using.
вы ошибаетесь

http://rextester.com/WYA35567

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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
//Title of this code
//g++  4.9.1
 
#include <iostream>
 
 
struct example
{
    void foo()const { std::cout<<"example::foo\n"; }
};
 
void free() { std::cout<<"free\n"; }
 
// --- синтаксис объявления шаблоно-указателя-на-функцию-член-класса
template<class T>
    using pMethod = void (T::*)()const;
 
// --- синтаксис объявления шаблоно-указателя-на-свободную-функцию
template<class R>
    using pFree = R(*)();
    
    
// --- принимает объект
// порождает указатель-на-функцию-член
// и запускает его для этого объекта    
template<class T> void launcher(T& obj )
{
    pMethod<T> method = &T::foo;
    (obj.*method)();
}
 
int main()
{
    std::cout << "Hello, world!\n";
    
    example obj;
 
    // --- принимает объект
    // порождает указатель-на-функцию-член
    // и запускает его для этого объекта    
    launcher(obj);
 
    // --- инстанцирование конкретного указателя-на-функцию-член-класса     
    pMethod<example> method = &example::foo;
    
    // --- запуск метода класса по указателю
    (obj.*method)();
    
    // --- тоже самое для свободной функции
    // указываем тип возвращаемого значения
    pFree<void> func = &free;
    func();
    
}
2
Комп_Оратор)
Эксперт по математике/физике
8776 / 4515 / 608
Регистрация: 04.12.2011
Сообщений: 13,468
Записей в блоге: 16
16.08.2020, 11:34 3
Ураганная возможность, конечно. Но вот натолкнулся на проблемку. Сеть издолбил как мог - не нашёл. При использовании параметра по умолчанию происходит странная вещь. Для параметра std::less<int> компилятор выводит аргумент типа std::less<int&> и это странно. Есть ли способ это победить?
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
35
36
37
38
39
40
41
42
#include <iostream>
#include <algorithm>
using namespace std;
 
template <class It, class Cmp=std::less<decltype(*(It()))>>
using ptr_sort=void(*)(It,It,Cmp);
 
template<class It, class Cmp=std::less<decltype(*(It()))>>
void foo(It first, It last, Cmp cmp,  ptr_sort<It, Cmp> ps)
{
    ps(first, last, cmp);
}
 
int main()
{
    vector<int>vi{3,1,5,4},
    vi1(vi), vi2(vi);
        for(auto e:vi)cout<<e<<' ';
        cout<<endl;
        ptr_sort<vector<int>::iterator, std::less<int> > ps=sort<vector<int>::iterator, std::less<int>> ;
        ps(vi.begin(), vi.end(),  std::less<int>{});
        for(auto e:vi)cout<<e<<' ';
        
            cout<<endl;
            for(auto e:vi1)cout<<e<<' ';
            foo(vi1.begin(), vi1.end(),  std::less<int>{}, ps);
            cout<<endl;
            for(auto e:vi1)cout<<e<<' ';
            cout<<endl;
 
            for(auto e:vi2)cout<<e<<' ';
            ptr_sort<vector<int>::iterator > pss=sort<vector<int>::iterator>;
 
            //pss(vi.begin(), vi.end(),  std::less<int>{});//вызывает ошибку
            //error: could not convert 'std::less<int>()' from 'std::less<int>' to 'std::less<int&>'|
            //поэтому пытаюсь схитрить (но это уродство, конечно) :
            std::less<int&> ml;// а без этого - как?
            pss(vi2.begin(), vi2.end(), ml);// сортирует... но как-то это странно всё
            cout<<endl;
            for(auto e:vi2)cout<<e<<' ';
return 0;
}
в последнем фрагменте - в комментах, детали к вопросу.
0
Вездепух
Эксперт CЭксперт С++
10427 / 5697 / 1552
Регистрация: 18.10.2014
Сообщений: 14,059
16.08.2020, 12:16 4
Цитата Сообщение от IGPIGP Посмотреть сообщение
Для параметра std::less<int> компилятор выводит аргумент типа std::less<int&> и это странно.
Тип компаратора в данном случае задается через decltype(*(It())) в строке 5. А decltype(*(It())) дает в результате ссылочный тип, если его аргумент является lvalue. Все, как и должно быть.
1
Комп_Оратор)
Эксперт по математике/физике
8776 / 4515 / 608
Регистрация: 04.12.2011
Сообщений: 13,468
Записей в блоге: 16
16.08.2020, 12:19 5
Цитата Сообщение от TheCalligrapher Посмотреть сообщение
Вывод в данном случае делается через decltype(*(It())). А decltype(*(It())) дает в результате ссылочный тип, если его аргумент является lvalue.
Это я понял. Я не понимаю как снять это прилипшее...
Мысль скачет вокруг вот такой вот ёлки :
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
template <
class It,
class Cmp=
    std::less   <
    decltype(
              typename std::remove_reference
                    <
                        decltype( *(It()))
                    >::type
                >
            )
        >
using ptr_sort=void(*)(It,It,Cmp);
пока безуспешно
0
Вездепух
Эксперт CЭксперт С++
10427 / 5697 / 1552
Регистрация: 18.10.2014
Сообщений: 14,059
16.08.2020, 12:20 6
Лучший ответ Сообщение было отмечено IGPIGP как решение

Решение

Какой-то дисбаланс треугольных скобок наблюдается. Внешний decltype не нужен. std::remove_reference надо навесить снаружи на исходный decltype.

Или, например, std::less<typename std::decay<decltype(*(It()))>::type> даст требуемый предикат с нессылочным типом.
1
Комп_Оратор)
Эксперт по математике/физике
8776 / 4515 / 608
Регистрация: 04.12.2011
Сообщений: 13,468
Записей в блоге: 16
16.08.2020, 13:44 7
Цитата Сообщение от TheCalligrapher Посмотреть сообщение
Какой-то дисбаланс треугольных скобок наблюдается. Внешний decltype не нужен. std::remove_reference надо навесить снаружи на исходный decltype.
я делал разное, но до этого не дошёл. typename это уже акт отчаяния.
Цитата Сообщение от TheCalligrapher Посмотреть сообщение
Или, например, std::less<typename std::decay<decltype(*(It()))>::type> даст требуемый предикат с нессылочным типом.
Спасибо, - попробую!
И ещё. Вопрос пока сыроват, но может выглядеть так. Указатель (его тип вернее) является параметром шаблона. А вот std::sort реализована в виде двух перегрузок... Выходит и мне придётся делать 2 перегрузки для метода принимающего указатель на конкретный инстанс sort (или stable_sort например). То есть один с итератором в шаблоне и с парой итераторов в аргументах, а другой ещё и с типом компаратара в шаблоне и объектом в аргументах...? Чуть сумбурно, но если не понятно, поясню.
0
248 / 70 / 9
Регистрация: 22.07.2018
Сообщений: 321
16.08.2020, 18:03 8
Цитата Сообщение от TheCalligrapher Посмотреть сообщение
Или, например, std::less<typename std::decay<decltype(*(It()))>::type> даст требуемый предикат с нессылочным типом.
Или, как пишут нормальные люди: std::less<typename std::iterator_traits<It>::value_type>.
0
Комп_Оратор)
Эксперт по математике/физике
8776 / 4515 / 608
Регистрация: 04.12.2011
Сообщений: 13,468
Записей в блоге: 16
16.08.2020, 19:23 9
Цитата Сообщение от argcargv Посмотреть сообщение
Или, как пишут нормальные люди:
Как психиатр психиатру:
std::less<typename std::iterator_traits<It>::value_type>
я верю, что с точки зрения стандарта, это лучше. Но слов больше.
0
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
16.08.2020, 19:23
Помогаю со студенческими работами здесь

Шаблонные функции
Чет не получается написать шаблонную функцию. func.h template &lt;class T&gt; T strnstr (T str, T...

Шаблонные функции
Задание: Напишите программу, которая использует шаблон функции для наибольшего из двух аргументов....

Шаблонные функции
Читал у Праты про шаблонные функции, и везде они описаны наподобие template &lt;typename Any&gt; void...

Шаблонные функции
Такой код работает. #include &lt;iostream&gt; #include &lt;string&gt; #include &lt;cstring&gt; using namespace...


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

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

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2023, CyberForum.ru