Функция как аргумент шаблонного метода класса

@maksim32 · Регистрация: 30.08.2012

Студворк — интернет-сервис помощи студентам

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

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
55
56
57
58
59
60
61
62
#include <iostream>
 
#define PrintArray(a, n) for (int _i = 0; _i < n; ++_i) printf("%d ", a[_i]); printf("\n");
 
template <class Type> class MergeSort
{
    Type *_x; // входной/выходной массив
    Type *_b; // O(n) дополнительной памяти
    int _cmp(const Type &d1, const Type &d2) {
        return d1 == d2 ? 0 : d1 < d2 ? -1 : 1;
    }
    void _fn(int l, int r) {
        if (r <= l) return;
        int h = (l + r) >> 1;
        _fn(l, h);
        _fn(h + 1, r);
 
        int i = l, j = h + 1, k;
        for (k = l; k <= r; ++k)
            if (i <= h && (j > r || _cmp(_x[i], _x[j]) < 0)) _b[k] = _x[i++];
            else _b[k] = _x[j++];
            for (k = l; k <= r; ++k)
                _x[k] = _b[k];
    }
public:
    MergeSort(Type arr[], int nSize, int(*cmp)(const Type &, const Type &)) {
        _x = arr;
        _ASSERTE(_b = (Type *)malloc(sizeof(Type)*nSize));
        // if (cmp != NULL) _cmp = cmp; // замена стандартной функции сравнения (не хочет заменяться)
        _fn(0, nSize - 1);
        free(_b);
    }
};
 
 
class AnotherClass
{
    // функция сравнения, которую нужно подставить для сортировки находится в классе
    int fn_cmp_2(const int &d1, const int &d2) {
        return d1 == d2 ? 0 : d1 > d2 ? -1 : 1;
    }
public:
    AnotherClass() {
        int IntArr[] = { 2, 13, 9, 12, 3 };
        int nArrSize = sizeof(IntArr) / sizeof(int);
        PrintArray(IntArr, nArrSize);
 
        // MergeSort<int>(IntArr, nArrSize, NULL); // сортировка по возрастанию
        MergeSort<int>(IntArr, nArrSize, fn_cmp_2); // сортировка по убыванию (пишет, что нету конструктора с таким набором аргументов, хотя если тоже самое сделать вне классе - работает)
 
        PrintArray(IntArr, nArrSize);
    }
};
 
 
int main()
{
    AnotherClass();
 
    system("pause");
    return 0;
}

@nikniknik2016 · 05.03.2016, 20:19

сделайте метод "int fn_cmp_2" статическим

