一、背景
经过重重调试后,看到编译成功的那一刻,内心充满欢喜。当程序一运行,却经常出现coredump的情况,此时内心是崩溃的。我想程序员经常会碰到这种情况,尤其使用c++语言编写代码,由于没有自动内存管理,经常会出现coredump情况,主要原因有以下几类:
- 使用未赋值的指针
- 索引越界
- 格式化输出时数据类型错误
- 并发引起的问题
下面对这几类进行分析
二、场景分析及解决方案
场景一
struct A {
char* str;
};
class B {
public:
B() { str = NULL; val = -1;}
B(const int& p_val);
bool set(const int& value);
bool get(const int& key, int& value);
private:
int val;
};
int main() {
A a;
std::cout << "str = " << a.str << std::endl;
B* aa = new B();
const int val = 615;
aa.set(val);
return 0;
}
注:代码中set,get没具体写实现
问题描述:这段代码有两处问题,第一处:使用未赋值的str会直接导致coredump,这段代码很简单,一眼可以看出有问题,如果放在实际的工程项目中,其实很难发现;第二处:new指针对象后直接使用,如果内存分配失败,也会出现问题。
解决方案:两处地方都用到了指针,使用指针前都没有判空,导致coredump,实际项目开发过程中,程序往往比较复杂,不像实例这样直观能看出问题,记住一点:使用指针前务必判空,不管是对象指针、简单类型对应的指针、函数指针等等,另外分配堆内存后,记得一定要手动删除,也可以使用对象池、内存池、智能指针对指针对象进行自动管理,否则有可能撑爆内存,这块不属于本节内容,后续讨论。
场景二
void test(const string& str, int idx) {
std::cout << str[idx] << std::end;
}
int main() {
int value[5] = {1, 2, 3, 4, 5};
std::cout << value[5] << std::end;
std::map<int, int> p_map;
std::map<int, int>::iterator iter = p_map.find(20);
std::cout << "value = " << iter->second;
return 0;
}
问题描述:使用数组数据时,没有判断索引的有效性;使用stl容器,迭代器没有判断end()直接用。
解决方案:使用数组或容器时,务必根据数组或容器的size检查索引的有效性。
场景三
// 整型字符串格式输出
int value = 615;
printf("value[%s]\n", value);
// 字符串字符形式赋值
char *str = 'dianjing';
printf("str[%s]\n", str);
问题描述:我们在输出日志,或进行格式化赋值时,会经常写错,整型数据使用字符串输出;另一种常见的错误是字符串赋值时误使用单引号进行赋值,编译器会提示,但不会报错,这样即使使用try catch也catch不住这种coredump
解决方案:格式化输出时,务必检查数据类型和输出格式的正确性,以及数据类型赋值的准确性。
场景四
问题描述:当主线程中使用并行线程进行并行执行时,并行线程中主线程local数据为空,不能用。
解决方案:并行线程回调函数传入主线程local数据,或创建并发数据,每个并行线程指向不同的并发数据
总结
程序出现coredump,千万不要慌,希望通过本文能快速定位问题,后续会截图具体coredump,对core文件进行分析。
- 使用指针前一定要判空
- 使用容器时,务必检查索引的有效性
- 格式化数据时,检查数据类型和输出格式的正确性
- 注意并发时,数据的有效性