我想要一个带有指向成员的指针的模板函数，但是我不想传递类类型或成员类型

Question

因此，我一直在绞尽脑汁，想出办法。 我以为我会在这里贴一下，看看是否有人有任何想法。 考虑以下：

template <typename S, typename T, T S::* pMember>
bool SortByMember(const S& L, const S& R)
{
    return L.*pMember < R.*pMember;
}

...

struct SomeStruct
{
    int SomeMember;
};

void SomeFunction(void)
{
    GetSortByMember<&SomeStruct::SomeMember>();
}

我希望函数GetSortByMember返回一个函数指针，该指针指向SortByMember的相应实例。 但是，我想不出一种不需要用户也传递类类型和成员类型的方式来声明/定义GetSortByMember的方法。 这个：

GetSortByMember<SomeStruct, int, &SomeStruct::SomeMember>();

过于冗长，需要我声明成员类型。 我确定boost库中可能有一个解决方案，但我不想将这种依赖关系引入到我正在从事的项目中。

我高度怀疑是否有一种解决方案能够产生我在psudocode中使用的确切语法，但是也许可以通过模板类或宏来完成某些工作？

使用函数指针的类需要使用SortByMember的签名，因此无法更改。

Answer 1

您的示例不清楚，想必您需要使用两个参数来调用结果函数吗？ 如果是这样，为什么不使用getter函数并将其传入，例如：

#include <iostream>

struct foo
{
  int bar;
  int getBar() const { return bar; }
};

template <typename S, typename U>
bool SortByMember(const S& L, const S& R, U f)
{
    return (L.*f)()< (R.*f)();
}

int main(void)
{
  foo a = {1};
  foo b = {2};

  std::cout << SortByMember(a, b, &foo::getBar) << std::endl;
}

Answer 2

可能有更好的方法来执行所需的操作，但这可以使用宏和特定于GCC的typeof（）来工作。 我不确定，但是在新的C ++标准中可能会有一种可移植的方式来进行typeof。

#include <iostream>

template <class P, P p>
class sort_by_member_t;

template <class S, class T, T S::*p>
class sort_by_member_t<T S::*, p> {
public:
    typedef bool (*fn_t)(S const&, S const&);

    static bool fn(S const& L, S const& R)
    {
        return L.*p < R.*p;
    }
};

#define SORT_BY_MEMBER(p) sort_by_member_t<typeof(p), p>::fn;

struct SomeStruct
{
    int SomeMember;
};


int main()
{
    bool (*fp)(SomeStruct const&, SomeStruct const&);
    fp = SORT_BY_MEMBER(&SomeStruct::SomeMember);
    SomeStruct const a = { 1 };
    SomeStruct const b = { 2 };
    std::cerr
        << (void*) fp << ' '
        << (*fp)(a, b) << ' '
        << (*fp)(b, a) << ' '
        << '\n';

    return 0;
}