Arama sonucu bulunamazsa "NULL" nesnesi döndürür

C ++ 'da oldukça yeniyim, bu yüzden öğrenirken birçok Java izmiyle tasarım yapma eğilimindeyim. Neyse, Java, bir 'arama' yöntemi ile sınıf olsaydı bir nesne iade edeceğini Tbir gelen Collection< T >özel bir parametre eşleşti, o nesneyi döneceğini ve nesne koleksiyonunda bulunamadı, ben iade edeceğini null. Sonra arama fonksiyonumda sadece kontrol ederdimif(tResult != null) { ... }

C ++ 'da, nullnesne yoksa bir değer döndüremeyeceğimi öğreniyorum. Sadece çağıran işleve hiçbir nesnenin bulunmadığını bildiren T tipi bir 'gösterge' döndürmek istiyorum. Bir istisna atmak istemiyorum çünkü gerçekten istisnai bir durum değil.

Kodum şu anda böyle görünüyor:

class Node {
    Attr& getAttribute(const string& attribute_name) const {
       //search collection
       //if found at i
            return attributes[i];
       //if not found
            return NULL; // what should this be?
    }

private:
    vector<Attr> attributes;
}

Bu tür bir işaretleyici verebilmek için nasıl değiştirebilirim?

C ++ 'da başvurular boş olamaz. Hiçbir şey bulunmazsa isteğe bağlı olarak null döndürmek istiyorsanız, bir referans değil, bir işaretçi döndürmeniz gerekir:

Attr *getAttribute(const string& attribute_name) const {
   //search collection
   //if found at i
        return &attributes[i];
   //if not found
        return nullptr;
}

Aksi takdirde, referansla geri dönmekte ısrar ediyorsanız, öznitelik bulunamazsa bir istisna atmalısınız.

(Bu arada, biraz da yöntem olma konusunda endişeli değilim constve bir sivil dönen constözelliği. Felsefi nedenlerden dolayı, dönen öneririm const Attr *. Ayrıca bu özniteliği değiştirmek isteyebilirsiniz, bir sivil ile aşırı yüklenmeye neden olabilir constyöntemle bir constöznitelik olmayan da döndürmek .)

Burada birkaç olası cevap var. Var olabilecek bir şeyi iade etmek istersiniz. En az tercih ettiğimden en çok tercih edilene kadar değişen bazı seçenekler şunlardır:

• Referans olarak dönün ve istisna ile sinyal bulunamıyor.

  Attr& getAttribute(const string& attribute_name) const 
  {
     //search collection
     //if found at i
          return attributes[i];
     //if not found
          throw no_such_attribute_error;
  }

Öznitelikleri bulamamanın uygulamanın normal bir parçası olması muhtemeldir ve bu nedenle çok da istisnai değildir. Bunun ele alınması gürültülü olurdu. Boş referanslara sahip olmak tanımsız bir davranış olduğundan boş değer döndürülemez.

• İşaretçiyle geri dön

  Attr* getAttribute(const string& attribute_name) const 
  {
     //search collection
     //if found at i
          return &attributes[i];
     //if not found
          return nullptr;
  }

GetAttribute'dan gelen bir sonucun NULL olmayan bir işaretçi olup olmadığını kontrol etmeyi unutmak kolaydır ve kolay bir hata kaynağıdır.

• Boost.Optional kullanın

  boost::optional<Attr&> getAttribute(const string& attribute_name) const 
  {
     //search collection
     //if found at i
          return attributes[i];
     //if not found
          return boost::optional<Attr&>();
  }

Boost :: Optional, burada tam olarak ne olup bittiğini belirtir ve böyle bir özniteliğin bulunup bulunmadığını incelemek için kolay yöntemlere sahiptir.

Yan not: std :: optional yakın zamanda C ++ 17'ye oylandı, bu nedenle bu yakın gelecekte "standart" bir şey olacak.

NULL dönüşünü temsil eden statik bir nesneyi kolayca oluşturabilirsiniz.

class Attr;
extern Attr AttrNull;

class Node { 
.... 

Attr& getAttribute(const string& attribute_name) const { 
   //search collection 
   //if found at i 
        return attributes[i]; 
   //if not found 
        return AttrNull; 
} 

bool IsNull(const Attr& test) const {
    return &test == &AttrNull;
}

 private: 
   vector<Attr> attributes; 
};

Ve bir kaynak dosyada bir yerde:

static Attr AttrNull;

Bir NULLdönüş değeri istiyorsanız, referanslar yerine işaretçiler kullanmanız gerekir.

Referanslar kendileri olamaz NULL.

(Gelecekteki yorum yazarlarına not: Evet, gerçekten denerseniz bir referansın adresini NULL yapabilirsiniz).

Referanslar ve işaretçiler arasındaki farkların bir listesi için cevabıma buradan bakın .

Java'da (veya C #) yaptığınız gibi yapamayacağınızı anladığınız gibi. İşte başka bir öneri, nesnenin referansını bir argüman olarak iletebilir ve bool değerini döndürebilirsiniz. Sonuç koleksiyonunuzda bulunursa, bunu iletilen referansa atayabilir ve 'true' döndürebilir, aksi takdirde 'false' döndürebilirsiniz. Lütfen bu kodu dikkate alın.

typedef std::map<string, Operator> OPERATORS_MAP;

bool OperatorList::tryGetOperator(string token, Operator& op)
{
    bool val = false;

    OPERATORS_MAP::iterator it = m_operators.find(token);
    if (it != m_operators.end())
    {
        op = it->second;
        val = true;
    }
    return val;
}

Yukarıdaki işlev, true döndürdüğünü bulursa, Operatörü anahtar 'belirteci' ile bulmalı ve değeri Operator & op parametresine atamalıdır.

Bu rutin için arayan kodu şuna benzer

Operator opr;
if (OperatorList::tryGetOperator(strOperator, opr))
{
    //Do something here if true is returned.
}

Burada NULL döndürememenizin nedeni, dönüş türünüzü olarak bildirmiş olmanızdır Attr&. Sonda &, dönüş değerini bir "başvuru" yapar, bu da temelde varolan bir nesneye yönelik boş olmaması garantili bir işaretçi. Eğer değişiklik return null edebilmek istiyorsanız Attr&için Attr*.

Geri dönemezsiniz NULLçünkü işlevin dönüş türü bir nesnedir referenceve a değil pointer.

Bunu deneyebilirsiniz:

return &Type();