私はメンバ関数へのポインタから、C++テンプレートで

Question

ショートバージョンタイプを推測したいと思います：入力する必要が常に

の代わりに：

auto function_pointer = &decorator<int, Foo, void &Foo::bar(int)> 

を私ができるようにしたいと思いますただintとFooが自動的にから抽出され

auto function_pointer = &decorator<void &Foo::bar(int)> 

を書き込みます>。

私は手始めに

---

：

map<string, Object*> all_object_instances; 

class Object { 
public: 
    Object(const string &name) { all_object_instances[name]=this; } 
    virtual ~Object() { all_object_instances.erase(name); } 
}; 

class Foo : public Object { 
public: 
    Foo(const string &name) : Object(name) {} 
    void bar(int); 
}; 

私はいくつかの装飾ではFoo ::バー（INT）を呼び出す機能を、必要とするので、私は書く：

template <class Arg, class C, void C::*T(Arg)> 
void decorator(const string &name, const string &s_arg) 
{ 
    Arg a = my_convert(s_arg); 
    C* c = dynamic_cast<C*>(all_object_instances[name]); 
    (c->*T)(a); 
} 

私のメインコードはこのようにしなければなりません：

new Foo("MyFoo"); 
    .... 
    auto saved_f = &decorator<int, Foo, void &Foo::bar(int)>; 
    .... 
    saved_f("MyFoo", "123"); 
    .... 
    delete all_object_instances("MyFoo") // for symmetry 

私はちょうど1つのテンプレート引数持つことができればそれは、多くの方のようになります。

saved_f = &decorator<void &Foo::bar(int)>; 

そして両方'foo' で、および"int型引数からの導出：

template <TEMPLATE MAGIC> 
void decorator(const string &name, const string &s_arg) 
{ 
    typedef ARG_MAGIC ARG; 
    typedef CLASS_MAGIC C; 

    Arg a = my_convert(s_arg); 
    C* c = dynamic_cast<C*>(all_object_instances[name]); 
    (c->*T)(a); 
} 

を

このようなことはありますか？

Answer 1

関数を引数として渡すと、その関数を呼び出すことができます。それは単にテンプレート引数の控除によって推測することができます。

以下の例では、私はちょうど汎用性を追加しました。引数をstd::invokeに渡しました。これは自動的にメンバーへのポインタを呼び出すことができます。これは<functional>で見つけることができますstd::invokeのためのC++ 1yの対応のコンパイラを必要とし、

auto saved_f = decorator(&Foo::bar); 
saved_f("MyFoo", "123"); 

：今、これがに縮小され

template<class R,class C,class... Args> 
auto get_class_type(R(C::*)(Args...))->C; 

template<class F> 
auto decorator(F f) { 
    return [f=move(f)](auto const& name, auto const& arg) { 
    using C=decltype(get_class_type(f)); 
    return std::invoke(move(f), 
     dynamic_cast<C*>(all_object_instances[name]), 
     my_convert(arg) 
    ); 
    }; 
} 

。あなたの目標は、テンプレート引数は定数、コンパイル時間が持っているのであれば、それも可能です

auto c = dynamic_cast<C*>(all_object_instances[name]); 
return (c->*move(f))(my_convert(arg)); 

---

：これはあなたのためにコンパイルされない場合は、単純にそれを変更します。

#define decorator(mem_f) decorator_impl(integral_constant<decltype(mem_f), mem_f>{}) 

その後のタイプのうちの値を抽出します：あなたがマクロを使用してdecoratorにintegral_constantを渡す必要があります。この場合、C++ 1Zで

template<class I> 
auto decorator_impl(I) { 
    auto constexpr f = I::value; 
    // same code as before... 
} 

Answer 2

を、あなたはできるはずです希望構文

auto saved_f = &decorator<void &Foo::bar(int)> 

で

template <auto m> 
void decorator(const string &name, const string &s_arg); 

を書き込みます構文

auto saved_f = &decorator<decltype(&Foo::bar), &Foo::bar>; 

またはバージョンと

代わりの

template <typename M, M m> 
void decorator(const string &name, const string &s_arg); 

。ずっとそれを作るために試みで

template <auto m> 
void decorator(const string &name, const string &s_arg) 
{ 
    using C = typename method_traits<decltype(m)>::class_type; 
    using Arg = std::tuple_element_t<0, typename method_traits<decltype(m)>::args_type>; 

    Arg a = my_convert(s_arg); 
    C* c = dynamic_cast<C*>(all_object_instances[name]); 
    (c->*T)(a); 
}