【C++】类型截断引起的Bug

最新推荐文章于 2025-04-14 19:08:11 发布

原创最新推荐文章于 2025-04-14 19:08:11 发布 · 930 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#c++ #指针 #定位 #堆栈 #bug

C++ 专栏收录该内容

87 篇文章

订阅专栏

本文深入探讨了C++中类型截断导致的Bug，通过具体案例分析，揭示了从Model层向UI层传递Buffer时，因类型转换不当引发的崩溃问题。文章提供了预防类型截断的建议，并强调了理解基本语言概念的重要性。

类型截断引起的Bug

背景

最近遇到了一个Bug，由于崩溃堆栈定位到的是一个第三方的so中，查了许久。最终，定位到了出问题的部分。

现象原因：
Model层传给UI层，一个用于描画的Buffer。在使用前，该Buffer被异常释放。导致UI层再调用第三方库，创建纹理时崩溃。

根本原因：
C++类型截断导致

类型截断

下面的代码展示了类型截断的发生，以及导致Bug发生的现象

// 父类
class Parent
{
	public:
		void* buffer;
}

// 子类
class Child : public Parent
{
	public:
		std::shared_ptr<BitMap> buf;
}

// 由于编译限制，接口层禁止使用C++11。
// 所以在Model层，使用智能指针保存buf
// 为UI层提供原始指针 buffer
std::map<Parent> m_bufferMap;
void saveBitmap(BitMap* bitmap)
{
	Child node;
	node.buf.reset(bitmap);
	node.buffer = buf.get();
	
	// 将子类赋值给父类类型
	// 发生类型截断
	// 导致子类部分的智能指针被释放
	// 给外部用的buffer，此时是一个非法地址了
	m_bufferMap.push_back(node)
}

上面的例子钟，将子类对象赋值给父类类型的对象时，会发生类型截断。子类中多余的部分，将会被抛弃。
那么如何防止，这种现象？

// 1. 使用指针类型
Parent* p = new Child()

// 2. 对于栈上申请的对象，使用正确的类型保存
std::map<Child> m_map;
Child Node;
map.push_back(Node);

总结

问题的原因比较简单，就是C++的一个基本概念。但是该原因导致的问题，以及定位问题的调查过程，还是比较久的。因此，一定要对语言的基本概念会深刻的了解，特别是底层语言，否则很容易自己挖坑。