Шаблон указателя на функцию и шаблоны функций

@montkay · Регистрация: 19.02.2014

Подскажите пожалуйста, в чём проблема? Не смог разобраться.

C++

#include "stdafx.h"
#include <iostream>
#include <stdlib.h>
#include <time.h>
using namespace std;
 
template <typename T>
typedef bool (* TFunc)(T, T);   // пытаюсь создать шаблон указателя на функцию.
template <typename T>
bool Asc(T left, T right)       // функция, которая пригодится для сортировки по возростанию.
{ return left > right; }
template <typename T>
bool Desc(T left, T right)      // функция, которая пригодится для сортировки по убыванию.
{ return left < right; }
template <typename T>
void sort(T *pArr, int size, TFunc pFunc)   // сама сортировка (пузырьковым методом).
{
    for (int i = 0; i < size; ++i)
        for (int j = 0; j < size - 1 - i; ++j)
            if (pFunc(pArr[j], pArr[j+1]))
            {
                T temp = pArr[j];
                pArr[j] = pArr[j+1];
                pArr[j+1] = temp;
            }
}
int main()
{
    srand(unsigned (time(0)));
    int n = 10;
    int *pArr = new int [n];        // создается массив.
    for (int i = 0; i < n; ++i)
        pArr[i] = rand()%11;
    for (int i = 0; i < n; ++i)     // отображение массива.
        cout << pArr[i] << " ";
    cout << endl;
    cout << "Enter 1 to ordinate array in ascent\n"
            "and 2 - in descent:\n";
    int c;
    while (cin >> c)                // выбор 1 для сортировки по возростанию и 2 - по убыванию.
    {
        if (c == 1 || c == 2)
            break;
        cout << "Enter correct number! Try again:\n";
    }
    if (c == 1)
        sort (pArr, n, Asc);
    else
        sort (pArr, n, Desc);
    for (int i = 0; i < n; ++i)     // отображение отсортированного массива.
        cout << pArr[i] << " ";
    cout << endl;
    return 0;
}

Croessmah · 12.03.2014, 10:58

Сообщение от montkay

Подскажите пожалуйста, в чём проблема?

Эт Вы нам скажите в чем проблема то.

Сообщение от montkay

для сортировки по возростанию.

Сообщение от montkay

для сортировки по убыванию.

std::greater
std::less

C++

    if (c == 1)
        sort (pArr, n, Asc);
    else
        sort (pArr, n, Desc);

Asc и Desc - шаблоны

Ilot · 12.03.2014, 11:01

А вы подумайте, что вы делаете. Для разных функций (с разными реализациями) вы объявляете один и тот же псевдоним. Т.е. как компилятор разберется в такой записи:

C++

//.....
bool f1(int, int);
bool f2(float, float);
//.....
TFunc = f1;
TFunc = f2;

Croessmah · 12.03.2014, 11:02

C++

#include "stdafx.h"
#include <iostream>
#include <stdlib.h>
#include <time.h>
using namespace std;
 
template <typename T>
bool Asc(T left, T right)       // функция, которая пригодится для сортировки по возростанию.
{ return left > right; }
template <typename T>
bool Desc(T left, T right)      // функция, которая пригодится для сортировки по убыванию.
{ return left < right; }
template <typename T,typename U>
void sort(T *pArr, int size, U pFunc)   // сама сортировка (пузырьковым методом).
{
    for (int i = 0; i < size; ++i)
        for (int j = 0; j < size - 1 - i; ++j)
            if (pFunc(pArr[j], pArr[j+1]))
            {
                T temp = pArr[j];
                pArr[j] = pArr[j+1];
                pArr[j+1] = temp;
            }
}
int main()
{
    srand(unsigned (time(0)));
    int n = 10;
    int *pArr = new int [n];        // создается массив.
    for (int i = 0; i < n; ++i)
        pArr[i] = rand()%11;
    for (int i = 0; i < n; ++i)     // отображение массива.
        cout << pArr[i] << " ";
    cout << endl;
    cout << "Enter 1 to ordinate array in ascent\n"
            "and 2 - in descent:\n";
    int c;
    while (cin >> c)                // выбор 1 для сортировки по возростанию и 2 - по убыванию.
    {
        if (c == 1 || c == 2)
            break;
        cout << "Enter correct number! Try again:\n";
    }
    if (c == 1)
        sort (pArr, n, Asc<int>);
    else
        sort (pArr, n, Desc<int>);
    for (int i = 0; i < n; ++i)     // отображение отсортированного массива.
        cout << pArr[i] << " ";
    cout << endl;
    return 0;
}

