如何破坏单例实例，或者为什么下面的代码适用于析构函数？

Question

以下代码用于删除单例实例，为什么需要删除前的工作？

// @brief Destruct the singleton instance
// @note Only work with gcc/clang
__attribute__((destructor)) static void delete_() {
    //works before delete
    typedef char T_must_be_complete[sizeof(T) == 0 ? -1 : 1];
    (void) sizeof(T_must_be_complete);
    delete instance_;
}

Answer 1

这是一个删除，首先检查类型是否完整。类似于boost::checked_delete。

它的想法是在尝试删除 incomplete type (which has a good chance of causing undefined behavior, depending on the type) 时生成编译错误。

例如（为方便起见，使用boost::checked_delete，因为我不知道您的delete_ 所属的类的细节，但它们基本相同）：

struct X;

void foo(X* x) {
    boost::checked_delete(x);
}

请注意，常规的 delete x; 可能会导致编译器发出警告（取决于您的编译器），但这不能保证。