1

私はこの関数を書く方法を理解しようとしています:

template <typename Bound>
Bound::result_type callFromAnyList(Bound b, list<any> p)
{
}

次に、機能があれば:

double myFunc(string s, int i)
{
    return -3.0;
}

次のようにして呼び出すことができます。

list<any> p;
p.push_back((string)"Hello");
p.push_back(7);
double result = callFromAnyList(bind(myFunc, _1, _2), p);

私のcallFromAnyList関数のようなものを書くことは可能ですか? から返された型から、結果の型とパラメーターの型を調べることができますbindか? そしてany_cast<P1>(*p.begin())、などを呼び出しますか？バインド コードを理解しようとしましたが、理解するのが少し難しく、検査を念頭に置いて記述したようには見えません。

4

2 に答える 2

1

コメントセクションで懸念を更新したので、ここに答えがあります。関数の戻り値の型を取得するだけでも可能です:

template<typename>
struct return_of;

template<typename R>
struct return_of<R(*)()> {
    typedef R type;
};

template<typename R, typename P1>
struct return_of<R(*)(P1)> {
    typedef R type;
    typedef P1 parameter_1;
};

void foo(int);

template<typename Func>
typename return_of<Func>::parameter_1 bar(Func f) {
    return 42;
}

// call: bar(foo);

これがどうなるかわかると思います:)すでに解決されているブースト関数タイプを使用できます：http://www.boost.org/doc/libs/1_37_0/libs/function_types/doc/html/index.html

于 2008-11-20T20:12:16.970 に答える
0

私は今のところこれをやった -

void invoke(void (f)(), list<any>& params)
{
    f();
}

template <typename R>
void invoke(R (f)(), list<any>& params)
{
    params.push_front(f());
}

template <typename T0>
void invoke(void (f)(T0), list<any>& params)
{
    T0 t0 = any_cast<T0>(*params.begin()); params.pop_front();
    f(t0);
}

template <typename R, typename T0>
void invoke(R (f)(T0), list<any>& params)
{
    T0 t0 = any_cast<T0>(*params.begin()); params.pop_front();
    params.push_front(f(t0));
}

template <typename T0, typename T1>
void invoke(void (f)(T0, T1), list<any>& params)
{
    T0 t0 = any_cast<T0>(*params.begin()); params.pop_front();
    T1 t1 = any_cast<T1>(*params.begin()); params.pop_front();
    f(t0, t1);
}

template <typename R, typename T0, typename T1>
void invoke(R (f)(T0, T1), list<any>& params)
{
    T0 t0 = any_cast<T0>(*params.begin()); params.pop_front();
    T1 t1 = any_cast<T1>(*params.begin()); params.pop_front();
    params.push_front(f(t0, t1));
}

template <typename T0, typename T1, typename T2>
void invoke(void (f)(T0, T1, T2), list<any>& params)
{
    T0 t0 = any_cast<T0>(*params.begin()); params.pop_front();
    T1 t1 = any_cast<T1>(*params.begin()); params.pop_front();
    T2 t2 = any_cast<T2>(*params.begin()); params.pop_front();
    f(t0, t1, t2);
}

template <typename R, typename T0, typename T1, typename T2>
void invoke(R (f)(T0, T1, T2), list<any>& params)
{
    T0 t0 = any_cast<T0>(*params.begin()); params.pop_front();
    T1 t1 = any_cast<T1>(*params.begin()); params.pop_front();
    T2 t2 = any_cast<T2>(*params.begin()); params.pop_front();
    params.push_front(f(t0, t1, t2));
}

私はboost::bindのフルパワーを欠いています - メソッドポインタを処理できないのと同じように - しかし、これを行うことで、スタックプロセッサを手に入れたことにも気づきました。スタック上のパラメーターを操作するメソッドを呼び出し続けることができます。

于 2008-11-20T21:16:02.803 に答える