STL中的__is_trivial定义在哪里？

在查看stl源代码的时候，会发现std::is_trivial也是利用了__is_trivial，但是在STL查找，却没追踪到__is_trivial的定义，何解？百度了半天，也没发现谁准确地讨论了__is_trivial，全部都在围绕is_trivial讨论，很默契地避开了__is_trivial。几经周折，我在一个网站发现了端倪，https://manishearth.github.io/blog/2017/01/11/rust-tidbits-what-is-a-lang-item/

其中有这样一句话：“the compilers seem to implement them using intrinsics like __is_trivial<T> which aren’t defined in C++ code at all.”原来是编译器自己执行了操作，也就是说，编译器在编译源码的时候，如果遇见__is_trivial<T>，则检查T是否满足某种要求（是否符合trivial规则），如果是则替换成true，否则替换成false。

这个过程很像if else，但不同的是，这个操作发生程序生成阶段，而不是程序运行阶段，Magic！

因为编译器的进步，STL也进行了更新，在早些时候（至少在侯捷先生编写《STL源码剖析》之前），STL一系列的和__type_traits相关的源码如has_trivial_copy_constructor，全部手动进行定义成__true_type、__false_type。而随着编译器对__is_trivial系列的支持，STL底层也借助了__is_trivial来进行推导。

has_trivial...等一系列的名字在新版本中，也变成了is_trivial...，参考网址：Adjustments to constructor and assignment traits