c++ - 为什么使用 C++ 容器 "array"而不是传统的 C 数组？

Question

流行的观点是 C++ 数组更安全，效率几乎相同。除了检查索引是否超出范围和不允许隐式类型转换为指针之外，还有其他功能吗？
此外，为什么传统 C 数组的隐式类型转换被认为是一种糟糕的方式？
我不太擅长 C++(也擅长英语)，如果这个问题不值得回答，请原谅我。谢谢!

Answer 1

主要好处是std::array是 first-class object在 C++ 中，这意味着你可以用它做所有你可以用任何其他“普通”C++ 对象做的事情。
另一方面，传统的 C 数组不是一流的对象，这意味着很多事情都行不通:

#include <array>

// Works!
std::array<int, 5> ReturnAStdArrayOfSixes()
{
   std::array<int, 5> ret;
   ret.fill(6);
   return ret;
}

// Doesn't compile, sorry
int[5] ReturnACArrayOfSixes()
{
   int ret[5];
   for (int i=0; i<5; i++) ret[i] = 6;
   return ret;
}

int main(int, char **)
{
   std::array<int, 5> stdArray1;
   std::array<int, 5> stdArray2;

   int cArray1[5];
   int cArray2[5];

   stdArray1 = stdArray2;  // works
   cArray1 = cArray2;  // error: array type 'int [5]' is not assignable

   if (stdArray1 < stdArray2) {/* do something */}  // compares arrays' contents lexographically
   if (cArray1 < cArray2) {/* do something */}      // compiles, but compares pointers which probably isn't what you wanted

   return 0;
}

至于“传统 C 数组的隐式类型转换”(我认为您的意思是将数组类型隐式衰减为指针类型)，这是一种有用的机制，但如果您不期望它，它会咬你，例如:

// This code works as expected
int myArray[5];
cout << "There are " << (sizeof(myArray)/sizeof(int)) << " items in myArray\n";

现在让我们将上面的代码重构为一个不错的函数，以便我们可以重用它:

void PrintArraySize(int myArray[5])
{
   std::cout << "There are " << (sizeof(myArray)/sizeof(int)) << " items in myArray\n";
}

int main(int, char **)
{
   int myArray[5];
   PrintArraySize(myArray);
   return 0;
}

......哦不!现在 PrintArraySize() 有问题，打印的数字远小于数组中的项目数! (原因是函数中的 myArray 已经隐式衰减为指针，所以函数中的 sizeof(myArray) 计算结果为 sizeof(int *) ，例如 4 或 8 个字节，而不是传入内容的大小大批)