VC++ 15, lambda yakalama için yanlış kopya oluşturucuyu çağırır?

Question

aşağıdaki programı düşünün:

#include <iostream> 
struct X { 
    X() = default; 
    X (X &) { std::cout << "non-const called" << std::endl; } 
    X (X const &) { std::cout << "const called" << std::endl; } 
    int i() const { return 7; } 
}; 

auto f() { 
    X x; 
    auto lambda = [=]() { return x.i(); }; 
    return lambda; 
} 

int main() 
{ 
    auto lambda = f(); 
    std::cout << lambda() << std::endl; 
    return 0; 
} 

VC++ 15 ile, ben çıkış Clang 3.9 ile

const called 
const called 
7 

, burada doğru derleyici

non-const called 
7 

olsun olsun?

Answer 1

Clang'ın doğru olduğunu söyleyebilirim.
En uygun yapıcı, lambda x yakalandığında ve döndürülen değer için oluşturucu en iyi duruma getirildiğinde yalnızca bir kez çağrılır.
Bu nedenle, adı verilen yalnızca bir yapılandırılmamış ürünü elde edersiniz.

---

kopya-elision ve RVT hakkında daha detaylı bilgi için here ve here bakınız.