捕获未处理的异常

Question

在 Windows 中，我有一些线程。其中两个以异常终止（例如，空指针取消引用）。我有SetUnhandledExceptionFilter(...)，它在第一个异常时开始生成转储。在第二个异常中，整个程序都死掉了。有没有办法处理这种情况？应忽略除第一个以外的所有严重错误。

伪代码：

  void job()
  {
   ...
   RaiseException(someCode, someFlags, 0, nullptr); // or doing something wrong, like nullptr dereference
  }

  int main() {
    SetUnhandledExceptionFilter(getDump);
    std::thread t1(job), t2(job); 
    ...
  }

UPD：替换误解的字符串 *nullptr = 0xbad;

UPD2：忘记 nullptr

UPD3：到目前为止，我找到了这个解决方法

#include <stdio.h>
#include <windows.h>  // for EXCEPTION_ACCESS_VIOLATION
#include <excpt.h>

#include <mutex>


LONG __stdcall HandleException(EXCEPTION_POINTERS* exinfo)
{
    static HANDLE mutex = CreateMutex(nullptr, FALSE, __TEXT("HandleException"));
    while(WaitForSingleObject(mutex, INFINITE) != WAIT_OBJECT_0);

    HANDLE event = CreateEvent(nullptr, TRUE, FALSE, __TEXT("Doing Dump"));
    puts("Doing Dump");
    WaitForSingleObject(event, 5000); // do dump routine
    puts("Done Dump");

    return EXCEPTION_EXECUTE_HANDLER;
}

int filter(unsigned int code, struct _EXCEPTION_POINTERS *ep)
{
    puts("in filter.");
    return HandleException(ep);
}

void Job()
{
    puts("hello");
    int *p = 0x00000000;  // pointer to NULL
    *p = 13;  // causes an access violation exception;
}

void safeJob(void (*job)())
{
    __try {
         job();
    } __except (filter(GetExceptionCode(), GetExceptionInformation())) {
        exit(-1);
    }
}
int main()
{

    SetUnhandledExceptionFilter(HandleException);
    std::thread t1(std::bind(safeJob, Job));
    std::thread t2(std::bind(safeJob, Job));
    t1.join();
    t2.join();
    return 0;
}

Answer 1

根据 Remy 的评论，访问冲突是 Windows“结构化异常”，而不是 C++ 异常，可以使用 Microsoft 特定的扩展（例如 try-except 语句）来处理。

https://msdn.microsoft.com/en-us/library/s58ftw19.aspx

例子：

__try
{
 // doing something wrong
 *nullptr = 0xbad;
}
__except(EXCEPTION_EXECUTE_HANDLER)
{
  // exception quashed!
}

Answer 2

有一种误解，认为“做坏事”会抛出异常。 这是不正确的。如果您正在做的事情会导致未定义的行为，则不应期望任何可预测的行为。如果您的平台抛出异常，那很好，但请意识到您不能指望它。

最好的办法是避免编写此类代码。

有关未定义行为的更多信息，请访问Undefined, unspecified and implementation-defined behavior。

Answer 3

*nullptr = 0xbad;

您导致了未定义的行为。在此之前，您甚至不能指望该代码正确运行。由于编译器优化和假定 UB 不会发生的权利，未定义的行为可能会在它受到影响之前及时产生影响。

保护自己免受 UB 侵害的方法为零。您必须实施阻止或消除导致错误的可能性的代码标准。这是你唯一能保护自己免受 UB 伤害的事情——不要创造它。

这就是为什么每个团队都应该有一位能够分辨什么是 UB 的语言律师。 UB 的影响可能非常离谱，并且在以后或以前的某个日期在整个程序中清晰地发生。此人应熟悉现代、惯用的 C++，并负责创建或至少为团队创建编码标准提供咨询服务。

第二个要求应该是执行律师。有人可以告诉您对 UB 的期望。这是一种更先进的……比科学更神奇的东西。他们所知道的并不总是这样，UB 活动的领域是巨大的！这些家伙不是长在树上的——我不符合条件，除非是非常简约的水平。