@montkay · 12.03.2014, 12:24 **[ТС]**

Croessmah, виноват - не указал саму проблему =) Проблема находится в следующем:

C++

1	typedef bool (* TFunc)(T, T);

Именно в этом месте происходит ошибка при компиляции. А потом соответственно и в функции

C++

1	void sort(T *pArr, int size, TFunc pFunc)

Добавлено через 6 минут
Ilot, но ведь присваивание происходить не одновременно, а с помощью разветвления:

Сообщение от montkay

C++

if (c == 1)
     sort (pArr, n, Asc);
   else
     sort (pArr, n, Desc);

Добавлено через 7 минут
Сейчас я понял, что именно нужно сделать - правильно отобразить шаблон указателя на функцию:

C++

1	typedef bool (* TFunc)(T, T);

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

@John Prick · 12.03.2014, 12:24

Тайпдефы шаблонными не могут быть.

Ilot · 12.03.2014, 12:30

Сообщение от montkay

Ilot, но ведь присваивание происходить не одновременно, а с помощью разветвления:

И что? Вы не поняли сути. Объявляя замену типа шаблонным вы тем самым различным шаблонам присваиваете одно и тоже имя. Это почти тоже самое, что и сделать вот так:

C++

1 2	bool (* TFunc)(int, int); bool (* TFunc)(float, float);

Поэтому компилятор этого не допускает.

@montkay · 12.03.2014, 12:37 **[ТС]**

John Prick, Вы бесспорно правы =) Прочитал в интернете: "если нельзя, но очень хочется, то можно". Здесь нельзя применить какой-нибудь метод, чтобы сделать указатель на функцию шаблонным?

Добавлено через 1 минуту
Ilot, действительно какой-то бред получается =) Спасибо!

Croessmah · 12.03.2014, 12:42

Чем не устраивает код из поста #4?

Сообщение от montkay

Здесь нельзя применить какой-нибудь метод, чтобы сделать указатель на функцию шаблонным?

C++

#include "stdafx.h"
#include <iostream>
#include <stdlib.h>
#include <time.h>
using namespace std;
 
template < typename T >
struct TFunc {
   typedef bool (*type)(T,T) ;
} ;
 
template <typename T>
bool Asc(T left, T right)       // функция, которая пригодится для сортировки по возростанию.
{ return left > right; }
template <typename T>
bool Desc(T left, T right)      // функция, которая пригодится для сортировки по убыванию.
{ return left < right; }
template <typename T>
void sort(T *pArr, int size, typename TFunc<T>::type pFunc)   // сама сортировка (пузырьковым методом).
{
    for (int i = 0; i < size; ++i)
        for (int j = 0; j < size - 1 - i; ++j)
            if (pFunc(pArr[j], pArr[j+1]))
            {
                T temp = pArr[j];
                pArr[j] = pArr[j+1];
                pArr[j+1] = temp;
            }
}
 
int main()
{
    srand(unsigned (time(0)));
    int n = 10;
    int *pArr = new int [n];        // создается массив.
    for (int i = 0; i < n; ++i)
        pArr[i] = rand()%11;
    for (int i = 0; i < n; ++i)     // отображение массива.
        cout << pArr[i] << " ";
    cout << endl;
    cout << "Enter 1 to ordinate array in ascent\n"
            "and 2 - in descent:\n";
    int c;
    while (cin >> c)                // выбор 1 для сортировки по возростанию и 2 - по убыванию.
    {
        if (c == 1 || c == 2)
            break;
        cout << "Enter correct number! Try again:\n";
    }
    if (c == 1)
        sort (pArr, n, Asc<int>);
    else
        sort (pArr, n, Desc<int>);
    for (int i = 0; i < n; ++i)     // отображение отсортированного массива.
        cout << pArr[i] << " ";
    cout << endl;
    return 0;
}

@John Prick · 12.03.2014, 12:46

C++

template <typename T>
struct pointer_to_function_template
{
    typedef bool (*TFunc)(T, T);
}
 
bool func1(int, int);
bool func2(double, double);
bool func3(string, string);
 
pointer_to_function_template<int>::TFunc pFunc1 = func1;
pointer_to_function_template<double>::TFunc pFunc2 = func2;
pointer_to_function_template<string>::TFunc pFunc3 = func3;

