c++程序员应注意的三个问题
1. 内存对齐问题。
内存对齐问题在很多C和C++项目中都需要考虑,比如开发PC机和嵌入式平台之间的数据通信问题,因为不同平台间对齐方式不同,如果不考虑对齐问题会造成数据通信不一致的问题。还有就是了解的内存对齐问题有利于节省内存的使用,节省避免很多内存空间被浪费的问题。下面我们一起来看一下内存对齐的问题。
Struct node1{
char a;
int b;
char c;
};
Struct node2{
Char a;
Char b
Int c;
}
上面两个结构体node1和node2表面上看起来一样。但在内存占用上却有所不同。在VC++平台上 node1在内存占12个字节,node2在内存占8个字节。在单片机和嵌入式平台上node1和node2都是占6个字节。因为在VC++平台里是按结构体里最长的那个原始类型的长度来对齐的。在上面node1和node2结构体中最长的原始类型都是int 类型。所以是按4字节对齐。在node1中变量a按4个字节对齐占4个字节,变量b也占4个字节,变量c占4个字节。加起来总共12个字节。node2中变量a和变量b按4字节对齐共占4个字节,变量 c 占4个字节。总共8个字节。再比如下面的node3
Struct node3
{
Char a;
Long long b;
Char c;
}
这里的最长的原始类型是long long 类型,占8个字节,所以node3按8个字节对齐,node3总共占24个字节。
在VC++平台下可以用#pragam pack(push,1)和#pragam pack(pop)来控制内存对齐。比如下面的node4
#pragam pack(push,1)
Struct node4{
Char a;
Int b;
Char c;
}
#pragam pack(pop)
只要在结构体加上#pragam pack就可以控制内存对齐了,上面的node4强制按1字节对齐,所以node4占6个字节。但这样强制的方法会让程序的访问内存的效率上下降。
下面再说一下联合体与结构体内存对齐
Union unt{
Char a;
Int b[5];
Long long c;
};
Struct node5{
Uut x;
Int y;
Char z;
};
上面的node5中最长的原始类型是unt里的long long类型。所以按8个字节对齐,node5结构体中变量x按8个字节对齐占24个字节,变量y和z占8个字节,加起来总共占32个字节。
2. sizeof应用中的问题。
Sizeof在C和C++编程中经常使用,但这里很多人会错用,造成内存越界的问题。下面就以32位系统为例简单介绍一下sizeof
Int a;
Int b=sizeof(a);
上面这个很简单,大家一看就知道sizeof(a)=4。
Int *p=new int[5];
现在sizeof(p)等于4 因为p是指针类型,在32位系统中任何指针类型都只占4个字节。
Int a[5];
现在sizeof(a)应该是多少呢? 答案是20,因为a是数组,所以sizeof(a)得出的是整个数据所占的字节数。
Int* a=new int[5];
现在sizeof(a)等于多少呢? 答案是4,很多人说这和上面不是一样的数组吗,其实不是,在这里a只是个指针类型,指向一个数组的开始地址,所以sizeof(a)=4。
Int getlen(int s[100])
{
return sizeof(s);
}
Void main()
{
Int a[5];
Int b=getlen(a);
}
现在getlen会返回什么呢?答案是4 因这里的形参s相当于一个int指针类型,所以是4。
nt getlen(int s[])
{
return sizeof(s);
}
Void main()
{
Int a[5];
Int b=getlen(a);
}
现在getlen会返回什么呢?答案还是4 因这里的形参s相当于一个int指针类型,所以是4。
我们再来看看下面的例子:
Int a[5];
Int* p=a;
现在sizeof(p)是什么呢?我估计大家已经知道了,应该是4, 因为p只是个int指针。看完这个以后我想大家以后在使用sizeof时应该小心点了。
3. 关于基类和子类的一个问题
我们直接来看一下下面例子吧。
class TESTA
{
public:
TESTA()
{
cout<<"test-a"<<endl;
}
~TESTA()
{
cout<<"Ftest-a"<<endl;
}
};
class TESTC:public TESTA
{
public:
TESTC()
{
cout<<"test-c"<<endl;
}
~TESTC()
{
cout<<"Ftest-c"<<endl;
}
};
void main()
{
TESTA *a=new TESTC();
delete a;
}
大家觉得上面会输出什么呢?答案如下:
Test-a
Test-c
Ftest-a
没有输出ftest-c ,大家看到这也大概猜到什么问题了吧,没有执行TESTC类的析构函数。但却执行了TESTC的构造函数。这是很危险的应用。这样的代码说不定会发生什么情况,比如如果我在TESTC类的构造函数里用new分配了一块内存空间,在TESTC的析构函数里通过delete去释放这块内存空间。但现在只执行了构造函数,没执行析构函数,这就会造成在构造函数里分配和内存空间没有释放,引起程序的内存泄漏的问题。这里可能还不止产生内存泄漏的问题,如果很多事放到了TESTC的构造函数里进行初始化或资源的申请工作,在TESTC的析构函数里进行资源释放或其他的恢复工作。就不知会发生什么情况了。
如果现在我改一下代码:
void main()
{
TESTC *a=new TESTC();
TESTA *b=(TESTA*)a;
delete b;
}
这样会是什么结果呢?答案和上面一样。都不会执行子类TESTC的析构函数。所以用基类的指针来指向子类的实例是需要注意的问题。但我们可以做一些修改来避免这样的问题。如下:
class TESTA
{
public:
TESTA()
{
cout<<"test-a"<<endl;
}
virtual ~TESTA()
{
cout<<"Ftest-a"<<endl;
}
};
class TESTC:public TESTA
{
public:
TESTC()
{
cout<<"test-c"<<endl;
}
~TESTC()
{
cout<<"Ftest-c"<<endl;
}
};
void main()
{
TESTA *a=new TESTC();
delete a;
}
在基类的析构涵数前增加virtual关皱字,这样在执行delete a时就会调用子类中的析构函数了。所以在实现基类指针指向子类对象操作时需要特别注意的地方,因为这里有相录的危险性,一不小心就可能造成很严重的问题。