C ++：未使用嵌入式模板调用析构函数

Question

简短：删除模板化指针不会调用析构函数。

include 解决了这个问题。为什么？

我刚刚遇到了一个我无法解释的情况。我试图在这里打破更复杂的情况。

文件 R.cpp

class R {
      Owner<Problem> m_o;
      void cleanUp() { m_o.clear(); }
     }

文件所有者.cpp

struct DeleteFunctor {
  template< class TPtr > void operator()(TPtr* ptr) {  delete ptr; }
};

template< class T >
class Owner { 
std::vector<T*> m_objects; 
// here add and other stuff
void clear() {
  std::for_each( m_objects.begin(), m_objects.end(), DeleteFunctor() );
  m_objects.clear();
}

我现在有一个实用程序类，它在堆上创建新的问题对象并将它们直接插入 m_o。我知道导出对内部类型的引用是不好的风格，但这不是重点。

如果我调用 cleanUp()，我可以将其追溯到 Functor 中的调用 delete ptr，其中 ptr 具有正确的问题类型。但是没有调用问题析构函数！！

但是，在文件 R.cpp 中包含问题标头可以解决问题。编译器没有抱怨。这是编译器的错误吗？

系统： g++ (Ubuntu 4.8.2-19ubuntu1) 4.8.2

Answer 1

来自标准（n3242 草案）§5.3.5/5：

如果要删除的对象在删除点具有不完整的类类型，并且完整的类具有非平凡的析构函数或释放函数，则行为未定义。

在这种情况下，如果您不包含定义 T 或 Problem 的标头，那么您将删除一个不完整类型的对象。如果该类型不满足该子句中的要求，则删除行为未定义。

这是编译器错误吗？

不，编译器不需要警告未定义的行为。

您可能需要T 或Owner 才能完成。如果T 不完整，像static_assert(sizeof(T) > 0) 这样的东西应该无法编译。

如果你不能依赖当前的标准，你可以使用boost::checked_deleter 作为你的删除函子。它在 c++11 之前进行完整性检查。如果您出于某种原因不想包含 boost 标头，那么只需重新实现它。这是检查完整性的代码。

// intentionally complex - simplification causes regressions
typedef char type_must_be_complete[ sizeof(T)? 1: -1 ];
(void) sizeof(type_must_be_complete);
delete x;

请注意，您实际上是在部分重新实现 std::vector<std::unique_ptr<T>> 如果您可以使用 c++11，我建议改用它。