c++ - 对属性进行 binary_search 的编译错误

Question

我有一个 vector v 类 X

的实例

class X
{
public:
  int attribute_1;
  ... 

  operator==(const int i){return this->attribute_1 == i;}
};

std::vector<X> v;

vector v 按属性 attribute_1 排序。我想执行 binary_search 来测试给定整数是否与 X 实例之一的 attribute_1 匹配。我试过了

int elem = 12
bool isElementPresent = std::binary_search(
        v.begin(),
        v.end(),
        elem,
        [](const X& right, const X& left){return right.attribute_1 < left.attribute_1;}
      )
    )

但是编译失败。如果我创建一个 X 的实例，并将 attribute_1 设置为 elem，那么它可以工作，但我想避免这样做(因为 1. of构建类 X 的对象的时间，它有很多其他属性和 2。我需要编写一个极简主义的构造函数，我害怕我会在代码的其他地方错误地使用它)。

我原以为 operator== 重载会让它工作。为什么它不起作用？是否有一种解决方案不会强制我使用 attribute_1 = elem 创建 X 的实例？

Answer 1

Why does it not work?

std::binary_search 也使用比较对象来检查相等性。这类似于 comp(a, b) ||补偿(b，a)。如果该表达式为假，则 a 不小于 b，b 也不小于 a。因此它们必须相等。

由于这种用法，比较对象需要接受集合的对象以及要搜索的值作为第一个和第二个参数。

一种解决方案是使用“投影”类，其对象既可以根据相关类构造，也可以根据您要比较的值构造。在第一种情况下，投影类然后从类成员中提取值并将其存储到它自己的成员中。在另一种情况下，它只是将值复制到它自己的成员。

有趣的是，这甚至可以变得非常通用:

template<typename D, typename P, P> struct projection;

template<typename Data, typename Class, typename Return, Return (Class::*member_function) () const>
struct projection<Data, Return (Class::*) () const, member_function> {
 Data data;
 projection (Class const & object)
  : data ((object.*member_function)()) {}
/* template<typename X>
 projection (X&& input)
  : data (std::forward<X>(input)) {}*/
 projection (Data d) : data (d) {}
};

然后将这个投影类作为搜索使用的比较对象的两个参数。 Example :

struct Item {
 int x;
 int get () const { return x; }
};


int main () {
 Item items [] = {1,2,3,4,5,99};
 using P = projection<int, decltype(&Item::get), &Item::get>;
 auto compare = [](P const & left, P const & right) {
               return left.data < right.data; };
 std::cout << std::binary_search(
      std:: begin (items), std::end(items),
      4, compare)
    << std::endl;
 std::cout << std::binary_search(
      std:: begin (items), std::end(items),
      44, compare)
    << std::endl;
}

上面的代码使用常量成员函数(“getters”)，但它具有以下特殊化 also works with pointers to members :

template<typename Data, typename Class, typename Member, Member (Class::*member_pointer)>
struct projection<Data, Member (Class::*), member_pointer> {
 Data data;
 projection (Class const & object)
  : data (object.*member_pointer) {}
/* template<typename X>
 projection (X&& input)
  : data (std::forward<X>(input)) {}*/
 projection (Data d) : data (d) {}
};