可以矢量 <T> ::清除投掷？

Question

有没有机会调用std::vector<T>::clear()来抛出异常？

Answer 1

没有。

[2003: 21.2.1/11 | n3290: 21.2.1/10]: [2003: 21.2.1/11 | n3290: 21.2.1/10]:除非另有规定（见23.2.4.1,23.2.5.1,23.3.3.4和23.3.6.5），本条款中定义的所有容器类型均满足以下附加要求：[..] - 否erase() ， clear() ， pop_back()或pop_front()函数抛出异常 。 [..]

---

如果我的元素类型析构函数抛出会发生什么？

在C ++ 11中， std::vector<T>::clear()被标记为noexcept （ [n3290: 23.3.6/1] ）。

任何从~T掉出的异常都可能被实现捕获，因此clear()本身可能不会抛出任何东西。 如果它们不存在，那么异常就是“意外”并终止进程而不是传播：

struct T {
   ~T() { throw "lol"; }
};

int main() {
   try {
      vector<T> v{T()};
      v.clear();
   }
   catch (...) {
      cout << "caught";
   }
}

// Output: "terminated by exception: lol" (GCC 4.7.0 20111108)

[n3290: 15.5.1]:在某些情况下，必须放弃异常处理以获得不那么微妙的错误处理技术。 [..] - 当搜索处理程序（15.3）遇到函数的最外面的块时，带有no-except-specification ，不允许异常（15.4）[...]

Answer 2

没有。

编辑：哎呀，不小心使用了N3126。 下面的一些标准部分编号不好。

23.2.1p11：

除非另有规定（见23.2.4.1,23.2.5.1,23.3.2.3和23.4.1.4），本条款中定义的所有容器类型均满足以下附加要求：......

• 没有erase() ， clear() ， pop_back()或pop_front()函数会抛出异常。

在23.4.1.4中， vector具有erase异常（因为它可能需要复制或移动某些元素），但没有其他元素。

如果一个元素析构函数在clear()期间抛出，它将导致std::unexpected() 。

Answer 3

是的，如果T的析构函数抛出，否则没有。

更新：似乎我错了; 在这种情况下，它只是崩溃了

Answer 4

是和否

是：

clear最终调用delete[]操作符，它涉及调用所有对象的析构函数（如果有的话）并free内存。

析构函数最终可能会抛出异常。

在异常情况下（例如堆损坏等），内存释放也可能会失败

没有：

抛出异常是破坏者被批评并且大部分都不会发生（至少在标准库中）。 除了在堆栈展开期间从析构函数抛出的异常（由另一个异常引起）可能无法处理的事实之外，析构函数中的异常存在逻辑问题。

释放内存时出错通常是由堆损坏或其他不可恢复的问题引起的。 无论如何，无论是否有例外，程序的命运都将会消亡