C Review

This article is a bit old and the content may be outdated, so please refer to it with caution and remember to check the latest official materials (such as documentation, etc.)

计概基础知识复习手记

函数 #

函数不能嵌套定义 #

函数改变指针所指变量 #

调用函数不可能改变实参指针变量的值，但可以改变实参指针变量所指变量的值。

swap(int *p1,int *p2)
{
    int *p;
    p=p1; p1=p2; p2=p;
}

和

swap(int *p1,int *p2)
{
    int t;
    t=*p1; *p1=*p2; *p2=t;
}

的区别

++

a++错，a是数组首地址，是常量，不能++。

函数p中a++正确，a其实为指针变量 main()中a++错，数组头地址为常数

指针初始化 #

swap(int *p1,int *p2)
{
    int *temp;
    *temp=*p1;
    *p1=*p2;
    *p2=temp;
}

多维数组与指针 #

一点提示 #

&a[1]只是地址的一种计算方法，不要简单理解为a[1]的物理地址，因不存在变量a[1]。

理解指针－数组传递 #

void average(float *p, int n);
void search(float (*p)[4], int n);
main()
{
    float score[3][4] = {{65, 67, 70, 60},
                         {80, 87, 90, 81},
                         {90, 99, 100, 98}};
    average(*score, 12);
    search(score, 2);
}

score 看成一维数组，则*score就是获得该数组的第一个元素。由于二维数组，第一个元素还是数组。 average(*score,12)就相当于传一个数组进去。与float *p相符。

而float (*p)[4]是 a pointer to array of 4 float， score本身一维数组就等同于指针，指向第一个数组元素。故这两个是相符的。

指针与字符串 #

常量区？ #

有家可归的字符串视为一般变量，直接呆在“家”里（栈 stack），无家可归的字符串常量呆在常量区（全局、静态区 data）。

Image from https://www.geeksforgeeks.org/memory-layout-of-c-program/

有无static相同

char *day_name(int n)
{
    static char *name[] = {
        "Illegal day", "Monday",
        "Tuesday", "Wednesday",
        "Thursday", "Friday",
        "Saturday", "Sunday"};
    return((n<1||n>7) ? name[0] : name[n]);
}

有无static不相同,有：可正确打印；无：打印值有时不对

char *day_name(int n)
{
    static char name[][20] = {
        "Illegal day", "Monday",
        "Tuesday", "Wednesday",
        "Thursday", "Friday",
        "Saturday", "Sunday"};
    return ((n < 1 || n > 7) ? name[0] : name[n]);
}

对字符指针及字符数组赋初值 #

char *a="I love China!";
/* == */
char *a;
a="I love China";

char str[14]="I love China!";
/* != */
char str[14];
str = "I love China!"; 
/* 错误：将‘const char [1]’赋值给‘char [14]’时类型不兼容 */

位运算 #

交换两个值，不用临时变量 #

a = a ^ b;
b = b ^ a;
a = a ^ b;
/*
b = b ^ (a ^ b) = a ^ b ^ b = a ^ 0 = a
a = (a ^ b) ^ a = a ^ a ^ b = 0 ^ b = b
*/