c++11 - is_standard_layout 是如何实现的？

Question

一般来说可以实现典型的type_traits使用模板技术。

然而我没想到如何std::is_standard_layout可以在这些条款中实现。 http://en.cppreference.com/w/cpp/types/is_standard_layout

当我查看 gcc 时标准库，我发现是按照__is_standard_layout(T)来实现的我在其他任何地方都找不到定义。这是一个编译器魔术函数吗？

是否可以实现 std::is_standard_layout明确的？

例如，条件之一是它从单个类继承。
这似乎是不可能在编译时确定的。

Answer 1

不，std::is_standard_layout如果没有编译器内在函数，您就无法实现。正如您正确指出的那样，它需要的信息比 C++ 类型系统所能表达的要多。