未確認の読み取り

Question

は、次のことを仮定しますため、アプリケーションがどのように機能するかに

struct C { 
    ... // lots of other stuff 
    int get(int key) const { return m.at(key); } // This will never throw 
private: 
    std::unordered_map<int, int> m; 
}; 

、私はgetスローしないことを知っています。できるだけ早くgetにしたいと思います。そこで、私はアクセスをチェックしないようにしたいと思います。すなわち、return m[key]のようなものを書いています。もちろん、私は正確にそれを書くことができませんget const。しかし、私はgetを維持したいと思います。はです。

struct C { 
    ... // lots of other stuff 
    int get(int key) const { return const_cast<C *>(this)->m[key]; } 
private: 
    std::unordered_map<int, int> m; 
}; 

良い方法があります：

ここに私が思い付いただけ（醜い）ソリューションですか？

Answer 1

私はこの質問の背後にある非常に推論に反対します。 keyが原因でエラーをキャッチすることに関連するオーバヘッド（map.at()対map[]）は、おそらく最初にkeyを見つけるコストと比較して、ごくわずかです。 しかし、おそらく検証/測定さえしていないような限界的な効率上の利点のために、ランタイムエラーの重大なリスクを喜んで抱いています。 keyが常にマップに含まれていることを知っていると思うかもしれませんが、将来のコード変更（他人が導入したバグを含む）によって変更される可能性はありますか？

あなたが本当に知っているならば、あなたはイテレータが無効である（map.end()にすなわち等しい）返された場合にはバグが明示的になり

map.find(key)->second; 

を使用する必要があります。あなたは、プリプロダクションコードでassertを使用することができる、すなわち（assertが空のマクロの場合）製品コードで除去し

auto it = map.find(key); 
assert(it!=map.end()); 
return it->second; 

。

Answer 2

一つのアプローチは、std::unordered_map::findを使用することです：

struct C { 
    ... // lots of other stuff 
    int get(int key) const { return m.find(key)->second; } 
private: 
    std::unordered_map<int, int> m; 
};