C语言之陷阱与缺陷详解

目录
  • 一、前言
  • 二、字符指针
  • 三、边界计算与不对称边界
    • 1.经典错误①
    • 2.经典错误②
    • 3、小结
  • 四、求值顺序
  • 五、运算符&& ||和！
  • 总结

一、前言

二、字符指针

结论一：复制指针并不会复制指针所指向的内容。两个指针所指向位置相同，实际为同一个指针。

结论而：开辟两个数组，即使两个数组内容相同，地址也绝不相同。

三、边界计算与不对称边界

1.经典错误①

int main()
{
	int i = 0; int arr[10] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 0 };
	for (i = 0; i < 13; i++)
	{
		arr[i] = 0;
		printf("haha");
	}
	return 0;
}

计算的结果是程序陷入死循环

分析：

1.栈区默认先使用高地址，再使用低地址

2.数组内元素随下标增长，地址由低到高变化

调试后即可发现，i与arr[9]的地址相差3字节，所以i即为实际不存在的arr[12].

[补充知识：ANSI c标准允许这种用法——数组中溢界元素的地址位于数组所占内存之后，这个地址可以进行赋值和比较，但是不能解引用（若是数组之前存在溢界则语法不允许）]

2.经典错误②

十米长的围栏每一米就需要一根栏杆支撑，则共需要几根栏杆？                               11

3、小结

栏杆问题你若不假思索可能会回答为10。栏杆问题的根源正是加减一带来的困惑

对此我们坚持以下原则

原则一：考虑最简单的特例（如考虑20到10间有几个数，20-10还要+1吗。不妨考虑10到10有几个数）

原则二：仔细计算边界

而在实际编程中，一个编程技巧则可以"一言以蔽之"，即不对称边界。

x>=0 && x<16  要优于 x>=0 && x<=15

不对称边界上界-下界就是之间所包含的数。

四、求值顺序

总结：c语言中只有四个运算符（&& ；|| ；?: ；，）明确规定了求值顺序

&&和||先对左边求值，只在需要时对右边求值：

if(y!=0 && x/y>a)

如此避免除0错误。

特别注意，赋值操作符不保证任何求值顺序，即使考虑了优先级和结合性，也会有意想不到的错误

int i=0;
while(i<n)
{
    y[i]=x[i++]
}

对于以上的代码，就不能确定y是否在i自增之前求值。

问题代码1：c+--c（我们可以根据"大嘴法"判断为c+（--c）)，但c自增的先后不得而知）

问题代码2：int a=(++i)+(++i)+(++i)  (同理)

问题代码3：answer=func()-func()*func()    (我们不知道哪个func被先调用)

五、运算符&& ||和！

这三种运算符返回值都为0或1。在结果为真是返回1，结果为假是返回0。

考虑一下代码，其功能是查询表中一个特定元素

int i = 0;
while (i < tabsize && tab[i] != x)
{
	i++;
}

现分析将&&替换成&仍然能"正常工作"的原因。

原因一：只要xy的值都限制在0~1,x&&y和x&y的结果始终相同。

原因二：数组结尾之后的下一个元素，只要不改变他的值而仅仅是读取，没有什么大的危害

原因三：不同与&&的求值顺序，&要求两边都要被求值

如果tabsize大小等于tab中元素的个数，即使i=tabsize后还会继续查找下去，陷入死循环

总结

本篇文章就到这里了，希望能够给你带来帮助，也希望您能够多多关注我们的更多内容！

赞 (0)

