Neden "en önemli const" const olmalı?

Question

http://herbsutter.com/2008/01/01/gotw-88-a-candidate-for-the-most-important-const/'da "en önemli const" ifadesiyle C++ tarafından, geçici bir nesneyi yığında bulunan bir referansa geçici bir nesneyi bağlamanın, referansın yaşam süresi boyunca geçici ömrün ömrünü uzattığını kasten belirtir. Ben C++ sadece neden olduğu zaman değil, değil, ancak, const olduğunda nesnenin ömrünün uzatılmasına izin veriyor merak mı? Özelliğin ardındaki mantıklı nedir ve neden bu kadar zor olmalı? Bu izin verildi eğer

int& x = 5; 
x = 6; 

ne yapılsın:

Answer 1

aşağıdaki düşünün? Buna karşılık, eğer

const int& x = 5; 

x değiştirmek için hiçbir yasal yolu var olacağını yaptı. geçicileri const olmayan lvalue başvuruları bağlamak olsaydı

void square(int &x) 
{ 
    x = x * x; 
} 

int main() 
{ 
    float f = 3.0f; 

    square(f); 

    std::cout << f << '\n'; 
} 

, yukarıda mutlu derlemek, daha ziyade şaşırtıcı sonuçlar üretecektir (3 yerine 9 bir çıkış):

Answer 2

İşte bir örnek.

Answer 3

Yapı referanslarının, normalde bir adresi bile olmayan nesnelere bağlı olabileceğini unutmayın. Bir const int & işlev parametresi, 42 değişmez sabit ifadesi tarafından oluşturulan bir bağımsız değişken alabilir. 42 adresini alamıyoruz, bu yüzden onu const int * alan bir işleve iletemeyiz.

const başvuruları, bu gibi rezonanslara bağlanabilmeleri için özel olarak "kutsanmış" dır.

Tabii ki, 2 + 2 gibi geleneksel rvalues ​​için, ömür boyu bir sorun değil. Sınıf tipi renginleri için bir sorun. ilgili referans sahası boyunca aklı başında kalacak şekilde

referans bağlanmasını 42 farklı olarak, yaygın bir kullanım sahip değildir, bir nesne bırakılır, bu kullanım süresi sahip, uzatılabilir.

Bu const'ın ömür boyu bir uzantıya neden olması değil, const olmayan bir referansa izin verilmemesidir. Bu izin verildi, aynı zamanda ömür boyu bir uzantısı gerektirir; kapsamının bazı kısımlarında kötü giden bazı referanslara izin verilmesinin hiçbir anlamı yoktur. Bu davranış, bir referansın bir işaretçiden daha güvenli olduğu kavramını zayıflatır.