std :: move neden RVO'yu engeller?

Question

Birçok durumda, bir işlevden yerel bir yeri döndürürken, RVO devreye girer. Ancak, açık bir şekilde std::move kullanılmasının RVO gerçekleşmediğinde harekete geçeceğini, ancak mümkün olduğunda RVO'nun hala uygulanacağını düşündüm. Ancak, durum böyle değil gibi görünüyor.

#include "iostream" 

class HeavyWeight 
{ 
public: 
    HeavyWeight() 
    { 
     std::cout << "ctor" << std::endl; 
    } 

    HeavyWeight(const HeavyWeight& other) 
    { 
     std::cout << "copy" << std::endl; 
    } 

    HeavyWeight(HeavyWeight&& other) 
    { 
     std::cout << "move" << std::endl; 
    } 
}; 

HeavyWeight MakeHeavy() 
{ 
    HeavyWeight heavy; 
    return heavy; 
} 

int main() 
{ 
    auto heavy = MakeHeavy(); 
    return 0; 
} 

VC++ 11 ve GCC 4.71, hatalarını bulması ve salma ( -O2) yapılandırma ile bu kodu test edilmiştir. Kopya cetesi hiç çağrılmadı. Hareket ctor, hata ayıklama yapılandırmasında yalnızca VC++ 11 ile çağrılır. Aslında, özellikle bu derleyicilerle her şey iyi görünüyor, fakat bilgime göre, RVO isteğe bağlıdır.

Ancak, açıkça move kullanıyorsanız:

HeavyWeight MakeHeavy() 
{ 
    HeavyWeight heavy; 
    return std::move(heavy); 
} 

hareket ctor daima

denir. Yani bunu "güvenli" yapmaya çalışmak onu daha da kötüleştiriyor.

Sorularım şunlardır:
- Neden std::move RVO'yu engelliyor?
- Ne zaman "en iyisini umuyorum" ve RVO'ya güvenmek daha iyidir ve ne zaman std::move'u kullanmalıyım? Ya da başka bir deyişle, derleyici optimizasyonunun işini yapmasına nasıl izin verebilirim ve hala RVO uygulanmazsa harekete geçmeyi nasıl sağlayabilirim?

Answer 1

olgu Standardı (sürümü N3690) bölümünde 12.8 §31 bulunur:

belirli kriterler karşılandığında

, bir uygulama kopyalama/taşıma atlamak için izin verilir Kopyalama/taşıma işlemi için seçilen kurucu ve/veya nesnenin yıkıcısı yan etkilere sahip olsa bile, bir sınıf nesnesinin oluşturulması. Bu gibi durumlarda, uygulama, ihmal edilen kopyalama/taşıma işleminin kaynağını ve hedefini, aynı nesneye atıfta bulunmak için iki farklı yol olarak ele alır ve bu nesnenin tahribatı, iki nesnenin ne zaman olacağı, daha sonraki zamanlarda gerçekleşir. optimizasyon olmadan yok edildi. kopya elision denilen kopyalama/taşıma işlemlerinin Bu elision, (birden çok kopya ortadan kaldırmak için birleştirilebilir) aşağıdaki durumlarda izin verilir: Bir sınıf dönüş türüne sahip bir işlevde bir return açıklamada

• , ifadesi, işlev döndürme türüyle aynı cv-niteliksiz tipte bir uçucu olmayan otomatik nesnenin (bir işlev veya yakalama yan tümcesi parametresi dışında) adıysa, otomatik nesneyi yapılandırarak kopyalama/taşıma işlemi ihmal edilebilir Fonksiyonu olmayan bir geçici sınıf nesnesi olduğunda
• [...]
• Bir referansa bağlı (12.2), aynı cv-niteliksiz tipte bir sınıf nesnesine kopyalanacak/taşınacak, kopyalama/taşıma işlemi, geçici nesneyi doğrudan ihmal edilen kopya/hareketin hedefine dönüştürerek ihmal edilebilir
• [...]

(Ben dışarı bıraktı iki durum atma ve Optimizasyon açısından daha az öneme istisna nesneleri yakalamak durumunda bakınız.)

Dolayısıyla bir dönüş ifadesi kopya elision sadece oluşabilir, ifade, yerel değişkeninin adıysa.std::move(var) yazıyorsanız, artık bir değişkenin adı değil. Bu nedenle, derleyici, standarda uygun olması halinde, hareketi elemek mümkün değildir.

Stephan T. Lavavej bu konuda Going Native 2013 numaralı telefondan bahsetti ve durumunuzu tam olarak açıkladı ve neden std::move() dan kaçınmak için. 38:04 dakikasında izlemeye başla. Temel olarak, dönüş türünün bir yerel değişkenini döndürürken, bu genellikle bir değer olarak kabul edilir, dolayısıyla varsayılan olarak harekete geçirme sağlanır.

Answer 2

Derleyici optimizasyonunun çalışmasına nasıl izin verebilirim ve hala RVO uygulanmadığında harekete geçmeye devam edebilirim? Bunun gibi

: bir hamle içine dönüşünü Dönüşüm

HeavyWeight MakeHeavy() 
{ 
    HeavyWeight heavy; 
    return heavy; 
} 

zorunludur. kopyalama ve taşıma elision izin