オーバーロードされたテンプレートクラス

Question

私は、静的関数を作成するアクセサテンプレートクラスの1つのコンポーネントであるC++のプロパティライクなシステムで作業しています。

template <typename T, typename V, V (T::*getf)(), void (T::*setf)(V)> 
struct Accessor 
{ 
    static V Get(T* obj) 
    { 
     return (obj->*getf)(); 
    } 

    static void Set(T* obj, V aValue) 
    { 
     return (obj->*setf)(aValue); 
    } 
}; 

そして、私は上のアクセサを使用することがありますテストクラス：ここ

は、アクセサは次のようになります。 SetFooがintを取る方法に注意してください。SetBarはconst int &をとります。

class TargetClass 
{ 
    int foo; 
    int bar; 

public: 
    TargetClass(int f, int b) 
     : foo(f) 
     , bar(b) 
    { 
    } 

    int GetFoo() 
    { 
     return foo; 
    } 

    void SetFoo(int f) 
    { 
     foo = f; 
    } 

    int GetBar() 
    { 
     return bar; 
    } 

    void SetBar(const int& b) 
    { 
     bar = b; 
    } 
}; 

そして最後に、ここでの用法です：

int main() 
{ 
    TargetClass* target = new TargetClass(5, 3); 

    // Works great 
    typedef Accessor<TargetClass, int, &TargetClass::GetFoo, &TargetClass::SetFoo> fooAcessor; 
    fooAcessor::Set(target, 13); 
    int foo = fooAcessor::Get(target); 

    // Doesn't work, because TargetClass::SetBar takes a const int& as an argument, instead of an int 
    typedef Accessor<TargetClass, int, &TargetClass::GetBar, &TargetClass::SetBar> barAcessor; 

    delete target; 
    return 0; 
} 

私はそれが第四引数ですのでAcessor構造体を「オーバーロードする」試みたがconstのV &ですが、それが動作するようには思えません。私がここでやろうとしていることは可能ですか？

Answer 1

をお持ちの場合C++へのアクセス17、そしてその間に提案された標準が変更されないと仮定すると、typ自動的に推定されます：

template <typename F> 
struct get_types; 

template <typename T, typename V, typename... VP> 
struct get_types<V(T::*)(VP...)> 
{ 
    using return_type = V; 
    using class_type = T; 
}; 

template <auto getf, auto setf> 
struct Accessor { 
    using V = typename get_types<decltype(getf)>::return_type; 
    using T = typename get_types<decltype(getf)>::class_type; 
    static V Get(T* obj) 
    { 
     return (obj->*getf)(); 
    } 

    static void Set(T* obj, V aValue) 
    { 
     return (obj->*setf)(aValue); 
    } 
}; 

class TargetClass { 
    int foo; 
    int bar; 
public: 
    TargetClass(int f, int b) 
     : foo(f) 
     , bar(b) {} 
    int GetFoo() { return foo; } 
    void SetFoo(int f) { foo = f; } 
    int GetBar() { return bar; } 
    void SetBar(const int& b) { bar = b; } 
}; 

int main() 
{ 
    TargetClass* target = new TargetClass(5, 3); 
    using fooAccessor = Accessor<&TargetClass::GetFoo, &TargetClass::SetFoo>; 

    fooAccessor::Set(target, 13); 
    int foo = fooAccessor::Get(target); 

    using barAcessor = Accessor<&TargetClass::GetBar, &TargetClass::SetBar>; 
    barAcessor::Set(target, 13); 
    int bar = barAcessor::Get(target); 

    delete target; 
    return foo + bar; 
} 

この時点では、プログラムはcompiles on gcc 7 (snapshot)です。

Answer 2

あなたは、設定された関数のパラメータに別のテンプレートパラメータを追加することができます。その後、

template <typename T, typename V, typename VP, V(T::*getf)(), void (T::*setf)(VP)> 

そして、両方のケースのために使用します。

typedef Accessor<TargetClass, int, int, 
    &TargetClass::GetFoo, &TargetClass::SetFoo> fooAcessor; 

typedef Accessor<TargetClass, int, const int&, 
    &TargetClass::GetBar, &TargetClass::SetBar> barAcessor; 

全プログラム：

template <typename T, typename V, typename VP, V(T::*getf)(), void (T::*setf)(VP)> 
struct Accessor 
{ 
    static V Get(T* obj) 
    { 
     return (obj->*getf)(); 
    } 

    static void Set(T* obj, V aValue) 
    { 
     return (obj->*setf)(aValue); 
    } 
}; 

class TargetClass 
{ 
    int foo; 
    int bar; 

public: 
    TargetClass(int f, int b) 
     : foo(f) 
     , bar(b) 
    { 
    } 

    int GetFoo() 
    { 
     return foo; 
    } 

    void SetFoo(int f) 
    { 
     foo = f; 
    } 

    int GetBar() 
    { 
     return bar; 
    } 

    void SetBar(const int& b) 
    { 
     bar = b; 
    } 
}; 

int main() 
{ 
    TargetClass* target = new TargetClass(5, 3); 

    // now has extra int parameter 
    typedef Accessor<TargetClass, int, int, &TargetClass::GetFoo, &TargetClass::SetFoo> fooAcessor; 
    fooAcessor::Set(target, 13); 
    int foo = fooAcessor::Get(target); 

    // Works now, because TargetClass::SetBar's function parameter was specified explicitly as const int& 
    typedef Accessor<TargetClass, int, const int&, &TargetClass::GetBar, &TargetClass::SetBar> barAcessor; 
    barAcessor::Set(target, 13); 
    int bar = barAcessor::Get(target); 

    delete target; 
    return 0; 
}