kopyalama elision ve geçici bağlı-ile-ref nesne

Question

C++ taslak durumları:

12.8p31 kopya elision adı kopya/taşıma işlemlerinin bu elision, kombine edilebilen (aşağıdaki durumlarda izin verilir,) birden fazla kopya ortadan kaldırmak:

(...)

geçici bir sınıf nesnesi başvuru (12.2 bağlı edilmemiştir

• ) kopyalanmak olurdu/taşındı Aynı ev-niteliksiz tip bir sınıf nesnesi 0, kopyalama/taşıma işlemi ihmal kopya hedef doğrudan geçici bir nesne oluşturmak tarafından ihmal edilebilir/diğer bir deyişle

hareket:

X MakeX() { 
    return X(); // Copy elided 
} 

X MakeX() { 
    const X& x = X(); // Copy not elided 
    return x; 
} 

referansları için bu tür bir kısıtlamanın nedeni nedir? onlar geçici ve referans arasındaki farkı (IMHO) görmek için başarısız olduğunu örneklemek için sadece oldukları gibi

, aşağıdaki örnekler geçerliliği odaklanmak etmeyin.

Referans tanıtımı ile bir yandan diğer eşlerin aynı nesneyi takmalarına izin verdik, MakeX() numaralı telefon arayan kişi güvenli ve temiz olmasını bekliyor.

class Y { 
public: 
    Y(const X& x) : _xRef(x) {} 
private: 
    const X& _xRef; 
}; 

X MakeX() { 
    const X& x = X(); 
    Y y{x}; 
    StaticStuff::send(y); 
    return x; // Oops, I promised to return a clean, 
       // new object, but in fact it might be silently 
       // changed by someone else. 
} 

Ancak bu dava hakkında (muhtemelen UB var;) kadar):

class Y { 
public: 
    Y(X* x) : _xPtr(x) {} 
private: 
    X* _xRef; 
}; 

X MakeX() { 
    X x; 
    Y y{&x}; // I'm referencing a local object but I know it will be 
      // copy elided so present in the outer stack frame. 
    StaticStuff::send(y); 
    return x; // Copy elided? 
} 

Answer 1

Asla bir kopyası elided edilecektir biliyorum. Kopyalama hiçbir zaman zorunlu değildir. Bu nedenle, her iki durumda da UB veya hiç yoktur. Bu, StaticStuff:send'un ilettiğiniz nesneyle ne yaptığına bağlı olarak değişir. y._xRef veya *y._xPtr için herhangi bir poitner/başvuru korursa, MakeX() döndükten sonra bu işaretçinin/referansın geri döndürülmesi, orijinal nesne x orijinal nesnesi olduğu için UB'ye neden olur MakeX() içinde süresi ve ömrü sona ermiştir.

Bu UB'nin sonucunun "her şey gayet iyi çalışıyor" olması olasıdır çünkü kopyalama ellemesi gerçekleşti ve işaretçi/başvuru örneği "dış yığın çerçevesi" örneğine başvurur. Ancak, bu kesinlikle tesadüf ve hala UB.