【C语言学习笔记】：数组、指针相关面试题
无特殊说明情况下，下面所有题s目都是linux下的32位C程序。
「1、计算以下sizeof的值。」
char str1[] = {'a', 'b', 'c', 'd', 'e'};
char str2[] = "abcde";char *ptr = "abcde";char book[][80]={"计算机应用基础","C语言","C++程序设计","数据结构"};
sizeof(str1)=?
sizeof(str2)=?
sizeof(ptr)=?
sizeof(book)=?
sizeof(book[0])=?
「分析：」
sizeof(str1)=5，就是5*sizeof(char)=5；
sizeof(str2)=6，字符串都是以'\0'结尾，所以所占字节数为6；
sizeof(ptr)=4，ptr是一个指针，在32位平台上大小为4字节；
sizeof(book)=320，book是一个二维数组，4801
sizeof(book[0])=80，book[0]是第一维数组，因为此80*1
根据sizeof求数组元素的个数也很简单，拿第一个来说，就是sizeof(str1)/sizeof(char)。
「2、上面是求计算他们所占字节数，下面来看看怎么求字符串或数组的实际长度。计算下面strlen值。」
char arryA[] = {'a','b','c','\0','d','e'};
char arryB[] = {'a','b','c','d','e'};
char arryC[6] = {'a','b','c','d','e'};
char *str = "abcde";
「分析：」
strlen(arryA) = 3，strlen遇到'\0'就会返回，无论后面有多少个字符；
strlen(arryB)长度无法确定，没有人为写入‘\0’，strlen会继续计算直到找到结束符，结果未知；
strlen(arryC)=5，指定了数组大小，编译器会自动在空余地方添加'\0'，这其实跟char arryC[6] = {'a','b','c','d','e','\0'};等价。
strlen(str) = 5，不包括结尾的'\0'。
由以上两个我们来看看strlen和sizeof的区别：
（1）、sizeof是C语言中的一个单目运算操作符，类似++、--等；
用于数据类型，sizeof(type)，比如sizeof(int)
用于变量，sizeof(var_name)
注意：sizeof不能用于函数类型、不完全类型或位字段。不完全类型是指具有未知存储大小的数据类型，比如未知存储大小的数组类型、
未知内容的结构体或联合类型，void类型等。例如：sizeof(max)，若此时变量max定义为int max(); sizeof(char_v)，此时char_v
定义为char char_v[MAX]且MAX未知。
（2）、strlen是个函数，其原型为unsigned int strlen(char *s);
streln的计算必须依赖字符序列中的'\0'，通过该字符来判断字符序列是否结束。
「3、忽悠人的char str[]和char *str」
（1）下面的操作合法么？出错的话，会是在那个阶段？编译时期还是运行时期？
char str[] = "hello";
str[0] = 's'; //合法么char *str = "hello";
p[0] = 's'; //合法么
「分析：」
这两个都可以成功编译，只是第二个会在运行时期出现段错误。下面来分析一下：
首先"hello"是一个字符串常量，存储在静态数据区域(data段)，这是在编译时期就确定的。第一个是将字符串常量赋值给了一个变量（全局变量在数据段，局部变量在栈区），实际上是将字符串常量拷贝到了变量内存中，因此修改的只是str[]这个变量的值。
第二个是将字符串常量的首地址赋值给p，对p操作就是对字符串常量进行修改！因此出现了段错误。
（2）理解了上面的知识，判断一下下面的true or false？
char str1[] = "abc";
char str2[] = "abc";const char str3[] = "abc";
const char str4[] = "abc";const char *str5 = "abc";
const char *str6 = "abc";char *str7 = "abc";
char *str8 = "abc";cout << ( str1 == str2 ) << endl;
cout << ( str3 == str4 ) << endl;
cout << ( str5 == str6 ) << endl;
cout << ( str7 == str8 ) << endl;
「分析：」
结果是：0 0 1 1
先理解str1,str2,str3,str4，他们是什么？他们是数组名，也就是数组首元素的地址！”str1 == str2“本质就是比较两个数组的地址是不是相同。上面我们说过，编译器给他们分配了新的存储空间来对字符串"abc"进行拷贝，这些变量在内存里是相互独立的，因此他们的地址肯定不同！
再理解str5,str6,str7,str8，他们是什么？他们是指针，他们的值就是字符串常量的地址！它们都指向“abc"所在的静态数据区，所以他们都相等。
（3）更深一步：下面程序有问题么？有的话问题出在哪里？如何修改？
#include <stdio.h>
char *returnStr()
{char p[]="hello world!";return p;
}
int main()
{char *str = NULL;str = returnStr();printf("%s\n", str);return 0;
}
「分析：」
p是个局部变量，只是把字符串"hello word!"进行了拷贝，该局部变量是存放在栈中的，当函数退出时，栈被清空，p会被释放，因此返回的是一个已经被释放的内存地址，这样做是错误的。
可以进行如下修改：
#include <stdio.h>
char *returnStr()
{char *p = "hello world!";return p;
}
int main()
{char *str = NULL;str = returnStr();printf("%s\n", str);return 0;
}
搜索公众号C语言中文社区，后台回复“资源”，免费获取200G编程资料。
这么写就不会有问题了，因为"hello world!"存放在静态数据区，将该区的首地址赋值给指针p并返回，即使returnStr函数退出，也不会对字符串常量所在的内存进行回收，因此可以访问该字符串常量。
当然了，也可以这么修改：
#include <stdio.h>
char *returnStr()
{static char p[] = "hello world!";return p;
}
int main()
{char *str = NULL;str = returnStr();printf("%s\n", str);return 0;
}
使用关键字static，static修饰的局部变量也会放在data段，即使returnStr函数退出，也不会收回该内存空间。
「4、数组作为函数参数传递」
我们往往会把数组当做函数的入参，看看下面的函数有啥问题：
int func(int a[]){ int n = sizeof(a)/sizeof(int); for(int i=0;i<n;i++) { printf("%d ",a[i]); a[i]++; }
}
结果却发现n的值总是1！为什么会这样呢？这是因为在C中，将数组传递给一个函数时，无法按值传递，而是会自动退化为指针。下面的三种写法其实是等价的：
"int func(int a[20]);" 等价于 "int func(int a[]);" 等价于 "int func(int *a);"。
「5、两数交换的那些坑」
下面代码想实现两数交换，有什么问题么？
void swap(int* a, int* b)
{ int *p; p = a; a = b; b = p;
}
「分析：」
程序在运行到调用函数时，会将参数压栈，并为之分配新的空间，此时传递进来的其实是一个副本，如下图所示：
image
a的值跟b的值都是地址，交换a和b的值，只是把两个地址交换了而已，也就说只是改变了副本的地址而已，地址所指向的对象并没有改变！。
正确的方法应该是这样的：
void swap(int* a, int* b)
{ int tmp; tmp = *a; *a = *b; *b = tmp;
}
a和b虽然也是副本，但是在函数内部通过该地址直接修改了对象的值，对应的实参就跟着发生了变化。
其实，指针传递和值传递的本质都是值传递，值传递是传递了要传递变量的一个副本。复制完后，实参的地址和形参的地址没有任何联系，对形参地址的修改不会影响到实参，但是对形参地址所指向对象的修改却能直接反映在实参中，这是因为形参所指向的对象就是实参的对象。正因如此，我们在传递指针作为参数时，要用const进行修饰，就是为了防止形参地址被意外修改。
「6、函数参数为指针应小心」
下面的代码有什么问题？运行结果会怎么样？
void GetMem(char *p)
{p = (char*)malloc(100);
}void main()
{char *str = NULL;GetMem(str);strcpy(str, "hello word!");printf(str);
}
「分析：」
程序崩溃。在上面已经分析过了，传递给GetMem函数形参的只是一个副本，修改形参p的地址对实参str丝毫没有影响。所以str还是那个str，仍为NULL，这时将字符串常量拷贝到一个空地址，必然引发程序崩溃。下面的方法可以解决这个问题：
void GetMem(char **p)
{*p = (char*)malloc(100);
}void main()
{char *str = NULL;GetMem(&str);strcpy(str, "hello word!");printf(str); free(str); //不free会引起内存泄漏
}
看似有点晦涩，其实很好理解。本质上是让指针变量str指向新malloc内存的首地址，也就是把该首地址赋值给指针变量str。前面我们说过，指针传递本质上也是值传递，要想在子函数修改str的值，必须要传递指向str的指针，因此子函数要传递的是str的地址，这样通过指针方式修改str的值，将malloc的内存首地址赋值给str。
「7、数组指针的疑惑」
（1）说出下面表达式的含义？
int *p1[10];
int (*p2)[10];
第一个是指针数组，首先他是一个数组，数组的元素都是指针。
第二个是数组指针，首先他是一个指针，它指向一个数组。
下面这张图可以很清楚的说明：
image
（2）写出下面程序运行的结果
int a[5] = { 1, 2, 3, 4, 5 };
int *ptr = (int *)(&a + 1);
printf("%d,%d", *(a + 1), *(ptr - 1));
「分析：」
答案是2,5。本题的关键是理解指针运算，”+1“就是偏移量的问题：一个类型为T的指针移动，是以sizeof(T)为单位移动的。
**a+1:**在数组首元素地址的基础上，偏移一个sizeof(a[0])单位。因此a+1就代表数组第1个元素，为2；
&a+1：在数组首元素的基础上，偏移一个sizeof(a)单位，&a其实就是一个数组指针，类型为int()[5]。因此&a+1实际上是偏移了5个元素的长度，也就是a+5；再看ptr是int类型，因此"ptr-1"就是减去sizeof(int*)，即为a[4]=5;
a是数组首地址，也就是a[0]的地址，a+1是数组下一个元素的地址，即a[1]；&a是对象的首地址，&a+1是下一个对象的地址，即a[5]。
「8、二级指针疑问」
给定声明 const char * const *pp;下列操作或说明正确的是？
（A）pp++ （B）(*pp)++ （C）(**pp)=\c\; （D）以上都不对
「分析：」
答案是A。
先从「一级指针」说起吧：（1）const char p ：限定变量p为只读。这样如p=2这样的赋值操作就是错误的。（2）const char p ：p为一个指向char类型的指针，const只限定p指向的对象为只读。这样，p=&a或 p++等操作都是合法的，但如p=4这样的操作就错了， 因为企图改写这个已经被限定为只读属性的对象。
（3）char const p ：限定此指针为只读，这样p=&a或 p++等操作都是不合法的。而p=3这样的操作合法，因为并没有限定其最终对象为只读。（4）const char const p ：两者皆限定为只读，不能改写。再来看「二级指针」问题：（1）const char 「p ：p为一个指向指针的指针，const限定其最终对象为只读，显然这最终对象也是为char类型的变量。故像」p=3这样的赋值是错误的， 而像p=？p++这样的操作合法。
（2）const char * const *p ：限定最终对象和 p指向的指针为只读。这样 *p=?的操作也是错的，但是p++这种是合法的。（3）const char * const * const p ：全部限定为只读，都不可以改写
「9、*p++、 (*p)++、 *++p、 ++*p」
int a[5]={1, 2, 3, 4, 5};
int *p = a;*p++ 先取指针p指向的值（数组第一个元素1），再将指针p自增1；cout << *p++; // 结果为 1cout <<(*p++); // 1(*p)++ 先去指针p指向的值（数组第一个元素1），再将该值自增1（数组第一个元素变为2cout << (*p)++; // 1cout <<((*p)++) // 2
*++p 先将指针p自增1（此时指向数组第二个元素），* 操作再取出该值cout << *++p; // 2cout <<(*++p) // 2++*p 先取指针p指向的值（数组第一个元素1），再将该值自增1（数组第一个元素变为2）cout <<++*p; // 2 cout <<(++*p) // 2