Otomatik xValue Biraz şaşırtıcı (bana) optimizasyon

Question

aşağıdaki iki program çok daha iyi bir performansa sahip ikinci bir ile, farklı çıkışlara derlemek (gcc ve clang ile test):

#include <vector> 
int main() 
{ 
    std::vector<int> a(2<<20); 
    for(std::size_t i = 0; i != 1000; ++i) { 
     std::vector<int> b(2<<20); 
     a = b; 
    } 
} 

vs

#include <vector> 
int main() 
{ 
    std::vector<int> a(2<<20); 
    for(std::size_t i = 0; i != 1000; ++i) { 
     std::vector<int> b(2<<20); 
     a = std::move(b); 
    } 
} 

birisi derleyici yapar göre neden (veya can) otomatik b son atamasında bir xValue düşünün ve açık std::move döküm olmadan hareket semantiğini uygulanamıyor?

Düzenleme: (g++|clang++) -std=c++11 -O3 -o test test.cpp

Answer 1

Compilers can't break the as-if rule

olarak §1.9/1 ifade eder: Bu standardın içinde

semantik tanımları parametreli nondeterministic soyut makine tanımlar. Bu Uluslararası Standardı, uygulamalarının yapısına ilişkin bir gereksinim duymaz. Özellikle, soyut makinenin yapısını kopyalamaya veya taklit etmeye ihtiyaçları yoktur. bir derleyici programının gözlemlenebilir davranışı değiştiremez yani

aşağıda açıklandığı gibi yerine, uygun uygulamalar (yalnızca) özet makinenin gözlemlenebilir davranışı taklit etmek için gereklidir. Otomatik olarak (yansıma olmasa bile) bir atamayı bir hareket atamasına dönüştürmek bu ifadeyi bozardı.

Kopyalama kararları bu davranışı biraz değiştirebilir, ancak bu, §12.8/31 ile düzenlenmiştir.

Taşıma sürümünü kullanmak isterseniz, ikinci örnekte olduğu gibi bunu açıkça istemelisiniz.

Answer 2

ile Derleyen (operator= den void dönüş türü göz ardı edin) sonraki numunenin bakalım:

#include <iostream> 

struct helper 
{ 
    void operator=(helper&&){std::cout<<"move"<<std::endl;} 
    void operator=(const helper&){std::cout<<"copy"<<std::endl;} 
}; 

void fun() 
{ 
    helper a; 
    { 
     helper b; 
     a = b; 
    } 
} 

void gun() 
{ 
    helper a; 
    { 
     helper b; 
     a = std::move(b); 
    } 
} 
int main() 
{ 
    fun(); 
    gun(); 
} 

operator= bağımsız değişkenleri bağlı olarak farklı davranışlar vardır. Derleyici, yalnızca gözlemlenebilir davranışı aynı şekilde koruyabiliyorsa kodu optimize edebilir. o programın gözlemlenebilir davranışı değişecek çağrının yapıldığı andaki bir xvalue değildir ve bu arzu ne de standardına göre izin verilmez iken

, fun bir xvalue den b düşünürsek.