c++ - 编译器如何定义 type_traits 中的类？

Question

在 C++11 及更高版本中， <type_traits> header 包含很多类型检查的类，比如 std::is_empty , std::is_polymorphic , std::is_trivially_constructible 和许多其他人。

虽然我们像普通类一样使用这些类，但我想不出任何方法来编写这些类的定义。再多的 SFINAE(即使使用 C++14/17 规则)或其他方法似乎也无法判断一个类是多态的、空的还是满足其他属性。一个空的类仍然占据一定的空间量，因为该类必须有一个唯一的地址。

那么，编译器如何在 C++ 中定义此类？或者编译器有必要本质上知道这些类名并专门解析它们？

Answer 1

在过去，当人们第一次使用类型特征时，他们编写了一些非常讨厌的模板代码，试图编写可移植代码来检测某些属性。我对此的看法是，当编译器在尝试编译这些东西时过热时，你必须在你的计算机下面放一个滴盘来接住熔化的金属。 Edison Design Group(工业级编译器前端提供商)的 Steve Adamczyk 对这个问题提出了更具建设性的看法:与其编写所有这些占用大量编译时间并经常破坏它们的模板代码，不如让我提供一个辅助函数。

当类型特征首次正式引入时(在 TR1，2006 年)，有几个特征没人知道如何可移植地实现。由于 TR1 应该是专门的库添加，这些不能指望编译器的帮助，所以他们的规范允许他们得到一个偶尔错误的答案，但他们可以在可移植代码中实现。

如今，这些津贴已被取消；图书馆必须得到正确的答案。编译器帮助执行此操作并不是特定模板的专业知识；它是一个函数调用，告诉您特定类是否具有特定属性。编译器可以识别函数的名称，并提供适当的答案。这提供了一个较低级别的工具包，特征模板可以单独或组合使用它来决定该类是否具有相关特征。