使用 std::sort 对二维 c 数组进行排序

Question

我似乎无法使用 std::sort 对二维 c 数组进行排序。但是，我可以对一维数组进行排序。这是在我在 c++ 程序中收到一个 c 数组并希望在不将其复制到 std::array 的情况下进行排序的情况。也许有一些方法可以将它变成一个 std::array 而不复制它？这对我来说听起来很可疑，因为任何 std::array 都会在它不拥有的内存上调用析构函数。

排序一维 c 样式数组工作得很好：

int len = 5;
auto one_dim_less = [](int a, int b){
  return a < b;
};
int one_dim[] = {4, 0, 3, 1, 2};
std::sort(one_dim, one_dim + len, one_dim_less);

尝试按第二个数字对二维 c 样式数组进行排序无法编译：

int len = 5;
auto two_dim_less = [](int a[2], int b[2]){
  return a[1] < b[1];
};
int two_dim[][2] = {{1,8}, {2,4}, {3,10}, {4,40}, {5,1}};
std::sort(two_dim, two_dim + len, two_dim_less);

Answer 1

也许有一些方法可以将其变成std::array 而无需复制 是吗？

可能不会变成std::array 本身，但另一种方法可能是将2D C 样式数组转换到std::array 参考只是为了排序。这样做依赖于标准，即内存中的std::array 表示至少从其 C 样式数组 等效项开始。请参阅[array.overview§2] 下的此处：

数组是一个聚合，最多可以用 N 进行列表初始化 类型可转换为 T 的元素。

在实践中，reinterpret_cast 的以下用法很可能是安全的，但请注意，除非在标准中的某处有特殊例外，否则它将正式成为未定义的行为：

#include <algorithm>
#include <array>
#include <iostream>

int main() {
  auto two_dim_less = [](std::array<int, 2>& a, std::array<int, 2>& b) {
      return a[1] < b[1]; };

  int two_dim[][2] = {{1, 8}, {2, 4}, {3, 10}, {4, 40}, {5, 1}};

  std::array<std::array<int, 2>, 5>& arr =
    *reinterpret_cast<std::array<std::array<int, 2>, 5>*>(&two_dim);

  std::sort(arr.begin(), arr.end(), two_dim_less);

  for (int i = 0; i < 5; i++)
    std::cout << two_dim[i][0] << ", " << two_dim[i][1] << '\n';

  return 0;
}

输出：

5, 1
2, 4
1, 8
3, 10
4, 40

---

关于std::qsort() 的使用，请注意it is potentially slower than std::sort() 由于后者允许内联比较而前者不允许。

Answer 2

std::sort()requires 用于排序的对象 MoveAssginable。

数组不是 MoveAssginable（也不是可赋值的）。

尝试使用结构数组或std::pairs。