c++ - 在 C++ 中声明数组

Question

我是 C++ 新手，目前正在自学一本书。这本书似乎说有几种数组取决于你如何声明它。我想动态数组和静态数组之间的区别对我来说很清楚。但是我不明白 STL std::array 类和静态数组的区别。

一个 STL std::array 变量被声明为:

std::array < int, arraySize > array1;

而静态数组变量声明为:

int array1[arraySize];

两者之间有根本区别吗？还是只是语法，两者基本相同？

Answer 1

一个 std::array<> 只是一个 C 风格数组的轻量级包装器，带有一些额外的漂亮接口(interface)成员函数(如 begin、end 等)和 typedef s，大致定义为

template<typename T, size_t N>
class array
{
public:
    T _arr[N];
    T& operator[](size_t);
    const T& operator[](size_t) const;
    // other member functions and typedefs
}

一个根本的区别是前者可以通过值传递，而对于后者，你只能传递一个指向它的第一个元素的指针，或者你可以通过引用传递它，但是你不能将它复制到函数中(除了通过std::copy 或手动)。

一个常见的错误是假设每次将 C 样式的数组传递给函数时，由于数组衰减为指针，您会丢失其大小。这并非总是如此。如果你通过引用传递它，你可以恢复它的大小，因为在这种情况下没有衰减:

#include <iostream>

template<typename T, size_t N>
void f(T (&arr)[N]) // the type of arr is T(&)[N], not T*
{
    std::cout << "I'm an array of size " << N;
}

int main()
{
    int arr[10];
    f(arr); // outputs its size, there is no decay happening
}

Live on Coliru