c++ - 在 C++ 中抛出表达式重新排序？

Question

在 C++ 中，两个 throw 表达式，或者围绕 throw 表达式的表达式可以重新排序吗？

例如，在下面的代码中:

int f(int x) {
  if (! (x >= 0))
    throw std::range_error("argument must be non-negative");
  return pure_sqrt(x);
}

inf g(int y) {
  if (! (y > 0))
    throw std::range_error("argument must be positive");
  return pure_invsqrt(y);
}

void test(int x, int y) {
  try {
    int a = f(x);
    int b = g(y);
    return a + b;
  } catch (std::exception e) {
    std::cout << "Error: " << e.what() << "." << std::endl;
  }
}

假设 x == -1 和 y == -1，可以从 g 中排除异常(“argument must be positive” ) 在 f 的异常之前抛出？

也就是说，纯函数(除了它们的抛出行为)是否可以重新排序，或者未捕获的异常是否被 try block 的其余部分视为可观察的行为？

Answer 1

没有。当 f 抛出时，执行在 catch block 中继续。 g 永远不会执行。