c++ - C++11 std::begin 不适用于传递给模板函数的 int[]

Question

我有一个问题：没有匹配函数调用'begin（int *＆）'我发现的唯一提示是编译器在编译时可能不知道数组的大小，但我相信这不是我的案子。这是我所拥有的：

template <typename T>
void heapSort(T array[]) {
  size_t length = std::end(array) -  std::begin(array);
  if (length == 0) {
    return;
  }
  Heap<T> heap(array);
  for (size_t i = length - 1; i >= 0; --i) {
    array[i] = heap.pop();
  }
}

int main() {      
  int array[] = {9, 8, 10, 99, 100, 0};
  for (auto i = 0; i < 6; ++i) {
    std::cout << array[i] << " ";
  }
  std::cout << std::endl;
  heapSort(array);
  for (auto i = 0; i < 6; ++i) {
    std::cout << array[i] << " ";
  }
  std::cout << std::endl;
}

有什么问题？我该如何解决？

Answer 1

void heapSort(T array[]);

只是替代语法

void heapSort(T* array);

你不能通过值传递一个数组，所以你需要通过引用来获取它（并且可能让编译器推断它的大小）：

template<typename T, size_t N>
void heapSort(T (&array)[N]);

请注意，通过这种方式，您将为每个不同大小的数组获得不同的实例化。如果你有大量的数组，它可能会导致一些代码膨胀。我会考虑使用 astd::vector代替。

Answer 2

就像jrok所说，T array[]它只是一个指针的同义词，T* array它丢失了有关实际数组类型的任何信息。

如果你真的想使用编译时数组，它实际上是

template<typename T,std::size_t N> void heapSort(T (&array)[N])

（这也是最终要做什么std::begin和std::end做什么。）

Answer 3

另一个问题是它size_t总是非负的，所以你的循环for (size_t i = length - 1; i >= 0; --i)永远不会终止。尝试替换为：

for (size_t i = length; i > 0; --i) {
  array[i - 1] = heap.pop();
}