C 11空列表初始化工会 – 是否保证初始化工会的全长?

前端之家收集整理的这篇文章主要介绍了C 11空列表初始化工会 – 是否保证初始化工会的全长?前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。
在C 11中,我有以下联盟:
union SomeData
{
    std::uint8_t Byte;
    std::uint16_t Word;
    std::uint32_t DWord;
    unsigned char String[128];
};

如果我初始化联盟,

SomeData data {};

是否保证工会的全部内容将“零”出来?换个方法是一个空的列表初始化程序,一个工会功能上等同于将工会装入零的工作:

memset(&data,sizeof(data));

特别是我关心字符串数据.我想确保字符串的整个长度都包含零.它似乎在我目前的编译器中工作,但规范的语言是否保证这一直是真的?

如果没有,是否有更好的方法将工会的全部初始化为零?

解决方法

不,不能保证整个联盟将被清除.只有第一个声明的工会成员,加上任何填充,保证被归零(下面的证明).

所以为了确保联合对象的整个内存区域被归零,你有以下选项:

>订购成员,使最大的成员是第一个,因此一个被清除.
>使用std :: memset或等效功能.为了防止意外忘记,您当然可以给SomeData一个默认的构造函数,这将会调用它.

报价C 11:

8.5.4 [dcl.init.list] / 3

List-initialization of an object or reference of type T is defined as follows:

  • If the initializer list has no elements and T is a class type with a default constructor,the object is
    value-initialized.

8.5 [dcl.init] / 7

To value-initialize an object of type T means:

  • if T is a (possibly cv-qualified) class type (Clause 9) with a user-provided constructor (12.1),then the
    default constructor for T is called (and the initialization is ill-formed if T has no accessible default
    constructor);
  • if T is a (possibly cv-qualified) non-union class type without a user-provided constructor,then the object
    is zero-initialized and,if T’s implicitly-declared default constructor is non-trivial,that constructor is
    called.
  • otherwise,the object is zero-initialized.

8.5 [dcl.init] / 5:

To zero-initialize an object or reference of type T means:

  • if T is a (possibly cv-qualified) union type,the object’s first non-static named data member is zero-initialized
    and padding is initialized to zero bits;

从这些引号可以看出,使用{}初始化数据将导致对象进行值初始化(因为SomeData是一个默认构造函数的类类型).

值初始化没有用户提供的默认构造函数(SomeData是)的联合体意味着零初始化它.

最后,零初始化联合是指零初始化其第一个非静态命名数据成员.

原文链接:https://www.f2er.com/c/115428.html

猜你在找的C&C++相关文章