我想要一個模板函數，它需要一個指向成員的指針，但我不希望必須通過類類型和成員類型

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

有可能是你想要什麼更好的方式，但這個工程使用宏和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; 
} 

Answer 2

你的例子不清楚，大概你需要用兩個參數調用結果函數？如果是這樣，爲什麼不使用一個getter函數，並通過在，e.g：

#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; 
}