Yapıcım neden argüman olarak referans değil, geçici nesnelerle çağrılmasına izin veriyor?

Question

Aşağıda bir örnek kod var. eğlenceli işlev derlenmeyecektir iken XYZ yapıcı olmayan const referans olarak argüman alır rağmen Yukarıdaki kodda

#include<iostream> 

template<typename T> 
class XYZ 
{ 
    private: 
    T & ref; 
    public: 
    XYZ(T & arg):ref(arg) 
    { 
    } 
}; 
class temp 
{ 
    int x; 
    public: 
    temp():x(34) 
    { 
    } 
}; 
template<typename T> 
void fun(T & arg) 
{ 
} 
int main() 
{ 
    XYZ<temp> abc(temp()); 
    fun(temp()); //This is a compilation error in gcc while the above code is perfectly valid. 
} 

, gayet derler. Bu g ++ derleyici veya C++ standart için belirli bir şey hakkında söylemek zorunda mı?

Düzenleme:

gr ++ -v bu verir.

gcc versiyon 4.5.2 (Ubuntu/Linaro 4.5.2-8ubuntu4)

Answer 1

XYZ<temp> abc(temp()); 

O, derler. Aslında onun bir işlevi beyanı olduğu zaman onun bir değişken beyanı olduğunu düşündüğünüze eminim. İşlevin adı abc; işlev, XYZ<temp> türünde bir nesne döndürür ve sırayla temp türünde dönen ve argüman almayan bir işlev olan bir (adsız) bağımsız değişken alır. temp() geçici bir nesne ve geçici bir nesne oluşturur çünkü

• The Most Vexing Parse (InformIT at)
• Most vexing parse (Vikipedi)

Ve fun(temp()) derlemek etmemekle: detay açıklama için bu konulara bakın const olmayan referansa bağlı olmak.

Yani düzeltme şudur: Kullandığınız ++ Sen g ne versiyonunu belirtmelidir

template<typename T> 
void fun(const T & arg) //note the `const` 
{ 
} 

Answer 2

Resim standart olmayan const referans geçici geçmesine izin vermez. (C++ 0X, bazı kontrollü durumlarda bu duruma izin vermek için rvalue referansı getirmiştir), bkz. 8.5.3/5 (hangisi benim için çok uzunsa, anlamlı kısım ise, referans uçucu olmayan bir yapıya ait olacaktır) yazın, ancak burada uygulanmadıklarını öğrenmek için tüm vaka listesini okumanız gerekir).

Ve

XYZ<temp> abc(temp()); 

en can sıkıcı ayrıştırmasına sade fakat başka bir örnektir. Bir değişken beyan DEĞİLDİR çünkü