结构体内部变量一旦发生栈越界的话,因为已经开辟了整个结构体的缘故,因此有可能不会干扰外部数据,但是结构体内部的数据可能会被破坏。
为什么说是可能会被破坏?因为结构体的内存对齐机制可能会避免问题的出现。
下面的例子说明一下内存对齐机制,如下:
运行结果如下:
[billing_dx@bmcs1 stack]$ a.out
16
20
stu:
class=0x7fffc9311680
id=0x7fffc9311684
name=0x7fffc9311688
stu2:
class=0x7fffc9311660
id=0x7fffc9311668
name=0x7fffc931166c
通过对比可以看到,stu2结构体中的元素“cla”数据虽然只是设置了5字节的大小,但是,却占用了8个字节的长度,如下:
因为结构体中的元素的内存地址是连续的,所以发生内存泄露的时候,可能会影响其他成员变量的值。举例如下:
运行结果如下:
[billing_dx@bmcs1 stack]$ a.out
16
20
stu:
class=0x7fff77479a00
id=0x7fff77479a04
name=0x7fff77479a08
class=0003
id=768 #id字段被破坏
name=yang
stu2:
class=0x7fff774799e0
id=0x7fff774799e8
name=0x7fff774799ec
class=00023
id=2010 #id字段正常
name=yang
通过输出结果得知,stu对应的结构体因为栈越界,破坏了紧跟其后的成员变量id字段,所以导致id变量异常输出。
而结构体stu2,虽然成员变量cla的长度是5,但是实际占用的空间却可以是8,因此,赋值语句“strcpy(p2->cla,"00023");”中五个字节的长度+'\0'一个字节的长度,是无法影响下一个字段的。
结构体stu的成员变量id被破坏了,是因为id字段先被赋值,如果先给成员变量“cla”赋值,后给id字段赋值,是不是id字段就不会被影响了呢?
修改赋值代码如下:
输出修改如下:
运行之后,id输出正常。但是倘若希望输出“cla”字段的时候,就出问题了。
输出函数修改如下:
class=[0003
id=1010
name=yang
可能是因为cla字段被破坏,输出该字段时使用“[]”括起来,都不能显示正常。
结构体中的数组大小如果设置小的话,带来的影响不容易发现,因此排查起来比较困难。所以,当发现结构体中的某些数据成员变得异常的时候,可以考虑一下是不是其他字段开辟空间太小导致越界引起的。
为什么说是可能会被破坏?因为结构体的内存对齐机制可能会避免问题的出现。
下面的例子说明一下内存对齐机制,如下:
/******************************************************************
* @file stack1.cpp
* @version v1.0
* @author ymm
* @date 2013/12/28 10:38:09
* @brief 验证结构体的内存对齐机制,以及地址顺序
* @history
* 1、2013/12/28 10:38:11 author ymm 初步完成
******************************************************************/
#include <iostream>
#include <string.h>
using namespace std;
typedef struct stu
{
char cla[4];
int id;
char name[8];
}stu;
typedef struct stu2
{
char cla[5];
int id;
char name[8];
}stu2;
void show(stu *p,stu2 *p2)
{
cout<<"stu:"<<endl;
cout<<"class="<<(void *)p->cla<<endl;
cout<<"id="<<(void *)&p->id<<endl;
cout<<"name="<<(void *)p->name<<endl;
cout<<"\nstu2:"<<endl;
cout<<"class="<<(void *)p2->cla<<endl;
cout<<"id="<<(void *)&p2->id<<endl;
cout<<"name="<<(void *)p2->name<<endl;
}
int main()
{
cout<<sizeof(stu)<<endl;
cout<<sizeof(stu2)<<endl;
stu s;
stu2 s2;
memset(&s,0x00,sizeof(stu));
memset(&s2,0x00,sizeof(stu2));
show(&s,&s2);
return 0;
}
运行结果如下:
[billing_dx@bmcs1 stack]$ a.out
16
20
stu:
class=0x7fffc9311680
id=0x7fffc9311684
name=0x7fffc9311688
stu2:
class=0x7fffc9311660
id=0x7fffc9311668
name=0x7fffc931166c
通过对比可以看到,stu2结构体中的元素“cla”数据虽然只是设置了5字节的大小,但是,却占用了8个字节的长度,如下:
因为结构体中的元素的内存地址是连续的,所以发生内存泄露的时候,可能会影响其他成员变量的值。举例如下:
/******************************************************************
* @file stack2.cpp
* @version v1.0
* @author ymm
* @date 2013/12/28 11:08:09
* @brief 栈越界导致数据异常
* @history
* 1、2013/12/28 11:08:14 author ymm 初步完成
******************************************************************/
#include <iostream>
#include <string.h>
using namespace std;
typedef struct stu
{
char cla[4];
int id;
char name[8];
}stu;
typedef struct stu2
{
char cla[5];
int id;
char name[8];
}stu2;
void fun(stu *p,stu2 *p2)
{
p->id=1010;
strcpy(p->cla,"0003");
strcpy(p->name,"yang");
p2->id=2010;
strcpy(p2->cla,"00023");
strcpy(p2->name,"yang");
}
void show(stu *p,stu2 *p2)
{
cout<<"stu:"<<endl;
cout<<"class="<<(void *)p->cla<<endl;
cout<<"id="<<(void *)&p->id<<endl;
cout<<"name="<<(void *)p->name<<endl;
cout<<"class="<<p->cla<<endl;
cout<<"id="<<p->id<<endl;
cout<<"name="<<p->name<<endl;
cout<<"\nstu2:"<<endl;
cout<<"class="<<(void *)p2->cla<<endl;
cout<<"id="<<(void *)&p2->id<<endl;
cout<<"name="<<(void *)p2->name<<endl;
cout<<"class="<<p2->cla<<endl;
cout<<"id="<<p2->id<<endl;
cout<<"name="<<p2->name<<endl;
}
int main()
{
cout<<sizeof(stu)<<endl;
cout<<sizeof(stu2)<<endl;
stu s;
stu2 s2;
memset(&s,0x00,sizeof(stu));
memset(&s2,0x00,sizeof(stu2));
fun(&s,&s2);
show(&s,&s2);
return 0;
}
运行结果如下:
[billing_dx@bmcs1 stack]$ a.out
16
20
stu:
class=0x7fff77479a00
id=0x7fff77479a04
name=0x7fff77479a08
class=0003
id=768 #id字段被破坏
name=yang
stu2:
class=0x7fff774799e0
id=0x7fff774799e8
name=0x7fff774799ec
class=00023
id=2010 #id字段正常
name=yang
通过输出结果得知,stu对应的结构体因为栈越界,破坏了紧跟其后的成员变量id字段,所以导致id变量异常输出。
而结构体stu2,虽然成员变量cla的长度是5,但是实际占用的空间却可以是8,因此,赋值语句“strcpy(p2->cla,"00023");”中五个字节的长度+'\0'一个字节的长度,是无法影响下一个字段的。
结构体stu的成员变量id被破坏了,是因为id字段先被赋值,如果先给成员变量“cla”赋值,后给id字段赋值,是不是id字段就不会被影响了呢?
修改赋值代码如下:
void fun(stu *p,stu2 *p2)
{
strcpy(p->cla,"0003"); //顺序发生变化
p->id=1010;
strcpy(p->name,"yang");
p2->id=2010;
strcpy(p2->cla,"00023");
strcpy(p2->name,"yang");
}
输出修改如下:
void show(stu *p,stu2 *p2)
{
cout<<"stu:"<<endl;
cout<<"class="<<(void *)p->cla<<endl;
cout<<"id="<<(void *)&p->id<<endl;
cout<<"name="<<(void *)p->name<<endl;
//cout<<"class=["<<p->cla<<"]"<<endl;
//cout<<"class="<<p->cla<<endl;
cout<<"id="<<p->id<<endl;
cout<<"name="<<p->name<<endl;
}
运行之后,id输出正常。但是倘若希望输出“cla”字段的时候,就出问题了。
输出函数修改如下:
void show(stu *p,stu2 *p2)
{
cout<<"stu:"<<endl;
cout<<"class="<<(void *)p->cla<<endl;
cout<<"id="<<(void *)&p->id<<endl;
cout<<"name="<<(void *)p->name<<endl;
cout<<"class=["<<p->cla<<"]"<<endl;
cout<<"id="<<p->id<<endl;
cout<<"name="<<p->name<<endl;
}
class=[0003
id=1010
name=yang
可能是因为cla字段被破坏,输出该字段时使用“[]”括起来,都不能显示正常。
结构体中的数组大小如果设置小的话,带来的影响不容易发现,因此排查起来比较困难。所以,当发现结构体中的某些数据成员变得异常的时候,可以考虑一下是不是其他字段开辟空间太小导致越界引起的。