конструктор копирования называется для захваченной переменной вместо перемещения конструктора

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 

Почему движение лямбда зависит от того, было ли исходная переменная была сопзЬ или нет?

FWIW, MSVC2012 всегда делает две копии.

Answer 1

Поскольку у вас нет const A&& для вашего конструктора перемещения, он не будет вызываться. Поскольку перемещение обычно задает объект по умолчанию, вы часто не можете перемещаться из объекта const.

Помните, что если конструктор перемещения перегружен правильно, объект будет перемещен. Например, попробуйте запустить эту версию вашего кода.

#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 квалификацию или нет.