throw（）函数应该总是在exception上展开堆栈并允许捕获exception还是必须调用std：：Terminate？

Question

我感兴趣的是这是否是标准强制的，是否被某个编译器违反了。我的观察是：

>

Visual Studio 2015/2017（with/ehsc）：throw（）函数中的堆栈没有展开（不调用d-tors)，但异常退出函数，并被try/catch捕获。没有调用STD：：Terminate。

gcc(6.3.0)中，throw（）函数中的堆栈被解除，但随后调用std：：terminate（try/catch不能cought异常）。但是在7.0（当前HEAD）中，没有堆栈被释放，将立即调用std：：Termiante。实际上，gcc 7.0甚至对此发出警告:warning:throw将始终调用terminate()[-wterminate]forNOExceptFunctionWithObj2()。它使throw（）表现为noext（true）。

clang，在我检查过的所有版本中，展开函数堆栈（调用对象d-tors)，然后调用std：：Terminate。

#include <iostream>
#include <string>
#include <vector>

struct TestDataWithoutNoexcept {
  TestDataWithoutNoexcept() {
    std::cout << __FUNCTION__ << "\n";
  }
  ~TestDataWithoutNoexcept() {
    std::cout << __FUNCTION__ << "\n";
  }
  TestDataWithoutNoexcept(TestDataWithoutNoexcept const & rhs) {
    std::cout << __FUNCTION__ << "\n";
  }
  TestDataWithoutNoexcept(TestDataWithoutNoexcept && rhs) {
    std::cout << __FUNCTION__ << "\n";
  }
  TestDataWithoutNoexcept& operator=(TestDataWithoutNoexcept const& rhs) {
    std::cout << __FUNCTION__ << "\n";
  }
};

void NoExceptFunctionWithObj1() noexcept {
  TestDataWithoutNoexcept test;
  throw std::runtime_error("NoExceptFunctionWithObj1 ex.");
}

void NoExceptFunctionWithObj2() throw() {
  TestDataWithoutNoexcept test;
  throw std::runtime_error("NoExceptFunctionWithObj2 ex.");
}

int main()
{
  // Now lets see whether stack is being unwound when exception is thrown in noexcept versus throw() function.
  std::cout << "\n See how dtors are called in noexcept or throw() functions\n";
  try {
    //NoExceptFunctionWithObj1();
  }
  catch (std::runtime_error& ex) {
    std::cout << ex.what();
  }

  try {
    NoExceptFunctionWithObj2();
  }
  catch (std::runtime_error& ex) {
    std::cout << "\nShouldn't this be shown? : " << ex.what();
  }
}

Answer 1

是，应调用std::Terminate。最新公布的标准草案称：

15.4[例外规定]，第12段

如果异常规范的形式为throw()、noexcept或noexcept（constant-expression)，其中constant-expression，其中constant-expression)，则异常规范是非抛出的。

当搜索一个处理程序（15.3）遇到一个函数的最外层块，该函数的noexcept-specification不允许出现异常(15.4)[...]std：：Terminate（）被调用（18.8.3）。在没有找到匹配处理程序的情况下，在调用std：：terminate（）之前是否展开堆栈是由实现定义的

不调用std::terminate表示MSVC不兼容。

关于堆栈的处理，在您的示例中，编译器执行它想要的关于是否展开堆栈的操作--这被指定为实现定义的。