显式复制构造函数和std：：sort

Question

class A {
public:
  explicit A(int i): m_i(i) {};
  explicit A(const A& other): m_i(other.m_i) {};
  int i() const {return m_i;};
private:
  int m_i;
};

bool is_less(const A& a, const A& b) {
  return a.i() < b.i();
}

int main(int, char*[]) {
  std::vector<A> objects;
  objects.push_back(A(3));
  objects.push_back(A(5));
  objects.push_back(A(-1));

  std::cout << is_less(objects[1], objects[2]);
  std::sort(objects.begin(), objects.end(), is_less);

  for (auto& a: objects) {
    std::cout << a.i() << " ";
  }
  std::cout << std::endl;
}

error: 
  no matching constructor for initialization of '_ValueType' (aka 'A')

error: no matching function for call to ‘A::A(std::remove_reference<A&>::type)

在G++中。如果复制构造函数不是显式的，代码可以编译并正常工作（但我希望强制执行只有对对象的引用才能用作参数和返回值）。代码还在删除对std::sort的调用后进行编译（因此is_less(objects[1],objects[2])不成问题）。因此，我的问题是，std：：sort在调用使编译此代码失败的比较函数时会做什么，以及如何修复它。

经过大量的研究，唯一接近我的问题是复制初始化，对复制构造函数的调用是显式的还是隐式的？它链接到GCC中的一个bug。然而，clang显示了相同的行为，所以我很想了解这是怎么回事。

Answer 1

std::sort要求元素类型为moveconstrucky。

MoveConstrucky的要求声明表达式tu=rv；必须有效。但是，此表达式执行复制初始化，并要求存在非显式复制或移动构造函数。

在本例中，copy构造函数是显式的，声明它意味着没有隐式声明的move构造函数。因此，表达式无效，类A不是MoveConstrucky。