的std :: equal_range與拉姆達

Question

可以說我有一個字符串矢量，我想找到的所有字符串，與'a'開始，這樣我就可以做到這一點：

struct cmp { 
    bool operator()(const std::string &s, char c) const { return s.front() < c; } 
    bool operator()(char c, const std::string &s) const { return s.front() < c; } 
}; 
std::vector<std::string> strings; 
... 
std::sort(strings.begin(), strings.end()); 
auto range = std::equal_range(strings.begin(), strings.end(), 'a', cmp{}); 
... 

這種方法很容易出錯，因爲很容易犯錯（例如我認爲它應該是第二種方法中的c < s.front()）並且有代碼重複。

那麼有可能使用泛型lambda來實現比較函數而不是使用2種方法的結構？

更通用的問題，爲什麼值來比較已經被作爲參數傳遞給std::lower_bound，std::upper_bound和std::equal_range通過時，它可以很容易地通過拉姆達被捕獲或傳遞給比較結構，然後這個問題不會在那裏呢？

如果std::equal_range不需要價值，它如何工作？

struct cmp { 
    cmp(char lc) : c(lc) {} 
    bool operator()(const std::string &s) const { return s.front() < c; } 
    char c; 
}; 
std::vector<std::string> strings; 
... 
std::sort(strings.begin(), strings.end()); 
auto range = std::equal_range(strings.begin(), strings.end(), cmp{'a'}); 

Answer 1

lower_bound是

std::partition_point(strings.begin(), strings.end(), 
        [](const auto& s) { return s.front() < 'a'; }); 

upper_bound是

std::partition_point(strings.begin(), strings.end(), 
        [](const auto& s) { return s.front() <= 'a'; }); 

是的，這意味着你必須寫兩次調用得到equal_range相當。你可以用這個進入一個免費的模板：

template<class Iter, class T, class Proj> 
std::pair<Iter, Iter> my_equal_range(Iter first, Iter last, const T& value, Proj proj) { 
    auto b = std::partition_point(first, last, [&](const auto& s) { return proj(s) < value; }); 
    auto e = std::partition_point(b, last, [&](const auto& s) { return !(value < proj(s)); }); 
    return {b, e}; 
} 

並把它作爲

my_equal_range(strings.begin(), strings.end(), 'a', 
       [](const auto& s) { return s.front(); }); 

---

範圍TS工作草案增加了預測，以算法，所以你會（最終）能夠做到這個：

std::experimental::ranges::equal_range(strings, 'a', {}, 
             [](const auto& s) { return s.front(); }); 

Answer 2

要回答你的第一個問題，比較器是否可以使用通用lambda實現，是的，它可以。給定一個char或string參數，您還需要一些輔助函數來返回所需的結果。你不能簡單地已經比較捕捉值

auto get_char(char c)    { return c; } 
auto get_char(std::string const& s) { return s.front(); } 
auto cmp = [](auto const& l, auto const& r) { return get_char(l) < get_char(r); }; 

Live demo

---

一個原因是因爲equal_range兩個重載然後可以是模糊的，你需要一個稍微不同的名字或一些其他的方式（例如，標籤參數）來消除這兩者的歧義。