18

我有一个调用 lambda 的工作函数模板。

我想概括这个函数模板以获取可变参数并将它们完美地转发到 lambda 中，但是我无法编译这段代码。

我正在使用 gcc 4.7.2。

更新

使用 R. Martinho Fernandes 的建议，我在 bugzilla中查找了错误 - 它看起来确实是一个已经存在一段时间的错误。如果有人知道一种解决方法（我现在正在研究一个），请发布答案 - 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

12

如果有人知道解决方法（我现在正在寻找一个），请发布答案

我遇到了完全相同的问题并找到了解决方法。这是一个迟到的答案，希望你同时找到一个解决方案，但无论如何它都在这里（它至少对其他人有用）。

这个想法是改变 lambda 的参数，以便它也接受与外部函数相同的可变参数（例如 become [](int) {}）[](int, Args&&... args) {}和bindlambda 到外部函数的可变参数。一旦完成，在 lambda 中转发可变参数就没有问题了。

把它们加起来：

template<typename... Args>
std::function<void (int)> foo(Args&&... args) {
    return [&](int bar) {
                  // COMPILER BUG: doesn't work with GCC 4.7 despite the capture
                  doSomething(bar, std::forward<Args>(args)...);
              };
}

template<typename... Args>
std::function<void (int)> foo(Args&&... args) {
    return std::bind([](int bar, Args&&... args) {
                            // now this works with GCC 4.7
                            doSomething(bar, std::forward<Args>(args)...);
                       },
                     std::placeholders::_1, std::forward<Args>(args)...);
}

当然这是一个丑陋的 hack，但至少即使你遇到了一个有问题的编译器，你仍然可以获得预期的功能。

于 2013-07-16T04:12:52.030 回答
7

这似乎是编译器的错误（如果还没有，请报告）。标准说：

包扩展由一个模式和一个省略号组成，其实例化会在列表中产生零个或多个模式的实例化（如下所述）。模式的形式取决于扩展发生的上下文。包扩展可能发生在以下情况下：

— [...]
— 在捕获列表中(5.1.2)；该模式是一个捕获。
— [...]

这使您的代码正确。

在您获得可以处理此问题的编译器之前，您将捕获所有内容作为解决方法，使用[=].

于 2013-01-07T08:19:01.953 回答