std::unique_ptr解引用异常无法被try-catch捕获，能否实现捕获？

嘿，这个问题其实戳中了C++里一个很容易踩的坑——咱们来拆解清楚：

为什么try-catch抓不到这个错误？ #

首先要明确两个核心点：

• 你声明的std::unique_ptr<test> ptr是默认初始化的，它的初始状态是空指针（等价于持有nullptr）。
• 直接解引用空的智能指针（ptr->a）属于C标准定义的未定义行为（Undefined Behavior）。这种行为不会触发C标准里的std::exception或任何派生异常，而是会引发操作系统层面的内存访问错误（比如Windows下的Access Violation）。这类错误是硬件级别的异常，完全不在C++标准异常体系的覆盖范围内，所以你的try-catch块根本捕获不到它。

针对你提到的MSVS2012环境补充一下：VS2012的标准库实现里，unique_ptr的解引用操作不会做额外的空指针检查（调试模式下可能会触发断言中断程序，但断言不是异常，Release模式下会直接崩溃），也不会抛出任何标准异常。

那该怎么处理这种场景？ #

想要避免崩溃并实现“异常捕获”的效果，你得自己做前置检查，或者封装一个带异常抛出的访问逻辑：

• 最稳妥的方式：永远在解引用智能指针前，先判断它是否有效。可以直接用if (ptr)或者if (ptr != nullptr)来做检查，只有指针非空时再访问成员。
• 主动抛出异常：如果希望在空指针场景下触发try-catch，可以手动抛出标准异常（比如std::runtime_error），这样就能被你的捕获块处理了。

修改后的示例代码 #

#include <memory>
#include <iostream>
#include <stdexcept>

struct test { bool a; int b; }; 

int main() { 
    std::unique_ptr<test> ptr; // 默认初始化，为空
    try { 
        // 先检查指针是否有效，无效则主动抛出异常
        if (!ptr) {
            throw std::runtime_error("Cannot dereference a null unique_ptr");
        }
        if (!ptr->a) { 
            std::cout << "ok" << std::endl; 
        } 
    } catch (const std::exception &ex) { 
        std::cout << "ex: " << ex.what() << std::endl; 
    } 
    return 1; 
}

额外提醒 #

C++标准里所有智能指针的解引用操作都要求指针必须非空，否则就是未定义行为——标准库不会为你自动做空指针检查和异常抛出。想要异常安全的访问，必须自己主动处理前置条件。

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