当函数具有特定大小的数组参数时，为什么将其替换为指针？

鉴于以下程序，

#include <iostream>

using namespace std;

void foo( char a[100] )
{
    cout << "foo() " << sizeof( a ) << endl;
}

int main()
{
    char bar[100] = { 0 };
    cout << "main() " << sizeof( bar ) << endl;
    foo( bar );
    return 0;
}

输出

main() 100
foo() 4

1. 为什么将数组作为指向第一个元素的指针传递？
2. 它是C的遗产吗？
3. 标准怎么说？
4. 为什么严格的C ++类型安全性下降了？

是的，它是从C继承的。函数：

void foo ( char a[100] );

将参数调整为指针，因此变为：

void foo ( char * a );

如果要保留数组类型，则应传递对数组的引用：

void foo ( char (&a)[100] );

C ++ '03 8.3.5 / 3：

...使用以下规则确定函数的类型。每个参数的类型由其自己的decl-specifier-seq和声明符确定。在确定每个参数的类型之后，将类型为“ T的数组”或“返回T的函数”的任何参数分别调整为“指向T的指针”或“返回T的函数指针”...。

解释语法：

在Google中检查“左右”规则；我在这里找到了一个描述。

它将大致应用于以下示例：

void foo (char (&a)[100]);

从标识符“ a”开始

'a'是一个

向右移动-我们找到一个，)因此我们反方向寻找(。当我们向左移动时，我们经过&

“ a”是参考

在&到达开口处之后，我们(再次反转并向右看。现在我们看到[100]

'a'是对100数组的引用

然后我们再次反转方向，直到到达char：

'a'是对100个字符的数组的引用

是。在C和C ++中，不能将数组传递给函数。就是那样子。

您为什么仍要进行纯数组？你看着boost/ std::tr1::array/std::array或std::vector？

但是请注意，您可以将对任意长度数组的引用传递给函数模板。从我的头顶上：

template< std::size_t N >
void f(char (&arr)[N])
{
  std::cout << sizeof(arr) << '\n';
}

C / C ++术语中有一个宏伟的词，用于静态数组和函数指针-衰减。考虑以下代码：

int intArray[] = {1, 3, 5, 7, 11}; // static array of 5 ints
//...
void f(int a[]) {
  // ...
}
// ...
f(intArray); // only pointer to the first array element is passed
int length = sizeof intArray/sizeof(int); // calculate intArray elements quantity (equals 5)
int ptrToIntSize = sizeof(*intArray); // calculate int * size on your system