eğer (! This) {return false; }

Question

Bu tür bir parça bana kırılmış gibi gözüküyordu, ancak this'un null olduğu ortaya çıkıyor. Sadece sahip herhangi bir yolu yoktur bu biz

if (!this) { return false; } 

sahip null

o MyObject::func() içinde normal bir yöntem çağrısı gibi

myObject->func(); 

içinde olduğunu nasıl olabilir alamadım null (?) yönteminin içine girmek yerine NullPointerException atmak için ilk satır?

Answer 1

Eğer varsa: Bundan sonra ne olacak func sanal olup olmadığına bağlıdır

MyObject *o = NULL; 

o->func(); 

. Eğer öyleyse, o zaman çökecektir, çünkü vtable'ı almak için bir nesneye ihtiyacı vardır. Ancak sanal değilse, çağrı bu işaretçi NULL olarak ayarlanmış olarak ilerler.

Standartın bunun "tanımlanmamış davranış" olduğunu söylediği, her şeyin olabileceği, ancak tipik derleyicilerin yalnızca işaretçinin NULL olup olmadığını denetlememesi için kod oluşturduğuna inanıyorum. Bazı iyi bilinen kütüphaneler, tanımladığım davranışa güvenir: MFC, bir boş gösterici üzerinde çağrılabilen SafeGetHandle gibi bir işlevi vardır ve bu durumda NULL değerini döndürür.

Sen yeniden kullanılabilir yardımcı işlevi yazmak isteyebilirsiniz:

void CheckNotNull(void *p) 
{ 
    if (p == NULL) 
     throw NullPointerException(); 
} 

Ardından this dahil tüm argümanları kontrol etmek için bir fonksiyonun başlangıcında bu kullanabilirsiniz:

CheckNotNull(this); 

Answer 2

if(this == null) 
    throw new NullPointerException; 
if(!this) 
    return false; 

Answer 3

bu = = null, yalnızca silinmiş bir nesnede bir yöntem çağırıyorsanız veya bellekte bir şey yazmıyorsa (ve özellikle de bu işaretçinin özellikle işaretçisini üzerine yazıyorsa) oluşmalıdır.

Kodunuzda gerçekten neyin yanlış olduğunu araştırmak yerine, bununla ilgili yanlış olanları araştırmalısınız.

Answer 4

bu işaretçi Bu gibi durumlarda geçersiz hale gelebilir:

class Test 
{ 

public: 
    bool f(); 

private: 
    int m_i; 
}; 


bool Test::f() 
{ 
    if(!this) 
    { 
     return false; 
    } 

    m_i = 0; 
    return true; 

} 


int main(int argc, char **argv) 
{ 
    Test* p = new Test; 
    delete p; 
    p = NULL; 

    p->f(); 
} 

Birinin erişim ihlali istisna önlemek için hızlı kesmek öyle oldu.

Answer 5

this için null olması mümkündür. Bu kodun, nesnenin henüz başlatılmamış veya silinmiş olduğu bir yarış koşulunu (kötü bir şekilde) tespit etmeye çalıştığını sanıyorum.

Answer 6

(bu == NULL), standarda göre tanımlanmamış bir davranıştır. Ben Bu çeki :)

aşağıdaki arama yapmak varsayalım kaldırmak gerektiğini düşünüyorum:

((CSomeClass*) 0)->method(); 

davranış zaten tanımsız, neden CSomeClass :: yönteminde bu == NULL kontrol gerçekleştiriyor rahatsız?

REDAKTE: Ben senin derleyici idare edecek varsayın (0 == bu) Eğer üye değişkenleri kullanmak istemiyorsanız, ama nerede o sanal masa işaretçi bulur? Bu durumda, sınıfınız polimoprizm kullanamaz.

Answer 7

Bu tür hataları (tasarım yoluyla) yakalamanın bir yolu, boş bir işaretçi argümanı ile oluşturulmasını sağlayan bir işaretçi sarmalayıcı sınıfı (bir shared_ptr benzeyen) kullanmaktadır. Ayrıca, dereferans edildiğinde de atabilir, ama bu biraz geç - hiç yoktan iyidir, sanırım.