防御NULL指针的6种现代方案包括：1.使用断言检查关键位置的指针是否为null，帮助调试阶段快速定位问题；2.使用引用代替指针，确保调用者传递非空对象，避免函数内部检查；3.采用智能指针自动管理内存并提供更好的null处理机制；4.应用null对象模式返回无害默认对象，避免显式null检查；5.使用std::optional显式表示值可能为空，强制调用者处理空值情况；6.通过契约式设计在函数入口检查参数有效性，确保有效状态执行。这些方法可根据应用场景选择，以提升代码健壮性和可靠性。
防御性编程的核心在于预判并处理可能出现的异常情况，尤其是在处理指针时，NULL指针的出现是开发者需要重点关注的问题。本文将探讨6种防御NULL指针的现代方案，旨在帮助开发者编写更健壮、更可靠的代码。
解决方案
-
断言（Assertions）： 在代码的关键位置使用断言来检查指针是否为NULL。虽然断言在发布版本中通常会被禁用，但在开发和调试阶段，它们可以快速定位问题。
void processData(int* data) { assert(data != nullptr); // ... 使用 data } -
引用（References）： 在c++中，引用不能为空。如果一个函数接受引用作为参数，那么调用者必须确保传递的不是NULL。这可以避免在函数内部进行NULL检查。但请注意，如果引用初始化时指向了NULL，程序会崩溃。
void processData(int& data) { // 不需要检查 data 是否为 NULL // ... 使用 data } int* ptr = nullptr; int& ref = *ptr; // 运行时错误！ -
智能指针（Smart Pointers）： 使用智能指针（如std::unique_ptr和std::shared_ptr）可以自动管理内存，并在指针不再使用时释放内存。虽然智能指针本身可以为NULL，但它们提供了更好的NULL处理机制。例如，可以使用unique_ptr::get()来获取原始指针，并进行NULL检查。
#include <memory> void processData(std::unique_ptr<int> data) { if (data) { // 检查智能指针是否为空 // ... 使用 data.get() 获取原始指针 } } -
NULL对象模式（Null Object Pattern）： 当一个操作可能返回NULL时，可以返回一个NULL对象，该对象实现了与正常对象相同的接口，但其行为是无害的或默认的。这避免了显式的NULL检查。
class DataProcessor { public: virtual void process() = 0; }; class RealDataProcessor : public DataProcessor { public: void process() override { // ... 处理数据 } }; class NullDataProcessor : public DataProcessor { public: void process() override { // 什么也不做 } }; DataProcessor* getDataProcessor(bool hasData) { if (hasData) { return new RealDataProcessor(); } else { return new NullDataProcessor(); } } // 使用 DataProcessor* processor = getDataProcessor(false); processor->process(); // 不需要检查 processor 是否为 NULL delete processor; -
Optional类型（Optional Types）： C++17引入了std::optional，它可以显式地表示一个值可能不存在。这迫使调用者处理值可能为空的情况。
#include <optional> std::optional<int> findData(int key) { // ... 查找数据 if (/* 数据找到 */) { return 123; // 返回找到的数据 } else { return std::nullopt; // 返回一个空 optional } } // 使用 std::optional<int> data = findData(42); if (data.has_value()) { // ... 使用 *data 获取值 } else { // ... 处理数据不存在的情况 } -
契约式设计（Design by Contract）： 在函数或方法的开头使用前置条件（preconditions）来检查输入参数是否有效，包括指针是否为NULL。如果前置条件不满足，则抛出异常或终止程序。这可以确保函数只在有效的状态下执行。
void processData(int* data) { if (data == nullptr) { throw std::invalid_argument("data cannot be null"); } // ... 使用 data }
如何选择最适合的NULL指针防御方案？
选择哪种方案取决于具体的应用场景和编程风格。如果性能至关重要，断言可能是一个不错的选择。如果希望在编译时捕获NULL指针错误，可以考虑使用引用。智能指针可以简化内存管理，并提供更好的NULL处理机制。NULL对象模式可以避免显式的NULL检查，使代码更简洁。std::optional可以显式地表示一个值可能不存在，迫使调用者处理这种情况。契约式设计可以确保函数只在有效的状态下执行。
NULL指针防御对代码性能的影响有多大？
NULL指针防御本身会带来一定的性能开销，因为需要进行额外的检查。然而，这种开销通常是可以忽略不计的，特别是考虑到由此带来的代码健壮性和可靠性的提升。在发布版本中，断言通常会被禁用，因此不会影响性能。智能指针的性能开销主要来自于内存分配和释放，但现代的内存管理器已经对此进行了优化。NULL对象模式可能会增加内存占用，因为需要创建额外的对象。std::optional的性能开销主要来自于构造和析构，但通常也是可以接受的。契约式设计可能会增加函数调用的开销，因为需要进行额外的参数检查。
除了以上方案，还有其他防御NULL指针的方法吗？
除了上述六种方案，还有一些其他的防御NULL指针的方法：
- 代码审查： 定期进行代码审查，可以帮助发现潜在的NULL指针问题。
- 单元测试： 编写单元测试，可以验证代码在各种情况下是否能够正确处理NULL指针。
- 静态分析工具： 使用静态分析工具可以自动检测代码中的NULL指针问题。
- 避免返回NULL： 在可能的情况下，尽量避免返回NULL，而是返回一个默认值或抛出异常。
- 使用非空属性： 某些编程语言（如kotlin）提供了非空属性，可以强制变量不能为空。
选择合适的防御NULL指针的方法，并将其融入到开发流程中，可以显著提高代码的健壮性和可靠性。
