c++ - 琐碎的可破坏性和调用析构函数的必要性

Question

假设存在一个类型 T这样 std::is_trivially_destructable<T>::value == true ，并进一步假设 T是某个 vector 类的值类型。当 vector 的析构函数被调用时，或者 vector 被分配给另一个 vector 时，它必须销毁并释放其当前存储。作为T是微不足道的可破坏的，我有必要调用T吗？的析构函数？

感谢您的帮助!

Answer 1

根据 C++ 标准(第 3.8 节)，您可以通过释放或重用对象的存储来结束对象的生命周期。没有必要调用什么都不做的析构函数。另一方面，让编译器优化一个空的析构函数通常会产生更干净、更简单的代码。仅当您可以节省大量额外工作(例如遍历集合)时，您才会希望使用特殊情况下的琐碎析构函数。