@montkay · 12.03.2014, 12:49 **[ТС]**

Croessmah, хороший код, но есть одно моё пожелание - хочется, чтобы шаблонный указатель принимал любые типы данных. А у Вашем коде нужно будет каждый раз изменять тип данных:

Сообщение от Croessmah

C++

if (c == 1)
* * * * sort (pArr, n, Asc<int>);
* * else
* * * * sort (pArr, n, Desc<int>);

А так всё хорошо, согласен =)

@John Prick · 12.03.2014, 12:52

montkay, зачем вам в вашей задача вообще нужен шаблонный указатель на функцию? Шаблонная функция sort и без этого отлично разберётся, какой ей передаётся тип указателя.

Ilot · 12.03.2014, 12:55

Сообщение от montkay

Croessmah, хороший код, но есть одно моё пожелание - хочется, чтобы шаблонный указатель принимал любые типы данных. А у Вашем коде нужно будет каждый раз изменять тип данных:

Ну так уберите параметры шаблона. Для вызова функции они не обязательны:

C++

    if (c == 1)
        sort (pArr, n, Asc);
    else
        sort (pArr, n, Desc);

Croessmah · 12.03.2014, 13:18

Сообщение от montkay

А у Вашем коде нужно будет каждый раз изменять тип данных

C++

template <typename T>
bool Asc(T left, T right)       // функция, которая пригодится для сортировки по возростанию.
{ return left > right; }
template <typename T>
bool Desc(T left, T right)      // функция, которая пригодится для сортировки по убыванию.
{ return left < right; }
template <typename T >
void sort(T *pArr, int size, bool (*pFunc)(T,T) )   // сама сортировка (пузырьковым методом).
{
    for (int i = 0; i < size; ++i)
        for (int j = 0; j < size - 1 - i; ++j)
            if (pFunc(pArr[j], pArr[j+1]))
            {
                T temp = pArr[j];
                pArr[j] = pArr[j+1];
                pArr[j+1] = temp;
            }
}
 
int main()
{
    srand(unsigned (time(0)));
    int n = 10;
    int *pArr = new int [n];        // создается массив.
    for (int i = 0; i < n; ++i)
        pArr[i] = rand()%11;
    for (int i = 0; i < n; ++i)     // отображение массива.
        cout << pArr[i] << " ";
    cout << endl;
    cout << "Enter 1 to ordinate array in ascent\n"
            "and 2 - in descent:\n";
    int c;
    while (cin >> c)                // выбор 1 для сортировки по возростанию и 2 - по убыванию.
    {
        if (c == 1 || c == 2)
            break;
        cout << "enter correct number! Try again:\n";
    }
    if (c == 1)
        sort (pArr, n, Asc);
    else
        sort (pArr, n, Desc);
    for (int i = 0; i < n; ++i)     // отображение отсортированного массива.
        cout << pArr[i] << " ";
    cout << endl;
    return 0;
}

@montkay · 12.03.2014, 13:21 **[ТС]**

Croessmah, спасибо за помощь!

@montkay 11 / 11 / 12 Регистрация: 19.02.2014 Сообщений: 72
	12.03.2014, 13:21 [ТС]	15
	Croessmah, спасибо за помощь! 0

Шаблон указателя на функцию и шаблоны функций

Решение

Решение

@John Prick 844 / 775 / 258 Регистрация: 27.07.2012 Сообщений: 2,180
	12.03.2014, 12:24	6
	Сообщение было отмечено montkay как решение Решение Тайпдефы шаблонными не могут быть. 1

@montkay 11 / 11 / 12 Регистрация: 19.02.2014 Сообщений: 72
	12.03.2014, 12:37 [ТС]	8
	John Prick, Вы бесспорно правы =) Прочитал в интернете: "если нельзя, но очень хочется, то можно". Здесь нельзя применить какой-нибудь метод, чтобы сделать указатель на функцию шаблонным? Добавлено через 1 минуту Ilot, действительно какой-то бред получается =) Спасибо! 0

@John Prick 844 / 775 / 258 Регистрация: 27.07.2012 Сообщений: 2,180
	12.03.2014, 12:52	12
	montkay, зачем вам в вашей задача вообще нужен шаблонный указатель на функцию? Шаблонная функция sort и без этого отлично разберётся, какой ей передаётся тип указателя. 0