首页 > 代码库 > [C++] memset 和sizeof 的使用注意
[C++] memset 和sizeof 的使用注意
因为使用C++写小题目时经常需要清除数组,这里记录下Memset函数的sizeof运算符的使用注意。
memset的特点是:将给定地址后连续的内存(包括给定地址),逐个byte初始化为参数中指明的值。
因为是逐byte初始化,所以memset一般只用来清空(赋值为0)
如果不赋值为0,结果是什么呢?假设对于int A[],如果使用memset(A, 1, sizeof(A)),那么数组A的每一个值会被初始化为0x01010101
正因为如此,一般只会出现 memset(A, 0, sizeof(A))
对于堆区分配的数组,int *A = new int[N], memset(A, 0, sizeof(A[0])*N) 也可以达到效果,但要注意,这里第三个参数不能使用sizeof(A),而要指明byte数。
要想知道原因,需要知道sizeof 运算符的作用。它返回的是“占用的栈空间字节数”。如果数组用int A[N]的形式申明,那么sizeof(A)返回的是整个A数组的占用byte数。如果用int *A = new int[N],sizeof(A)返回的依旧是一个int *所占用的byte数,也就是说,32位编译器会返回 4,64位编译器会返回8。需要注意的是,对于两种编译器,sizeof作用在int *才会有区别,而sizeof(int) 或者 sizeof(a) (a是一个申明为int的参数) 在两种编译器上都返回4。
下面是一个测试程序。编译环境为gcc 4.8.2 64-bit
int *B; int b; cout << "sizeof B: " << sizeof(B) << endl; //8,因为我的编译器是64-bit cout << "sizeof b: " << sizeof(b) << endl; //4,无论32-bit还是64-bit编译器,int所占字节数都是4 B = new int[5]; B[4] = 7; B[3] = 6; B[2] = 5; B[1] = 3; B[0] = 1; cout << "-------B---------\n"; for(i = 0; i < 5; ++i) cout << B[i] << ‘ ‘; //1 3 5 6 7 cout << endl; memset(B, 0, sizeof(B)); for(i = 0; i < 5; ++i) cout << B[i] << ‘ ‘; // 0 0 5 6 7 因为B 占了8字节,所以前8 byte置0 cout << endl; int C[3]; C[2] = 6; C[1] = 4; C[0] = 2; cout << "\n--------C--------\n"; cout << "size of C: " << sizeof(C) << endl; //12,返回数组所占用的字节数 for(i = 0; i < 3; ++i) cout << C[i] << ‘ ‘; //2 4 6 cout << endl; memset(C, 0, sizeof(C)); for(i = 0; i < 3; ++i) cout << C[i] << ‘ ‘; //0 0 0 cout << endl;
知道了上面的原理,我们来看看二维数组的初始化。
int A[2][3] 对于这样的定义方式,我们依然可以通过memset(A, 0, sizeof(A))来完成对整个二维数组的初始化,因为这种方式申明的二维数组本质上还是一维排列。
如果是int **A,然后动态申明一个2*3的二维数组呢?我们可以像上面一样,通过 memset(A, 0, sizeof(A[0][0])*2*3) 来完成二维数组的初始化吗?
答案自然是不行。
动态分配的一维数组之所以依然能用Memset(虽然第三参数要指明byte数)来完成赋值,因为在堆区,一维数组的成员依然是连续排列。
而动态分配的二维数组中的int成员在堆区还是连续排列的吗?当然不是,既然不是,memset就不能得到想要的结果了。那实际结果是啥?memset会清空存放二级指针的连续内存,附带清除些别的内存区域。之后只要访问诸如A[0][1]之类的都会引发内存错误,因为二维数组的结构已经被破坏。
高维数组在初始化时的注意类似于二维数组,这里就不再赘述了。
[C++] memset 和sizeof 的使用注意