出参传递数组指针_C++核心指南(18) I.12-13 不要将一个数组作为指针进行传递

I.12: 声明一个非空指针为not_null

原因

帮助避免nullptr指针的解引用错误，通过避免对nullptr的冗余检查来提高性能。

示例

 int length(const char* p); // 不清楚length(nullptr)是否合法 length(nullptr); // OK? int length(not_null p); // better: 我们假定p不能为nullptr int length(const char* p); // 我们必须假定p可以为nullptr

通过在源代码中声明意图，实现者和工具可以提供更好的诊断，比如通过静态分析找到某些错误类，以及执行优化，比如删除分支和空测试。

Note

not_null 定义在 指南支持库.

Note

指向char的指针指向C风格的字符串(以0结尾的字符串)这一个假设也是隐式的，这是困惑和错误的一个潜在根源。优先使用czstring，而不是const char*。

 // 我们假设p不能为nullptr // 我们假设p指向以0结尾的字符数组 int length(not_null p);

注意：length()只是std::strlen()的伪装。

实施

• (简单) ((基础))，如果函数在所有控制流路径上使用指针参数之前都检查nullptr，则警告应当声明为not_null。
• (复杂) 如果函数在所有返回路径上都能保证返回的指针不为nullptr，则警告返回类型就声明为not_null。

I.13: 不要将一个数组作为单个指针进行传递

原因

(指针, 大小)风格的接口是易于出错的，同样，单独的指针(指向数组)必须依赖一些惯例才能让调用者知道它的大小(译注：数组元素个数)。

示例

考虑:

void copy_n(const T* p, T* q, int n); // 将[p:p+n) 拷贝到 [q:q+n)

如果q指向的数组中少于n个元素怎么办？然后，我们就可能覆写了一些不相关的内存；如果p指向的数组中少于n个元素怎么办？然后，我们就可能读了一些不相关的内存。要么是一个未定义的行为，要么就是一个潜在的严重bug

可选方法

考虑使用显示的span:

 void copy(span r, span r2); // copy r to r2

糟糕的示例

考虑:

 void draw(Shape* p, int n); // 糟糕的接口; 糟糕的代码 Circle arr[10]; // ... draw(arr, 10);

传递10给参数n可能是错误的：最常见的习惯是假设[0:n)，但并没有地方说明这一点。更糟糕的是draw()调用的编译：有一个隐式从数组到指针的转换(数组衰退)，以及另一个从Circle到Shape的转换。draw()不能安全地遍历该数组：无法得知数组元素的数量。

可选方法: 使用一个支持类来确保元素的数量是正确的，并防止危险的隐式转换，例如:

 void draw2(span); Circle arr[10]; // ... draw2(span(arr)); // 推导出元素的个数 draw2(arr); // 推导元素类型和数组大小 void draw3(span); draw3(arr); // 错误：不能将Circle[10] 转换到 span

draw2()将同样的数量信息传递给了draw()，它使得该信息就是Circle的范围这一假定明确起来。

例外

使用zstring和czstring来表示以'0'结尾的C风格字符串，当这样做时，使用 GSL的string_span来阻止错误发生。

实施

• (简单) ((边界)) 对所有依赖隐式转换数组到指针的表达式进行警告，zstring/czstring指针类型例外。
• (简单) ((边界)) 对于指针类型表达式上的任何算术运算，如果运算结果为指针类型值，则发出警告，zstring/czstring指针类型例外。