std::is_standard_layout
类型特性 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
编译时有理数算术 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
编译时整数序列 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
(C++14)
|
在标头
<type_traits>
定义
|
||
template<
class T
>
struct is_standard_layout; |
(C++11 起) | |
std::is_standard_layout
是一元类型特性 (UnaryTypeTrait)
。
如果 T
是标准布局类型,那么成员常量
value
等于 true。对于其它类型,value
等于 false。
如果 std::remove_all_extents_t<T> 是(可有 cv 限定的)void 以外的不完整类型,那么行为未定义。
添加 std::is_standard_layout
或
std::is_standard_layout_v
的特化的程序行为未定义。
模板形参
T | - | 要检查的类型 |
辅助变量模板
template<
class T
>
inline constexpr bool is_standard_layout_v = is_standard_layout<T>::value; |
(C++17 起) | |
继承自 std::integral_constant
成员常量
value
[静态]
|
如果 T 是标准布局类型那么是 true,否则是
false
(公开静态成员常量) |
成员函数
operator
bool
|
将对象转换到 bool,返回
value
(公开成员函数) |
operator()
(C++14)
|
返回 value
(公开成员函数) |
成员类型
类型 | 定义 |
value_type
|
bool |
type
|
std::integral_constant<bool, value> |
注解
指向标准布局类的指针能(通过 reinterpret_cast)转换成指向其首个非静态数据成员的指针,反之亦然。
如果标准布局联合体保有多个标准布局结构体,那么可以查看它们的公共前导部分。
宏 offsetof 只保证能用于标准布局类。
示例
#include <type_traits> struct A { int m; }; static_assert(std::is_standard_layout_v<A> == true); class B: public A { int m; }; static_assert(std::is_standard_layout_v<B> == false); struct C { virtual void foo(); }; static_assert(std::is_standard_layout_v<C> == false); int main() {}
缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
缺陷报告 | 应用于 | 出版时的行为 | 正确行为 |
---|---|---|---|
LWG 2015 | C++11 | T 可以是不完整类类型的未知边界数组
|
此时行为未定义 |
参阅
(C++11)
|
检查类型是否可平凡复制 (类模板) |
(C++11)(C++20
中弃用)
|
检查类型是否为简旧数据(POD)类型 (类模板) |
从标准布局类型的起始到其指定成员的字节偏移量 (宏函数) |