什么让你对C/C++如此恐惧?

晦涩的语法?还是优秀IDE的欠缺?

我想那都不是问题,最多的可能是一个类似这样的错误:

段错误(Segmentation fault)

这是新手无法避免的错误,也是老手极力回避也经常遇到的错误。

本篇,试图简略地剖析一段会引发这个错误的程序,带来一些启发。

先看两份代码,一份是错误的.

错误代码

#include "string.h"
#include <stdlib.h>
#include <stdio.h> void func1(char ** dest,char * src,int n) {
(*dest) = (char*)malloc(sizeof(char)*n);
strcpy(*dest,src); } int main(int argc,char** args) {
char ** p = NULL;
char str[] = "foreach_break";
int len = sizeof(str);
printf("%d\n",len);
func1(p,str,len);
printf("%s\n",*p);
free(p);
p = NULL;
}

正确代码

#include "stdio.h"
#include "string.h"
#include "stdlib.h" void func1(char ** dest,char * src,int n) {
(*dest) = (char*)malloc(sizeof(char)*n);
strcpy(*dest,src); } int main(int argc,char** args) {
char * p = NULL;
char str[] = "foreach_break";
int len = sizeof(str);
printf("%d\n",len);
func1(&p,str,len);
printf("%s\n",p);
free(p);
//p = NULL;
}

代码意图来自技术问答中的一个huffman树不能运行的问题。

当然,我剥离掉了大部分关于huffman的部分,并稍加改动。

它们最大的不同:

错误代码:

char ** p = NULL;
func1(p,str,len);

正确代码:

char * p = NULL;
func1(&p,str,len);

也许你会奇怪,你看到“正确”的代码中居然注释了这行:

//p = NULL;

参数传递

同时,可能有人会觉得指针char ** p向函数func1传递*p,与指针char * p向函数func1传递&p没什么不同啊?

嗯。这种想法也很有惯性,因为C语言没有类似这样的函数声明:

void func(int &)



同时,对char * p&p操作不也得到个char **吗?

运行程序

那么,我们看看程序自己怎么说?

如果你经常遇到段错误,希望你仔细看明白上面的图在说什么。

野指针

所谓野指针,就是很野的指针,你不知道它指向了哪个地址,也不知道对这个地址取值是否会出错,但,野指针也是指针,有一个存放它的内存地址.

正确的代码中,存放指针p的地址是0x7fffffffddc0;

错误的代码中,存放指针p的地址是0x7fffffffdd78

零指针

所谓零指针,就是指向了0x0的指针.对这个0x0取值是否会出错呢?你想一想.

悬浮指针

你对于在正确的程序中注释了p = NULL而感到不解?

其实这没什么,取决于这个指针p在后续代码中怎么使用.

free(p);

这句代码的执行,会释放掉指针p所指向的内存地址,归还给操作系统.

当然前提是这个地址确有所指、你也有权访问它.

p = NULL;

这句代码的执行,是让指针p指向了0x0,变回了空指针.

虽然它指向的内存已经被释放,但是它还指向那个地址.

这就是悬浮指针,指向的地址已经不可用确还指向,就不是确有所指.

由于我们的main函数即将执行完毕,所以在它返回后,存放空指针p的地址会被释放.

因为指针pmain函数的一个临时变量.

所以我们可以毫无顾虑的注释掉p = NULL.

内存泄露

另外,如果free(p)没有被执行,而先执行了p = NULL,那么p原来指向的内存空间可能就无法被正确释放,如果再也没有其它的引用指向了那块地址,那块地址就被遗忘在那里,同时不能被回收.

这个,叫内存泄露 (Memory Leak).

接着看程序

现在,我们来看看函数func1的调用。

首先,是C代码:

然后是两段代码的对比:

你应该已经看出了差别。

错误的代码的dest参数传入了0x0.

接着是执行:

(*dest) = (char*)malloc(sizeof(char)*n);

这句代码在进行(*dest)时就会发生段错误.

究其原因,就在于char ** p = NULLp变成了零指针,*p相当于对0x0这个地址取值.

应用程序启动时,操作系统会建立一个进程(process),这个进程拥有自己独立的地址空间,称作虚拟地址空间(virtual memory space).

0x0在这个空间中,不能被访问.

试图访问一个不能被访问的空间,就会段错误.

总结

段错误的一种,我们探索完毕.

现在你知道以下两种操作的含义了吗?

/* p指向的地址,对其取值,如果这个地址有东西,也有权取,没问题.*/
char ** p -> *p; (1)
/* 存放p的地址,或者指向p的引用,这个地址必然有东西,所以没问题*/
char * p -> &p (2);

本篇结束.

