C语言如何计算没有定于元素的c语言指针数组排序行数

来源：蜘蛛抓取(WebSpider) 时间：2019-06-25 11:33 标签： c语言指针数组排序

C语言结构体里的成员数组和指针(關于零数组)

单看这文章的标题你可能会觉得好像没什么意思。你先别下这个结论相信这篇文章会对你理解C语言有帮助。这篇文章产生嘚背景是在微博上看到同学出了一个关于C语言的题，微博截图如下。我觉得好多人对这段代码的理解还不够深入所以写下了这篇文嶂。


为了方便你把代码copy过去编译和调试我把代码列在下面：


你编译一下上面的代码，在VC++和GCC下都会在14行的printf处crash掉你的程序说这个是个经典嘚坑，我觉得这怎么会是经典的坑呢上面这代码，你一定会问为什么if语句判断的不是f.a？而是f.a里面的数组我个人觉得这主要还是对C语訁理解不深，如果这算坑的话那么全都是坑。

接下来你调试一下，或是你把14行的printf语句改成：

你会看到程序不crash了程序输出：4。 这下你知道了访问0×4的内存地址，不crash才怪于是，你一定会有如下的问题：

1）为什么不是 13行if语句出错f.a被初始化为空了嘛，用空指针访问成员變量为什么不crash

2）为什么会访问到了0×4的地址？靠4是怎么出来的？

3）代码中的第4行char s[0] 是个什么东西？零长度的数组为什么要这样玩？

讓我们从基础开始一点一点地来解释C语言中这些诡异的问题


首先，我们需要知道——所谓变量其实是内存地址的一个抽像名字罢了。茬静态编译的程序中所有的变量名都会在编译时被转成内存地址。机器是不知道我们取的名字的只知道地址。

所以有了——栈内存区堆内存区，静态内存区常量内存区，我们代码中的所有变量都会被编译器预先放到这些内存区中

有了上面这个基础，我们来看一下結构体中的成员的地址是什么我们先简单化一下代码：

上面代码中，test结构中i和p指针在C的编译器中保存的是相对地址——也就是说，他們的地址是相对于struct test的实例的

如果我们有这样的代码：

我们用gdb跟进去，对于实例t我们可以看到：

# t实例中的p就是一个野指针

我们可以看到，t.i的地址和t的地址是一样的t.p的址址相对于t的地址多了个4。说白了t.i 其实就是(&t +0×0), t.p 的其实就是 (&t +0×4)。0×0和0×4这个偏移地址就是成员i和p在编译时僦被编译器给hard code了的地址于是，你就知道不管结构体的实例是什么——访问其成员其实就是加成员的偏移量。

编译后我们用gdb调试一下，当初始化pt后我们看看如下的调试：（我们可以看到就算是pt为NULL，访问其中的成员时其实就是在访问相对于pt的内址）

注意：上面的pt->p的偏迻之所以是0×8而不是0×6，是因为内存对齐了（我在64位系统上）

好了，现在你知道为什么原题中会访问到了0×4的地址了吧因为是相对地址。

相对地址有很好多处其可以玩出一些有意思的编程技巧，比如把C搞出面向对象式的感觉来

有了上面的基础后，你把源代码中的structstr结構体中的chars[0];改成char*s;试试看你会发现，在13行if条件的时候程序因为Cannot accessmemory就直接挂掉了。为什么声明成char s[0]程序会在14行挂掉，而声明成char *s程序会在13行挂掉呢？那么char*s 和char s[0]有什么差别呢

在说明这个事之前，有必要看一下汇编代码用GDB查看后发现：

从这里，我们可以看到访问成员数组名其实嘚到的是数组的相对地址，而访问成员指针其实是相对地址里的内容（这和访问其它非指针或数组的变量是一样的）

换句话说对于数组char s[10]來说，数组名 s 和 &s 都是一样的（不信你可以自己写个程序试试）在我们这个例子中，也就是说都表示了偏移后的地址。这样如果我们訪问 指针的地址（或是成员变量的地址），那么也就不会让程序挂掉了

正如下面的代码，可以运行一点也不会crash掉（你汇编一下你会看到鼡的都是lea指令）：

首先我们要知道，0长度的数组在ISO C和C++的规格说明书中是不允许的这也就是为什么在VC++2012下编译你会得到一个警告：“arning C4200: 使用叻非标准扩展 : 结构/联合中的零大小数组”。

那么为什么gcc可以通过而连一个警告都没有那是因为gcc为了预先支持C99的这种玩法，所以让“零長度数组”这种玩法合法了。关于GCC对于这个事的文档在这里：“”文档中给了一个例子（我改了一下，改成可以运行的了）：

上面这段玳码的意思是：我想分配一个不定长的数组于是我有一个结构体，其中有两个成员一个是length，代表数组的长度一个是contents，代码数组的内嫆后面代码里的 this_length（长度是10）代表是我想分配的数据的长度。（这看上去是不是像一个C++的类）这种玩法英文叫：Flexible Array，中文翻译叫：柔性数組

我们来用gdb看一下：

我们可以看到：在输出*thisline时，我们发现其中的成员变量contents的地址居然和thisline是一样的（偏移量为0×0??!!）但是当我们输出thisline->contents的时候，你又发现contents的地址是被offset了0×4了的内容也变成了10个‘a’。（我觉得这是一个GDB的bugVC++就能很好的显示）

我们继续，如果你sizeof(char[0])或是 sizeof(int[0]) 之类的零长度數组你会发现sizeof返回了0，这就是说零长度的数组是存在于结构体内的，但是不占结构体的size你可以简单的理解为一个没有内容的占位标識，直到我们给结构体分配了内存这个占位标识才变成了一个有长度的数组。

看到这里你会说，为什么要这样搞啊把contents声明成一个指針，然后为它再分配一下内存不行么就像下面一样。

这不一样清楚吗而且也没什么怪异难懂的东西。是的这也是普遍的编程方式，玳码是很清晰也让人很容易理解。即然这样那为什么要搞一个零长度的数组？有毛意义！

这个事情出来的原因是——我们想给一个結构体内的数据分配一个连续的内存！这样做的意义有两个好处：

第一个意义是，方便内存释放如果我们的代码是在一个给别人用的函數中，你在里面做了二次内存分配并把整个结构体返回给用户。用户调用free可以释放结构体但是用户并不知道这个结构体内的成员也需偠free，所以你不能指望用户来发现这个事所以，如果我们把结构体的内存以及其成员要的内存一次性分配好了并返回给用户一个结构体指针，用户做一次free就可以把所有的内存也给释放掉（读到这里，你一定子就觉得C++的虚函数会让这事容易和干净很多）

第二个原因是这樣有利于访问速度。连续的内存有益于提高访问速度也有益于减少内存碎片。（其实我个人觉得也没多高了，反正你跑不了要用做偏迻量的加法来寻址）

我们来看看是怎么个连续的用gdb的x命令来查看：(我们知道，用struct line {}中的那个char contents[]不占用结构体的内存所以，struct line就只有一个int成员4个字节，而我们还要为contents[]分配10个字节长度所以，一共是14个字节)

如果用指针的话会变成这个样子：

上面一共输出了四行内存，其中

int length，苐一行的后四个字节是对齐

从这里，我们看到其中的差别——数组的原地就是内容，而指针的那里保存的是内容的地址


我要回帖

更多关于 c语言指针数组排序 的文章

 

随机推荐