指向成员函数的模板指针 - getter

Question

所以我正在制作一个排序功能，我希望它根据我给它的 getter 对我的元素进行排序。 问题是我的吸气剂是const，这就是我当前的代码不起作用的原因。如果我删除 const 它就可以了。

struct User {
    string name;
    string getX() const { return name; } //// doesnt work with this
    string getX() { return name; }       //// this works fine. but i need my getter to be const
};

template <typename ElemType, typename MemberType>
void _sort(std::vector<ElemType>& vec, MemberType(ElemType::* member)(), bool ascending = true)
{
    for (int j = 0; j < vec.size() - 1; ++j)
        for (int i = 0; i < vec.size() - j - 1; ++i)
            if (((vec[i].*member)() < (vec[i + 1].*member)()) ^ ascending)
                swap(vec[i], vec[i + 1]);
}

int main()
{
    vector<User> a{ User{"Z"}, User{"E"}, User{"B"}, User{"R"}, User{"A"} };

    for (auto e : a)
        cout << e.name << " ";
    cout << endl;

    _sort(a, &User::getX);

    for (auto e : a)
        cout << e.name << " ";
    cout << endl;

    return 0;
}

我该怎么做才能使它与const getter 一起工作

Answer 1

只需将参数设为 const 即可：

template <typename ElemType, typename MemberType>
void _sort(std::vector<ElemType>& vec, MemberType(ElemType::* member)() const, bool ascending = true)
________________________________________________________________________^^^^^

或者不要把参数设置得那么具体：

template <typename ElemType, typename MemberType>
void _sort(std::vector<ElemType>& vec, MemberType member, bool ascending = true)

如果 getter 不是 const，前者将无法工作，而后者则可以处理任何事情。如果给后者传递了一个像(vec[i].*member)()这样不能调用的函数，那么编译错误就会出现在_sort的签名中。