爲什麼在模板中調用基類的運算符？

Question

爲什麼呼籲在下面的程序都B和DB::operator()？

#include <algorithm> 
#include <iostream> 
#include <iterator> 
#include <vector> 

class B { 
public: 
    virtual ~B() {} 
    virtual bool operator()(int a, int b) { return a < b; } 
}; 

class D : public B { 
public: 
    bool operator()(int a, int b) override { return a > b; } 
}; 

void f(B& b, std::vector<int>& v) 
{ 
    std::sort(v.begin(), v.end(), b); 
    std::copy(v.begin(), v.end(), std::ostream_iterator<int>(std::cout, " ")); 
    std::cout << std::endl; 
} 

int main() 
{ 
    const std::vector<int> v{5, 3, 8, 1, 7}; 

    std::vector<int> vb(v); 
    B b; 
    f(b, vb); 

    std::vector<int> vd(v); 
    D d; 
    f(d, vd); 

    return 0; 
} 

如果我改變std::sort(v.begin(), v.end(), b)這樣：

std::sort(v.begin(), v.end(), 
      [&](int x, int y){ return b.operator()(x, y); }); 

然後向後f(d, vd)種種預期。

我最好的理解是std::sort(v.begin(), v.end(), b)使用&B::operator()而不是b.operator()。我無法找到一個明確的解釋，雖然，它似乎並不完全合乎邏輯的，因爲編譯器應該能夠看到B有虛表。

Answer 1

見std::sort簽名：

template< class RandomIt, class Compare > 
void sort(RandomIt first, RandomIt last, Compare comp); 

參數comp將由值這裏通過，所以f(d, vd);，d將slicing copied到B然後B::operator()將被調用。

您可能使f()一個模板函數。

template <typename COMP> 
void f(COMP& b, std::vector<int>& v) 
{ 
    std::sort(v.begin(), v.end(), b); 
    std::copy(v.begin(), v.end(), std::ostream_iterator<int>(std::cout, " ")); 
    std::cout << std::endl; 
} 

其他建議：這將是更好地使B::operator()和D::operator() const成員函數，並改變b參數類型爲const引用。

LIVE