複製構造呼籲捕獲變量，而不是移動構造函數

Question

當用gcc 4.7.2或4.8.1編譯和運行下面的程序

#include <stdio.h> 
#include <functional> 

class A 
{ 
public: 
    A() 
    { 
    } 
    A(const A& a) 
    { 
     printf("Copy ctor\n"); 
    } 
    A(A&& a) 
    { 
     printf("Move ctor\n"); 
    } 
}; 

int main() 
{ 
    A a; 
    auto func = [a] { 
    }; 

    auto newfunc = std::move(func); 
    return 0; 
} 

會給輸出：

Copy ctor 
Move ctor 

這似乎完全正常。

然而，當A a;更改爲const A a;，輸出如下：

Copy ctor 
Copy ctor 

爲什麼拉姆達的舉動受到了事實上的原始變量是否已經const或不？

FWIW，MSVC2012總是製作兩份。

Answer 1

由於您的移動構造函數沒有const A&&，因此不會調用它。由於移動通常會將對象設置爲默認值，因此您通常無法從常量對象移動。

請記住，如果移動構造函數正確重載，對象將被移動。例如，嘗試運行此版本的代碼。

#include <stdio.h>                 
#include <functional>                

class A                    
{                     
public:                    
    A()                    
    {                    
    }                    
    A(const A& a)                 
    {                    
     printf("Copy ctor\n");              
    }                    
    A(const A&& a)                 
    {                    
     printf("Move ctor\n");              
    }                    
};                     

int main()                   
{                     
    const A a;                  
    auto func = [a] {                
    };                    

    const auto newfunc = std::move(func);           
    return 0;                  
} 

運行這段代碼，你會注意到，對象移動羯羊存在const合格與否。