C/C++ 嵌入式笔试题
发布时间：2009-4-7 14:53
发布者：虞美人
|
预处理器（Preprocessor） 1. 用预处理指令#define 声明一个常数，用以表明1年中有多少秒（忽略闰年问题） #define SECONDS_PER_YEAR (60 * 60 * 24 * 365)UL 我在这想看到几件事情： 1). #define 语法的基本知识（例如：不能以分号结束，括号的使用，等等） 2). 懂得预处理器将为你计算常数表达式的值，因此，直接写出你是如何计算一年中有多少秒而不是计算出实际的值，是更清晰而没有代价的。 3). 意识到这个表达式将使一个16位机的整型数溢出-因此要用到长整型符号L,告诉编译器这个常数是的长整型数。 4). 如果你在你的表达式中用到UL（表示无符号长整型），那么你有了一个好的起点。记住，第一印象很重要。 2. 写一个“标准”宏MIN，这个宏输入两个参数并返回较小的一个。 #define MIN(A,B) ((A) <= (B) (A) : (B)) 这个测试是为下面的目的而设的： 1). 标识#define在宏中应用的基本知识。这是很重要的，因为直到嵌入(inline)操作符变为标准C的一部分，宏是方便产生嵌入代码的唯一方法，对于嵌入式系统来说，为了能达到要求的性能，嵌入代码经常是必须的方法。 2). 三重条件操作符的知识。这个操作符存在C语言中的原因是它使得编译器能产生比if-then-else更优化的代码，了解这个用法是很重要的。 3). 懂得在宏中小心地把参数用括号括起来 4). 我也用这个问题开始讨论宏的副作用，例如：当你写下面的代码时会发生什么事？ least = MIN(*p++, b); 其实宏在编程中的副作用主要表现在编译器的处理计算上，如果考虑不周全很容易出现重复计算的问题。所以写程序要用宏的简洁，又要注意其中的陷阱，以防出现莫名其妙的错误 3. 预处理器标识#error的目的是什么？ 如果你不知道答案，请看参考文献1。这问题对区分一个正常的伙计和一个书呆子是很有用的。只有书呆子才会读C语言课本的附录去找出象这种 问题的答案。当然如果你不是在找一个书呆子，那么应试者最好希望自己不要知道答案。 死循环（Infinite loops） 4. 嵌入式系统中经常要用到无限循环，你怎么样用C编写死循环呢？ 这个问题用几个解决方案。我首选的方案是： while(1) { } 一些程序员更喜欢如下方案： for(;;) { } 这个实现方式让我为难，因为这个语法没有确切表达到底怎么回事。如果一个应试者给出这个作为方案，我将用这个作为一个机会去探究他们这样做的 基本原理。如果他们的基本答案是：“我被教着这样做，但从没有想到过为什么。”这会给我留下一个坏印象。 第三个方案是用 goto Loop: ... goto Loop; 应试者如给出上面的方案，这说明或者他是一个汇编语言程序员（这也许是好事）或者他是一个想进入新领域的BASIC/FORTRAN程序员。 数据声明（Data declarations） 5. 用变量a给出下面的定义 a) 一个整型数（An integer） b) 一个指向整型数的指针（A pointer to an integer） c) 一个指向指针的的指针，它指向的指针是指向一个整型数（A pointer to a pointer to an integer） d) 一个有10个整型数的数组（An array of 10 integers） e) 一个有10个指针的数组，该指针是指向一个整型数的（An array of 10 pointers to integers） f) 一个指向有10个整型数数组的指针（A pointer to an array of 10 integers） g) 一个指向函数的指针，该函数有一个整型参数并返回一个整型数（A pointer to a function that takes an integer as an argument and returns an integer） h) 一个有10个指针的数组，该指针指向一个函数，该函数有一个整型参数并返回一个整型数（ An array of ten pointers to functions that take an integer argument and return an integer ） 答案是： a) int a; // An integer b) int *a; // A pointer to an integer c) int **a; // A pointer to a pointer to an integer d) int a[10]; // An array of 10 integers e) int *a[10]; // An array of 10 pointers to integers f) int (*a)[10]; // A pointer to an array of 10 integers g) int (*a)(int); // A pointer to a function a that takes an integer argument and returns an integer h) int (*a[10])(int); // An array of 10 pointers to functions that take an integer argument and return an integer 人们经常声称这里有几个问题是那种要翻一下书才能回答的问题，我同意这种说法。当我写这篇文章时，为了确定语法的正确性，我的确查了一下书。 但是当我被面试的时候，我期望被问到这个问题（或者相近的问题）。因为在被面试的这段时间里，我确定我知道这个问题的答案。应试者如果不知道 所有的答案（或至少大部分答案），那么也就没有为这次面试做准备，如果该面试者没有为这次面试做准备，那么他又能为什么出准备呢？ Static 6. 关键字static的作用是什么？ 这个简单的问题很少有人能回答完全。在C语言中，关键字static有三个明显的作用： 1). 在函数体，一个被声明为静态的变量在这一函数被调用过程中维持其值不变。 2). 在模块内（但在函数体外），一个被声明为静态的变量可以被模块内所用函数访问，但不能被模块外其它函数访问。它是一个本地的全局变量。 3). 在模块内，一个被声明为静态的函数只可被这一模块内的其它函数调用。那就是，这个函数被限制在声明它的模块的本地范围内使用。 大多数应试者能正确回答第一部分，一部分能正确回答第二部分，同是很少的人能懂得第三部分。这是一个应试者的严重的缺点，因为他显然不懂得本地化数据和代码范围的好处和重要性。 Const 7．关键字const是什么含意？ 我只要一听到被面试者说：“const意味着常数”，我就知道我正在和一个业余者打交道。去年Dan Saks已经在他的文章里完全概括了const的所有用法，因此ESP(译者：Embedded Systems Programming)的每一位读者应该非常熟悉const能做什么和不能做什么.如果你从没有读到那篇文章，只要能说出const意味着“只读”就可以了。尽管这个答案不是完全的答案，但我接受它作为一个正确的答案。（如果你想知道更详细的答案，仔细读一下Saks的文章吧。）如果应试者能正确回答这个问题，我将问他一个附加的问题：下面的声明都是什么意思？ const int a; int const a; const int *a; int * const a; int const * a const; 前两个的作用是一样，a是一个常整型数。第三个意味着a是一个指向常整型数的指针（也就是，整型数是不可修改的，但指针可以）。第四个意思a是一个指向整型数的常指针（也就是说，指针指向的整型数是可以修改的，但指针是不可修改的）。最后一个意味着a是一个指向常整型数的常指针（也就是说，指针指向的整型数是不可修改的，同时指针也是不可修改的）。如果应试者能正确回答这些问题，那么他就给我留下了一个好印象。顺带提一句，也许你可能会问，即使不用关键字const，也还是能很容易写出功能正确的程序，那么我为什么还要如此看重关键字const呢？我也如下的几下理由： 1). 关键字const的作用是为给读你代码的人传达非常有用的信息，实际上，声明一个参数为常量是为了告诉了用户这个参数的应用目的。如果你曾花很多时间清理其它人留下的垃圾，你就会很快学会感谢这点多余的信息。（当然，懂得用const的程序员很少会留下的垃圾让别人来清理的。） 2). 通过给优化器一些附加的信息，使用关键字const也许能产生更紧凑的代码。 3). 合理地使用关键字const可以使编译器很自然地保护那些不希望被改变的参数，防止其被无意的代码修改。简而言之，这样可以减少bug的出现。 Volatile 8. 关键字volatile有什么含意 并给出三个不同的例子。 一个定义为volatile的变量是说这变量可能会被意想不到地改变，这样，编译器就不会去假设这个变量的值了。精确地说就是，优化器在用到这个变量时必须每次都小心地重新读取这个变量的值，而不是使用保存在寄存器里的备份。下面是volatile变量的几个例子： 1). 并行设备的硬件寄存器（如：状态寄存器） 2). 一个中断服务子程序中会访问到的非自动变量(Non-automatic variables) 3). 多线程应用中被几个任务共享的变量 回答不出这个问题的人是不会被雇佣的。我认为这是区分C程序员和嵌入式系统程序员的最基本的问题。嵌入式系统程序员经常同硬件、中断、RTOS等等打交道，所用这些都要求volatile变量。不懂得volatile内容将会带来灾难。 假设被面试者正确地回答了这是问题（嗯，怀疑这否会是这样），我将稍微深究一下，看一下这家伙是不是直正懂得volatile完全的重要性。 1). 一个参数既可以是const还可以是volatile吗？解释为什么。 2). 一个指针可以是volatile 吗？解释为什么。 3). 下面的函数有什么错误： int square(volatile int *ptr) { return *ptr * *ptr; } 下面是答案： 1). 是的。一个例子是只读的状态寄存器。它是volatile因为它可能被意想不到地改变。它是const因为程序不应该试图去修改它。 2). 是的。尽管这并不很常见。一个例子是当一个中服务子程序修该一个指向一个buffer的指针时。 3). 这段代码的有个恶作剧。这段代码的目的是用来返指针*ptr指向值的平方，但是，由于*ptr指向一个volatile型参数，编译器将产生类似下面的代码： int square(volatile int *ptr) { int a,b; a = *ptr; b = *ptr; return a * b; } 由于*ptr的值可能被意想不到地该变，因此a和b可能是不同的。结果，这段代码可能返不是你所期望的平方值！正确的代码如下： long square(volatile int *ptr) { int a; a = *ptr; return a * a; } 位操作（Bit manipulation） 9. 嵌入式系统总是要用户对变量或寄存器进行位操作。给定一个整型变量a，写两段代码，第一个设置a的bit 3，第二个清除a 的bit 3。在以上两个操作中，要保持其它位不变。 对这个问题有三种基本的反应 1). 不知道如何下手。该被面者从没做过任何嵌入式系统的工作。 2). 用bit fields。Bit fields是被扔到C语言死角的东西，它保证你的代码在不同编译器之间是不可移植的，同时也保证了的你的代码是不可重用的。我最近不幸看到 Infineon为其较复杂的通信芯片写的驱动程序，它用到了bit fields因此完全对我无用，因为我的编译器用其它的方式来实现bit fields的。从道德讲：永远不要让一个非嵌入式的家伙粘实际硬件的边。 3). 用 #defines 和 bit masks 操作。这是一个有极高可移植性的方法，是应该被用到的方法。最佳的解决方案如下： #define BIT3 (0x1<<3) static int a; void set_bit3(void) { a |= BIT3; } void clear_bit3(void) { a &= ~BIT3; } 一些人喜欢为设置和清除值而定义一个掩码同时定义一些说明常数，这也是可以接受的。我希望看到几个要点：说明常数、|=和&=~操作。 访问固定的内存位置（Accessing fixed memory locations） 10. 嵌入式系统经常具有要求程序员去访问某特定的内存位置的特点。在某工程中，要求设置一绝对地址为0x67a9的整型变量的值为0xaa66。编译器是一个纯粹的ANSI编译器。写代码去完成这一任务。 这一问题测试你是否知道为了访问一绝对地址把一个整型数强制转换（typecast）为一指针是合法的。这一问题的实现方式随着个人风格不同而不同。典型的类似代码如下： int *ptr; ptr = (int *)0x67a9; *ptr = 0xaa55; 一个较晦涩的方法是： *(int * const)(0x67a9) = 0xaa55; 即使你的品味更接近第二种方案，但我建议你在面试时使用第一种方案。 中断（Interrupts） 11. 中断是嵌入式系统中重要的组成部分，这导致了很多编译开发商提供一种扩展—让标准C支持中断。具代表事实是，产生了一个新的关键字 __interrupt。下面的代码就使用了__interrupt关键字去定义了一个中断服务子程序(ISR)，请评论一下这段代码的。 __interrupt double compute_area (double radius) { double area = PI * radius * radius; printf(" Area = %f", area); return area; } 这个函数有太多的错误了，以至让人不知从何说起了： 1). ISR 不能返回一个值。如果你不懂这个，那么你不会被雇用的。 2). ISR 不能传递参数。如果你没有看到这一点，你被雇用的机会等同第一项。 3). 在许多的处理器/编译器中，浮点一般都是不可重入的。有些处理器/编译器需要让额处的寄存器入栈，有些处理器/编译器就是不允许在ISR中做浮点运算。此外，ISR应该是短而有效率的，在ISR中做浮点运算是不明智的。 4). 与第三点一脉相承，printf()经常有重入和性能上的问题。如果你丢掉了第三和第四点，我不会太为难你的。不用说，如果你能得到后两点，那么你的被雇用前景越来越光明了。 代码例子（Code examples） 12 . 下面的代码输出是什么，为什么？ void foo(void) { unsigned int a = 6; int b = -20; (a+b > 6) puts("> 6") : puts("<= 6"); } 这个问题测试你是否懂得C语言中的整数自动转换原则，我发现有些开发者懂得极少这些东西。不管如何，这无符号整型问题的答案是输出是 “>6”。原因是当表达式中存在有符号类型和无符号类型时所有的操作数都自动转换为无符号类型。因此-20变成了一个非常大的正整数，所以该表达式计算出的结果大于6。这一点对于应当频繁用到无符号数据类型的嵌入式系统来说是丰常重要的。如果你答错了这个问题，你也就到了得不到这份工作的边缘。 13. 评价下面的代码片断： unsigned int zero = 0; unsigned int compzero = 0xFFFF; /*1's complement of zero */ 对于一个int型不是16位的处理器为说，上面的代码是不正确的。应编写如下： unsigned int compzero = ~0; 这一问题真正能揭露出应试者是否懂得处理器字长的重要性。在我的经验里，好的嵌入式程序员非常准确地明白硬件的细节和它的局限，然而PC机程序往往把硬件作为一个无法避免的烦恼。 到了这个阶段，应试者或者完全垂头丧气了或者信心满满志在必得。如果显然应试者不是很好，那么这个测试就在这里结束了。但如果显然应试者做得不错，那么我就扔出下面的追加问题，这些问题是比较难的，我想仅仅非常优秀的应试者能做得不错。提出这些问题，我希望更多看到应试者应付问题的方法，而不是答案。不管如何，你就当是这个娱乐吧… 动态内存分配（Dynamic memory allocation） 14. 尽管不像非嵌入式计算机那么常见，嵌入式系统还是有从堆（heap）中动态分配内存的过程的。那么嵌入式系统中，动态分配内存可能发生的问题是什么？ 这里，我期望应试者能提到内存碎片，碎片收集的问题，变量的持行时间等等。这个主题已经在ESP杂志中被广泛地讨论过了（主要是 P.J. Plauger, 他的解释远远超过我这里能提到的任何解释），所有回过头看一下这些杂志吧！让应试者进入一种虚假的安全感觉后，我拿出这么一个小节目：下面的代码片段的输出是什么，为什么？ char *ptr; if ((ptr = (char *)malloc(0)) == NULL) puts("Got a null pointer"); else puts("Got a valid pointer"); 这是一个有趣的问题。最近在我的一个同事不经意把0值传给了函数malloc，得到了一个合法的指针之后，我才想到这个问题。这就是上面的代码，该代码的输出是“Got a valid pointer”。我用这个来开始讨论这样的一问题，看看被面试者是否想到库例程这样做是正确。得到正确的答案固然重要，但解决问题的方法和你做决定的基本原理更重要些。 Typedef 15. Typedef 在C语言中频繁用以声明一个已经存在的数据类型的同义字。也可以用预处理器做类似的事。例如，思考一下下面的例子： #define dPS struct s * typedef struct s * tPS; 以上两种情况的意图都是要定义dPS 和 tPS 作为一个指向结构s指针。哪种方法更好呢？（如果有的话）为什么？ 这是一个非常微妙的问题，任何人答对这个问题（正当的原因）是应当被恭喜的。答案是：typedef更好。思考下面的例子： dPS p1,p2; tPS p3,p4; 第一个扩展为 struct s * p1, p2; 上面的代码定义p1为一个指向结构的指，p2为一个实际的结构，这也许不是你想要的。第二个例子正确地定义了p3 和p4 两个指针。 16. C语言同意一些令人震惊的结构,下面的结构是合法的吗，如果是它做些什么？ int a = 5, b = 7, c; c = a+++b; 这个问题将做为这个测验的一个愉快的结尾。不管你相不相信，上面的例子是完全合乎语法的。问题是编译器如何处理它？水平不高的编译作者实际上会争论这个问题，根据最处理原则，编译器应当能处理尽可能所有合法的用法。因此，上面的代码被处理成： c = a++ + b; 因此, 这段代码持行后a = 6, b = 7, c = 12。 1、请定义一个宏，比较两个数a、b的大小，不能使用大于、小于、if语句 #define Max(a,b) ( a/b)?a:b 2、如何输出源文件的标题和目前执行行的行数 int line = __LINE__; char *file = __FILE__; cout<<"file name is "<<(file)<<",line is "< 3、两个数相乘，小数点后位数没有限制，请写一个高精度算法 4、写一个病毒 while (1) { int *p = new int[10000000]; } 5、不使用额外空间,将 A,B两链表的元素交*归并 6、将树序列化 转存在数组或 链表中 struct st{ int i; short s; char c; }; sizeof(struct st); 7、 char * p1; void * p2; int p3; char p4[10]; sizeof(p1...p4) =? 8、 4，4，4，10 二分查找 快速排序 双向链表的删除结点 1。主键用于唯一标识表中的行数据，一个主键值对应一行数据。另外，会自动在主键上创建索引，用于加快查询。 2。外键用于两个表的联系。两个表必须具有相同类型的属性，在该属性上有相同的值。该属性应为其中一个表的主键，在另外一个表设置为外键。 主键：唯一标识，不能为空，加快查询速度，自动创建索引， 外键：约束内表的数据的更新，从定义外键时可以发现 外键是和主键表联系，数据类型要统一，长度(存储大小)要统一。这样在更新数据的时候会保持一致性。 索引能将数据按一定的规则进行排列这样进行查询时能很快定位数据，从而加快查询的速度， 但不合适的索引将导致INSERT或UPDATE很慢 #include<stdio.h> #include<stdlib.h> int main(void) { union A{ char a; char y:3; char z:3; char x:2; }a; a.a = 0x67; printf("a.a =%0x a.x=%0x \t a.y=%0x\t a.z=%0x\n",a.a, a.x, a.y, a.z ); return 0; } 结果 a.a =67 a.x=ffffffff a.y=ffffffff a.z=ffffffff a.a =64 a.x=0 a.y=fffffffc a.z=fffffffc a.a =65 a.x=1 a.y=fffffffd a.z=fffffffd 很久没动c语言了，很多基础性的东西都没有深入学习。今天看到关于联合体位域面试题，想了半天才知道程序答案的来由～～汗颜～～ 如果单从位域来理解这个还是简单，问题的关键是理解其在计算机内的存取规则。 对a.a=64, 单从取位(二进制)上可知a.x=00, a.y=101, a.z=101.目前通用计算机x86大都是32位机，我的机器也是32位，在存取上默认是存取32位。对每个数而言第一位是符号位，补码存储。那么可以理解a.x的补码就是00000000, a.y的补码就是11111100, a.z的补码就是11111100.这样看比较自然，但如果输出结果是10进制，就会觉得难以理解。当然关键还是对数据的存取规则和编码的熟悉。 a.a=0x64的10进制结果是a.x=0, a.y=-4 ,a.z=-4 补充一点，union内的变量顺序对结果不影响（每次只可能有一种解释是合理的，这个跟struct显然不同） 关于位域在结构体的应用主要要注意内存对齐规则的理解和空域的理解 http://blog.csdn.net/jiyucn/archive/2006/07/01/862085.aspx 使用位域的主要目的是压缩存储，其大致规则为： 1) 如果相邻位域字段的类型相同，且其位宽之和小于类型的sizeof大小，则后面的字段将紧邻前一个字段存储，直到不能容纳为止； 2) 如果相邻位域字段的类型相同，但其位宽之和大于类型的sizeof大小，则后面的字段将从新的存储单元开始，其偏移量为其类型大小的整数倍； 3) 如果相邻的位域字段的类型不同，则各编译器的具体实现有差异，VC6采取不压缩方式，Dev-C++采取压缩方式； 4) 如果位域字段之间穿插着非位域字段，则不进行压缩； 5) 整个结构体的总大小为最宽基本类型成员大小的整数倍。 #include <stdio.h> int main() { union { struct { unsigned short s1:3; unsigned short s2:3; unsigned short s3:3; }x; char c; }v; v.c=100; printf("%d\n",sizeof(v)); printf("s1=%d\n",v.x.s1); printf("s2=%d\n",v.x.s2); printf("s3=%d\n",v.x.s3); return 0; } fc6--linux下gcc-4.1.1 2 s1=4 s2=4 s3=5 windows xp2下vc6.0 2 s1=4 s2=4 s3=1 可见s3的结果并不一样vc6.0的结果如果只是按位取，就很好理解，这样跟之前的union的存取规则又不一样了～～而对于gcc-4.1.1，s3=5还没想出该结果的原因。同时考虑 struct { unsigned short s1:3; unsigned short s2:3; unsigned short s3:3; unsigned short s4:7; }x; 最后s4的结果更加扑朔迷离～～请大家多指点～· #include<stdio.h> #include<stdlib.h> int main(void) { union A{ char a; char y:3; char z:3; char x:2; }a; a.a = 0x67; printf("a.a =%0x a.x=%0x \t a.y=%0x\t a.z=%0x\n",a.a, a.x, a.y, a.z ); return 0; } 结果 a.a =67 a.x=ffffffff a.y=ffffffff a.z=ffffffff a.a =64 a.x=0 a.y=fffffffc a.z=fffffffc a.a =65 a.x=1 a.y=fffffffd a.z=fffffffd 很久没动c语言了，很多基础性的东西都没有深入学习。今天看到关于联合体位域面试题，想了半天才知道程序答案的来由～～汗颜～～ 如果单从位域来理解这个还是简单，问题的关键是理解其在计算机内的存取规则。 对a.a=64, 单从取位(二进制)上可知a.x=00, a.y=101, a.z=101.目前通用计算机x86大都是32位机，我的机器也是32位，在存取上默认是存取32位。对每个数而言第一位是符号位，补码存储。那么可以理解a.x的补码就是00000000, a.y的补码就是11111100, a.z的补码就是11111100.这样看比较自然，但如果输出结果是10进制，就会觉得难以理解。当然关键还是对数据的存取规则和编码的熟悉。 a.a=0x64的10进制结果是a.x=0, a.y=-4 ,a.z=-4 补充一点，union内的变量顺序对结果不影响（每次只可能有一种解释是合理的，这个跟struct显然不同） 关于位域在结构体的应用主要要注意内存对齐规则的理解和空域的理解 http://blog.csdn.net/jiyucn/archive/2006/07/01/862085.aspx 使用位域的主要目的是压缩存储，其大致规则为： 1) 如果相邻位域字段的类型相同，且其位宽之和小于类型的sizeof大小，则后面的字段将紧邻前一个字段存储，直到不能容纳为止； 2) 如果相邻位域字段的类型相同，但其位宽之和大于类型的sizeof大小，则后面的字段将从新的存储单元开始，其偏移量为其类型大小的整数倍； 3) 如果相邻的位域字段的类型不同，则各编译器的具体实现有差异，VC6采取不压缩方式，Dev-C++采取压缩方式； 4) 如果位域字段之间穿插着非位域字段，则不进行压缩； 5) 整个结构体的总大小为最宽基本类型成员大小的整数倍。 #include <stdio.h> int main() { union { struct { unsigned short s1:3; unsigned short s2:3; unsigned short s3:3; }x; char c; }v; v.c=100; printf("%d\n",sizeof(v)); printf("s1=%d\n",v.x.s1); printf("s2=%d\n",v.x.s2); printf("s3=%d\n",v.x.s3); return 0; } fc6--linux下gcc-4.1.1 2 s1=4 s2=4 s3=5 windows xp2下vc6.0 2 s1=4 s2=4 s3=1 可见s3的结果并不一样vc6.0的结果如果只是按位取，就很好理解，这样跟之前的union的存取规则又不一样了～～而对于gcc-4.1.1，s3=5还没想出该结果的原因。同时考虑 struct { unsigned short s1:3; unsigned short s2:3; unsigned short s3:3; unsigned short s4:7; }x; 最后s4的结果更加扑朔迷离～～请大家多指点～· C++的static有两种用法：面向过程程序设计中的static和面向对象程序设计中的static。前者应用于普通变量和函数，不涉及类；后者主要说明static在类中的作用。 一、面向过程设计中的static 1、静态全局变量 在全局变量前，加上关键字static，该变量就被定义成为一个静态全局变量。静态全局变量有以下特点： 该变量在全局数据区分配内存； 未经初始化的静态全局变量会被程序自动初始化为0（自动变量的值是随机的，除非它被显式初始化）； 静态全局变量在声明它的整个文件都是可见的，而在文件之外是不可见的； 静态变量都在全局数据区分配内存，包括后面将要提到的静态局部变量。对于一个完整的程序，在内存中的分布情况如下图： 代码区 全局数据区 堆区 栈区 一般程序的由new产生的动态数据存放在堆区，函数内部的自动变量存放在栈区。自动变量一般会随着函数的退出而释放空间，静态数据（即使是函数内部的静 态局部变量）也存放在全局数据区。全局数据区的数据并不会因为函数的退出而释放空间。 的确，定义全局变量就可以实现变量在文件中的共享，但定义静态全局变量还有以下好处： 静态全局变量不能被其它文件所用； 其它文件中可以定义相同名字的变量，不会发生冲突； 2、静态局部变量 在局部变量前，加上关键字static，该变量就被定义成为一个静态局部变量。通常，在函数体内定义了一个变量，每当程序运行到该语句时都会给该局部变量分配栈内存。但随着程序退出函数体，系统就会收回栈内存，局部变量也相应失效。 但有时候我们需要在两次调用之间对变量的值进行保存。通常的想法是定义一个全局变量来实现。但这样一来，变量已经不再属于函数本身了，不再仅受函数的控制，给程序的维护带来不便。 静态局部变量正好可以解决这个问题。静态局部变量保存在全局数据区，而不是保存在栈中，每次的值保持到下一次调用，直到下次赋新值。 example: void foo() { static int a; a++; cout<<a<<endl; } int main() { foo(); foo(); foo(); return 0; } 结果是 1 2 3 每次foo（）退出后，并未销毁变量a，因为它是存放在全局数据区的，不是栈空间。 静态局部变量有以下特点： 该变量在全局数据区分配内存； 静态局部变量在程序执行到该对象的声明处时被首次初始化，即以后的函数调用不再进行初始化； 静态局部变量一般在声明处初始化，如果没有显式初始化，会被程序自动初始化为0； 它始终驻留在全局数据区，直到程序运行结束。但其作用域为局部作用域，当定义它的函数或语句块结束时，其作用域随之结束； 3、静态函数 在函数的返回类型前加上static关键字,函数即被定义为静态函数。静态函数与普通函数不同，它只能在声明它的文件当中可见，不能被其它文件使用。 静态函数的例子： //Example 4 #include <iostream.h> static void fn();//声明静态函数 void main() { fn(); } void fn()//定义静态函数 { int n=10; cout<<n<<endl; } 定义静态函数的好处： 静态函数不能被其它文件所用； 其它文件中可以定义相同名字的函数，不会发生冲突； 二、面向对象的static关键字（类中的static关键字） 1、静态数据成员 在类内数据成员的声明前加上关键字static，该数据成员就是类内的静态数据成员。先举一个静态数据成员的例子。 可以看出，静态数据成员有以下特点： 对于非静态数据成员，每个类对象都有自己的拷贝。而静态数据成员被当作是类的成员。无论这个类的对象被定义了多少个，静态数据成员在程序中也只有一份拷贝，由该类型的所有对象共享访问。也就是说，静态数据成员是该类的所有对象所共有的。对该类的多个对象来说，静态数据成员只分配一次内存，供所有对象共用。所以，静态数据成员的值对每个对象都是一样的，它的值可以更新； 静态数据成员存储在全局数据区。静态数据成员定义时要分配空间，所以不能在类声明中定义。在Example 5中，语句int Myclass::Sum=0;是定义静态数据成员； 静态数据成员和普通数据成员一样遵从public,protected,private访问规则； 因为静态数据成员在全局数据区分配内存，属于本类的所有对象共享，所以，它不属于特定的类对象，在没有产生类对象时其作用域就可见，即在没有产生类的实例时，我们就可以操作它； 静态数据成员初始化与一般数据成员初始化不同。静态数据成员初始化的格式为： ＜数据类型＞＜类名＞::＜静态数据成员名＞=＜值＞ 类的静态数据成员有两种访问形式： ＜类对象名＞.＜静态数据成员名＞ 或 ＜类类型名＞::＜静态数据成员名＞ 如果静态数据成员的访问权限允许的话（即public的成员），可在程序中，按上述格式来引用静态数据成员 ； 静态数据成员主要用在各个对象都有相同的某项属性的时候。比如对于一个存款类，每个实例的利息都是相同的。所以，应该把利息设为存款类的静态数据成员。这有两个好处，第一，不管定义多少个存款类对象，利息数据成员都共享分配在全局数据区的内存，所以节省存储空间。第二，一旦利息需要改变时，只要改变一次，则所有存款类对象的利息全改变过来了； 同全局变量相比，使用静态数据成员有两个优势： 静态数据成员没有进入程序的全局名字空间，因此不存在与程序中其它全局名字冲突的可能性； 可以实现信息隐藏。静态数据成员可以是private成员，而全局变量不能； 2、静态成员函数 与静态数据成员一样，我们也可以创建一个静态成员函数，它为类的全部服务而不是为某一个类的具体对象服务。静态成员函数与静态数据成员一样，都是类的内部 实现，属于类定义的一部分。普通的成员函数一般都隐含了一个this指针，this指针指向类的对象本身，因为普通成员函数总是具体的属于某个类的具体对象的。通常情况下，this 是缺省的。如函数fn()实际上是this->fn()。但是与普通函数相比，静态成员函数由于不是与任何的对象相联系，因此它不具有this指针。从这个意义上讲，它无法访问属于类对象的非静态数据成员，也无法访问非静态成员函数，它只能调用其余的静态成员函数。 关于静态成员函数，可以总结为以下几点： 出现在类体外的函数定义不能指定关键字static； 静态成员之间可以相互访问，包括静态成员函数访问静态数据成员和访问静态成员函数； 非静态成员函数可以任意地访问静态成员函数和静态数据成员； 静态成员函数不能访问非静态成员函数和非静态数据成员； 由于没有this指针的额外开销，因此静态成员函数与类的全局函数相比速度上会有少许的增长； 调用静态成员函数，可以用成员访问操作符(.)和(->)为一个类的对象或指向类对象的指针调用静态成员函数，也可以直接使用如下格式： ＜类名＞::＜静态成员函数名＞（＜参数表＞） 调用类的静态成员函数。 堆和栈的区别 一般认为在c中分为这几个存储区 1栈 - 有编译器自动分配释放 2堆 - 一般由程序员分配释放，若程序员不释放，程序结束时可能由OS回收 3全局区（静态区），全局变量和静态变量的存储是放在一块的，初始化的全局变量和静 态变量在一块区域，未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。 - 程序结束释放 4另外还有一个专门放常量的地方。 - 程序结束释放 在函数体中定义的变量通常是在栈上，用malloc, calloc, realloc等分配内存的函数分 配得到的就是在堆上。在所有函数体外定义的是全局量，加了static修饰符后不管在哪 里都存放在全局区（静态区）,在所有函数体外定义的static变量表示在该文件中有效， 不能extern到别的文件用，在函数体内定义的static表示只在该函数体内有效。另外， 函数中的"adgfdf"这样的字符串存放在常量区。 比如： int a = 0; 全局初始化区 char *p1; 全局未初始化区 main() { int b; 栈 char s[] = "abc";栈 char *p2; 栈 char *p3 = "123456"; 123456\0在常量区，p3在栈上。 static int c =0； 全局（静态）初始化区 p1 = (char *)malloc(10); p2 = (char *)malloc(20); 分配得来得10和20字节的区域就在堆区。 strcpy(p1, "123456"); 123456\0放在常量区，编译器可能会将它与p3所指向的"12345 6"优化成一块。 } 还有就是函数调用时会在栈上有一系列的保留现场及传递参数的操作。 栈的空间大小有限定，vc的缺省是2M。栈不够用的情况一般是程序中分配了大量数组和 递归函数层次太深。有一点必须知道，当一个函数调用完返回后它会释放该函数中所有 的栈空间。栈是由编译器自动管理的，不用你操心。 堆是动态分配内存的，并且你可以分配使用很大的内存。但是用不好会产生内存泄漏。 并且频繁地malloc和free会产生内存碎片（有点类似磁盘碎片），因为c分配动态内存时 是寻找匹配的内存的。而用栈则不会产生碎片。 在栈上存取数据比通过指针在堆上存取数据快些。 一般大家说的堆栈和栈是一样的，就是栈(stack)，而说堆时才是堆heap. 栈是先入后出的，一般是由高地址向低地址生长。 堆(heap)和栈(stack)是C/C++编程不可避免会碰到的两个基本概念。首先，这两个概念 都可以在讲数据结构的书中找到，他们都是基本的数据结构，虽然栈更为简单一些。 在具体的C/C++编程框架中，这两个概念并不是并行的。对底层机器代码的研究可以揭示 ，栈是机器系统提供的数据结构，而堆则是C/C++函数库提供的。 具体地说，现代计算机(串行执行机制)，都直接在代码底层支持栈的数据结构。这体现 在，有专门的寄存器指向栈所在的地址，有专门的机器指令完成数据入栈出栈的操作。 这种机制的特点是效率高，支持的数据有限，一般是整数，指针，浮点数等系统直接支 持的数据类型，并不直接支持其他的数据结构。因为栈的这种特点，对栈的使用在程序 中是非常频繁的。对子程序的调用就是直接利用栈完成的。机器的call指令里隐含了把 返回地址推入栈，然后跳转至子程序地址的操作，而子程序中的ret指令则隐含从堆栈中 弹出返回地址并跳转之的操作。C/C++中的自动变量是直接利用栈的例子，这也就是为什 么当函数返回时，该函数的自动变量自动失效的原因(因为 颜换指戳说饔们暗 状态)。 和栈不同，堆的数据结构并不是由系统(无论是机器系统还是操作系统)支持的，而是由 函数库提供的。基本的malloc/realloc/free函数维护了一套内部的堆数据结构。当程序 使用这些函数去获得新的内存空间时，这套函数首先试图从内部堆中寻找可用的内存空 间，如果没有可以使用的内存空间，则试图利用系统调用来动态增加程序数据段的内存 大小，新分配得到的空间首先被组织进内部堆中去，然后再以适当的形式返回给调用者 。当程序释放分配的内存空间时，这片内存空间被返回内部堆结构中，可能会被适当的 处理(比如和其他空闲空间合并成更大的空闲空间)，以更适合下一次内存分配申请。这 套复杂的分配机制实际上相当于一个内存分配的缓冲池(Cache)，使用这套机制有如下若 干原因： 1. 系统调用可能不支持任意大小的内存分配。有些系统的系统调用只支持固定大小及其 倍数的内存请求(按页分配)；这样的话对于大量的小内存分类来说会造成浪费。 2. 系统调用申请内存可能是代价昂贵的。系统调用可能涉及用户态和核心态的转换。 3. 没有管理的内存分配在大量复杂内存的分配释放操作下很容易造成内存碎片。 堆和栈的对比 从以上知识可知，栈是系统提供的功能，特点是快速高效，缺点是有限制，数据不灵活 ；而栈是函数库提供的功能，特点是灵活方便，数据适应面广泛，但是效率有一定降低 。栈是系统数据结构，对于进程/线程是唯一的；堆是函数库内部数据结构，不一定唯一 。不同堆分配的内存无法互相操作。栈空间分静态分配和动态分配两种。静态分配是编 译器完成的，比如自动变量(auto)的分配。动态分配由alloca函数完成。栈的动态分配 无需释放(是自动的)，也就没有释放函数。为可移植的程序起见，栈的动态分配操作是 不被鼓励的！堆空间的分配总是动态的，虽然程序结束时所有的数据空间都会被释放回 系统，但是精确的申请内存/释放内存匹配是良好程序的基本要素。 可以放一块思考 堆和栈的生长方向恰好相反， |--------------| 低地址 | 堆 | |--------------| | | | | I | | | | ^ | | 栈 | 高地址 ----------------- 所以计算机中的堆和栈经常时放一块讲的 nod 一般不是必要就不要动态创建，最讨厌把new出来的东西当局部变量用，用万了马上 delete 的做法. 理由 1.栈分配比堆快，只需要一条指令就呢给配所有的局部变量 2.栈不会出现内存碎片 3。栈对象好管理 当然，某些情况下也要那么写,比如 1.对象很大 2.对象需要在某个特定的时刻构造或析够 3.类只允许对象动态创建,比如VCL的大多数类 当然，必须用堆对象时也不能躲避 对于类的申明（还没有定义）来说，可以有限的方式使用它。如我们可以声明指向该类类型的指针或引用。允许指针和引用是因为它们都有固定的大小，而与它们指向的对象的大小无关。只有到完全定义了该类才能对这些指针和引用解引用。 只有对类定义了，才能声明该类类型对象。在程序中还没有看到类定义之前，数据成员只能是该类类型的指针或引用。 当一个类的类头被看到时，它就被视为已经声明了，所以一个类可以有指向自身类型的指针或引用作为数据成员。只有一个类的类体已经完整时，它才被视为已经被定义。 所以可以有如下形式： class LinkScreen{ Screen window; LinkScreen *next; LinkScreen *prev; } |
网友评论