按值传递 typedef（固定大小）数组

Question

我很难理解数组的 typedef 模式。

typedef char Char10[10];
void fun (Char10 a)  // not passing reference (interested in pass by value)
{
  if(typeid(Char10) == typeid(char*))
    throw 0;  // <--- never happens
}

int main ()
{
  char a[10];  fun(a);  // ok
  char b[11];  fun(b);  // why works ?
}

为什么fun() 接受不同大小的数组？ char[10] 和 char[11] 不是不同的类型吗？

编辑：对于那些说它衰减为指针的人，请参阅我编辑的代码。 char[10] 和 char* 似乎不匹配。

Answer 1

在这两种情况下，数组衰减为指针类型，而你的函数实际上是这样的：

void fun (char *a); 

这就是它工作的原因。

我想强调void fun(char*) 与void fun(char[10]) 完全相同。 10 根本没有任何区别。事实上，10 是如此的不重要和无用，你甚至可以完全省略它：

void fun (char a[]); //exactly same as `char*` or `char[10]`.

这意味着，所有以下函数声明完全相同相同：

void fun(char a[10]);   
void fun(char a[]);  //10 is unimportant in the above declaration
void fun(char *a);   //same as above two declarations!

希望能澄清您的疑问。

---

但是，如果你这样写：

void fun (Char10 & a) ; //note &

那么，实际上是这样的：

void fun (char (&a)[10]) ; //equivalent!

然后fun(b) 不会编译，因为现在fun 将只接受大小为 10 的数组。并且该数组将不会衰减到 指针，它将通过 reference 传递。

char a[10], b[11];
char *c=new char[10];
fun(a); //okay
fun(b); //error - type mismatch due to size of the array
fun(c); //error - type mismatch due to c being pointer.

Answer 2

它们是不同的类型，你是对的。

C++ 的一个误导性怪癖是你可以看到有一个函数

void fun(char a[10])

既然你不能按值传递数组，而且 C++ 很傻，这实际上是函数

void fun(char* a)

当然，两个输入都愉快地降级为char*。

如果 C++ 甚至不让你假装按值接受数组，那就太好了，但是这样很愚蠢.. 继承自 C。

Answer 3

Char10 和char* 确实是不同的类型..

试试

if(typeid(a) == typeid(char*))
    throw 0;  // happens

Online demo

PS：

以下声明是等价的

void fun(Char10 a);
void fun(char a[]);
void fun(char *a);

Answer 4

当您收到一个数组参数时，编译器会将其理解为指向数组第一个元素的指针。运行时不同大小的数组之间没有区别。这就是为什么您需要知道您正在使用的大小以避免访问不属于您的程序的内存..

Answer 5

对于您的编辑：类型 本身 是不同的，但在 C++ 中，您不能按值将数组作为参数传递给函数，并且当您使用时，数组类型会衰减为相应的指针类型将其用作函数参数。

#include <iostream>
#include <typeinfo>

using namespace std;

typedef char Char10[10];
void fun (Char10 a) // <-- actually Char10 here is read as char *
{
    Char10 test;
    cout<<(typeid(Char10) == typeid(char*))<<'\n'
        <<(typeid(Char10) == typeid(test))<<'\n'
        <<(typeid(char *) == typeid(a))<<endl;
}

int main ()
{
  char b[11];  fun(b);  // why works ?
}

这个输出

0
1
1

因为

• char * 和 char[10] 是不同的类型；
• test 是 char[10]
• a 实际上是 char *，因为在函数声明中，数组声明衰减为相应的指针声明。

由于历史原因，这是一个愚蠢的事情，但我们坚持下去。

---

在标准中找到：在 §8.3.5 ¶3:

确定每个参数的类型后，将“T的数组”或“函数返回T”类型的任何参数调整为“指向T的指针”或“指向返回T的函数的指针” ，”分别。

Answer 6

但是，您可以接受对正确大小的数组的引用，此时编译器将反对它。

Answer 7

在 C 和 C++ 中都不能按值传递数组。 C/C++ 中的数组是不可复制的，因此无论您做什么，您都永远无法使用数组类型实现“按值传递”语义。

看起来您希望将数组类型隐藏在 typedef-name 后面可以让您绕过这个限制。它不会。你的

void fun(Char10 a)

声明等价于

void fun(char a[10])

声明，相当于

void fun(char a[])

到

void fun(char *a)

所以，您的 a 参数具有指针类型。当你传递一个这样的数组时

char a[10]; fun(a); 

您只是将char * 指针传递给数组的第一个元素。数组的大小无关紧要，这就是为什么您可以使用此方法传递不同大小的数组。

在fun函数内部，如果要分析参数a的类型，应该将typeid应用到a上

if(typeid(a) == typeid(char*))
  throw 0;

这将显示类型匹配。为什么您将typeid 直接应用于Char10 以及您期望从中获得什么我不清楚。数组类型在函数参数声明中衰减为指针类型，但它们不会衰减为 typed 运算符中的指针类型，这意味着您的 if 版本与参数声明中发生的情况完全无关。

Answer 8

struct char10 {
    char c[10];
};

int foo(char10 param){
...

您可以像这样通过值模拟传递固定大小的数组。