C++ 项目，出现了匪夷所思的 bug，在 vector 中添加对象，会导致 vector 崩溃，进而整个程序崩溃。

这个项目很大，我修改了其中一部分代码，出现了一个非常匪夷所思的问题：

这个是出问题的函数：

void SetModuleIdentities(std::vector<uint32_t>& identities)
{
	std::vector<ModuleConfig> testVec;
	for (uint32_t const& identity : identities)
	{
		printf("enter... testVec.size=%ld %ld\n", testVec.size(), testVec.capacity());
		ModuleConfig newModule;
		newModule.identity = identity;
		testVec.push_back(newModule);
		printf("leave... testVec.size=%ld %ld\n", testVec.size(), testVec.capacity());
	}
}

这是 ModuleConfig 的定义：

struct ModuleConfig
{
	ModuleConfig()
	{
		printf("ModuleConfig::constructor\n");
	}
	~ModuleConfig()
	{
		printf("ModuleConfig::destructor\n");
	}
    
	uint32_t identity;
	std::string pdoMapName;
	uint32_t pdoMapInOffset;
	uint32_t pdoMapOutOffset;
};

执行的输出如下：

enter... testVec.size=0 0
ModuleConfig::constructor
leave... testVec.size=3353953467947191204 1
ModuleConfig::destructor
# 然后就崩溃了

这是部分调用栈信息（来源 sighandler ）：

15:03:36  ecpanda exit with 11
crash time:Thu May 18 15:03:36 2023

./base/lib-linux/bin/ecpanda-generic(_Z10sigHandleriP9siginfo_tPv+0x96) [0x56266aff3e9a]
/lib/x86_64-linux-gnu/libpthread.so.0(+0x14420) [0x7f528d9d7420]
/lib/x86_64-linux-gnu/libc.so.6(cfree+0x20) [0x7f528d50b6f0]
./base/lib-linux/bin/ecpanda-generic(_ZN12ModuleConfigD1Ev+0x2c) [0x56266b0075e6]
./base/lib-linux/bin/ecpanda-generic(_ZN15SlaveFileConfig19SetModuleIdentitiesERSt6vectorIjSaIjEE+0x136) [0x56266b017138]
./base/lib-linux/bin/ecpanda-generic(_Z23ESI_SetModuleIdentitiesiRSt6vectorIjSaIjEE+0x42) [0x56266b01692c]

我就 push_back 了一下，怎么就把 vector 干崩了呢？

Rothschild

346 天前

这段代码定义了一个 ModuleConfig 结构，并使用 std::vector<ModuleConfig> 来存储多个 ModuleConfig 实例。函数 SetModuleIdentities 则根据传入的 identities 列表创建一组 ModuleConfig 并存储在 testVec 中。以下是我对这段代码的评审和建议。

构造函数: 在 ModuleConfig 结构中，你定义了默认构造函数和析构函数，它们打印出一些信息。这在进行调试时可能有帮助，但在实际的项目中，我建议使用更正式的日志系统，而不是直接打印到控制台。

成员初始化: ModuleConfig 结构的成员变量没有在构造函数中被初始化，这可能导致未定义行为。应当为每个成员变量提供默认值。

预留容量: 当你知道要添加多少元素时，预先为 std::vector 保留足够的空间可以提高性能。你可以在创建 testVec 之后，使用 testVec.reserve(identities.size()) 来实现。

使用 emplace_back 代替 push_back: 使用 emplace_back 可以在容器中直接构造对象，避免了临时对象的创建和拷贝。

未使用的变量: testVec 在函数内部创建并填充，但在函数结束时被销毁，它的内容在函数外部无法使用。你可能需要将它作为函数的返回值或输出参数，使得其他函数或者代码块可以使用它的内容。