CppCoreGuidelines I.12 用 not_null 声明不能为 null 的指针

25 March 2022

理由：

避免对空指针进行取值操作，导致错误。
无需对空指针进行多余检查，提升性能。

例如：

int length(const char* p);            // 不清楚 length(nullptr) 是否正确

length(nullptr);                      // OK?

int length(not_null<const char*> p);  // 更好：可以认为 p 非空
int length(const char* p);            // p 可以是空指针

在代码中清晰表明代码的意图，可以让实现者和相关工具提供更明确的诊断信息。比如可以通过静态检测发现某些错误。还可以提升性能，比如减少判断指针指针是否为空的逻辑分支。

注意：

GSL 定义了 not_null

注意：

const char* 这种指向 char 的指针用来表示 C 风格的 \0 结束的字符串，不太直接，容易误解和出错。建议使用 czstring 。

// we can assume that p cannot be nullptr
// we can assume that p points to a zero-terminated array of characters
int length(not_null<zstring> p);

注意：

这里 length() 只是举个例子，实际代码中应该用标准库里的 std::strlen()

强化：

（简单，基础）如果函数会在各种分支中检查传入参数的指针是否为空指针。建议把参数声明为 not_null 。
（复杂）如果函数在各个返回路径都要确保返回的不是空指针，建议把返回类型声明为 not_null

technology 441

CppCoreGuidelines 378