在lambda封閉中複製常量對象不可改變

Question

我試圖通過（可變）lambda中的副本捕獲一個const對象。不過，我的編譯器抱怨說，捕獲的對象是const。

不應該可以將對象作爲非常量來複制嗎？

struct Foo 
{ 
    Foo(){} 
    void Func(){} 
}; 

int main() 
{ 
    const Foo foo; 
    [foo]() mutable { foo.Func(); }; 
} 

使用g ++ 4.7.2編譯：

testcase.cpp: In lambda function: 
testcase.cpp:10:29: error: no matching function for call to ‘Foo::Func() const’ 
testcase.cpp:10:29: note: candidate is: 
testcase.cpp:4:7: note: void Foo::Func() <near match> 
testcase.cpp:4:7: note: no known conversion for implicit ‘this’ parameter from ‘const Foo*’ to ‘Foo*’ 

與鐺++ 3.1編譯：

testcase.cpp:10:20: error: member function 'Func' not viable: 'this' argument has type 'const Foo', but function is not marked const 
    std::async([foo]() mutable { foo.Func(); }); 

標準文件（或者更確切地說，草案...）定義5.1.2.14 「該類型是相應的被捕獲實體的類型」，所以我想這將包括cv-specifiers。
雖然它並不直觀。

Answer 1

首先，lambda表達式，其具有捕獲的類型，是一個類類型（5.1.2 Lambda表達式[expr.prim.lambda]＃3）

這種類型的具有operator()這是默認const，除非在拉姆達表達式中使用mutable（[expr.prim.Lambda]＃5）

接下來，對於捕獲爲副本的每個實體，在封閉類型中聲明未命名的成員。 [expr.prim.lambda]＃14]

如果您明確地構建捕獲類型的（大部分）等價物，那麼一切自然會遵循類，const限定類型和const限定成員函數的通常語義。

實施例：

struct S 
{ 
    void f(); 
    void fc() const; 
}; 

void g() 
{ 
    S s0; 

    // [s0]() { s0.f(); }; // error, operator() is const 
    [s0]() { s0.fc(); }; // OK, operator() is const, S::fc is const 

    [s0]() mutable { s0.f(); }; 
    [s0]() mutable { s0.fc(); }; 

    const S s1; 

    // [s1]() { s1.f(); }; // error, s1 is const, no matter if operator() is const 
    [s1]() { s1.fc(); }; 

    // [s1]() mutable { s1.f(); }; // error, s1 is const, no matter if operator() is const 
    [s1]() mutable { s1.fc(); }; 
} 

我想的混亂從mutable在λ-說明符涉及const -ness的operator()，而不是閉合類型的數據成員的mutable -ility的事實莖。與成員函數一樣，使用const會更自然，但我想標準委員會希望const是默認值。

Answer 2

另一個可能的解決方法：

struct Foo 
    { 
     Foo(){} 
     void Func(){} 
    }; 

    int main() 
    { 
     const Foo foo; 
     { 
      Foo& fooo= const_cast<Foo&>(foo); 
      [fooo]() mutable { fooo.Func(); }; 
     } 
    } 

這種解決方案具有安全問題（通過非const引用可以const對象的意外修改），但附加的複製得以避免。