メンバ関数ポインタを使ってテンプレートクラスを作成する方法は？

Question

は、誰もが次のテンプレートの特殊化のための一般的なテンプレートフォームを宣言する方法を知っているです：

template <template <class> class Container, 
      class Value, 
      class Return, 
      Return (Container<Value>::*Apply)(const Value &)> 
class Example<Container<Value>, Apply> 
{ 

}; 

Applyは、メンバ関数whoes署名へのポインタでなければならないテンプレート宣言では不明です。

Answer 1

このような意味ですか？一例として、

template<typename T, typename F> 
struct S; 

template<template <typename...> class C, typename R, typename... A> 
struct S<C<A...>, R(A...)> { 
    using Apply = R(C<A...>::*)(A...); 
    // ... 
}; 

：

template<typename... U> 
struct T { 
    int f(int, char) { return 42; } 
}; 

template<typename T, typename F> 
struct S; 

template<template <typename...> class C, typename R, typename... A> 
struct S<C<A...>, R(A...)> { 
    using Apply = R(C<A...>::*)(A...); 
    // ... 
}; 

int main() { 
    S<T<int, char>, int(int, char)>::Apply apply = &T<int, char>::f; 
} 

はかなり醜い、確かに、それはOPが（多分）尋ねたものです。