3_Semantic Pitfalls 语义错误
第三章： 语义陷阱
3.1 Pointers and arrays: （指针和数组陷阱）
在C语言中，数组和指针的意义是相互联系的：
1)、C 语言只有一维数组，而且数组的元素个数必须在编译之前用一个定值给出( 静态数组 )；
但是数组中可以包括数组( 即二维数组 )；
2)、事实上，数组只能做两件事情： 声明数组中元素个数 和 得到一个数组的头指针；
而其他的操作，实际上是由指针来完成的；( 尽管有一些看起来是数组实现的！ )
例：
p = a;
a[ i ] = 84; 等价于 *( p + i ) = 84;
1. 数组的声明： int a[ 3 ];
2. 二维数组的声明 : int calendar[ 12 ][ 31 ];
注：
此处表示为 ： calendar 含有十二个数组，而每一个数组中又单独包括31一个元素；
3. 数组名：
除了在 sizeof( ) 中使用之外，数组名都表示指向它所代表的数组的首个元素的地址的指针；
并且当一个指针指向了一个数组之中的元素时：
当指针加 1 时，并不是地址数加 1； 而是指向数组中的下一个元素；
注：
当使用数组名赋值给一个指针时 ： p = a; 是允许的；
但是 ： p = &a; 是错误的！
因为 a 已经表示了地址， 而 &a 表示指向一个数组的指针，但是对于 p 来说，表示一个指向 int类型的指针
4. 数组名在 sizeof 中的使用：
对于一般情况下，数组名既代表了首个元素的地址的指针；
但是对于 sizeof(a) 其表示的是：整个数组元素的大小，而非一个指针的大小！
5. 二维数组与指针：
对于二维数组 ： int calendar[ 12 ][ 31 ]; 那么 calendar[ 4 ]的取值为如何呢？
事实上，calendar[ 4 ] 是一个包括了 31 个 int 元素的一位数组；
所以我们可以有：
int *p; p = calendar[ 4 ];
或者：
int i; i = calendar[4][7]; equals to i = *( *（calendar + 4） + 7 );
注：
对于 p = calendar; 这个语句是错误的，因为 calendar 是一个指向 数组的指针，而 p 是一个指向 int 的；
例： 清除一个由二位数组表示的日历：
int month;
for(month = 0; month < 12; month++)
{
int day;
for( day = 0; day < 31; day++ )
{
calendar[month][day] = 0;
}
}
当利用指针来表示的时候，我们可以有：
int (*monthp) [31];
for( monthp = calendar ; monthp < &calendar[12] ; monthp++ )
{
int *dayp;
for( dayp = *monthp; dayp < &monthp[31]; dayp++ )
{
*dayp = 0;
}
}
3.2 Pointers are not arrays : （指针不完全等于数组）
在C语言中， 对于一个字符串，在最末尾会自动加上一个 ‘\0’；这可能出现很多问题：
1. 我们有两个字符串 ： s 和 t ，并且我们期望能把它们合并成一个字符串 r；
1):考虑方法：
char *r;
strcpy(r,s);
strcat(r,t);
则会产生错误： 因为在使用 r 时，r 没有指向任何被分配的空间区域！
2):修改：
char r[1000];
strcpy(r,s);
strcat(r,t);
即： 将 r 分配一段连续的空间，并指向首元素；但此时 空间仍然有容量限制！
3):再次修改：( 使用malloc 函数 )
char *r，*malloc();
r = malloc( strlen(s) + strlen(t) );
strcpy( r,s );
strcat( r,t );
这个程序仍旧错误： 首先：malloc 可能无法分配足够的空间而返回一个 NULL指针；
其次：在使用结束后，要使用 free 来释放空间！
第三：这个malloc语句没有提供足够的空间！！
对于函数 strlen ，在计算字符串长度的时候，是不计算 '\0' 的空间的；
所以： 当 strlen(s) 取值为 n 时， 实际需要的存储空间为 n + 1；
4):最终方案：
char *r, *malloc( ) ;
r = malloc( strlen(s) + strlen(t) + 1 ); // 对应错误3
if( !r ) // 对应错误1；
{
complain();
exit(1);
}
strcpy(r,s);
strcat(r,t);
...............
free(r); // 对应错误2；
3.3 Array declarations as parameters : （数组与参量陷阱）
在C语言中，我们无法直接在函数中引用整个数组，但是我们可以通过数组名的方式引入指针:
例：
char hello[ ] = "hello";
printf( "%s\n ", hello ); equals to printf( "%s\n" , &hello[0] );
对于形参，我们有：
int strlen( char s[ ] ) equals to int strlen( char *s );
注: 对于：
extern char *hello; defferent from extern char hello[ ];
3.4 Eschew synecdoche : （避免代换）
对于两个指向同一个存储空间的指针相互赋值，其指向的存储空间并不会被复制！
3.5 Null pointers are not null strings : （空指针不是空字符串！）
当给一个指针直接赋值常量时，通常是与实现功能无关的，但是要注意给指针赋值 0；
通常我们有： #define NULL 0
即将某个指针变为空指针；！
此时，在使用空指针的时候，一定要注意：
Not ask what is in the memory it addresses！
例如：
对于： if( p == ( char *) 0 ) 是允许的！
但是对于： if( strcmp( p , ( char *) 0 ) == 0 ) 是非法的，因为函数 strcmp 要寻找 p 的指向区域！