相关推荐

  • C语言 语义陷阱超详细梳理总结

    目录 1 指针与数组 2 非数组的指针 3 作为参数的数组声明 4 空指针并非空字符串 5 边界计算与不对称边界 6 求值顺序 7 整数溢出 8 为函数提供返回值 1 指针与数组 C语言中只有一维数组.数组中的元素可以是任意类型的对象,这也是多维数组构建的理论基础所在 对于一个数组,我们只能做两件事:确定该数组的大小以及获得该数组下标为0的元素的指针.任何一个数组下标运算都等同于一个对应的指针运算. 数组名代表首元素的地址,无法对其进行++或者–操作,换句话说,我们无法改变数组名(表示的值),因

  • C语言陷阱与缺陷之数组越界访问详解

    C语言陷阱与缺陷之数组越界访问详解

    目录 1.问题引入 2.问题分析 (1)理论分析 (2)调试验证 总结 1.问题引入 一道经典的笔试题来了,请做好准备!!! 试问以下代码在Visual studio 2019环境下执行结果?原因? #include <stdio.h> int main() { int i = 0; int arr[10] = {0}; for(i=0; i<=12; i++) { arr[i] = 0; printf("Hello World!\n"); } return 0; }

  • C语言：陷阱与缺陷详解

    C语言：陷阱与缺陷详解

    目录 一.前言 二.字符指针 三.边界计算与不对称边界 1.经典错误① 2.经典错误② 3.小结 四.求值顺序 五.运算符&& ||和! 总结 一.前言 二.字符指针 结论一:复制指针并不会复制指针所指向的内容.两个指针所指向位置相同,实际为同一个指针. 结论而:开辟两个数组,即使两个数组内容相同,地址也绝不相同. 三.边界计算与不对称边界 1.经典错误① int main() { int i = 0; int arr[10] = { 1, 2, 3, 4, 5, 6, 7, 8, 9,

  • C语言之陷阱与缺陷详解

    C语言之陷阱与缺陷详解

    目录 一.前言 二.字符指针 三.边界计算与不对称边界 1.经典错误① 2.经典错误② 3.小结 四.求值顺序 五.运算符&& ||和! 总结 一.前言 二.字符指针 结论一:复制指针并不会复制指针所指向的内容.两个指针所指向位置相同,实际为同一个指针. 结论而:开辟两个数组,即使两个数组内容相同,地址也绝不相同. 三.边界计算与不对称边界 1.经典错误① int main() { int i = 0; int arr[10] = { 1, 2, 3, 4, 5, 6, 7, 8, 9,

  • C语言 sockaddr和sockaddr_in案例详解

    C语言 sockaddr和sockaddr_in案例详解

    struct sockaddr 和 struct sockaddr_in 这两个结构体用来处理网络通信的地址. 一.sockaddr sockaddr在头文件#include <sys/socket.h>中定义,sockaddr的缺陷是:sa_data把目标地址和端口信息混在一起了,如下: struct sockaddr { sa_family_t sin_family;//地址族 char sa_data[14]; //14字节,包含套接字中的目标地址和端口信息 }; 二.sockaddr_

  • Go语言Goroutinue和管道效率详解

    目录 goroutinue基本介绍 进程和线程说明 并发和并行 同步和异步 Go协程和Go主线程 go协程特点 goroutinue基本使用 实验代码 效果图 执行流程图 goroutinue的调度模型 MPG MPG运行状态1 MPG运行状态2 管道(channel) 不同协程之间如何通讯 全局变量加锁同步缺陷 管道基本介绍 管道基本使用 声明和定义 管道关闭和遍历 关闭 遍历 管道注意事项 综合案例 goroutinue基本介绍 进程和线程说明 进程介绍程序在操作系统中的一次执行过程,是系统

  • C语言 指针与数组的详解及区别

    C语言 指针与数组的详解及对比 通俗理解数组指针和指针数组 数组指针: eg:int( *arr)[10]; 数组指针通俗理解就是这个数组作为指针,指向某一个变量. 指针数组: eg:int*arr[10]; 指针数组简言之就是存放指针的数组: --数组并非指针&&指针并非数组 (1)定义一个外部变量: eg:int value=10; int *p=&value; 举例:当需要在一个函数中用这个变量时:externa int*p;而非extern int p[]; 分析:当用:e

  • C语言动态内存分配的详解

    C语言动态内存分配的详解 1.为什么使用动态内存分配 数组在使用的时候可能造成内存浪费,使用动态内存分配可以解决这个问题. 2. malloc和free C函数库提供了两个函数,malloc和free,分别用于执行动态内存分配和释放. (1)void *malloc(size_t size); malloc的参数就是需要分配的内存字节数.malloc分配一块连续的内存.如果操作系统无法向malloc提供更多的内存,malloc就返回一个NULL指针. (2)void free(void *poi

  • C语言memset函数使用方法详解

    C语言memset函数使用方法详解 一.函数原形   void *  memset(void*s, int ch,size_t n) 二.函数作用  将以s内存地址为首的连续n个字节的内容置成ch,一般用来对大量结构体和数组进行清零 三.常见错误 1.搞反了 ch 和 n的位置 对char[20]清零,一定是 memset(a,0,20); 2.过度使用memset 3.其实这个错误严格来讲不能算用错memset,但是它经常在使用memset的场合出现 int fun(strucy someth

  • C/C++语言宏定义使用实例详解

     C/C++语言宏定义使用实例详解 1. #ifndef 防止头文件重定义 在一个大的软件工程里面,可能会有多个文件同时包含一个头文件,当这些文件编译链接成 一个可执行文件时,就会出现大量"重定义"的错误.在头文件中实用#ifndef #define #endif能避免头文件的重定义. 方法:例如要编写头文件test.h 在头文件开头写上两行: #ifndef TEST_H #define TEST_H //一般是文件名的大写 头文件结尾写上一行: #endif 这样一个工程文件里同时

  • Java语言实现数据结构栈代码详解

    近来复习数据结构,自己动手实现了栈.栈是一种限制插入和删除只能在一个位置上的表.最基本的操作是进栈和出栈,因此,又被叫作"先进后出"表. 首先了解下栈的概念: 栈是限定仅在表头进行插入和删除操作的线性表.有时又叫LIFO(后进先出表).要搞清楚这个概念,首先要明白"栈"原来的意思,如此才能把握本质. "栈"者,存储货物或供旅客住宿的地方,可引申为仓库.中转站,所以引入到计算机领域里,就是指数据暂时存储的地方,所以才有进栈.出栈的说法. 实现方式是

  • 易语言的输入字类型详解

    在程序中书写输入字时,可以使用一个半角符号来引导该输入字,以指定其类型.各输入字的类型引导符号为: 首拼及全拼输入字: 分号(";") 如: ;qz(1.23) 或 ;quzheng(1.23) 双拼输入字: 冒号(":") 如: :quvg(1.23) 英文输入字: 单引号(" '") 如: 'int(1.23) 系统具有一个当前默认输入法状态,如果某输入字前没有加上类型引导符号,则默认是属于该输入法的输入字.系统安装完毕后,当前默认输入法为&

随机推荐