如何让MSVC调试器仅在SEH函数外因访问违例中断？

我编写了一个使用SEH（结构化异常处理）检测无效指针的函数IsPtrReadable，代码如下：

bool DXHR::IsPtrReadable(void* pointer) {

    __try {

        volatile char test = *(char*)pointer;

        return true;
    }
    __except (GetExceptionCode() == EXCEPTION_ACCESS_VIOLATION ? EXCEPTION_EXECUTE_HANDLER : EXCEPTION_CONTINUE_SEARCH) {

        return false;
    }
}

当函数遇到nullptr或无效指针时，本应通过SEH处理，但调试时MSVC每次都会中断执行。我希望该函数内的访问违例不触发调试中断，仅在函数外发生时才中断并定位到对应代码行，该如何实现？

解决方案 #

1. 调整MSVC调试器的异常过滤规则 #

MSVC调试器默认会拦截首次机会异常，这会导致你的SEH还没来得及处理异常，调试器就先触发中断了。通过自定义异常过滤规则，可以让调试器仅在函数外的访问违例时中断：

• 打开异常设置面板：按下Ctrl+Alt+E，或者通过菜单Debug > Windows > Exception Settings打开。
• 在Win32 Exceptions列表中找到0xC0000005 Access Violation，右键选择Edit Condition。
• 在条件输入框中填入!caller("DXHR::IsPtrReadable")，这个条件表示：当异常的调用栈中不存在DXHR::IsPtrReadable函数时，调试器才触发中断。
• 保存设置后，函数内的访问违例会被SEH正常处理，不会触发调试中断；函数外的访问违例则会正常中断并定位到出错代码行。

2. 代码内临时控制调试器异常处理逻辑 #

通过MSVC特有的API，可以在函数执行期间临时让调试器忽略访问违例的首次机会异常，执行完后再恢复：

#include <windows.h>

bool DXHR::IsPtrReadable(void* pointer) {
    DWORD isDebuggerAttached = 0;
    CheckRemoteDebuggerPresent(GetCurrentProcess(), &isDebuggerAttached);
    
    DWORD oldDebugState = 0;
    if (isDebuggerAttached) {
        // 禁用当前线程的首次机会异常通知
        oldDebugState = SetThreadDebuggerExceptionHandling(
            GetCurrentThread(), 
            DEBUGGER_EXCEPTION_HANDLING_SKIP_FIRST_CHANCE
        );
    }

    __try {
        volatile char test = *(char*)pointer;
        return true;
    }
    __except (GetExceptionCode() == EXCEPTION_ACCESS_VIOLATION ? EXCEPTION_EXECUTE_HANDLER : EXCEPTION_CONTINUE_SEARCH) {
        return false;
    }
    __finally {
        // 恢复调试器异常处理状态
        if (isDebuggerAttached) {
            SetThreadDebuggerExceptionHandling(GetCurrentThread(), oldDebugState);
        }
    }
}

这个方案的优势是不需要手动调整调试器设置，代码本身就能控制调试行为，但仅适用于MSVC环境。

3. 备选：通过编译器指令调整函数优化（不推荐） #

可以用#pragma optimize指令临时关闭函数的优化，让调试器更准确地识别SEH范围，但这种方式可能影响函数性能，仅作为备选：

#pragma optimize("", off)
bool DXHR::IsPtrReadable(void* pointer) {
    // 原函数代码不变
}
#pragma optimize("", on)

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