C++7.2.5数组做实参---避免越界

简介

============================================================================================================

一、传递给函数的数组的处理

1、处理数组的程序要确保程序停留在数组的边界内

• 非引用数组形参的类型检查只是确保实参是和数组元素具有相同类型的指针，而不会检查实参实际上是否指向指定大小的数组。（看7.2.4 数组的引用做形参则是要求大小也要一致的）

• 引用类型就会检查实参数组的大小是否和形参数组大小一致。（7.2.4节）

• 任何处理数组的程序都要确保程序停留在数组的边界内

有三种常见的编程技巧确保函数的操作不超出数组实参的边界。

• 在数组本身放置一个标记来检测数组的结束， C风格字符串就是采用空字符null作为结束的标记（含有‘\0’结束的字符数组）；

• 传递指向数组第一个和最后一个元素的下一个位置的指针。

• 将第二个形参定义为表示数组的大小。

2、使用标准库规范

• 被调用的函数形参里边一个形参是传递指向数组第一个，另一个形参是最后一个元素的下一个位置的指针。

• 调用这个函数需要传递两个指针：一个指向要输出的第一个元素，另一个则指向最后一个元素的下一个位置，只要正确计算指针，使他们标记一段有效的元素范围，程序就