Aşağıdaki C ++ kodunu göz önünde bulundurun:
void* a = &a;
Derleyici neden bildirilmemiş bir tanımlayıcı kullanmaktan şikayet etmez?
Ayrıca, derleyici değişkenin ne aolduğunu düşünüyor? Boş bir nesneye void*işaretçi mi yoksa bir işaretçiye işaretçi mi?
Yanıtlar:
C ++ 'da değişkenlerin bildiriminin kapsamı oldukça şaşırtıcı olabilir:
void* a = &a;
^~~~~~~~~~~~~~~~~
a declared as `void*` from here on
Bu nedenle, &abir void**ancak herhangi işaretçi türü beri örtük olarak dönüştürülebilir olduğunu void*...
a = &userfulObject?
void *a = a;Yerel olarak bildirildiğinde UB olacağını unutmayın , aksi takdirde ad alanı kapsamında sorun yoktur.
Eşdeğerdir
void* a;
a = &a;
Bu nedenle ailan edilmiştir. Yani yazılı aadresini alır . Yani bir boşluk göstericisinin göstericisidir. (Henüz herhangi bir nesne tanımlamadınız.)aa
akendisi bir nesnedir. (C ++ 'da tüm nesnelerin kullanıcı tanımlı türleri yoktur)
İçinde void* a, abir voidtüre değil, "herhangi bir" türe (özel durum) bir gösterici olarak bildirilir . aElbette, beyan edilen diğer herhangi bir değişkene olduğu gibi, bir adres (bellekteki konum) atanır .
Bundan sonra ifade &a, aaz önce bildirilen değişkeni başlatmak için değerlendirilir (aynı zamanda , ancak bu ilgili değildir). Tip &atürüne ile tam uyumlu "herhangi bir tür için işaretçi", özel bir durum, "herhangi bir tür işaretçisine" dir a. Ergo, derleyici mesajı yok.
Sonuç: void*Güçlü tip denetimi istiyorsanız kullanmayın . Her şey ona dönüştürülebilir. Ters yönde tam tersi, void*kendisi hariç (bir türün kendisiyle uyumsuz olması gereksiz bir istisna olur).
Ayrıca, AFAIR bu gerçekten C'den geliyor.