保存对象的析构函数地址并稍后调用它是明确定义的行为吗？

Question

我目前正在研究一个用 C++ 编写的堆栈分配器。应该可以通过模板方法从这个堆栈分配器中获取对象。一旦调用了另一个释放方法，这些对象就应该被销毁。在尝试不同的方法来实现析构函数的调用时，我偶然发现了以下内容：

auto destructor = someObject->~SomeClass;
destructor();

析构函数似乎被实际调用了，但是这对我来说有点奇怪。我有以下问题：

1. 这是明确定义的行为吗？
2. 析构函数的类型是什么（我可以用什么替换 auto 关键字）？
3. 是否可以将多个不同类型对象的所有析构函数地址保存在一个列表中，然后再调用它们？

Answer 1

正如 cmets 所指出的，这是未定义的行为/编译器扩展。

不过，你可以做你想做的事：

template<typename T>
std::function<void(T*)> defer_dtor()
{
   return [](T* ptr) {ptr->~T();};
}

或直接（更像你的问题，但独特的 lambda 类型不能直接添加到列表中。）

auto destructor = [&]{someObject->~SomeClass();};
destructor();

注意：这跟随您的问题，并且不调用delete ptr。这是否合适取决于上下文，但如果你想包装delete ptr，你可能会使用std::shared_ptr。

[编辑] 我在您的问题中遗漏了一点点：“将多个对象的所有析构函数地址不同类型保存在一个列表中”。

这将是一个问题。确切地说，是一个设计问题。这些类型有什么关系？如果通过继承，则不需要析构函数列表，而是需要 virtual 析构函数。如果类型不相关，如何匹配对象和保存的析构函数？如果你有所有这些对象的类型，为什么不直接调用->~Type()？

Answer 2

我可以保存几个不同对象的所有析构函数地址吗 输入一个列表并稍后调用它们？

是的。请注意，我的解决方案还保留了指向被破坏对象的指针，而不仅仅是析构函数。 你可以做一些 lambda 魔法来实现这一点 + 一些低级帮助：

class GenericDestructor {

private:    
    const void* object;
    void(*destructor)(const void*);

public:

    template<class T>
    GenericDestructor(const T& _object) noexcept :
        object(std::addressof(_object)){

        destructor = [](const void* _object) {
            auto original = static_cast<const T*>(_object);
            original->~T();
        };

    };

    void operator () () noexcept {
        destructor(object);
    }

};

存储：

std::vector<GenericDestructor> storedDestructors;
auto needsToBeDeleted = new std::string();
storedDestructors.emplace_back(*needsToBeDeleted);

销毁所有存储的对象：

for(auto& storedDestructor : storedDestructors) storedDestructor();