"const" nasıl uygulanır?

Question

Derleyici, C veya C++ (örneğin gcc), const bildirimini nasıl onurlandırır?

Örneğin, aşağıdaki kodda, derleyici değişken ciconst ve değiştirilemez olduğunu izlemek tutar edebilir?

int 
get_foo() { 
    return 42; 
} 

void 
test() 
{ 
    int i = get_foo(); 
    i += 5; 

    const int ci = get_foo(); 
    // ci += 7; // compile error: assignment of read-only variable ?ci? 
} 

Answer 1

Değişkenler için diğer herhangi bir sembol bilgisi (adres, tür vb.) Gibi. Genellikle, beyan edilen tanımlayıcılarla ilgili bilgileri depolayan bir sembol masası vardır ve bu, tanımlayıcıya başka bir başvuruyla karşılaştığı zaman buna danışılır.

(Daha ilginç bir soru, bu bilginin yalnızca derleme sırasında veya çalışma sırasında mevcut olup olmadığıdır. Çoğu dil, derlendikten sonra sembol tablosunu atar, böylece derlenmiş kodu manipüle edebilir ve tanımlayıcı bildirilmiş olsa bile yeni bir değeri zorlayabilirsiniz 'const'. Bunu önlemek için sofistike bir çalışma zamanı sistemi (ve kod imzalama) alır.)

Answer 2

derleyici satır

const int ci = get_foo(); 

diğer fonksiyonlara etrafında ci geçmesi veya başka değişkenlere atamak gibi öylesine söyledim çünkü ciconst olduğunu bilir, derleyici const- olduğunu korur Potansiyel olarak değerini değiştirebilecek bir şey yapmanı engelleyerek ness. Örneğin, aşağıdakiler derleyici hatası üretir.

int *ci2 = &ci; 
(*ci2)++; 

Derleyici, ci değerini değiştirmenize izin vermeyecektir. Tabii

Answer 3

her derleyici uygulanması kalmış, ancak kısaca, bu tür değişkenin türü olarak ve olsun veya olmasın diğer bilgilerle birlikte onun değişken simge tablosunda (varsa) değişkenin const ve volatile eleme saklar Bu bir işaretçi/referanstır.

Answer 4

Eminim ki diğerleri daha fazla detaylandırabilir, ama kısaca evet. Derleyici, tüm tür belirticilerin kaydını tutar, böylece ci "const int" türünde olduğunu ve "int" türünün olmadığını bilir.

Answer 5

Diğerlerinin dediği gibi, derleyici int değişkeninin olduğu gibi derleyicinin izlediği gibi const derleyici tarafından izlenir. Aslında, en azından gcc'nin const int'u int'dan ayrı bir tür olarak kabul ettiğini okudum, bu yüzden bir değiştirici olarak takip edilmiyor, bir int ile aynı şekilde izleniyor.

aslında işaretçi döküm yolu ile const değerini değiştirebilirsiniz Not ama sonuç tanımlanmamış: gcc kullanarak makinede

#include <stdio.h> 
#include <stdlib.h> 

int main(void) { 
     const int c = 0; 
     printf("%d\n", c); 
     ++*(int*)&c; 
     printf("%d\n", c); 
} 

, bu

0 
1 

Fakat ile derleme yazdırır g ++,

verir

0 
0