c++ - std::has_virtual_destructor 是如何实现的？

Question

如何std::has_virtual_destructor实施类似的检查？我试过type_traits在 Visual Studio 中查看标题，但是有太多的宏和模板，甚至无法理解。这个检查可以用任何相当简单的形式表达吗？我很想至少知道它的工作原理，因为现在我不知道。

Answer 1

许多类型特征需要编译器魔法：特征本质上为不同编译器提供的一些钩子提供了一个库接口。编译器如何实现这些钩子完全取决于它们，并且没有一致的接口。

在当前的会议上，讨论了在未来的版本中添加反射，如果特性像std::has_virtual_destructor<T>. 然而，像反射这样的东西出现还需要一段时间。