如果搜索結果未找到，則返回「NULL」對象

Question

我對C++很新穎，所以我傾向於在學習時用很多Java-ims進行設計。無論如何，在Java中，如果我有一個'搜索'方法的類將返回匹配一個特定參數的Collection< T >對象T，我會返回該對象，如果在該集合中找不到對象，我會返回null 。然後在我的調用函數，我只是檢查if(tResult != null) { ... }

在C++中，我發現如果對象不存在，我不能返回null值。我只想返回一個類型爲T的「指示符」，通知調用函數沒有找到對象。我不想拋出異常，因爲這不是一個真正的例外情況。

這是我的代碼看起來像現在：

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; 
} 

我怎樣才能改變它，所以我可以給那種標記？

Answer 1

在C++中，引用不能爲空。如果你想有選擇地返回NULL如果沒有找到，你需要返回一個指針，而不是一個參考：

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

否則，如果你堅持通過引用返回，那麼你應該拋出一個異常，如果該屬性ISN沒有發現。

（順便說一下，我有點擔心你的方法是const並返回一個非const屬性。對於哲學的原因，我建議恢復const Attr *。如果你也可能要修改此屬性，可以用非const方法返回一個非const屬性以及過載。）

Answer 2

如果你想要一個NULL返回值，你需要使用指針而不是引用。

參考文獻本身可能不是NULL。

（注意到未來的評論海報：是的，如果你確實嘗試過，可以將參考地址設爲NULL）。

See my answer here for a list of differences between references and pointers。

Answer 3

你無法返回NULL，因爲該函數的返回類型是一個對象reference而不是pointer。

Answer 4

你不能在這裏返回NULL的原因是因爲你已經聲明你的返回類型爲Attr&。尾部&使返回值成爲「引用」，它基本上是一個保證不是空指針的現有對象。如果您希望能夠返回空值，請將Attr&更改爲Attr*。

Answer 5

這裏有幾種可能的答案。你想要返回可能存在的東西。這裏有一些選項，從我的最不喜歡到最優選：

• 返回通過引用，信號找不到例外。

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

這可能是因爲沒有找到屬性是執行正常的一部分，因此不是很出色的。處理這將是嘈雜。無法返回空值，因爲它的未定義行爲具有空引用。

• 回到依指針

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

人們很容易忘記檢查從的getAttribute結果是否將是一個非NULL指針，是錯誤的來源容易。

• 使用Boost.Optional

  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 ::可選表示到底是怎麼回事就在這裏，並具有檢測這樣的屬性是否找到簡單的方法。

---

附註：std :: optional最近被投票到C++ 17中，所以這將成爲不久的將來的「標準」事情。

Answer 6

您可以輕鬆創建一個表示NULL返回值的靜態對象。

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; 
}; 

而且在源文件中的某個地方：

static Attr AttrNull; 

Answer 7

你可以試試這個：

return &Type(); 

Answer 8

當你想通了，你不能做到這一點，你在Java中已經做了（或C＃）。這裏是另一個建議，你可以將對象的引用作爲參數傳遞並返回bool值。如果在集合中找到結果，則可以將其分配給正在傳遞的引用，並返回「true」，否則返回「false」。請考慮這個代碼。

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; 
} 

功能上面已經找到操作員對鍵「令牌」，如果它發現它返回true一個並分配值參數operator &運算。

這個程序調用者的代碼如下所示

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