你的C/C++程序为什么无法运行?揭秘Segmentation fault (1)的更多相关文章

  1. 你的C/C++程序为什么无法运行?揭秘Segmentation fault (2)

    什么让你对C/C++如此恐惧? 本篇将继续上一篇来讨论段错误(Segmentation fault). 上一篇: 你的C/C++程序为什么无法运行?揭秘Segmentation fault(1) 追溯 ...

  2. 你的java/c/c++程序崩溃了?揭秘段错误(Segmentation fault)(3)

    前言 接上两篇: 你的C/C++程序为什么无法运行?揭秘Segmentation fault (1) 你的C/C++程序为什么无法运行?揭秘Segmentation fault (2) 写到这里,越跟 ...

  3. C#如何防止程序多次运行的技巧

    一.使用互斥量Mutex弄懂了主要的实现思路之后,下面看代码实现就完全不是问题了,使用互斥量的实现就是第四点的思路的体现,我们用为该程序进程创建一个互斥量Mutex对象变量,当运行该程序时,该程序进程 ...

  4. iOS开发小技巧--iOS程序进入后台运行的实现

    iOS程序进入后台运行的实现 视频中看到老师用的iOS7,代码中有开启timer,无限请求数据的功能,但是切换到后台,代码就不打印了 自己用的iOS9,进入后台还是可以打印的,再次进入前台也可以正常运 ...

  5. 配置ASP.NET Web应用程序, 使之运行在medium trust

    这文章会向你展示, 怎么配置ASP.NET Web应用程序, 使之运行在medium trust.   如果你的服务器有多个应用程序, 你可以使用code access security和medium ...

  6. WPF 设置程序开机自动运行(+注册表项)

    #region 设置程序开机自动运行(+注册表项) RegistryKey rgkRun = Registry.LocalMachine.OpenSubKey("SOFTWARE\\Micr ...

  7. 【转】delphi程序只允许运行一个实例的三种方法:

    一.        创建互斥对象 在工程project1.dpr中创建互斥对象 Program project1 Uses Windows,Form, FrmMain in 'FrmMain.pas' ...

  8. inno安装卸载时检测程序是否正在运行卸载完成后自动打开网页-代码无效

    inno安装卸载时检测程序是否正在运行卸载完成后自动打开网页-代码无效 inno setup 安装卸载时检测程序是佛正在运行卸载完成后自动打开网页-代码无效 --------------------- ...

  9. .NET概念:.NET程序编译和运行

    .NET概念:.NET程序编译和运行 分类: c#程序设计 2012-02-29 15:46 3001人阅读 评论(2) 收藏 举报 .net编译器语言microsoftassemblyvb.net ...

随机推荐

  1. [NOI2007]货币兑换 「CDQ分治实现斜率优化」

    首先每次买卖一定是在某天 $k$ 以当时的最大收入买入,再到第 $i$ 天卖出,那么易得方程: $$f_i = \max \{\frac{A_iRate_kf_k}{A_kRate_k + B_k} ...

  2. java中Cookie使用问题(message:invalid character [32] was present in the Cookie value)

    1. 问题描述 Servlet中执行下面一段代码: public void doGet(HttpServletRequest request, HttpServletResponse response ...

  3. Vue项目实现excel导出

    1.package.json里面安装三个插件 npm install  xlsx  --save npm install  script-loader  –save-dev npm install   ...

  4. BatchNorm caffe源码

    1.计算的均值和方差是channel的 2.test/predict 或者use_global_stats的时候,直接使用moving average use_global_stats 表示是否使用全 ...

  5. 基于gRpc的远程服务框架

    作为一个新搭建的软件团队,底层技术尤为重要.为了以后更好的面向不同的项目需求,满足不断变化的需求,决定着手搭建一套RPC系统.为了更好的兼容以后部门其他语言的使用,选择了开源框架gRpc. gRpc ...

  6. MySQL学习笔记:definer与sql security

    在以下例子中,出现definer于sql security invoker,导致不解,遂学习一翻. # 创建存储过程 DELIMITER $$ CREATE DEFINER = Hider@local ...

  7. 矩阵链乘(UVa 442)

    结构体 struct matrix 用来保存矩阵的行和列: map<string,matrix> 用来保存矩阵名和相应的行列数: stack<string> 用来保存表达式中遇 ...

  8. .NET异步多线程,Thread,ThreadPool,Task,Parallel,异常处理,线程取消

    今天记录一下异步多线程的进阶历史,以及简单的使用方法 主要还是以Task,Parallel为主,毕竟用的比较多的现在就是这些了,再往前去的,除非是老项目,不然真的应该是挺少了,大概有个概念,就当了解一 ...

  9. 8-15 Shuffle uva12174

    题意: 你正在使用的音乐播放器有一个所谓的乱序功能,即随机打乱歌曲的播放顺序.假设一共有s首歌,则一开始会给这s首歌随机排序,全部播放完毕后再重新随机排序.继续播放,依此类推.注意,当s首歌播放完毕之 ...

  10. python 创建项目

    项目骨架 nose 测试框架 Windows 10 配置 创建骨架项目目录 Windows 10 的 PowerShell mkdir projects cd projects/ mkdir skel ...