C++
1
2
3
4
5
6
class AnotherClass
{
    static int fn_cmp_2(const int &d1, const int &d2) {
        return d1 == d2 ? 0 : d1 > d2 ? -1 : 1;
    }
...

@obivan · 05.03.2016, 20:34

maksim32 была похожая проблема, решается через typedef, но не знаю синтаксиса с шаблонным классом попробовал так

C++
1
typedef MergeSort::func<Type> int(*_cmp)(const Type &, const Type &);

Не пашет но ошибка не в конструкторе, если вспомню запись напишу ну или может кто знает

Добавлено через 1 минуту
Честно говоря, легче создать шаблонный класс компоратор и через него сравнивать

@TheCalligrapher · 05.03.2016, 20:49

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

C++
1
 MergeSort(Type arr[], int nSize, int(*cmp)(const Type &, const Type &))

передать указатель на нестатический метод класса невозможно никак. Методы классов несовместимы с обычными функциями. Поэтому ваши заявления о том, что вы делали "то же самое вне класса" беспочвенны - это было совсем не то же самое. Даже отдаленно не похоже.

Поэтому либо делайте ваш метод-компаратор статическим (что сработает в вашем случае, ибо вам в ваших компараторах не нужен доступ к 'this'), либо переделывате всю идею передачи компаратора. Например, если тип компаратора сделать параметром шаблона

C++
1
2
3
4
5
6
7
8
9
template <class Type, class Comparator> class MergeSort
{
    Type *_x; // входной/выходной массив
    Type *_b; // O(n) дополнительной памяти
    Comparator cmp;
    ...
    MergeSort(Type arr[], int nSize, Comparator cmp) : cmp(cmp) {
    ...
};

то им можно будет пользоваться как

C++
1
2
3
4
5
AnotherClass() {
        ...
        MergeSort<int>(IntArr, nArrSize, std::bind(&AnotherClass::fn_cmp_2, this));
        ...
    }

Отдельно стоит заметить, что в языке С++ указатель на метод класса получается только при помощи явного применения оператора '&' и явного указания имени класса, т.е. обязательно '&AnoterClass::fn_cmp_2'. Пока метод является нестатическим, просто 'fn_cmp_2' в качестве выражения в языке С++ использовано быть не может.

Добавлено через 7 минут
P.S. Выше я наврал про "можно будет пользоваться как". Все аргументы шаблонов классов должны всегда указываться явно, а тип результата 'std::bind' - неизвестен и указать его нельзя. Такие приемы работают только с шаблонами функций, где шаблонные аргменты дедуцируются автоматически. Т.е. надо было бы сделать ваш конструктор шаблонным и функуию сотрировки тоже...

@maksim32 · 05.03.2016, 21:34 **[ТС]**

Да, точно, функция получается thiscall, когда без static объявлена, спасибо!
Ни одному из компараторов this не нужен, поэтому я их все сделал static. Делать еще один параметр шаблона в моем случае необходимости нет.
Теперь работает, но пришлось добавить дополнительный указатель, без него не получилось.

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
55
56
57
58
59
60
61
62
63
#include <iostream>
 
#define PrintArray(a, n) for (int _i = 0; _i < n; ++_i) printf("%d ", a[_i]); printf("\n");
 
template <class Type> class MergeSort
{
    Type *_x; // входной/выходной массив
    Type *_b; // O(n) дополнительной памяти
    static int _std_cmp(const Type &d1, const Type &d2) { // static чтобы не было thiscall
        return d1 == d2 ? 0 : d1 < d2 ? -1 : 1;
    }
    int(*_cmp)(const Type &, const Type &); // дополнительный указатель
    void _fn(int l, int r) {
        if (r <= l) return;
        int h = (l + r) >> 1;
        _fn(l, h);
        _fn(h + 1, r);
 
        int i = l, j = h + 1, k;
        for (k = l; k <= r; ++k)
            if (i <= h && (j > r || _cmp(_x[i], _x[j]) < 0)) _b[k] = _x[i++];
            else _b[k] = _x[j++];
            for (k = l; k <= r; ++k)
                _x[k] = _b[k];
    }
public:
    MergeSort(Type arr[], int nSize, int(*cmp)(const Type &, const Type &)) {
        _x = arr;
        _ASSERTE(_b = (Type *)malloc(sizeof(Type)*nSize));
        if (cmp) _cmp = cmp; else _cmp = _std_cmp;
        _fn(0, nSize - 1);
        free(_b);
    }
};
 
 
class AnotherClass
{
    // функция сравнения, которую нужно подставить для сортровки находится в классе
    static int fn_cmp_2(const int &d1, const int &d2) { // static чтобы не было thiscall
        return d1 == d2 ? 0 : d1 > d2 ? -1 : 1;
    }
public:
    AnotherClass() {
        int IntArr[] = { 2, 13, 9, 12, 3 };
        int nArrSize = sizeof(IntArr) / sizeof(int);
        PrintArray(IntArr, nArrSize);
 
        // MergeSort<int>(IntArr, nArrSize, NULL); // сортировка по возрастанию
        MergeSort<int>(IntArr, nArrSize, fn_cmp_2); // сортировака по убыванию
 
        PrintArray(IntArr, nArrSize);
    }
};
 
 
int main()
{
    AnotherClass();
 
    system("pause");
    return 0;
}

Новые блоги и статьи Все статьи Все блоги /
http://iceja.net/ математические сервисы iceja 20.01.2026 Обновила свой сайт http:/ / iceja. net/ , приделала Fast Fourier Transform экстраполяцию сигналов. Однако предсказывает далеко не каждый сигнал (см ограничения http:/ / iceja. net/ fourier/ docs ). Также. . .	http://iceja.net/ сервер решения полиномов iceja 18.01.2026 Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .	Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь постоянного тока с R, L, C, k(ключ), U, E, J. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа, решает её и находит переходные токи и напряжения на элементах схемы. . . .	Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .
Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .

Функция как аргумент шаблонного метода класса

Решение