使用 memset 初始化包含数组的结构向量

Question

我有以下结构

struct a {
     int array[20]
     int array2[45]
}

我已经创建了这个结构的向量

vector<a> vec;

我用过这个 vec。现在我想初始化（设置向量元素中对象内的所有数组值）为零。我该怎么办？

Answer 1

阅读 cmets，您尚未显示填充向量的代码。现在您想重用存储而不是创建一个新存储，并且您想重新初始化它。

任何 C++ 容器的任何算法的规范答案都可能在标准算法中找到。在这种情况下，std::fill。以您喜欢的方式初始化您的结构，并将其复制到您的向量中。沿着这些思路：

a A = {0};
std::fill(vec.begin(), vec.end(), A);

如果您想说这还不够快，请检查一下。我想你会发现它非常有效。上面的代码绝对安全，适用于fill 的任何正确初始化的参数。我怀疑它是否可以在不对a 的实现做出一些假设的情况下做得更快。

Answer 2

事实证明，这是一个比最初看起来更有趣的问题。

tl;dr：如果您使用的是 C++03 或更高版本的编译器，则无需费心。

您需要了解value initialization 和default initialization 之间的区别。基本上值初始化会将所有元素设置为零，而默认初始化将使它们完全独立。如果结构的任何默认元素（递归）具有用户定义的默认构造函数，则值和默认初始化都会调用它。

请注意，值初始化远比memset为零好，因为

• 它将调用默认构造函数
• 它将正确地初始化浮点（到 0.0）和指针（到 NULL）。尽管memset可能会在您的实现中这样做，但不能保证这样做。

创建带有 n 个元素的向量的正常方法是调用：

std::vector<a> vec(n);

C++98

这会调用

std::vector<a>::vector(size_type count, 
                       const T& value = T(),
                       const Allocator& alloc = Allocator());

value 对象将被默认构造，您需要以某种方式初始化元素。做到这一点的最佳方法是提供要复制的正确值初始化值。所以：

const static a azeroed;  // Because this is static, it will be value initialized
std::vector<a> vec(20,azeroed);

技术说明：C++98标准不包含“值初始化”一词，但azeroed的初始化是相同的。

C++03

调用了相同的向量构造函数，但从 C++03 开始​​，value 参数是值已初始化（所以花园里的一切都是美好的）。

C++11

打电话给

std::vector<a>::vector(size_type count);

哪个值直接初始化元素。

C++14

来电

std::vector<a>::vector(size_type count, const Allocator& alloc = Allocator());

（基本上，他们意识到他们忘记了分配器参数）。这里有一个非常细微的区别，因为元素是通过调用Allocator::construct 构造的，虽然默认分配器会初始化元素，但可以提供一个自定义版本，而不是（参见this answer） .如果你这样做，你几乎肯定知道你在做什么。

结论

• 除非你使用的是真正的 C++98 编译器，否则你不需要调用 memset
• 向向量构造函数提供显式初始化值比调用 memset 更安全。
• memset 可能无法正确初始化非整数内置值（尽管它可能会）。
• memset 肯定会破坏任何合适的构造函数。这是一个巨大的维护隐患。如果维护程序员更改结构使其不再是 POD，代码仍将编译 - 它只会做错事。
• 只需为结构体提供一个适当的默认构造函数，就有很多话要说，这样您就不必担心是否有任何元素已初始化，即使您有一个本地副本。