为什么，当我使用指针将数组传递给函数时，数组的长度似乎为 1？ [复制]

Question

我试图将数组作为指向函数的指针传递，但是当我这样做时，函数只会将指针视为具有 1 个变量的数组。 这是我的代码：

void make3(int* a) {
    int n = sizeof(a) / sizeof(a[0]);
    for (int i = 0; i < n; i++) {a[i] = 3;}
}
int main()
{
    int a[3] = { 0, 1, 2 };
    make3(a);
    int* b = a;
    for (int i = 0; i < sizeof(a)/sizeof(a[0]); i++) {
        cout << *(b + i) << endl;
    }
}

函数 make3 仅将数组的第一个值更改为 3，而不是全部更改。 这是正常的吗？ 如果没有，我做错了什么？

Answer 1

当你将一个数组传递给一个函数时，它衰减为一个指针。

int n = sizeof(a) / sizeof(a[0]);

被评估为

int n = sizeof(int*) / sizeof(int);

这是 1（当 sizeof(int*) 是 4 - 取决于实现）。

您应该将数组大小作为参数传递：

void make3(int* a, int n) {
    for (int i = 0; i < n; i++) {a[i] = 3;}
}

int main()
{
    int a[3] = { 0, 1, 2 };
    make3(a, 3);
    for (int i = 0; i < 3; i++) {
        cout << a[i] << endl;
    }
}

如果您无法添加该参数，请使用std::vector：

#include <vector>

void make3(std::vector<int> &a) {
    for (int i = 0; i < a.size(); i++) {a[i] = 3;}
}

int main()
{
    std::vector<int> a{ 0, 1, 2 };
    make3(a);
    for (int i = 0; i < a.size(); i++) {
        cout << a[i] << endl;
    }
}

Answer 2

这正常吗？

是的。

在 C++ 中，数组会随时衰减为指针。 C++ 从 C 继承了这种便利行为。

它使人们将数组视为与指针相同。但他们不是。

在 C++ 中，指针可以指向任何对象 (nullptr)，也可以指向对象，或者指向对象数组。指针不知道它是指向一个对象还是一个对象数组。

（或者是悬空的，或者是未初始化的，或者是一些任意值。应该避免这些。）

如果不是，我做错了什么？

你没有使用std::vector。

由于在 cmets 中，您说不能使用 std::vector，那么您需要将数组的长度作为 std::size_t 参数以及指向数组的指针传递。

但是你也说你不能传入数组的长度。因此，您将需要使用数组引用而不是指针。

另外，C++17 有std::size(a) 可以用来代替sizeof(a)/sizeof(a[0])。

#include <cstddef>
#include <iostream>

using std::cout;
using std::size_t;

template <size_t N>
void make3(int(&a)[N]) {
    for (size_t i = 0; i < N; ++i) {
        a[i] = 3;
    }
}

int main() {
    int a[3] = { 0, 1, 2 };
    make3(a);
    int* b = a;

    for (size_t i = 0; i < sizeof(a)/sizeof(a[0]); ++i) {
        cout << *(b + i) << "\n";
    }
}