テンプレート名をメソッドにどのように渡しますか？

Question

私はコンテナを反復処理するための2つのテンプレート関数を考えてみましょう：

template <typename I, typename C> 
It Prev(I i, const C& c) noexcept { 
    Expects(i != c.end()); 
    if (i == c.begin()) return c.end(); 
    return i - 1; 
} 

と

template <typename I, typename C> 
It Next(I i, const C& c) noexcept { 
    Expects(i != c.end()); 
    return i + 1; 
} 

そして、これらのテンプレートを使用GetNextElementとGetPrevElementを持つクラス：

struct MyClass { 
    std::vector<int> elements; 

    int* GetNextElement(std::vector<int>::iterator i) { 
    auto next = Next(i, elements); 
    if (next == elements.end()) return nullptr; 
    return &*it; 
    } 
    int* GetPrevElement(std::vector<int>::iterator i) { 
    auto prev = Prev(i, elements); 
    if (prev == elements.end()) return nullptr; 
    return &*it; 
    } 
}; 

これらの2つのメソッドは、異なるテンプレートを呼び出す以外は同じことを行います。どのように私はその後

MyClass mc; 
// ... 
auto it = mc.elements.begin(); 
auto next = mc.GetElement<Next>(it); 
// Or maybe mc.GetElement(it, Next); 

Answer 1

structに関数をラップすることができれば、この問題は大幅に簡素化されます。

struct Prev 
{ 
    template <typename I, typename C> 
    I operator()(I i, const C& c) noexcept { 
     Expects(i != c.end()); 
     if (i == c.begin()) return c.end(); 
     return i - 1; 
    } 
}; 

struct Next 
{ 
    template <typename I, typename C> 
    I operator()(I i, const C& c) noexcept { 
     Expects(i != c.end()); 
     return i + 1; 
    } 
}; 

テンプレート引数として渡すことができます。

struct MyClass 
{ 
public: 
    auto begin() { return elements.begin(); } 
    auto end() { return elements.end(); } 

    template<typename T, typename I> 
    I GetElement(I iter) 
    { 
     return T()(iter, this->elements); 
    } 

private: 
    std::vector<int> elements; 
}; 

int main() 
{ 
    MyClass mc; 
    auto it = mc.begin(); 
    auto next = mc.GetElement<Next>(it); 
    auto prev = mc.GetElement<Prev>(it); 
} 

Answer 2

#define OINVOKE(...) __VA_ARGS__(decltype(args)(args)...) 
#define OVERLOADS_OF(...) [](auto&&...args)\ 
    noexcept(noexcept(OINVOKE(__VA_ARGS__)))\ 
    ->decltype(OINVOKE(__VA_ARGS__))\ 
    { return OINVOKE(__VA_ARGS__); } 

auto fNext=OVERLOADS_OF(Next); 
auto fPrev=OVERLOADS_OF(Prev); 

のように呼ばれるかもしれない単一メンバ関数にこれらを回すん：

template<auto* pf> 
int* GetElement(std::vector<int>::iterator i) { 
    auto next = (*pf)(i, elements); 
    if (next == elements.end()) return nullptr; 
    return &*it; 
} 
auto it = mc.elements.begin(); 
auto next = GetElement<&fNext>(it); 

はC++ 17が必要です。

Answer 3

あなたはこのコードを試すことができます。

template <std::vector<int>::iterator (*FOO)(std::vector<int>::iterator, const std::vector<int>&)> 
std::vector<int>::iterator GetElement(std::vector<int>::iterator i) 
{ 
    return FOO(i, elements); 
}