是否可以将预定义大小的数组传递给 C 函数，以便可以在该函数中使用“sizeof”检索其大小？

Question

在下面的示例中，是否可以使用这样的签名声明 test() 以便打印6？出于样式和可读性的目的，我希望这样做，因此很明显该函数需要一个正好 6 个字符的数组，并且它实际上可以通过 sizeof 获取此信息。

#include <stdio.h>

void test( char foo[ 6 ] )
{
  printf( "%zu\n", sizeof( foo ) ); // Prints 8 as it's a pointer now, but I want 6 as in an array
}

int main()
{
  char foo[ 6 ];
  printf( "%zu\n", sizeof( foo ) ); // Prints 6, which is what I want
  test( foo );
  return 0;
}

到目前为止，我能想到的最好的是：

typedef char Foo[ 6 ];
void test( Foo foo )
{
  printf( "%zu\n", sizeof( Foo ) ); // Works, but it doesn't even use foo, and I want to get the size information from foo! What if I change the signature of the function later? I would have to update this line too, which is something I'd like to avoid
}

Answer 1

是的，有可能：

#include <stdio.h>

void test(char (*foo)[6]) // "declare foo as pointer to array 6 of char" 
{
  printf("%zu\n", sizeof(*foo)); // mind the asterisk
}

int main(void)
{
  char foo[6];
  test(&foo); // mind the ampersand
  return 0;
}

比较 cdecl.org（“C 胡言乱语 ↔ 英语”）为

• char (*foo)[6]: "将 foo 声明为指向 char 数组 6 的指针"
• char foo[6]: "将 foo 声明为 char 数组 6"
• char *foo[6]: "将 foo 声明为指向 char 的指针的数组 6"

---

另一个选项是包装数组。但是，如果您不喜欢引用/取消引用，那么这个具有附加成员访问权限的解决方案可能也不是您想要的：

#include <stdio.h>

typedef struct
{
  char data[6];
} char_6_array_t;

void test(char_6_array_t foo)
{
  // prints "6: abcdef"
  printf("%zu: %.*s\n", sizeof(foo.data), (int) sizeof(foo.data), foo.data);
}

int main(void)
{
  char_6_array_t foo = { {"abcdef"} };

  // Depending on the ABI, this prints 6, 8, or possibly 16:
  printf("%zu\n", sizeof(foo));

  test(foo);
  return 0;
}

Answer 2

并非没有一些杂技。

有一些方法可以使其工作，或者使用您问题中的全局变量，或者使用 Kay 提出的解决方案。但是 C 语言不会按值将整个数组作为函数参数传递。你的test 函数只接收一个指向char 的指针，编译器不会告诉你指针可能指向的数组大小。

其他一些语言，比如 C++，会为你处理这类事情。但是在 C 中，您只需要自己跟踪大小，一种或另一种方式。一种常见的方法是在函数中添加另一个参数，在其中传入数组的大小。

在你给出的函数原型中：

void test( char foo[ 6 ] )

我认为不幸的是编译器只是忽略了6，尽管您可能会争辩说这没有多大意义。对于多维数组，编译器会注意你给出的大小，除了第一个，所以foo[][6] 有效，并且有必要告诉编译器你数组的每一行结束。 （见this question。）

另一种解决方法是使用这样的结构：

struct array {
    char *a;   // pointer to your real array
    size_t s;  // how many elements your array has
};

您可以将其中一种结构传递给您的函数，然后从中读取大小。