在内部使用 try catch 防止 C++ DLL 异常

Question

我正在开发一个为主应用程序分配一个数组的 C++ DLL。 该函数返回错误代码而不是指向新创建数组的指针，因此第一个成员的地址将写入函数的参数中。 示例：

int foo(int** arrayPtr) {
  int* array = new int[10];
  *arrayPtr = array;
  return 0;
}

所以，我主要是这样调用函数的：

int* myArray;
int ret;
ret = foo(&myArray);

现在 myArray 指向新创建的数组。

问题 1：有更好的方法吗？

比更有趣的问题。 如果我将 NULL 作为 foo 的参数传递，我会生成访问冲突异常，因为

*arrayPtr = array;

将尝试写入 0x00000。

所以，我添加了一个 try-catch 块

int foo(int** arrayPtr) {
  int* array = new int[10];
  try {
    *arrayPtr = array;
  } catch(...) {
    return 1;
  }
  return 0;
}

我希望，当我以 NULL 作为参数调用 foo 时，它会返回 1。不是真的！它会生成一个异常。

问题 2：为什么 DLL 中的 try-catch 块不起作用？

谢谢大家！

P.S.：直接在 main 中使用 try-catch 生成相同的异常不会生成异常（或者更好的是，它由 try-catch 块正确处理）。

Answer 1

假设您使用的是 VC++，try..catch 默认不会捕获访问冲突，因为默认的异常处理模型只捕获 同步 异常，而访问冲突是 异步 异常.这记录在这里：/EH (Exception Handling Model)

如果您将项目设置更改为使用/EHa 而不是/EHsc，那么您的try..catch 将捕获访问冲突。

也就是说，为什么不明确检查NULL？使用流控制异常是不好的形式。

int foo(int** arrayPtr) {
    if (!arrayPtr)
        return 1;
    *arrayPtr = new int[10];
    return 0;
}

Answer 2

1. 差不多就是这样。只需确保公开一个函数来删除调用“foo”分配的内存块（以防您的 dll 使用与主应用程序不同的 CRT）。

2. 访问冲突不应该引发 C++ 异常，尽管 VC++ 中有一些设置会使 SEH 异常映射到 C++ 异常，这通常被认为是一个坏主意。

Answer 3

问题1：
我看不出这个功能有什么问题。你能用“更好”来定义你的意思吗？
您可以使用带有数组类型的 std::shared_ptr 或 boost::shared_array 来获得更好的资源处理。但这取决于您要使用的界面。

问题2：

try {
    *arrayPtr = array;
  } catch(...) {
    return 1;
  }

当 arrayPtr 为 NULL 时，这将创建访问冲突。您无法使用 c++ try/catch 块捕获那些。

Answer 4

1. 另一个选项是返回指针而不是代码。分配失败时返回 NULL 似乎很明显。

2a。将 NULL 传递给您的函数似乎更像是调用方的错误。以访问冲突终止程序并非不合理。这将向调用者显示他的错误在哪里！

2b。 catch 子句只能捕获从 C++ 代码抛出的异常。硬件陷阱（如访问冲突）不会被捕获。

如果你不想new也扔，你可以使用new(std::nothrow) int[10];

Answer 5

有些系统根本不允许您捕获空引用异常，因此依赖处理它们是一个坏主意。特别是在您可以简单地进行检查的情况下。您的 foo 函数应该如下所示：

int foo(int** arrayPtr) 
{   
    // If a valid pointer has been passed in...
    if(arrayPtr) {
        // update the pointer to point at the allocated memory.
        *arrayPtr = new int[10];   
        return 0; 
    } 
    return 1;
}

更好的方法是通过引用传递指针。这样一来，NULL 指针就无法传入，您的问题就不会有效地消失。

// Pass in a reference to an array pointer.  The reference can't be NULL...
int foo(int* &arrayPtr) 
{   
    // update the reference
    arrayPtr = new int[10];   
    return 0; 
}

然后你的调用代码变成：

int* myArray; 
int ret; 
ret = foo(myArray); // Pass in by reference

我认为还值得指出的是，对于您的原始代码，即使它按照您的预期工作，您的 catch 块也会泄漏分配的数组，因为您没有清理它：

int foo(int** arrayPtr) 
{   
    int* array = new int[10];   
    try {     
        *arrayPtr = array;   
    } 
    catch(...) 
    {     
        // EVEN IF THIS HAD WORKED AS INTENDED, YOU LEAK array BECAUSE IT'S NOT DELETED
        // delete array; // is missing
        return 1;       
    }   
    return 0; 
}