处理函数对象

Question

std::sort 是通过 Compare 类参数化的模板。该函数本身将该类的一个对象作为参数，并“调用”它来比较待排序容器的元素。

我认为重要的是我们可以给 sort 一个具体的对象，而不是简单地让 sort 构造一个 Compare 对象本身。 （如果不是，请纠正我。）

现在假设我们要实现一个函数foo，它将vector<T> 和T 的比较函数作为输入：

template <class T, class Compare>
bool foo(const vector<T>& v, Compare comp);

作为此实现的一部分，我们希望对包含T 和int 对的不同向量进行排序，即对vector<pair<T, int>> 进行排序。但我们只想根据T 组件对该向量进行排序。这意味着我们希望将T 上的给定订单提升为pair<T, int> 上的订单并将该订单传递给std::sort。

如何在不使用 lambda 的情况下做到这一点？我的问题是我没有办法将T 的Compare object 提升为pair<T, int> 的一个。我只能解除Compare class 然后构造一个对象，这意味着foo 将完全忽略它的comp 参数。

谢谢。

Answer 1

你可以在函数内部定义一个局部结构吗？

template <class T, class Compare>

bool foo(const vector<T>& v, Compare comp)
{
   struct NewCompare
   {
      const Compare &rc;
      NewCompare( const Conpare &comp ) : rc( comp ) {}
      NewCompare( const NewCompare &comp ) : rc( comp.tc ) {}
      bool operator ()( const std::pair<T, int> &p1, const std::pair<T, int> &p2 ) const
      {
          return rc( p1.first, p2.first );
      }
    };

    //...
}

或者你可以写一个通用的功能适配器。