템플릿 매개 변수로 사용할 멤버 함수 포인터를 저장 / 검색하는 방법은 무엇입니까?

메타 프로그래밍을 위해 멤버 함수 포인터를 형식에 저장하고 나중에이를 사용하여 템플릿을 매개 변수화하고 싶습니다.

비유하면 다음은 integer_constant유형에 int를 저장하는 방법에 대한 작업 예제입니다 .

template< int I >
struct integer_constant {
    static constexpr int value = I;  
};

template <int I>
struct A {
    // (client type, probably does other things with I)
    static constexpr int value = I;   
};

namespace {
    using cStored= integer_constant<42>; // store value
    static_assert(cStored::value == 42, "");

    // ...

    using aUseStored = A<cStored::value>; // use value as template parameter
    static_assert(aUseStored::value == 42, "");
}

멤버 함수 포인터로 같은 일을 할 수 있습니까? 그렇지 않다면 왜 안됩니까?

struct S{
    void foo() {}
};

typedef void (S::*s_member_fn_type)();

template< s_member_fn_type M >
struct member_fn_constant {
    static constexpr s_member_fn_type value = M;  
};

template <s_member_fn_type M>
struct A {
    // (client type, probably does other things with M)
    static constexpr s_member_fn_type value = M;   
};

namespace {
    using cStored = member_fn_constant<&S::foo>; // store value

    // clang is ok with the following line
    // gcc 6.2: error: non-constant condition for static assertion
    // gcc 6.2: error: '(s_member_fn_type)member_fn_constant<&S::foo>::value' is not a constant expression
    static_assert(cStored::value == &S::foo, "");

    // following line gives:
    // clang 3.9.0 error: non-type template argument is not a pointer to member constant
    // gcc 6.2: error: could not convert template argument 'member_fn_constant<&S::foo>::value' to 'void (S::*)()'
    using aUseStored  = A<cStored::value>; // use value as template parameter
    //static_assert(aUseStored ::value == &S::foo, "");
}

다음과 같이 함수 포인터 대신 래퍼 구조체를 전달하여 간접 수준을 추가 할 수 있음을 이해합니다.

template <typename MT>
struct B {
    static constexpr s_member_fn_type value = MT::value;   
};

namespace {
    using bUseStored  = B<cStored>;
}

그러나 내 클라이언트 클래스 A가 이미 멤버 함수 포인터를 사용하도록 정의 된 경우 도움이되지 않습니다 .