Özel kopya oluşturuculara sahip nesneler atılabilir mi?

Question

Bana açık olmayan bazı özel durumlar sorunuyla karşılaştım. C++ 'da, bir nesne atıldığında, ilk olarak geçici bir nesneye kopyalanır ve geçici nesne daha sonra yakalama koduna geçirilir. Kopya, nesnenin sınıf kopya oluşturucusunun kullanımını içerir. AFAIK, bu, bir sınıfın özel bir kopya yapıcısına sahip olması durumunda, bir istisna olarak kullanılamayacağı anlamına gelir. Ancak, VS2010'da, aşağıdaki kod derler ve çalışır:

class Except 
{ 
    Except(const Except& other) { i = 2; } 
public: 
    int i; 
    Except() : i(1) {} 
}; 

int main() 
{ 
    try 
    { 
     Except ex1; 
     throw ex1;   // private copy constructor is invoked 
    } 
    catch (Except& ex2) 
    { 
     assert(ex2.i == 2); // assert doesn't yell - ex2.i is indeed 2 
    } 
    return 0; 
} 

Bu yasal mı?

Answer 1

Yasal değil. Standart

geçici nesnenin kullanımı geçici nesne (12.2) kullanımıyla ilişkili kurucular ve yıkıcılar yürütülmesi hariç programının anlamı değiştirmeden elimine edilebilir 15.1/5

, Daha sonra işleyicideki istisna, throw ifadesinin argümanı ile doğrudan başlatılabilir. Atılan nesne bir sınıf nesnesi olduğunda ve geçici kopyasını başlatmak için kullanılan kopya kurucusuna erişilemiyorsa, program hatalı biçimlendirilmişse ( geçici nesne başka şekilde ortadan kaldırılmış olsa bile). Benzer şekilde, bu nesne için destructor erişilemiyorsa, program ill-biçimlidir (geçici nesne aksi halde elimine edilmiş olabilir).

Answer 2

Hayır, öyle değil.

15.1.5 atılan nesnesi bir sınıf nesnesi, kopyalama/taşıma yapıcı ve yıkıcı erişilebilir olacak, kopyalama/taşıma işlemi baskılar veya hata ayıklama ekleyerek