Yanlış form:

int &z = 12;

Doğru form:

int y;
int &r = y;

Soru :
İlk kod neden yanlış? Başlıktaki hatanın" anlamı "nedir?

C ++ 03 3.10 / 1 diyor ki: "Her ifade ya bir ldeğer ya da bir değerdir." Değerliliğe karşı değerliliğin nesnelerin değil ifadelerin bir özelliği olduğunu hatırlamak önemlidir.

Lvalues, tek bir ifadenin ötesinde kalan nesneleri adlandırır. Örneğin obj, *ptr, ptr[index]ve++x tüm Sol taraf vardır.

R değerleri, içinde yaşadıkları tam ifadenin sonunda buharlaşan geçicilerdir ("noktalı virgülle"). Örneğin 1729, x + y, std::string("meow")vex++ tüm SağDeğerler bulunmaktadır.

Operatörün adresi, "işlenenin bir değer" olmasını gerektirir. bir ifadenin adresini alabilseydik, ifade bir ldeğerdir, aksi takdirde bir r değeri olur.

 &obj; //  valid
 &12;  //invalid

int &z = 12;

Sağ tarafta int, integral değişmez değerinden geçici bir tür nesnesi oluşturulur 12, ancak geçici, const olmayan bir referansa bağlanamaz. Dolayısıyla hata. Şununla aynıdır:

int &z = int(12); //still same error

Neden geçici oluşturulur? Bir referansın bellekteki bir nesneye atıfta bulunması gerektiğinden ve bir nesnenin var olması için önce yaratılması gerekir. Nesne adsız olduğu için geçici nesnedir. Adı yok. Bu açıklamadan, ikinci davanın neden iyi olduğu hemen hemen netleşti.

Geçici bir nesne const referansına bağlanabilir, yani bunu yapabilirsiniz:

const int &z = 12; //ok

C ++ 11 ve Rvalue Referansı:

Tamlık adına, C ++ 11'in geçici nesneye bağlanabilen rvalue-reference'i tanıttığını eklemek isterim. Yani C ++ 11'de şunu yazabilirsiniz:

int && z = 12; //C+11 only 

Bir &&intead olduğunu unutmayın &. Ayrıca const, zbağlanan nesne değişmez- tamamlayıcıdan oluşturulmuş geçici bir nesne olsa bile, artık buna gerek olmadığını unutmayın 12.

C ++ 11 kişiye yana rvalue referans , int&artık bundan böyle adlandırılır lvalue referans .

12referans verilen verilerden farklı olarak değiştirilemeyen bir derleme zamanı sabitidir int&. Ne yapabilirsiniz do

const int& z = 12;

Const olmayan ve const referans bağlama farklı kuralları izler

C ++ dilinin kuralları şunlardır:

• değişmez bir sayıdan ( 12) oluşan bir ifade bir "rvalue"
• rvalue ile const olmayan bir referans oluşturulmasına izin verilmez: int &ri = 12;kötü biçimlidir
• bir rvalue ile bir const başvurusu yaratılmasına izin verilir: bu durumda, derleyici tarafından isimsiz bir nesne yaratılır; bu nesne referansın kendisi var olduğu sürece devam edecektir.

Bunların C ++ kuralları olduğunu anlamalısınız. Onlar sadece.

Biraz farklı kurallarla farklı bir dil, örneğin C ++ 'icat etmek kolaydır. C ++ 'da, bir rvalue ile const olmayan bir referans oluşturulmasına izin verilir. Burada tutarsız veya imkansız hiçbir şey yok.

Ancak, programcının amaçladığını alamayacağı bazı riskli kodlara izin verirdi ve C ++ tasarımcıları haklı olarak bu riski önlemeye karar verirdi.

Referanslar, değişebilecek şeylere (değerlere) yönelik "gizli işaretçilerdir" (boş olmayan). Onları sabit olarak tanımlayamazsınız. "Değişken" bir şey olmalı.

DÜZENLE::

Hakkında düşünüyorum

int &x = y;

neredeyse eşdeğer

int* __px = &y;
#define x (*__px)

burada __pxyeni bir isim ve #define xeserler sadece xreferans beyanını içeren blok içinde .