空指针检查实践：嵌套if语句vs连续检查，该如何选择？

一、优先选择哪种风格？ #

两种风格各有优劣，核心看代码场景和团队规范：

风格1（嵌套if）示例： #

if (auto parent = ParentSpawner())
{
    if (auto child = parent->ChildSpawner())
    {
        if (auto grandChild = child->GrandChildSpawner())
        {
            // Do something...
            grandChild->DoSomething();
        }
    }
}

• 优势：变量（parent/child/grandChild）的作用域被严格限制在对应if块内，不会在后续代码中被误引用，完全符合最小作用域原则。
• 劣势：嵌套层次一旦超过3层，会形成“箭头代码”，缩进越深可读性越差，后续维护成本会显著提升。

风格2（提前return）示例： #

auto parent = ParentSpawner();
if (nullptr == parent)
    return;

auto child = parent->ChildSpawner();
if (nullptr == child)
    return;

auto grandChild = child->GrandChildSpawner();
if (nullptr == grandChild)
    return;

// Do something...
grandChild->DoSomething();

• 优势：代码完全扁平化，每一步检查失败就直接返回，执行路径清晰，读代码时不用层层嵌套查找逻辑，可读性和维护性更优。
• 劣势：变量会存在于当前函数的更大作用域中（直到函数结束），不过现代编译器会自动优化未被使用的变量，实际影响可以忽略。

建议：

• 若仅2-3层短嵌套，两种风格可按个人习惯选择；
• 嵌套层次较多时，优先选风格2，避免箭头代码；
• 优先遵循团队已有的编码规范，代码一致性比个人偏好更重要。

二、风格1中nullptr到bool的隐式转换有性能开销吗？ #

完全没有。

从编译后的机器码层面看，空指针的本质是地址0，if (ptr)这种隐式转换，编译器会直接翻译成“判断指针地址是否为0”，和显式写if (ptr != nullptr)生成的指令完全一致，没有任何额外的转换步骤或性能损耗。这种隐式转换是C++标准明确允许的，编译器会做最优处理，完全不用有性能上的顾虑。

内容的提问来源于stack exchange，提问作者Hashnut