sizeof 运算符的问题

Question

由于我想在函数中动态查找数组大小，因此我使用了 sizeof 运算符。但我得到了一些意想不到的结果。 这是一个演示程序，向您展示我想要做什么。

//------------------------------------------------------------------------------------------
#include <iostream>

void getSize(int *S1){

    int S_size = sizeof S1/sizeof(int);
    std::cout<<"array size(in function):"<<S_size<<std::endl;
}

int main(){

    int S[]={1,2,3,2,5,6,25,1,6,21,121,36,1,31,1,31,1,661,6};
    getSize(S);
    std::cout<<"array size:"<<sizeof S/sizeof(int)<<std::endl;
    return 0;
}
//------------------------------------------------------------------------------------------

编译命令： g++ demo1.cc -o demo1 {fedora 12}

输出：

array size(in function):2
array size:19

---

请解释一下，为什么会发生这种情况。 可以采取什么措施来解决这个问题。

Answer 1

void getSize(int *S1)

当您将数组传递给此函数时，它会衰减为指针类型，因此sizeof运算符将返回指针的大小。

但是，您将函数定义为，

template<int N>
void getSize(int (&S1)[N])
{
   //N is the size of array
   int S_size1 = N;
   int S_size2 = sizeof(S1)/sizeof(int); //would be equal to N!!
   std::cout<<"array size(in function):"<<S_size1<<std::endl;
   std::cout<<"array size(in function):"<<S_size2<<std::endl;
}

int S[]={1,2,3,2,5,6,25,1,6,21,121,36,1,31,1,31,1,661,6};
getSize(S); //same as before

那么您可以在函数中拥有数组的大小！

在这里亲自观看演示：http://www.ideone.com/iGXNU

Answer 2

在 getSize() 中，您将获取指针的大小，即 8 个字节（因为您可能正在运行 64 位操作系统）。在 main() 中，您将获取数组的大小。

如果您想知道数组大小，请将 sizeof(S) 的结果作为附加参数传递给 getSize()。

更多的替代方案是使用一些容器（如 std::vector ）或将函数转换为模板函数，正如 Nawaz 所提议的那样。

Answer 3

S是一个int *，一个指向整数的指针，它是一个内存地址，在你的机器上是整数大小的两倍。

如果你想要数组的大小（即元素的数量），你无法直接在纯 C 中得到它。但由于这是一个 C++ 问题，所以有一种方法：使用 vector，它有一个 size() 方法。

实际上，这并不完全正确：在您声明 S 的函数内（并且仅当它在编译时显式初始化，就像您在示例中所做的那样 - 即使 < code>new int[19] 不起作用），sizeof 运算符实际上确实得到了正确的答案，这就是为什么 C++ 允许你这样做：

int S[]={1,2,3,2,5,6,25,1,6,21,121,36,1,31,1,31,1,661,6};
vector<int> v(S, S + sizeof(S) / sizeof(int) );

然后你可以使用 < code>v.size() （请参阅这些文档） 。

Nawaz 在其他地方的模板版本是另一个很好的建议，它强制编译器携带有关 C++ 数组构造的完整信息（再次注意，这在编译时都是已知的，这就是为什么您可以明确参数中的大小）。

Answer 4

您正在获取指向数组的指针的大小。如果您想要数组的大小，则必须将元素数量乘以每个元素的大小。

Answer 5

您必须将数组的大小传递给函数。

由于您仅传递指向数组中第一个元素的指针，因此您的函数没有有关其实际大小的信息。

void getSize(int *S1, size_t size)
{
    int S_Size = sizeof(*S1) * size;
}

如果你仔细想想，这是多余的：D

Answer 6

为了防止这种类型的意外误用 sizeof，您可以定义一个仅适用于数组的函数：

template<class T, int N>
int array_size(T (&)[N]) {
  return N;
}

如果您在代码中使用此函数，则在应用于 S1 时您会看到编译器错误，因为它不是数组。另外，它比 sizeof array / sizeof array[0] 更短且更明确（使用第一项的大小意味着您不必重复数组类型）。

这也已经以更通用的形式存在于 Boost 中（接受带有 size 方法的任何内容，例如 std::vector）。