c++ POD types

最新推荐文章于 2024-10-07 12:47:09 发布

原创最新推荐文章于 2024-10-07 12:47:09 发布 · 464 阅读

0 ·

CC 4.0 BY-SA版权

C & C++ 专栏收录该内容

53 篇文章

订阅专栏

本文详细解释了C++中的POD（Plain Old Data）类型的概念及其定义标准。POD类型是一类特殊的类型，它们在C++中表现得类似于C语言的数据类型。文章列举了构成POD类型的元素，并说明了如何通过特定的结构和联合来创建POD类型。

A POD is a type (including classes) where the C++ compiler guarantees that there will be no "magic" going on in the structure: for example hidden pointers to vtables, offsets that get applied to the address when it is cast to other types (at least if the target's POD too), constructors, or destructors. Roughly speaking, a type is a POD when the only things in it are built-in types and combinations of them. The result is something that "acts like" a C type.

Less informally:

int, char, wchar_t, bool, float, double are PODs, as are long/short and signed/unsigned versions of them.
pointers (including pointer-to-function and pointer-to-member) are PODs,
enums are PODs
a const or volatile POD is a POD.
a class, struct or union of PODs is a POD provided that all non-static data members are public, and it has no base class and no constructors, destructors, or virtual methods. Static members don't stop something being a POD under this rule.
Wikipedia is wrong to say that a POD cannot have members of type pointer-to-member. Or rather, it's correct for the C++98 wording, but TC1 made explicit that pointers-to-member are POD.

Formally (C++03 Standard):

3.9(10): "Arithmetic types (3.9.1), enumeration types, pointer types, and pointer to member types (3.9.2) and cv-qualified versions of these types (3.9.3) are collectively caller scalar types. Scalar types, POD-struct types, POD-union types (clause 9), arrays of such types and cv-qualified versions of these types (3.9.3) are collectively called POD types"

9(4): "A POD-struct is an aggregate class that has no non-static data members of type non-POD-struct, non-POD-union (or array of such types) or reference, and has no user-define copy operator and no user-defined destructor. Similarly a POD-union is an aggregate union that has no non-static data members of type non-POD-struct, non-POD-union (or array of such types) or reference, and has no user-define copy operator and no user-defined destructor.

8.5.1(1): "An aggregate is an array or class (clause 9) with no user-declared constructors (12.1), no private or protected non-static data members (clause 11), no base classes (clause 10) and no virtual functions (10.3)."