如何将函数回调传递给类成员？

Question

我正在模板化一个队列类，因此我可以将它与任何东西一起使用，从整数到我需要定义的任何结构。

我需要将一个比较函数传递给类构造函数，一个用于 int 的预定义比较函数等，然后让客户端提供他们可能需要的任何比较函数。但是我该怎么做呢？

template<typename Type>
int cmpFn(Type one, Type two)
{
    if (one < two) return -1;
    if (one > two) return 1;
    return 0;
}

template <typename Type>
class Queue
{
    public:
        Queue()
        {
            Type *list = new Type[size];
            // What do I do now?
            // How to define this constructor?
            // It must pass a comparison function
            // to a private sort method in this class.
        }
    private:
        void sortFunc(Type list, int(fn)(Type one, Type  two)=cmpFn);
};

上面的代码可能有一些错误，因为我只是从头顶写下来以使我的问题更清楚。但我感兴趣的只是在定义类时如何将比较函数传递给排序方法。

这是一项个人练习，我没有参加任何课程，也没有接触任何导师。我已经在谷歌上搜索了一段时间，但我无法找到正确的答案......我想我没有向 Google 先生提出正确的问题。

附： 客户端可能希望为任何类型的数据提供比较功能，例如：

struct individual
{
    string name;
    int age;
    double height;
};

我猜构造函数应该是这样的：

Queue(int (*fn)(Type, Type) = cmpFn);

但是我该如何定义/实现呢？使用这个回调函数的不是Queue对象本身，而是它的方法：sort();

Answer 1

这是我认为您想要的一个有效的、可编译的示例：

#include <cstddef>
#include <string>
#include <iostream>

template<typename Type>
int cmpFn(Type one, Type two)
{
    if (one < two) return -1;
    if (one > two) return 1;
    return 0;
}

template <typename Type>
class Queue
{
    public:
        // This is the typedef for your callback type
        typedef int (*callback)(Type one, Type two);

        Queue(Type *list, size_t size, callback func = cmpFn)
        {
            sortFunc(list, size, func); // works too
        }

    private:
        void sortFunc(Type *list, size_t size, callback func) {
            for (size_t i=0; i<size; i++) {
                for (size_t j=0; j<size; j++) {
                    if (i == j) continue;

                    int val = (*func)(list[i], list[j]);
                    switch (val) {
                        case 1:
                            std::cout << list[i] << " is greater than " << list[j] << "\n";
                            break;
                        case -1:
                            std::cout << list[j] << " is greater than " << list[i] << "\n";
                            break;
                        case 0:
                            std::cout << list[i] << " and " << list[j] << " are equal\n";
                            break;
                    }
                }
            }
        }

};

int stringCmp(std::string one, std::string two) {
    if (one.size() < two.size()) return -1;
    if (one.size() > two.size()) return 1;
    return 0;
}

int main() {
    // compare ints, use generic comparison function (cmpFn)
    int myInts[2] = {1, 2};
    Queue<int> qi(myInts, 2);

    // compare strings, use our own comparison function (stringCmp)
    std::string myStrings[2] = {"foo", "bar"};
    Queue<std::string> qs(myStrings, 2, stringCmp);

    return 0;
}

编译和执行上面的程序应该会给你这个输出：

2 is greater than 1
2 is greater than 1
foo and bar are equal
bar and foo are equal

基本上是做什么的：

• Queue 构造函数接受 list 数组、其大小和回调函数。
• 如果未提供回调函数，则使用通用函数 (cmpFn)。
• 然后它调用 sortFunc 循环遍历 list 数组中的所有元素并使用回调函数比较它们。

在上面的代码中，您有一个带有int 和std::string 的示例。

Answer 2

可能是这样的：

void sortFunc(Type list, int(*fn)(Type one, Type  two) = cmpFn<Type>);

最好通过常量引用而不是复制来传递参数。谁知道它们是否可以复制？