テンプレート関数を呼び出す際のC ++テンプレート控除

Question

FastDelegate 指します http://www.codeproject.com/kb/cpp/fastdelegate.aspx, 、しかし、私はそれが関連しているとは思わない。

次のようなコードがあり、エラーが発生しました。

#include <FastDelegate.h>


using namespace fastdelegate;

template <typename T>
T Getter() {}

template <typename T>
void Setter(T) {}

template <typename T>
class Prop
{
public:
    typedef FastDelegate0<T> Getter;
    typedef FastDelegate1<T> Setter;

    Prop(Getter getter, Setter setter) :
        m_Getter(getter), m_Setter(setter)
    {

    }

private:
    Getter m_Getter;
    Setter m_Setter;
};

template <typename T>
inline Prop<T>* MakeProp(FastDelegate0<T> getter, FastDelegate1<T> setter)
{
    return new Prop<T>(getter, setter);
}

static int Target = 0;
int main()
{
    FastDelegate0<int> fdGetter(Getter<int>);
    Prop<int>* c = MakeProp(fdGetter, Setter<int>);
    // ^^^^ error: no matching function for call to 'MakeProp'
}

変更した場合 main() に：

int main()
{
    FastDelegate0<int> fdGetter(Getter<int>);
    FastDelegate1<int> fdSetter(Setter<int>);
    Prop<int>* c = MakeProp(fdGetter, fdSetter); // It works.
}

また：

int main()
{
    FastDelegate0<int> fdGetter(Getter<int>);
    Prop<int>* c = MakeProp<int>(fdGetter, Setter<int>); // It works, too.
}

おもう、 MakeProp() を取得する必要があります T fdgetterから（そうです int, 、コントラクタと呼ばれるより FastDelegate1<int> 自動的。しかし、それはしませんでした。なんで？

PSゲッターとセッターを節約したい Prop, 、このアプローチの提案は歓迎されます。機能の引数を渡す際に、FastDelegate*のインスタンスをコピーするのは悪いことかもしれません。

Answer 1

やってみました

Prop<int>* c = MakeProp(FastDelegate0<int>(Getter<int>), FastDelegate1<int>(Setter<int>));

?

Setter<int> に変換することはできません FastDelegate1<T>!