![b12d4ae2ddebfe8ca822dcd40d681045.png](https://i-blog.csdnimg.cn/blog_migrate/ebe6a0c702850a4ee9896bccf185b27a.jpeg)
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指针类型例外。