在 C++ 代码库中的类上替换 memset()

Question

我继承了一个 C++98 代码库，它在 C++ 类上有两个主要用途 memset()，为了清晰起见扩展了宏：

 // pattern #1:
 Obj o;
 memset(&o, 0, sizeof(o));

 // pattern #2:
 // (elsewhere: Obj *o;)
 memset(something->o, 0, sizeof(*something->o));

您可能已经猜到，此代码库不使用 STL 或其他非 POD 类。当我尝试将一个 std::string 放入其中一个类时，通常会发生不好的事情。

据我了解，这些模式可以在 C++11 中重写如下：

 // pattern #1
 Obj o = {};

 // pattern #2
 something->o = {};

也就是说，在这两种情况下，{} 的赋值都会用默认初始化值重写对象的内容。漂亮又干净，不是吗？

嗯，是的，但它不起作用。它适用于 *nix 系统，但在使用带有 v120_xp 工具集的 VS2013 构建时会产生相当莫名其妙的结果（本质上是垃圾值），这意味着我对初始化列表的理解有些欠缺。

所以，问题：

1. 为什么这不起作用？
2. 有什么更好的方法来替换 memset 的这种使用，以确保具有构造函数的成员被正确地默认初始化，并且最好可以可靠地应用，只需搜索和替换（遗憾的是没有测试）。如果它适用于 VS2013 之前的版本，则可以加分。

Answer 1

大括号初始化的行为取决于您尝试初始化的对象类型。

在聚合（例如简单的 C 样式结构）上，使用空的大括号初始化器对聚合进行零初始化，即它使所有成员为零。

在非聚合中，空的大括号初始化器调用默认构造函数。如果构造函数没有显式初始化成员（编译器自动生成的构造函数没有），那么成员将被构造但否则未初始化。具有自己初始化自己的构造函数的成员可以，但是例如int 成员将具有不确定的值。

IMO，解决您的问题的最佳方法是添加一个默认构造函数（如果类还没有它）和一个显式初始化成员的初始化列表。

Answer 2

它适用于 *nix 系统，但在使用带有 v120_xp 工具集的 VS2013 构建时会产生相当莫名其妙的结果（本质上是垃圾值），这意味着我对初始化列表的理解有些欠缺。

“默认”初始化的规则在 C++ 版本之间有所不同，但 VC++ 一直坚持 C++98 规则，我认为甚至忽略了 C++03 的更新。

其他编译器已经实施了新规则，gcc 甚至在某一时刻实施了一些尚未被官方规范接受的缺陷解决方案。

因此，即使您想要 由标准保证，但在大多数情况下，最好不要尝试依赖没有显式初始化程序的成员的初始化行为。

Answer 3

我认为展示位置new 已经足够成熟，可以在 VS 上运行，因此您可以尝试：

#include <new>

new(&o) T();
new(something->p) T();

确保不要对任何尚未分配和破坏/未初始化的对象执行此操作！ （但下面指出，如果构造函数抛出异常，这可能会失败。）

您也许可以只从默认对象分配，即o = T(); 或*(something->p) = T();。一个好的通用策略可能是为这些 POD 类中的每一个提供一个简单的默认构造函数，其中 : o() 在初始值设定项列表中。