为什么函数不知道数组大小？

Question

如果我写的话

int main()
{
    int a[100] = {1,2,3,4,};
    cout<<sizeof(a)/sizeof(a[0])<<endl; //a is a pointer to the first elem of array, 
                                        //isn't it
    return 0;
}

我会得到400！

如果我写

void func(int *a);

int main()
{
    int a[100] = {1,2,3,4,};
    func(a);
    return 0;
}

void func(int *a)
{
     cout<<sizeof(a)/sizeof(a[0])<<endl; //a is a pointer to the first elem of array
}

然后我得到1！

那么为什么函数不知道数组大小呢？

Answer 1

当传递给函数时，数组会衰减为指针，因此您得到的只是指针的大小。

Answer 2

sizeof 返回类型的大小。在第二个示例中，func( int *a )，a 是一个指针，sizeof 将这样报告它。即使您执行了 func( int a[100] ) ， a 也将是一个指针。如果您想要 func 中数组的大小，则必须将其作为额外参数传递。

Answer 3

这不起作用，因为 sizeof 是在编译时计算的。该函数没有关于其参数大小的信息（它只知道它指向一个内存地址）。

考虑使用 STL 向量，或者将数组大小作为参数传递给函数。

Marcel Guzman 在计算数组的大小中回答了这个问题！

Answer 4

当将数组作为参数传递给采用指针的函数时，数组将作为指针衰减。

void bar(int *a)
{
    std::cout << sizeof(a) << std::endl; // outputs "4" (on a 32 bit compiler)
}

void foo()
{
    int a[100] ;
    std::cout << sizeof(a) << std::endl; // outputs "400" (on a 32 bit compiler)
    bar(a);
}

因此，也许解决方案是提供一个正确的函数，将对数组的引用作为参数：

template <size_t T_Size>
void bar(int (&a)[T_Size])
{
    std::cout << T_Size << std::endl;    // outputs "100" (on ALL compilers)
    std::cout << sizeof(a) << std::endl; // outputs "400" (on a 32 bit compiler)
}

void foo()
{
    int a[100] ;
    std::cout << sizeof(a) << std::endl; // outputs "400" (on a 32 bit compiler)
    bar(a);
}

当然，该函数必须是模板化的。

Answer 5

不，你错了。

如果我运行你的第二部分代码，它会在我的计算机上给出 1。这不是 400。

#include <iostream>

void func(int *a);

using namespace std;

int main()
{
    int a[100] = {1,2,3,4,};
    func(a);
    return 0;
}

void func(int *a)
{
     cout<<sizeof(a)/sizeof(a[0])<<endl;
}

产生

1

Answer 6

第一次你得到 400，因为你只传递 sizeof(a)，而不是 sizeof(a)/sizeof(a[0]) 到 cout。您需要用括号将该计算括起来以获得正确的输出值，即：

cout << (sizeof(a)/sizeof(a[0])) << endl;

第二次，您应该得到 2、4 或 8（取决于体系结构），绝对不是 400，因为您实际上是在输出

cout << sizeof(int*) << endl;

：通用指针的大小始终是固定值。

Answer 7

指针就是指针。这意味着，它只是指向内存，仅此而已。创建一个指向数组的指针（通常意味着指向数组第一个元素的指针，但不一定）仍然只是指向某个内存位置的指针。由于内存地址只是一个内存地址，因此指针也无法知道它指向的内存最初是一个数组，或者该数组有多长。

这就是指针的工作原理。它们指向记忆，仅此而已。

Answer 8

该函数不知道示例中的数组大小，因为您采取了显式步骤将数组转换为指针类型，从而完全剥离了函数参数的原始数组性质。您自己再一次采取了故意的步骤来确保该函数不知道数组的大小。在这种情况下，看到你问为什么函数不知道数组大小的问题是相当奇怪的。

如果您希望函数以数组形式接收参数，则必须将其作为数组而不是单纯的指针传递，并相应地声明相应的函数参数。 C++ 中的数组不能“按值”传递，这意味着您必须“按引用”传递它，作为一种可能性

void func(int (&a)[100])
{
  cout << sizeof a / sizeof a[0] << endl;
}