18

ラムダを呼び出す機能テンプレートがあります。

この関数テンプレートを一般化して可変引数を取得し、完全にラムダに転送したいのですが、このコードをコンパイルするのに問題があります。

gcc 4.7.2 を使用しています。

アップデート

R. Martinho Fernandes の提案を使用して、bugzilla でエラーを調べました。誰かが回避策を知っている場合 (私は現在 1 つを探しています)、回答を投稿してください - ty.

エラー

junk.cpp: In lambda function:
junk.cpp:32:68: error: parameter packs not expanded with ‘...’:
junk.cpp:32:68: note:         ‘args’
junk.cpp: In instantiation of ‘std::pair<std::basic_string<char>, typename T::Lambda> MP(const string&, M, Args&& ...) [with T = Integer; M = int (Integer::*)()const; Args = {}; typename T::Lambda = std::function<std::function<int()>(const Integer&)>; std::string = std::basic_string<char>]’:
junk.cpp:47:42:   required from here
junk.cpp:34:2: error: using invalid field ‘MP(const string&, M, Args&& ...)::<lambda(const T&)>::__args’
make: *** [junk] Error 1

コード

#include <functional>
#include <iostream>
#include <map>

struct Integer
{
    typedef std::function<int()>                            Function;
    typedef std::function<Function( Integer const& inst )>  Lambda;

    virtual int getInt() const = 0;
};

struct IntImpl : public Integer
{
    virtual int getInt() const { return 42; }
};

typedef std::function<int()>                               IntFunction;
typedef std::function<IntFunction( Integer const& inst )>  IntLambda;

#define WONT_COMPILE

template<typename T,typename M,typename... Args>
std::pair<std::string,typename T::Lambda>
MP( std::string const& str, M method, Args&&... args )
{
#ifdef WONT_COMPILE 
    return std::make_pair( str, 
        [=]( T const& inst ) 
        {
            // COMPILE ERROR (Line 32) on next line
            return std::bind( method, std::cref( inst ), std::forward<Args>(args)...);
        } 
    );
#else
    return std::make_pair( str, 
        [method]( T const& inst ) 
        {
            return std::bind( method, std::cref( inst ));
        } 
    );
#endif
}

std::map<std::string,IntLambda> const g_intTbl =
{
    MP<Integer>( "getInt", &Integer::getInt )
};

int
main( int argv, char* argc[] )
{
    IntImpl x;
    std::cerr << g_intTbl.find("getInt")->second( x )() << std::endl;
}
4

2 に答える 2

7

これはコンパイラの不具合のようです (まだ報告されていない場合は報告してください)。標準は次のように述べています。

パック展開はパターンと省略記号で構成され、そのインスタンス化により、リスト内のパターンのゼロ個以上のインスタンス化が生成されます (後述)。パターンの形式は、展開が発生するコンテキストによって異なります。パック拡張は、次のコンテキストで発生する可能性があります。

— [...]
—キャプチャリスト(5.1.2)。パターンはキャプチャです。
— [...]

これにより、コードが正しくなります。

これを処理できるコンパイラを入手するまでは、回避策としてすべてをキャプチャする必要があります[=]。

于 2013-01-07T08:19:01.953 に答える