Question

我在下面有一个小例子，它有两个返回std :: function的函数（getFoo1 ... 2）。

在这两种情况下，getter都是const。
getFoo1通过使用带有此捕获的lambda来生成返回类型。
getFoo2使用std :: bind。
在这两种情况下，真正的函数都是非常量的。
lambda case编译得很好（因此constness丢失了......）。
绑定器抱怨这是constness（正如预期的那样，因为成员函数指针是非const并且需要非const T才能绑定）。

我关心lambda行为（我预计它不会编译，与getFoo2一样）。任何见解都会受到欢迎。

注意：编译器使用GCC 4.8。*。

#include <iostream>
#include <functional>

struct X
{
    void foo(){ std::cout << " non const !!!! foo called" << std::endl;}

    std::function<void()> getFoo1() const
    {
        //Compiles, even though "non const" this required...
        return [this]{foo();};
    }

    std::function<void()> getFoo2() const
    {
        //Fails to compiler due to non const this required
        return std::bind(&X::foo, this);
    }
};

int main() 
{

    X().getFoo1()();
    X().getFoo2()();
    return 0;
}

亲切的问候，

沃纳

Answer 1

这是defect in older versions of gcc。从5.1.0开始，以及其他编译器（clang，MSVC，ICC）的gcc版本正确拒绝编译代码。

main.cpp: In lambda function:
main.cpp:11:27: error: passing 'const X' as 'this' argument discards qualifiers [-fpermissive]
         return [this]{foo();};
                           ^
main.cpp:6:10: note:   in call to 'void X::foo()'
     void foo(){ std::cout << " non const !!!! foo called" << std::endl;}
          ^

lambdas：这个捕获忽略了constness（vs std :: bind）

1 个答案: