为什么 sizeof(intArray)/sizeof(int) 给出不同的值？ [复制]

Question

可能的重复：
C++: sizeof for array length
Sizeof array passed as parameter

#include "stdafx.h"
#include <iostream>

using namespace std;

void PrintArrayLength(int arr[])
{
    cout << "Function Array length is: " << sizeof(arr)/sizeof(int) << endl;
}

int _tmain(int argc, _TCHAR* argv[])
{
    int arr[] = {1, 2, 3};

    cout << "Array length is: " << sizeof(arr)/sizeof(int) << endl; // print 3

    PrintArrayLength(arr); // print 1
    return 0;
}

为什么一个地方 sizeof(arr)/sizeof(int) 的值为 1，而另一个地方的值为 3？

Answer 1

因为当您将数组按值传递给函数时，您实际上是在传递一个指针（指向数组的第一个元素）。

void PrintArrayLength(int arr[])
{
    cout << "Function Array length is: " << sizeof(arr)/sizeof(int) << endl;
}

是其实：

void PrintArrayLength(int* arr)
{
    cout << "Function Array length is: " << sizeof(arr)/sizeof(int) << endl;
}

---

不要被允许您将数组声明为int[] 的语法糖误导。实际上，没有这种类型，而您真正写的是：

int arr[3] = {1, 2, 3};

只是编译器可以从初始化程序中为您简单地填写3。

---

顺便说一句，如果您通过引用传递数组，您可以保留尺寸。为方便起见，您可以使用模板，这样无论数组具有什么维度（因为维度是类型的一部分），您都只需要一个函数：

template <size_t N>
void PrintArrayLength(int (&arr)[N])
{
    cout << "Function Array length is: " << sizeof(arr)/sizeof(int) << endl;
}

对此的扩展建议不要使用sizeof。你很容易掉进你掉进的陷阱，以为你正在评估一个数组，而实际上，你不是。改用这个：

template <typename T, size_t N>
size_t length_of_array(T (&)[N]) {
   return N;
}

尝试在除正确数组之外的任何对象上使用此函数将失败并出现编译器错误，而不是像您的代码那样默默地给出误导性值。

当然，用boost::array（或C++0x 中的std::array）甚至std::vector（可以调整大小）类型的对象替换您对原始数组的使用是最好的方法。 :)

Answer 2

Tomalak Geret'kal 是对的。

对于你想要的功能，你可以使用这个：

void DoSomethingWithArray(int* arr, size_t n)
{
    cout << "Function Array length is: " << n << endl;
}

template< size_t n >
inline void DoSomethingWithArray(int (&arr)[n])
{
    // n == sizeof(arr)/sizeof(int)
    DoSomethingWithArray( arr, n );
}

我正在使用函数void DoSomethingWithArray(int* arr, size_t n)，而不是直接在函数模板的主体内编写代码，因为如果函数的主体足够大，为每个函数实例化单独的函数（专门从函数模板）将浪费资源pogram 中曾经使用过的数组 n 的大小。