1

任意の関数オブジェクトを受け取り、各関数オブジェクトの戻り値を格納するタプルを返す関数オブジェクトを作成したいと思います。

この目標を達成するために、私はclass A

class A
{
private:
    template <class Ret, class Func>
    auto impl(Ret ret, Func func) -> decltype(tuple_cat(ret, make_tuple(func())))
    {
        return tuple_cat(ret, make_tuple(func()));
    }

    template <class Ret, class First, class... Funcs>
    auto impl(Ret ret, First first, Funcs... funcs) 
    -> decltype(impl(tuple_cat(ret, make_tuple(first())), funcs...))
    {
    return impl(tuple_cat(ret, make_tuple(first())), funcs...);
    }

public:
    template <class Func>
    auto operator()(Func func) -> decltype(make_tuple(func()))
        {
        return make_tuple(func());
    }

    template <class First, class... Funcs>
    auto operator()(First first, Funcs... funcs)
     -> decltype(impl(make_tuple(first()),funcs...))
    {
        impl(make_tuple(first()),funcs...);
    }
};

そして、メイン関数で、3つのラムダを作成しました。

int main(){
    auto func1 = [](){ cout << 1 << endl; return 1;};
    auto func2 = [](){ cout << 2 << endl; return 2;};
    auto func3 = [](){ cout << 3 << endl; return 3;};

    A a;
    auto x = a(func1, func2);
    cout << "ans : " << get<0>(x) << get<1>(x) << endl; // I expect ans : 12
}

このコードはgcc4.7.2でコンパイルできます。ただし、期待どおりに動作しません。このコードをどのように変更する必要がありますか？

4

3 に答える 3

2

return問題は、ステートメントが欠落していることだと思います。

template <class First, class... Funcs>
auto operator()(First first, Funcs... funcs)
 -> decltype(impl(make_tuple(first()),funcs...))
{
    return impl(make_tuple(first()),funcs...);
//  ^^^^^^
}

これがないと、コードの動作は未定義になります。C++11規格の6.6.3/2項によると：

[...]関数の終わりからフローすることは、値のないリターンと同等です。これにより、値を返す関数で未定義の動作が発生します。

于 2013-02-25T02:39:53.270 に答える
1

明らかな問題は、他の回答で指摘されているように、returnステートメントが欠落していることです。

とにかく、やりすぎだと思います。これは機能するはずです：

class A
{
public:
    template <class First, class... Funcs>
    auto operator()(First first, Funcs... funcs) -> decltype((make_tuple(first(),funcs()...)))
    {
        return (make_tuple(first(),funcs()...));
    }
};

int main(){
    auto func1 = [](){ cout << 1 << endl; return 1;};
    auto func2 = [](){ cout << 2 << endl; return 2;};

    A a;
    auto x = a(func1, func2);
    cout << "ans : " << get<0>(x) << get<1>(x) << endl; // I expect ans : 12
}

オンラインデモ

于 2013-02-25T02:45:10.103 に答える
1

@Andyの修正は機能しますが、オーバーロードやヘルパー関数を実装しなくても、それよりもはるかに簡単に修正できます。

#include <iostream>
#include <tuple>

template<typename... Args>
auto tuple_from_funs(Args&&... args) -> std::tuple<decltype(args())...>{
    return std::make_tuple(args()...);
}

int f() { return 1; }
char g() { return '2'; }
std::string h() { return "jorge"; }

int main() {
    auto tup = tuple_from_funs(f, g, h);
    std::cout << std::get<0>(tup) << ", " << std::get<1>(tup) << ", " << std::get<2>(tup) << std::endl;
}

ここでデモ。

于 2013-02-25T02:46:20.483 に答える