からのテンプレート関数を使用すると、<algorithm>次のようなことができます
struct foo
{
int bar, baz;
};
struct bar_less
{
// compare foo with foo
bool operator()(const foo& lh, const foo& rh) const
{
return lh.bar < rh.bar;
}
template<typename T> // compare some T with foo
bool operator()(T lh, const foo& rh) const
{
return lh < rh.bar;
}
template<typename T> // compare foo with some T
bool operator()(const foo& lh, T rh) const
{
return lh.bar < rh;
}
};
int main()
{
foo foos[] = { {1, 2}, {2, 3}, {4, 5} };
bar_less cmp;
int bar_value = 2;
// find element {2, 3} using an int
auto it = std::lower_bound(begin(foos), end(foos), bar_value, cmp);
std::cout << it->baz;
}
このstd::setようなメソッドでは、ダミーオブジェクトの作成を余儀なくされるfindタイプのオブジェクトを渡す必要があります。set::key_type
set<foo> foos;
foo search_dummy = {2,3}; // don't need a full foo object;
auto it = foos.find(search_dummy);
と呼べばとても助かりますfoos.find(2)。find少ない述語に渡すことができるすべてのものを受け入れて、テンプレートになれない理由はありますか？そして、それがちょうど欠けているのなら、なぜそれはC ++ 11ではないのですか（私はそうではないと思います）。
編集
主な質問は、なぜそれが不可能であり、それが可能であるならば、なぜそれを提供しないという基準を決定したのかということです。回避策を提案できる2番目の質問:-)（boost::multi_index_container値型からのキー抽出を提供する、今私の頭に浮かぶ）
値型を構築するのにより費用がかかる別の例。キーnameはタイプの一部であり、マップキーのコピーとして使用しないでください。
struct Person
{
std::string name;
std::string adress;
std::string phone, email, fax, stackoferflowNickname;
int age;
std::vector<Person*> friends;
std::vector<Relation> relations;
};
struct PersonOrder
{
// assume that the full name is an unique identifier
bool operator()(const Person& lh, const Person& rh) const
{
return lh.name < rh.name;
}
};
class PersonRepository
{
public:
const Person& FindPerson(const std::string& name) const
{
Person searchDummy; // ouch
searchDummy.name = name;
return FindPerson(searchDummy);
}
const Person& FindPerson(const Person& person) const;
private:
std::set<Person, PersonOrder> persons_;
// what i want to avoid
// std::map<std::string, Person> persons_;
// Person searchDummyForReuseButNotThreadSafe;
};