为什么在没有抛出 C++ 的情况下捕获异常？

Question

我正在运行这个程序。 根据我的理解，try 块中应该有一个错误的分配异常，应该会导致运行时失败。 但是，程序执行没有任何问题。 我有以下问题：

1. 为什么没有运行时错误？

2. 即使没有抛出异常，控件如何到达 catch 块？

    #include <iostream> using namespace std; int main() { int b =4, *c = NULL, i=-1; try{ c = new int [i]; b--; }catch (exception& e){ cout << "coming here" << endl; c = new int[1]; b++; } cout << b << endl; return 0; }

Answer 1

由于隐式转换为无符号类型， -1将转换为std::size_t值std::numeric_limits<std::size_t>::max() 。 您确实不太可能有那么多 memory 可用。

但是，如果您的操作系统在使用 memory 之前没有实际分配它，则可能不会抛出std::bad_alloc （在 linux 平台上很常见）。

请参阅c++ object arrays 的惰性分配

Answer 2

try 块中的c = new int [i]会引发异常，因为它无法分配 memory (i=-1)，因此将执行 catch 块。