検索結果が見つからない場合は「NULL」オブジェクトを返します

私はC ++にかなり慣れていないので、学んでいる間、多くのJava主義で設計する傾向があります。とにかく、Javaでは、特定のパラメーターに一致するTからオブジェクトを返す 'search'メソッドを含むクラスがあるCollection< 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;
}

どのように変更すれば、そのようなマーカーを付けることができますか？

C ++では、参照をnullにすることはできません。何も見つからなかった場合にオプションでnullを返したい場合は、参照ではなくポインタを返す必要があります。

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

それ以外の場合、参照による戻りを主張する場合、属性が見つからない場合は例外をスローする必要があります。

（ちなみに、私はあなたのメソッドがconst非const属性を返すのを少し心配しています。哲学的な理由から、私は返すことをお勧めしconst Attr *ます。この属性を変更したい場合は、非constメソッドでオーバーロードできます非const属性も返します。）

ここにはいくつかの可能な答えがあります。存在する可能性のあるものを返したい。ここにいくつかのオプションがあります。私の最も好ましいものから最も好ましいものまでの範囲です。

• 参照によって戻り、例外によって信号を見つけることができません。

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

属性を見つけられないことは、実行の通常の部分であり、したがって、それほど例外的ではない可能性があります。これの処理は騒々しいでしょう。null参照を持つことは未定義の動作であるため、null値を返すことはできません。

• ポインタで戻る

  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 :: optionalは、ここで何が行われているのかを正確に示し、そのような属性が見つかったかどうかを検査する簡単な方法を備えています。

補足：std :: optionalは最近C ++ 17に投票されたので、これは近い将来「標準」になるでしょう。

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;

あなたがしたい場合 NULL、戻り値をあなたの代わりに参照のポインタを使用する必要があります。

参照自体はできません NULL。

（将来のコメント投稿者への注意：本当にそうしようとする場合は、参照のアドレスをNULLにすることができます）。

参照とポインタの違いのリストについては、ここの私の回答を参照してください。

Java（またはC＃）で行った方法では実行できないことを理解したように。これは別の提案です。オブジェクトの参照を引数として渡し、ブール値を返すことができます。コレクションで結果が見つかった場合は、渡される参照に割り当てて「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＆opに割り当てます。

このルーチンの呼び出し元コードは次のようになります

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

ここでNULLを返すことができない理由は、戻り値の型をとして宣言したためですAttr&。末尾&は戻り値を「参照」にします。これは基本的に、既存のオブジェクトへのnullになることが保証されていないポインタです。nullを返すことができるようにするには、に変更Attr&しAttr*ます。

NULL関数の戻り値の型がオブジェクトreferenceではなく、オブジェクトであるため、戻ることができませんpointer。

あなたはこれを試すことができます：

return &Type();