0

Хочу написать шаблон класса AVL_tree но столкнулся с проблемой: а как передать критерий сравения? Всмысле как написать конструктор для класса, который бы принял функтор, вроде:

struct foo {
    bool operator()(int a, int b) {return a > b};
}

...

AVL_tree<int> a(foo);
...

или

AVL_tree<int, foo> a;
5
  • 1
    Например, воспользоваться std::function. Но - раз у вас шаблон - добавить еще один параметр типа для функционального объекта и не мучиться...
    – Harry
    30 июн 2018 в 9:18
  • Просто сделайте шаблонный конструктор. 30 июн 2018 в 9:20
  • @Harry не совсем понял про "добавить еще один параметр типа для функционального объекта"? 30 июн 2018 в 9:29
  • 1
    Ну, у вас есть что-то вроде template<typename ElemType> AVL_Tree - где ElemType - тип данных, хранящихся в узлах дерева. Делаем template<typename ElemType, typename Compare> AVL_Tree - где Compare представляет собой тип вашего функционального объекта.
    – Harry
    30 июн 2018 в 9:51
  • @Harry a, это, понял 30 июн 2018 в 9:52

2 ответа 2

2

Пример передачи компаратора через шаблонный параметр:

#include <functional>

template <class T, 
          class Compare = std::less<T> >
class AVL_tree {
    ...
    // необходимый код для АВЛ дерева
    //-----

    // пример использования компаратора
    bool compare(T const & a, T const & b) const {
        return Compare{}(a, b);
    }
};

struct foo {
    bool operator()(int a, int b) {
        return a >= b;
    }
};

int main() {
    AVL_tree<int, foo> tree;
}
1
  • 1
    Compare(a, b) -> Compare{}(a,b). 21 июл 2018 в 7:35
0

Использование указателя на функцию не подойдёт?

#include <iostream>
using namespace std;

class Foo{
private:
    bool (*cmp)(int a, int b); //компаратор
public:
    Foo(bool (*cmp)(int a, int b) = nullptr):cmp(cmp){//передача в конструкторе
    }
    void call(){ // вызов компаратора
        if(cmp != nullptr){
            cmp(1, 2);
        }
    } 

};

bool first (int a, int b){//первый компаратор
    cout << "\nFirst!";
    return true;
}

bool second (int a, int b){//второй компаратор
    cout << "\nSecond!";
    return false;
}

int main() {
    Foo f_foo(first), s_foo(second);
    f_foo.call();
    s_foo.call();
    return 0;
}
1
  • Так тоже можно, но с шаблонным параметром лучше в том плане, что адрес функции определяется на момент компиляции, тем самым компилятору проще оптимизировать код (например, заинлайнить функцию). Плюс не нужно мучиться с указателями, проверять на nullptr. Все проверки сделает за тебя компилятор (на совместимость типов и т.п.).
    – ArtemLP
    22 июл 2018 в 5:51

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.