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++ 类型系统所能表达的更多。