C语言陷阱二

柔情只为你懂 2022-04-06 13:21 245阅读 0赞

1、sizeof的返回值类型为unsigned 类型；

int array[]={ 23,24,25,16,13,205,99};
    #define TOTAL_ELEMENTS (sizeof(array)/sizeof(array[0]))
    
    main()
    { 
    	int d=-1;
    	/*...*/
    	if(d <= TOTAL_ELEMTNHTS-2)
    	{ 
    		x=array[d+1];
    	}
    	/*...*/
    }

注：TOTAL\_ELEMTNHTS在此处所定义的值是unsigned int类型，***因为sizeof的返回值类型为unsigned 类型***，if语句在singed int 和 unsigned int 之间测试相等性，故d被升级为unsigned int 类型，-1转换成unsigned int 类型的结果是一个非常大的数字，使得表达式的值为假；从而出现神秘BUG；

解决办法：

if(d <= （int）TOTAL_ELEMTNHTS-2)
    	{
    		x=array[d+1];
    	}

建议：  
尽量不要使用无符号类型，以免增加不必要的复杂性；尽量使用像int那样有符号类型，这样在涉及到升级混合类型的复杂细节时，不必担心边界情况（如-1将被翻译成非常大的正数）；只有在使用位段和二进制掩码时，才可以使用无符号类型数据，且在表达式中使用强制类型转换，使得操作数均为无符号数，这样就不必由编译器来选择结果的类型。

2、pragma指示符陷阱  
在ANSIC标准下，引入pragma指示符，\#pragma用于向编译器提示一些信息，例如希望把某个特定函数扩展为内联函数，或者取消边界检查等。但是 ***Linux中gcc编译器对此进行了抵制***，在GNU C预处理器中，一旦遇见\#pragma指令，首先运行“rogue”游戏，如果失败运行“hack”游戏，如果失败运行“汉诺塔”游戏，如果失败则报告一个致命错误，结束程序的编译。

3、NUL与NULL  
NUL用于结束一个ACSII字符串；  
NULL用于表示空，（\#define NULL 0）一般用来定义一个空指针；

int *p=NULL；

4、switch语句中的break

network_code()
    { 
    	switch(line)
    	{ 
    		case 1:
    		doit1();
    		break;
    		case 2:
    		if(x==STUFF)
    		{ 
    			if(y==OTHER_STUFF)
    			{ 
    				break;
    			}
    			do_late_stuff();
    		}/*代码的意图是调到这里*/
    		initialize_modes_pointer();
    		break;
    		default:
    			processing();
    	}/*事实上跳到了这里*/
    	use_modes_pointer();/*导致modes_pointer没有初始化*/
    }

***break语句事实上跳出的是最近的那层循环语句或switch语句，而不是跳出if语句。***

5、typedef与\#define陷阱  
typedef 所声明的类型前面不能够有修饰符，但是宏定义所定义的类型前面可以有：

#define peach int
    unsigned peach i;/*正确*/
    typedef int peach；
    unsigned peach i;/*错误*/

6、数组并非指针：  
声明一个int类型的指针：`extern int *x;`  
声明一个int类型的数组：`extern int y[];`  
文件1中：`int mango[100];`  
文件2中：`extern int *mango;···;/*一些引用mango[i]的地方*/`  
文件1和文件2的陷阱在于：数组的定义等同于指针的外部声明这种潜意识错误，就相当于下面的操作：  
文件1中：`int guava;`  
文件2中：`extern float guava;`

定义仅只有一次，声明可以有很多次；在一个文件中定义：`int array[10];`在其他很多文件中都可以声明`extern int array[];`  
注1：  
***声明相当于普通的声明，它所说明的并非自身，而是描述其他地方创建的对象；  
定义相当于特殊的声明：它为对象分配内存；***  
注2：  
***extern对象声明在告诉编译器对象的类型和名字，对象的内存分配则在别处进行。由于并未在声明中为数组分配内存，所以并不需要提供关于数组的长度信息。但是，对于多维数组，需要提供除左边一维之外的其他维的长度-----这是为了给编译器足够的信息产生相应的代码；***

7、类型提升

char c1,c2;
    c1=c1+c2;

此处c1和c2被提升为int类型，然后对两个int值进行加法运算，然后在对运算结果进行裁剪；

float f1,f2;
    double d;
    f1=f2*d;

下表列出常见的类型提升:

<table> 
 <thead> 
  <tr> 
   <th>源类型</th> 
   <th>通常提升后的类型</th> 
  </tr> 
 </thead> 
 <tbody> 
  <tr> 
   <td>char</td> 
   <td>int</td> 
  </tr> 
  <tr> 
   <td>unsigned char</td> 
   <td>int</td> 
  </tr> 
  <tr> 
   <td>enum</td> 
   <td>int</td> 
  </tr> 
  <tr> 
   <td>short</td> 
   <td>int</td> 
  </tr> 
  <tr> 
   <td>unsigned short</td> 
   <td>int</td> 
  </tr> 
  <tr> 
   <td>float</td> 
   <td>double</td> 
  </tr> 
  <tr> 
   <td>数组</td> 
   <td>相应类型的指针</td> 
  </tr> 
 </tbody> 
</table>

整型提升就是 char、short以及枚举类型将被提升为int，前提是int能够完整地容纳原先的数据，否则将被提升到unsigned int；

函数的形参也是这种道理，如果向函数传递一个短于int的整数，函数实际上接收到的是int类型；如果传递的是float类型，函数实际接收到的是double类型，在被调用函数的函数体内，这些值会根据函数定义时参数的声明类型自动裁剪为该类型。

8、数组与指针相同的情况：  
（1）表达式中的数组名（与声明不同）被编译器当做一个指向该数组第一个元素的指针；  
（2）下标总是与指针的偏移量相同；  
（3）在函数参数的声明中，数组名被编译器当做指向该数组第一个元素的指针；

eg：对数组下标的引用总是可以写成“一个指向数组的起始地址的指针加上偏移量”。  
int a\[10\],\*p,i=2;  
可以通过下面访问a\[i\]：

p=a;p[i];
    
    p=a;*(p+i);
    
    p=a+i;*p

9、多维数组在内存的存放方式  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2Jhb2JpbmdqaQ_size_16_color_FFFFFF_t_70]

10、数组参数的地址和数组参数的第一个元素的地址不一样

#include <stdio.h>
    
    char ga[]="abcdefghijklmn";
    
    void array_func(char ca[10])
    { 
        printf(" addr of array param = %#x \n",&ca);
        printf(" addr of ca[0] param = %#x \n",&(ca[0]));
        printf(" addr of ca[1] param = %#x \n",&(ca[1]));
    }
    
    void point_func(char *pa)
    { 
        printf(" addr of point param = %#x \n",&pa);
        printf(" addr of pa[0] param = %#x \n",&(pa[0]));
        printf(" addr of pa[1] param = %#x \n",&(pa[1]));
    }
    
    int main(int argc, char *argv[])
    { 
        printf(" addr of global array param = %#x \n",&ga);
        printf(" addr of ga[0] param = %#x \n",&(ga[0]));
        printf(" addr of ga[1] param = %#x \n",&(ga[1]));
        printf(" ------------------------------- \n");
        array_func(ga);
        printf(" ------------------------------- \n");
        point_func(ga);
        return a.exec();
    }

![在这里插入图片描述][20181211223033594.png]

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2Jhb2JpbmdqaQ_size_16_color_FFFFFF_t_70]: /images/20220406/484d43a469e746dabab83d09ff9009f3.png
[20181211223033594.png]: /images/20220406/442e90f0ff174669a36f41186b42f306.png