如果将数组传递给另一个函数（未传递大小），是否可以确定数组的大小？数组初始化为 int array[] = { XXX } ..
我知道不可能执行 sizeof，因为它会返回指针的大小。我问的原因是因为我需要在传递数组的另一个函数内运行 for 循环。我试过类似的东西：
for( int i = 0; array[i] != NULL; i++) {
........
}
但我注意到在数组的近端，array[i] 有时包含像 758433 这样的垃圾值，这不是在数组初始化时指定的值..
【问题讨论】：
其他答案忽略了 c++ 的一个特性。您可以通过引用传递数组，并使用模板：
template <typename T, int N>
void func(T (&a) [N]) {
for (int i = 0; i < N; ++i) a[i] = T(); // reset all elements
}
那么你可以这样做：
int x[10];
func(x);
但请注意，这只适用于数组，不适用于指针。
但是，正如其他答案所指出的，使用 std::vector 是更好的选择。
【讨论】：
如果它在您的控制范围内，请使用 STL 容器，例如向量或双端队列，而不是数组。
【讨论】：
不，这是不可能的。
一种解决方法：在数组的最后一个值处放置一个特殊值，以便您识别它。
【讨论】：
一个明显的解决方案是使用 STL。如果不可能，最好显式传递数组长度。 对于这种特殊情况，我对使用哨兵价值技巧持怀疑态度。有用 指针数组更好，因为 NULL 对于哨兵来说是一个很好的值。和 整数数组，这并不容易 - 你需要有 一个“神奇”的哨兵值，即 不好。
旁注：如果您的数组被定义和初始化为
int array[] = { X, Y, Z };
在与你的循环相同的范围内，然后
sizeof(array) 将返回它的实际大小（以字节为单位），而不是指针的大小。你可以得到数组长度为
sizeof(array) / sizeof(array[0])
但是，一般情况下，如果您将数组作为指针，则不能使用此技巧。
【讨论】：
您可以在 int 数组中添加一个终止符，然后手动遍历该数组以发现方法中的大小。
#include<iostream>
using namespace std;
int howBigIsBareArray(int arr[]){
int counter = 0;
while (arr[counter] != NULL){
counter++;
}
return counter;
}
int main(){
int a1[6] = {1,2,3,4,5,'\0'};
cout << "SizeOfMyArray: " << howBigIsBareArray(a1);
}
这个程序打印：
SizeOfMyArray: 5
这是一个 O(n) 时间复杂度的操作，很糟糕。您永远不应该仅仅为了发现它的大小而遍历一个数组。
【讨论】：
如果你不能传递大小，你确实需要一个可区分的 sentinel 值（你需要自己把它放在那里——正如你所发现的，你不能相信 C++ 会自动为您完成！）。如果没有传入并且没有明确的、可靠的哨兵在使用，那么没有办法让被调用的函数神奇地预测大小。
【讨论】：
您可以尝试将空字符\0 附加到数组然后发送吗？这样，您就可以在循环中检查 \0。
【讨论】：
其实Chucks上市
for(int i = 0; array[i] != NULL; i++) { ........... }
每次调用之前的 sizeof 是浪费的，需要知道你得到什么。
如果您在数组末尾放置一个 NULL，效果会很好。
为什么？对于嵌入式设计，在每个例程中传递一个 sizeof 使得每个调用与每个数组的 NULL 相比都非常大。我有一个 2K PIC16F684 芯片，它使用传递的 sizeof 和数组进行 12 次调用，占芯片的 10%。仅使用数组和每个数组都带有 NULLS 的 Chucks 代码...我需要 4%。
一个真实的例子..感谢查克好电话。
【讨论】：
我最初将此作为另一个问题的答案：When a function has a specific-size array parameter, why is it replaced with a pointer?，但只是将其移至此处，因为它更直接地回答了这个问题。
以@Richard Corden's answer 和@sbi's answer 为基础，这里有一个更大的示例来展示以下原则：
使用对给定大小的数组的引用来强制执行给定的函数参数输入数组大小，如下所示：
void foo2(uint8_t (&array)[100])
{
printf("sizeof(array) = %lu\n", sizeof(array));
}
和：
允许任意大小的函数参数输入数组，通过使用一个函数template引用给定模板参数大小N的输入数组，例如这个：
template<size_t N>
void foo3(uint8_t (&array)[N])
{
printf("sizeof(array) = %lu\n", sizeof(array));
}
查看下面的完整示例：
注意这个函数原型是如何不知道数组大小的！ （这里的100 只是对人类用户的视觉提示/提醒，但对编译器没有任何影响！）：
void foo(uint8_t array[100]) {}
...此函数原型只允许输入固定大小为 100 的数组：
void foo2(uint8_t (&array)[100]) {}
...这个函数 template 原型允许任何输入大小的数组，并且在编译时静态知道它们的大小（因为这就是模板的工作方式）：
template<size_t N>
void foo3(uint8_t (&array)[N]) {}
以下是完整示例：
您可以在此处自行运行：https://onlinegdb.com/rkyL_tcBv。
#include <cstdint>
#include <cstdio>
void foo(uint8_t array[100])
{
// is ALWAYS sizeof(uint8_t*), which is 8!
printf("sizeof(array) = %lu\n", sizeof(array));
}
void foo2(uint8_t (&array)[100])
{
printf("sizeof(array) = %lu\n", sizeof(array));
}
template<size_t N>
void foo3(uint8_t (&array)[N])
{
printf("sizeof(array) = %lu\n", sizeof(array));
}
int main()
{
printf("Hello World\n");
printf("\n");
uint8_t a1[10];
uint8_t a2[11];
uint8_t a3[12];
// Is `sizeof(array) = 8` for all of these!
foo(a1);
foo(a2);
foo(a3);
printf("\n");
// Fails to compile for these 3! Sample error:
// > main.cpp:49:12: error: invalid initialization of reference of type ‘uint8_t (&)[100]
// > {aka unsigned char (&)[100]}’ from expression of type ‘uint8_t [10] {aka unsigned char [10]}’
// > foo2(a1);
// > ^
// foo2(a1);
// foo2(a2);
// foo2(a3);
// ------------------
// Works just fine for this one since the array `a4` has the right length!
// Is `sizeof(array) = 100`
uint8_t a4[100];
foo2(a4);
printf("\n");
foo3(a1);
foo3(a2);
foo3(a3);
foo3(a4);
printf("\n");
return 0;
}
示例输出：
（编译器警告，指的是foo()内部的sizeof调用）：
main.cpp:26:49: warning: ‘sizeof’ on array function parameter ‘array’ will return size of ‘uint8_t* {aka unsigned char*}’ [-Wsizeof-array-argument]
main.cpp:23:27: note: declared here
(stdout "标准输出"):
Hello World
sizeof(array) = 8
sizeof(array) = 8
sizeof(array) = 8
sizeof(array) = 100
sizeof(array) = 10
sizeof(array) = 11
sizeof(array) = 12
sizeof(array) = 100
【讨论】：
这不应该吗？至少对于 Arduino(AVR) c++ 之类的东西。
//rename func foo to foo_ then
#define foo(A) foo_(A, sizeof(A))
void foo_(char a[],int array_size){
...
}
【讨论】：