c++ - 指向类模板成员的函数指针

Question

我有这门课:

template <class T>
class list
{
    ...
    bool moreThan(T x, T y);
    bool lessThan(T x, T y);
    ...
};

我需要一个函数指针来改变我的类的行为，并在使用 bool moreThan(T, T) 或 bool lessThan(T, T) 之间切换。所以我目前正在使用:

bool (list<int>::*foo)(int x, int y);
foo = &list<int>::lessThan;

并使用它:

(this->*foo)(x, y);

但我想要一个灵活的函数指针，这样我就可以将它用于我需要的任何 T，而不仅仅是 int。那么有没有办法创建一个指向类模板成员的函数指针呢？像这样的东西:

template <class T>
bool (list<T>::*foo)(T x, T y); //this doesn't work

Answer 1

不，没有。指向成员的指针必须指向某物。类模板中的成员函数不是单个函数，它是一个函数家族——每个函数都有不同的类型。甚至可能有一个 T为此 list<T>::lessThan不存在，或者是类型或变量!

如果我们为一个这样的指向成员的指针创建一个别名:

template <typename T>
using CompFun = bool (list<T>::*)(T, T);

那么很明显CompFun<int>和 CompFun<string>是不同的类型。您不能创建通用的 CompFun<T>多变的。

不过，根据您要尝试执行的操作，可能有实现该目标的好方法。