为什么在模板中调用基类中的运算符

Why is operator from base class called in templates?

本文关键字：基类 运算符 调用 为什么      更新时间：2023-10-16

为什么在下面的程序中同时调用B和D B::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有一个 vtable。

参见std::sort的签名：

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

参数 comp 将在此处按值传递，因此对于f(d, vd);，d 将切片复制到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 引用。

住

相关文章：