C++

Question

'da bir başvuru döndürme double& ve string& döndürdüğüm aşağıdaki kodu dikkate alın. Bir çifte durumunda iyi çalışır, ancak bir ip durumunda olmaz. Davranış neden farklı? Ben bir başvuru dönen olarak

her iki olgu derleyici bile Warning: returning address of local variable or temporary atmaz.

#include <iostream> 
#include <string> 
using namespace std; 


double &getDouble(){ 
    double h = 46.5; 
    double &refD = h; 
    return refD; 
} 

string &getString(){ 
    string str = "Devil Jin"; 
    string &refStr = str; 
    return refStr; 
} 

int main(){ 
    double d = getDouble(); 
    cout << "Double = " << d << endl; 

    string str = getString(); 
    cout << "String = " << str.c_str() << endl; 

    return 0; 
} 

Çıktı:

$ ./a.exe 
Double = 46.5 
String = 

Answer 1

olursa olsun derleyici yapar veya yapmaz ne yerel değişkene başvuru döndürmek asla. Derleyici kolayca kandırılabilir. Kodunuzun doğruluğunu ateşlememiş olabilecek bazı uyarılara dayandırmamalısınız.

burada ateş etmedi sebebi muhtemelen tam anlamıyla yerel bir değişkene bir başvuru dönen değiliz ki, yerel bir değişkene bir referanstır bir değişken dönüyor. Derleyici muhtemelen bu biraz daha karmaşık durumu algılamaz. Sadece gibi şeyler algılar:

string &getString(){ 
    string str = "Devil Jin"; 
    return str; 
} 

muhtemelen algılama konusunda daha iyi bir iş yaptı yapılandırılması ve bu durumda bu yüzden derleyici akış kontrolü analizini karmaşık nesneyi tahrip içermez çünkü ikizi durum daha basittir Hata. Bir double için

Answer 2

referans fiziksel olarak hala bellekte ama artık yığında bir konuma gelir. Sadece onunla uzaklaşıyorsunuz çünkü hafıza henüz yazılmamış. double bir ilkel olsa da, string bir nesnedir ve iç dizgiyi kapsam dışı kaldığında sıfır uzunluğuna temizleyebilen bir yıkıcıya sahiptir. Aramanızdan c_str() numarasına çöp almamanız bunu destekliyor gibi görünüyor. Bir uzantıyı için kullanılan

Answer 3

GCC aynı şeyi başarmak izin Named Returns aradım ama fonksiyonu dışında yer ayırdı. Maalesef artık mevcut değil; Neden aldıklarını anlamadım

Answer 4

C++ ile ilgili bir Dangling referansının klasik durumu Geriye dönük referanslar, koruma işaretlerini ayarlamak için derleyiciyi çağırmaya girişirken, çağrı yığınında değildi. Dize, derleyicinizin senaryoyu gözden kaçırmasına izin veren açık Çöp Toplama mekanizmasına sahiptir.