std::has_virtual_destructor是如何实现的？

Question

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

Answer 1

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

在本次会议上，讨论了如何在将来的修订版中添加反射，如果像std::has_virtual_destructor<T>这样的特性，这可能最终导致库的实现。然而，像反射这样的东西还需要一段时间才能出现。